XiaoMi-AI文件搜索系统
World File Search SystemCaltech
月球开拓者地面系统开发 - 加州理工学院
Lunar Trailblazer 是 NASA 的一项 SIMPLEx 任务，计划于 2024 年底发射。该任务的目标是继续在月球上寻找各种形式的水，并探索温度波动对其的影响。Lunar Trailblazer 的任务操作系统和地面数据系统 (MOS/GDS) 由加州理工学院的 IPAC 负责，任务设计和导航由 JPL 负责。Lunar Trailblazer 使用 NASA JPL 和 NASA Ames 分别开发的 AMMOS 仪器工具包 (AIT) 和 Open MCT 软件进行 DSN 连接、指挥、遥测显示以及遥测存储和趋势分析。Lunar Trailblazer 是一项目标驱动的任务，用于目标选择和调度的科学规划系统是一个用于目标跟踪的自定义 Postgres 数据库。本文介绍了 LTB 的地面系统及其开发，特别关注了本科实习生的贡献。
Kimia Hassibi -Caltech's
•将自主系统在其环境中的规格形式化为GR（1）获胜条件，该条件是一组线性时间逻辑（LTL）公式，如果环境满足其初始，不变和进步条件，则需要自治系统满足其初始，不变和进步条件。•编写代码将这些LTL公式转换为环境和自主系统之间的游戏图。通过更改Python库郁金香中的源代码来实现这一目标。•创建算法以计算这些游戏图上的鲁棒性指标。然后，使用这些指标来近视地找到系统最难成功响应的环境动作。•目前，为考虑图表上的路径的自治系统创建硬测试。
加州理工学院为巴勒斯坦抗议
在上一期的 Tech 杂志中，我们发表了一封大约 150 位教授写给 Rosenbaum 校长的私人信件。这封信不打算与教职员工以外的人分享，信中表达了对应届本科生学业成绩的不满，并主张结束招生办公室的标准化考试禁令。我们发表这封信的目的是确保学生也能参与到这场对话中，因为很明显，如果不这样做，教职员工就没有这样做的打算。令人遗憾的是，这封信最终成为了他们观点的公开方式；可能各方都会同意，它的写作质量和信息呈现方式都很低劣且无效。同样，这封信是私人通信，不打算发表。然而，当我们在 2 月份联系这封信的五位作者，要求他们提供论点摘要或公开声明时，Tech 杂志却沉默了。 John Dabi-ri 教授和 Paul Asimow 教授慷慨地分享了他们对这封信的看法（见 1 月 16 日和 2 月 6 日的 Tech 杂志），但全文仍然是所有签名者观点的最佳体现。与 Tech 杂志分享这封信的人要求我们不要印刷签名名单或个别教授的附加评论；这个问题比我们任何一个人都重要，点名批评特定的人会适得其反。当然，这封信提供了电气工程选修课 EE44 和 EE55 的两门必修课的数据。具体来说，它包含了过去两年课程的（匿名）考试成绩和成绩统计数据。回想起来，尤其是考虑到电气工程专业的班级规模很小，我们在没有审查班级姓名或征得所涉学生许可的情况下发布这些内容是不负责任的。我谨代表理工学院公开向这些班级的学生道歉，因为这是他们的错误判断。我很高兴他们中的一些人能够对这封信做出回应，这封信可以在本期找到。从我与他们的交谈中，听起来我们确实成功地在学生和教师之间建立了有意义的对话，至少在电子工程系是这样。
量子力学可以证伪吗？ - 约翰·普雷斯基尔 - 加州理工学院
由于 QIS 的时间跨度长且本质上是跨学科的，因此其发展面临着特殊的问题。该领域的研究人员在传统学科的边缘工作，因此有时很难获得资金或发展自己的事业。最优秀的学生被 QIS 带来的兴奋所吸引，但他们不确定如何在传统的学术部门内追求这种兴趣。最令人担忧的是，那些通过 QIS 研究获得高级学位的优秀年轻科学家经常被迫离开该领域，因为缺乏稳定的资金来支持他们的工作……
加州理工学院太空太阳能演示一号任务
瓦片是一种多层结构，两面都是光伏 (PV) 材料，PV 层下方有天线，还有一层承载 CMOS 集成电路，用于路由参考信号和定时，以控制天线的相位和直流到微波功率转换。瓦片具有将太阳能转换为微波能量并将该能量辐射到所需位置所需的所有功能。瓦片被制成长度从几米到 60 米不等的条带，然后将它们铺设到碳纤维结构中，该结构连接到展开装置上，而展开装置又连接到航天器上。碳纤维结构使条带可以折叠并卷入展开装置中，以便发射存放。我们目前的太空飞行器设计质量约为 430 公斤。发电站由许多太空飞行器组成，这些太空飞行器要么通过吊杆机械连接，要么自主编队飞行。SSPP 的中期目标之一是在太空中展示我们概念 [1] 的核心技术。通过验证技术在其设计运行环境中的性能以及展示系统内的功能接口正常运行，太空演示可以降低风险。我们设想进行一系列复杂程度不断增加的演示，以进一步增强对技术的设计和可扩展性的信心。我们的第一个这样的演示是空间太阳能演示一号（SSPD-1）。我们注意到最近有一个由 P. Jaffe [3] 领导的专门针对空间太阳能的太空演示。Jaffe 的“三明治”模块托管在美国空军 X-37B 太空飞机上，并在低地球轨道上运行了一年多。我们在 SSDP-1 开始时制定了几条基本规则。首先，有效载荷由三个独立的实验组成，以便可以单独测试每种技术。通过解耦如果我们要建造和飞行一个缩放的集成演示器时发生的依赖关系，我们可以验证核心技术的性能，而不会因相互依赖而产生潜在的混淆因素。其次，我们按照 NASA C/D 级任务标准 [4] 执行 SSPD-1 的开发、组装、集成和测试。我们的任务由技术目标（C 级）驱动，但我们的风险承受能力比其他级别（D 级）更高，复杂性相对较低（D 级），并且有程序约束（D 级）。作为 C/D 级任务运行，我们不必遵守任务更关键的有效载荷开发项目中的许多标准和 TOR，从而加快开发速度。我们仍然保持严格的测试
![arXiv:2102.07039v1 [cs.RO] 2021 年 2 月 14 日 - 加州理工学院作者](/simg/2/25e43204245c78df627668556baf7f3f3d635b52.webp)
arXiv:2102.07039v1 [cs.RO] 2021 年 2 月 14 日 - 加州理工学院作者
摘要 — 实时、保证安全的轨迹规划对于未知环境中的导航至关重要。然而，实时导航算法通常会牺牲鲁棒性来换取计算速度。或者，可证明安全的轨迹规划往往计算量太大，无法进行实时重新规划。我们提出了 FaSTrack，即快速安全跟踪，这是一个既能实现实时重新规划又能保证安全的框架。在此框架中，通过允许任何轨迹规划器使用系统的简化规划模型来实现实时计算。该计划由系统跟踪，由更现实、更高维的跟踪模型表示。我们预先计算了由于两个模型不匹配以及外部干扰而导致的跟踪误差界限 (TEB)。我们还获得了用于保持在 TEB 内的相应跟踪控制器。预计算不需要事先了解环境。我们演示了使用 Hamilton-Jacobi 可达性进行预计算的 FaSTrack 和三个不同的实时轨迹规划器以及三个不同的跟踪规划模型对。
arXiv:2102.07039v1 [cs.RO] 2021 年 2 月 14 日 - 加州理工学院作者
摘要 — 实时、保证安全的轨迹规划对于未知环境中的导航至关重要。然而，实时导航算法通常会牺牲鲁棒性来换取计算速度。或者，可证明安全的轨迹规划往往计算量太大，无法进行实时重新规划。我们提出了 FaSTrack，即快速安全跟踪，这是一个既能实现实时重新规划又能保证安全的框架。在这个框架中，实时计算是通 过允许任何轨迹规划器使用系统的简化规划模型来实现的。该系统跟踪该规划，用一个更现实、更高维的跟踪模型来表示。我们预先计算了由于两个模型不匹配以及外部干扰而导致的跟踪误差界限 (TEB)。我们还获得了用于保持在 TEB 内的相应跟踪控制器。预计算不需要事先了解环境。我们展示了 FaSTrack 使用 Hamilton-Jacobi 可达性进行预计算，并使用三种不同的实时轨迹规划器和三种不同的跟踪规划模型对。
加州理工学院科学家谈 COVID-19
“我一直在与国务卿办公室以及全州的县级选举官员合作，试图帮助制定该计划。我们正在进行各种研究，重点是帮助这项工作。让我们假设一下，11 月我们将在全州范围内通过邮寄方式进行投票，每个选民都会收到邮寄的选票，并可以选择寄回选票。那么，这就要求我们在加州的选民登记数据库尽可能准确。从我们最近在奥兰治县和洛杉矶县所做的工作中，我们知道，我们目前在选民登记数据库中拥有的数据质量存在问题。因此，我们一直在进行的研究，特别是在奥兰治县和洛杉矶县，非常有帮助。”
搜索和目标获取 - 加州理工学院作者
SCI-12 工作组的成立是为了满足这一需求。该任务仅限于摧毁人机交互成像系统，特别是肉眼、直视光学和电光成像系统。没有检查非成像传感器和自动镜头检测。为了便于客观评估替代方法，来自北约成员国的一些研究人员被邀请将他们喜欢的方法应用于 44 幅军用车辆作战配置的标准图像集，这些图像中包含与人类观察员在作战中的表现相关的数据。搜索和目标获取均可用。 1999 年 6 月在荷兰乌得勒支举行的研讨会上讨论了研究结果。