XiaoMi-AI文件搜索系统
World File Search SystemInvited
邀请的会话AI硬件：用于异质集成的风扇外包装的制造技术解决方案
简介高级PKG技术HI技术解决方案1。风扇输出IC基材的新SAP流2。通过晶圆过程3。< / div> fine l / s ic底物图案。< / div>PCM和TSV的技术策略针对AI硬件4。摘要确认
美国尾流湍流重新分类的发展（特邀）
本文介绍了背景信息，并提供了联邦航空管理局 (FAA) 尾流湍流计划 RECAT（即重新分类）特定方面的状态更新。RECAT 的基本前提是，可以使用更完整的尾流相关参数集来改进尾流分离，而不是使用基于最大起飞重量的现有 FAA Order JO 7110.65 分类尾流湍流分离最小值。然后，此过程可以安全地降低尾流湍流分离最小值，使其低于 FAA Order JO 7110.65 中规定的最小值。本文介绍了 RECAT 的整体三阶段方法，最终目标是实现动态成对分离。目前，第二阶段或基于静态成对的尾流湍流分离已准备好由联邦航空管理局实施。本文介绍了分析方法，包括 RECAT 第二阶段开发中使用的数据源和严重程度指标。
受邀演讲摘要 - AAAI
当今的商用飞机使用“交通警报和防撞系统”（TCAS），该系统指示飞行员如何控制飞机；该系统的验证并未系统地研究空中交通管制员的活动如何影响飞机的运行。其中一个结果是 2002 年在德国于伯林根上空发生的一次碰撞，现在人们普遍认为这说明了人与自动化之间如何产生权力冲突。Brahms-GÜM 是一个多智能体模拟航空运输中的工作实践；它模拟了在安全关键、时间紧迫的情况下，分散的飞行员和空中交通管制员群体如何与 TCAS 和其他自动化系统交互。Brahms-GÜM 是通用的，可以对备选工作系统配置（包括于伯林根场景）进行假设分析，从而促进不同运营概念的设计。 Brahms-GÜM 展示了当工作系统的某些方面缺失或出现故障时，交互可能会变得不可预测，从而使日常复杂系统变成一个认知复杂且因此不受人类控制的系统。该项目还提供了一个试验台，用于应用模型检查方法来验证和确认工作系统设计。
A6-8 邀请 - NIST 的 TSAPPS
摘要；阿伏伽德罗常数与质量单位和各种基本物理和电常数有关，是精确测量分子质量的必要条件。由于半导体技术的最新成功，硅元素因其晶体中近乎完美的原子结构而成为精确测量的通用参考材料的可能候选者。使用硅晶体确定阿伏伽德罗常数的项目是世界标准组织研究的主题，具有历史意义。国家医学研究实验室的团队刚刚开始使用 1 千克完美硅球的长期项目的最后阶段。它使用光学干涉仪测量球体的直径，并使用国家千克标准测量其质量，从而得到球体的宏观密度。它还测量了由相同硅锭制成的 X 射线干涉仪的晶格间距。后者将与与比利时 CBNM. Geel 合作确定的平均原子质量相结合，得出微观密度。这两个密度之间的等效性提供了阿伏伽德罗常数。目前声称的测量精度为体积 O.3ppm、质量 O.05ppm、晶格间距 Ippm。该项目对相应测量的目标精度将提供总不确定度小于 0.3ppm 的阿伏伽德罗常数。 lut 修订于