XiaoMi-AI文件搜索系统
World File Search System任务计划
高级，协作任务计划语法和异质代理的执行
代理人共同实现共同目标的代理人具有多种应用，例如仓库自动化或灾难响应。多代理任务在计划文献中以不同的方式定义。例如，在多代理任务分配[8，9，12]和联盟形成[14，22]中，每个任务都是具有相关实用程序的一个目标。单个代理或代理团队然后根据某些优化度量自动将自己分配给任务。群方法[18，21]将代理集体的紧急行为视为任务，例如聚合或形状形成。最近，已使用正式方法，例如任务规划的时间逻辑和正确的构造综合，已用于求解不同类型的多机构计划任务[2，17，20]。用时间逻辑编写的任务，例如线性时间逻辑（LTL），允许用户捕获具有时间约束的复杂任务。现有工作扩展了LTL [15，16]和信号时间逻辑[13]，以编码需要多个代理的任务。在本文中，我们考虑任务是，需要一组异质代理人来协作满足。例如，考虑
使用大语言模型增强机器人任务计划
摘要 - 按钮规划功能对于智能机器人在物理世界中自动运行至关重要。但是，基于传统的计划域定义语言（PDDL）方法通常会遭受组合爆炸和无效的计划时间。在本文中，我们以创新的方式提出了使用大型语言模型（LLM）增强机器人任务计划 - 使用LLMS指导PDDL计划者的搜索过程，而不是完全替换PDDL计划。LLMS通过学习的启发式方法指导PDDL计划者的搜索过程，并提供约束推理以减少搜索空间。为了解决LLM的潜在陷阱，在执行阶段添加了验证机制，以验证计划正确性。我们在真实情况下拆卸了寿命电池电池的末端评估了我们的方法。实验结果将纳入计划管道中的LLM可以显着提高计划效率和可伸缩性，同时保持计划有效性。这项研究为将语言模型与经典方法整合在一起，为实用应用增强机器人智能。所提出的框架在增强未来智能机器人系统的任务计划能力方面迈出了坚实的一步。
加速 NASA 卫星任务计划的申请
虽然 NASA 地球科学部 (ESD) 的主要任务是发展对地球系统的科学认识以及它如何响应人类和自然变化驱动因素，但其隐含的需求也是了解如何最好地促进 NASA 卫星任务产品和信息的使用，以直接造福社会和环境。事实上，2018 年美国国家科学、工程和医学院为 NASA 进行的十年调查“在我们不断变化的星球上蓬勃发展：太空地球观测十年战略”明确强调了卫星任务数据的巨大价值，它“使社会应用成为可能，为个人、企业、国家和世界带来了巨大价值。这类应用的广度和深度不断增长，随着它们融入人们的日常生活，成为社会必不可少的信息基础设施元素”（美国国家科学、工程和医学院，2018 年）。
地方发展任务计划 (LDAP)
可能会出现需要提前终止发展任务的情况。终止不会导致任务成功完成。要申请终止，参与者必须联系主办主管和/或现任主管。主办主管或现任主管可以向 LDAP 项目经理提交书面申请。LDAP 项目经理将审查并将请求转发给 DGC，DGC 将决定是否可以批准终止。LDAP 项目经理将把决定转发给参与者、主办主管和现任主管。参与者可以请求
FY23 工作跟踪 (JSP)、本地发展任务计划 (LDAP) 和驻军指导计划 (GMP) 申请
我请求考虑参加所选计划。我理解参与是自愿的，我可以随时退出。在我的主管的酌情决定下，我可能会获得合理的值班时间参与计划活动。我参加此计划并不保证获得培训、任务、晋升或职业发展。我理解，如果被选中参加此计划，我将被要求完成所有计划要求。我还理解完成此计划可能需要投入个人时间。
工作跟踪 (JSP)、本地发展任务计划 (LDAP) 和驻地指导计划 (GMP) 应用程序
我请求考虑参加所选计划。我理解参与是自愿的，我可以随时退出。在我的主管的酌情决定下，我可能会获得合理的值班时间参与计划活动。我参加此计划并不保证获得培训、任务、晋升或职业发展。我理解，如果被选中参加此计划，我将被要求完成所有计划要求。我还理解完成此计划可能需要投入个人时间。
FY23 工作见习 (JSP)、本地发展任务计划 (LDAP) 和驻军指导计划 (GMP) 申请
我请求考虑参加所选计划。我理解参加是自愿的，我可以随时退出。根据我的主管的判断，我可能会获得合理的工作时间参与计划活动。我参加此计划并不保证获得培训、任务、晋升或职业发展。我理解，如果被选中参加此计划，我将被要求完成所有计划要求。我还理解完成此计划可能需要投入个人时间。
基地/高级任务计划 (HAAP...
（HAAP）声明（由参加为期一年的“所有其他”巡回演出的个人填写）HAAP 计划旨在降低 PCS 成本并减少士兵及其家人的搬迁次数。根据 AR 614-200，士兵将通过选择三个选项之一来选择参加或拒绝 HAAP。（参加 HAAP 的士兵也可以申请更改基地或提前分配。每个请求将根据具体情况考虑）。（注意：并非每个人都能获得 HRC 提供的 HAAP！）夏威夷和阿拉斯加是授权的 HAAP 地点。由于陆军（授权）需求的变化，基地或提前分配可能会更改或取消，