XiaoMi-AI文件搜索系统
World File Search System剧团
剧团系统：自主多代理漫游者群∗
太空探索的未来将利用多代理系统的力量。它是低地球轨道中的卫星星座，还是一群零重力构造无人机，自主的多机构系统为执行大规模太空任务提供了下一步。漫游者群体尤其可以开始着重于月球表面探索的任务。群有可能产生高科学实用程序的回报。但是，尚未完全解决的许多设计和实施问题。该团项目旨在以流浪者群的形式探索多代理系统的设计和开发。该团漫游将作为一个案例研究，用于实施用于安全风险管理，需求形式化，运行时验证框架和其他相关验证工具集的研究工具。NASA AMES的强大软件工程（RSE）组有两个主要目标：（1）研究和开发用于改善安全 - 关键软件的验证和验证（V＆V）的工具，以及（2）设计和设计和部署用于小型SAT太空飞行任务的飞行软件。理想情况下，这两个目标将相互补充。研究团队为任务开发人员开发工具，以提高软件质量，而任务开发人员在用例和所需功能上向研究团队提供直接反馈。实际上，设想的合作有局限性。飞行任务的日程限制通常不允许使用积极开发的工具进行原型制定和培训。安全限制（例如ITAR数据）阻止了混凝土用例的共享。为了克服这些障碍，RSE集团已经实施了一个名为Troupe的孵化器计划，该计划由四个自主流浪者组成，它们协调以绘制未知地形。最终的可交付方式将是绘制位于NASA AMES的漫游车场测试地面的漫游者的设计，开发和演示。演示任务允许开发太空飞行软件，同时集成了高级V＆V工具，包括正式的模型检查器，数学声音静态分析仪和运行时安全性监控。虽然Troupe遵循NASA对软件开发的严格要求，但任务本身与工具开发人员和研究社区共享数据没有局限性。以这种方式，团队可以学习正在积极开发的新工具，并直接向研究工具开发人员提供反馈。
黑人剧团
拟建的自由生活村包括一座设计精美的三层媒体技术中心 (MTC)、四层表演艺术教育中心 (PAEC) 和五层经济适用艺术家公寓 (AAA)，以及一座单层零售裙楼结构，将三座建筑在地面层连接起来并延伸至场地南端。裙楼结构包括 14,000 平方英尺的街道零售/餐饮空间，除其他零售用途外，还设有一间 3,700 平方英尺的餐厅和一间位于 Clark 和 Sunnyside 东南角的带露天遮盖座位的文学咖啡馆。裙楼屋顶将在二楼创造一个露台，为驻场艺术家、MTC 和 PAEC 用户以及当地社区提供户外绿地。MTC 将设有教室、编辑站、录音室、设备存储和租赁以及放映室。PAEC 将设有两个运动工作室、一个弹出式舞台、灵活的教室、厨房和员工休息室。 AAA 将容纳 13 套两居室公寓、37 套一居室公寓以及协作空间和居民休息室。该项目包括 92 个停车位，将为 Free to BE 村提供服务。