XiaoMi-AI文件搜索系统
World File Search System测试器
BT100W电池服务，简化 - 功能强大
BT100W是一种电池工具，可为用户提供插件工具的效率和高科技数字测试器的强大数据分析。BT100W为每个车库带来多功能性，因为它可以充当独立电池测试仪并进行各种测试。用户可以点击设备的应用程序以获取更高级的功能，增强数据分析，并在单独的文件夹中查看或保存电池测试报告。BT100W的多功能性甚至扩展到该工具运行的语言数量。用户可以从八种语言中选择从BT100W应用程序操作BT100W设备和九种语言。
DDI78-EXF1
立体多普勒微波探测器：两个接收通道，能够消除振动和周期性移动物体作为警报源。数字范围控制：十位数字开关可调节传感器检测区域的整体大小。数字灵敏度控制：十位数字开关可调节启动警报条件所需的移动量。增强型鸟类控制：两位开关可调节传感器对鸟类和小动物的免疫力。步行测试发声器：可选的声音测试器，可协助步行测试和初始传感器设置。发声器大大简化了安装，因为它只需一名安装人员即可进行步行测试和调整。
F-16 库房自动测试设备 - Zenodo
通用动力公司沃斯堡分部 (GD/FW) 目前正在俄亥俄州赖特-帕特森空军基地的 F-16 系统项目办公室 (SPO) 的指导下开发 F-16 仓库级自动测试设备 (ATE) 系统。现有的设计测试器正在通过更新和改进修改得到广泛利用，绝大多数开发工作集中在测试包（接口测试适配器 (ITAS) 和测试程序）上。本文介绍了所使用的采购管理技术以及迄今为止选择的各种 ATE 和软件开发辅助工具。描述了测试包开发工作。介绍了我们支持 EPROM/PROM IC 的方法。讨论了配置管理。最后，展望了该计划的未来。
海军航空系统指挥作战测试...
本文件旨在定义所有海军航空武器系统项目使用的总体标准自动测试系统 (ATS) 流程，用于获取和维持在综合自动支持系统 (CASS) 系列测试器 (FoT) 上运行的作战测试程序集 (OTPS)，本文件中称为 CASS 或 CASS FoT。CASS FoT 目前包括三代测试系统：原始 CASS、可重构可移动 CASS (RTCASS) 和最新一代电子 CASS (eCASS)。CASS FoT 托管的所有 OTPS 都需要与主机 CASS 系统在配置控制、硬件和软件架构以及在 CASS 系统上运行的软件应用程序（尤其是 OTPS 软件）的功能要求方面具有互操作性。因此，OTPS 应按照本文件的要求进行开发和维持。
用于神经形态和模拟计算的全集成忆阻器系统
本最终技术报告详细介绍了 AFRL 拨款 FA8750-18- 2-0122 下取得的成果。该项目的总体目标是开发一个基于忆阻器的神经形态计算硬件平台。在简要介绍背景和原理之后，介绍了技术方法。以下各节总结了设备、阵列和集成系统级别的研究成果。利用我们之前在设备开发和单晶体管单电阻 (1T1R) 阵列集成方面的成就，我们实现了全硬件忆阻多层神经网络，集成了用于并行图像和视频处理的三维 (3D) 忆阻器阵列，并构建了用于时间编码计算的新测试器。我们还开发了新的选择器设备，展示了单选择器单电阻 (1S1R) 阵列集成，展示了储层计算，并提出了扩散和漂移忆阻器的统一紧凑模型。
接近度的量子证明
我们在属性测试的设置中启动了 QMA 算法的系统研究，我们将其称为 QMA 邻近性证明 (QMAP)。这些是量子查询算法，它们可以显式访问亚线性大小的不受信任的证明，并且需要接受具有属性 Π 的输入并拒绝距离 Π ε 远的输入，同时仅探测其输入的极小部分。我们的算法结果包括一个通用定理，该定理可以实现量子加速，以测试一类富有表现力的属性，即那些可以简洁地分解的属性。此外，我们还展示了该系列之外的属性的量子加速，例如图二分性。我们还研究了该模型的复杂性格局，表明 QMAP 可以比经典邻近性证明和量子测试器强得多。为此，我们扩展了 Blais、Brody 和 Matulef（计算复杂性，2012）的方法，通过降低通信复杂性来证明量子属性测试下限，从而解决了 Montanaro 和 de Wolf（计算理论，2016）提出的问题。
系统集成能力的研究与测量...
本文旨在介绍 ITWL 用于激活和测试集成航空电子系统中实施的硬件和软件的研究工具。特别关注了研究台（根据科学和高等教育部研发项目建造），旨在优化集成了数字数据总线的航空电子系统（根据 MIL-1553B 和 ARINC-429 标准等）。还介绍了用于测试软件的专用研究设备/测试设备，除其他外，还包括测试模式生成器（在辅助平视显示器 (SHUD) 的显示能力范围内）和信息效率测试器（用于 SHUD 和其前部控制面板 (UFCP)）。本文介绍了 Sextant Avionique 的 STRATUS 型导航系统的架构、实验室支架的工程完成情况、在数字数据总线 MIL-STD-1553B 上优化综合航空电子系统的实验室设备、实验室支架的研究能力和优化综合航空电子系统的设备、集成过程中使用的实验室支架面板、用于优化综合航空电子系统的附加研究工具、用于优化综合航空电子系统软件的典型研究工具：SHUD/UFCP 测试仪）和多功能显示器 (MFD) 测试仪。
UB40.241 div>
UB40.241是一个不间断的电源控制器（DC-UPS控制器），该电源控制器与24V电源和外部24V电池组合使用，用于桥接电源故障。当电源提供足够的电压时，DC-UPS控制器会为电池充电。当电源电压发生故障时，电池中存储的能量将在受管制的过程中释放到DC总线上。一个独特的功能是电池充电器，它可以平衡两个无与伦比的电池，其中包括两个独立的电池测试器，用于连接的两个12V电池。此功能使匹配电池不必要，并允许精确的电池充电，测试和优化电池容量以实现最长的电池使用寿命。该设备包含各种电池诊断功能，包括电池低预告信号，以确保整个系统的可靠操作。此外，温度控制的充电延长了电池的寿命。它还包括一个可选的缓冲时间限制器以及“准备”，“缓冲”和“更换电池”触点。为了安全性和维护，包括抑制输入信号以启用无强制缓冲的阶段。
通过二维输入空间探索对 SMT 求解器进行模糊测试
可满足性模理论 (SMT) 求解器是许多技术的核心引擎，例如符号执行。因此，确保 SMT 求解器的稳健性和正确性至关重要。虽然模糊测试是一种确保 SMT 求解器质量的有效方法，但我们观察到之前的模糊测试工作仅侧重于生成各种一阶公式作为输入，而忽略了 SMT 求解器的算法配置空间，这导致许多深藏不露的错误未被及时报告。在本文中，我们提出了 Falcon，一种同时探索公式空间和配置空间的模糊测试技术。将这两个空间结合起来会显著扩大搜索空间，使有效检测错误变得更加困难。我们通过利用两个空间之间的相关性来减少搜索空间，并引入自适应变异策略来提高搜索效率，从而解决了这个问题。经过六个月的广泛测试，Falcon 在两款最先进的 SMT 求解器 CVC4 和 Z3 中发现了 518 个已确认的错误，其中 469 个已经修复。与两款最先进的模糊测试器相比，Falcon 在 24 小时的测试中检测到了 38 个和 44 个以上的错误，并且覆盖率大幅提高。
多目标定向灰盒模糊测试
摘要 — 定向灰盒模糊测试 (DGF) 可以通过寻求到达程序位置或按顺序探索某些位置来快速发现或重现程序中的错误。然而，由于其静态阶段划分和粗粒度的能量调度，以前的 DGF 工具在面对多个目标位置（简称目标）时表现不佳。在本文中，我们提出了多目标定向灰盒模糊测试，旨在在模糊测试活动中到达多个程序位置。具体而言，我们提出了一种新颖的策略来自适应地协调探索和利用阶段，以及一种新颖的能量调度策略，通过考虑种子和目标位置之间的更多关系。我们在一个名为 LeoFuzz 的工具中实现了我们的方法，并在崩溃重现、真正验证和实际程序中的漏洞暴露方面对其进行了评估。实验结果表明，LeoFuzz 在有效性和效率方面优于六种最先进的模糊测试器，即 QYSM、AFLGo、Lolly、Berry、Beacon 和 WindRanger。此外，LeoFuzz 在实际程序中检测到 23 个新漏洞，其中 11 个已分配 CVE ID。