XiaoMi-AI文件搜索系统
World File Search SystemRuntime
量子计算中动态运行时断言的量子电路
摘要 在本文中，我们提出了用于运行时断言的量子电路，它既可用于软件调试，也可用于错误检测。运行时断言在量子计算中具有挑战性，主要有两个原因。首先，量子比特（量子位）无法复制，这被称为不可克隆定理。其次，当测量量子比特时，其叠加态会坍缩为经典态，从而丢失固有的并行信息。在本文中，我们通过辅助量子比特进行运行时计算克服了这些挑战，辅助量子比特用于间接收集感兴趣的量子比特的信息。我们设计量子电路来断言经典状态、纠缠和叠加态。我们的实验结果表明，它们在调试方面非常有效，并能提高 IBM Q 量子计算机上各种量子算法的成功率。 CCS 概念。• 硬件 → 量子技术。关键词。量子计算；运行时断言
Astrée：证明不存在运行时错误 - DI ENS
摘要：安全关键型嵌入式软件必须满足严格的质量要求。测试和验证消耗了很大一部分（且还在不断增长）的开发成本。近年来，基于语义的静态分析工具已在各种应用领域出现，从运行时错误分析到最坏情况执行时间预测。它们的吸引力在于，它们有可能在提供 100% 覆盖率的同时减少测试工作量，从而提高安全性。静态运行时错误分析适用于大型工业规模项目，并生成明确的运行时错误列表以及可能是真错误或误报的潜在运行时错误列表。过去，通常只修复明确的错误，因为由于大量误报，手动检查每个警报太耗时。因此无法证明运行时不存在错误。本文介绍了可参数化的静态分析器 Astrée。通过专业化和参数化，Astrée 可以适应所分析的软件。这使得 Astrée 能够高效地计算出精确的结果。Astrée 已成功用于分析大型安全关键型航空电子软件，且误报率为零。
alpha®XRT-TPPL扩展运行时电源系统技术手册
图0-1，从alpha到达的围栏........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 70-2, Packing Label Location..............................................................................................................................................7 Fig.1-1, PN-4 FT Enclosure.....................................................................................................................................................8 Fig.1-2, PN-4 FTB Enclosure...................................................................................................................................................8 Fig.2-1，PN-4 ft或PN-4 FTB外壳的单个宽混凝土垫..................................................................................................................................................................................................................................................................................................................................................................................................................... 102-2, Single-Wide Pad for PN-4 FT or PN-4 FTB Enclosures............................................................................................ 11 Fig.2-3, Double-Wide Pad for PN-4 FT and PN-4 FTB Enclosures........................................................................................12 Fig.2-4, Suggested Grounding..............................................................................................................................................14 Fig.3-1，PN-4 ft机柜安装在准备好的垫子上...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................3-2, FBX-60A on PN-4 FT Enclosure...............................................................................................................................17 Fig.3-3, BBX 70A (BBX-F12).................................................................................................................................................17 Fig.3-4, BBX 100A (BBX-F18)................................................................................................................................................17 Fig.3-5, MTS (Showing 100A and 60A boxes)......................................................................................................................17 Fig.3-6, BBX-100A-8P0S Service Disconnect.......................................................................................................................18 Fig.3-7, BBX-70A Service Disconnect...................................................................................................................................19 Fig.3-8, Schematic: Primary Service BBX-100A-8P0S with IPP-240-3..................................................................................20 Fig.3-9，示意图：带有IPP-1220-3的初级服务BBX-100A-8P0 ..3-10，示意图：带有IPP-120-2的二级服务BBX-100A-8P0 ..3-11，示意图：带有IPP-240-2的二级服务BBX-100A-8P0 ..3-12, Schematic: Secondary Service BBX-70A with IPP-120-1.......................................................................................22 Fig.3-13, Schematic: Primary Service BBX-70A with IPP-240-1...........................................................................................22 Fig.3-14, Connector Fitting in Rear of Equipment Tray..........................................................................................................23 Fig.3-15, Location of SPI in Equipment Tray..........................................................................................................................23 Fig.3-16, SPI Ground Wire Connected to Enclosure Ground Bar..........................................................................................23 Fig.3-17, Conduit Location.....................................................................................................................................................24 Fig.3-18, Coaxial Connectors................................................................................................................................................24 Fig.3-19, AlphaCell ® 210 FTX Battery Date Code..................................................................................................................25 Fig.3-20, In-Line Fuse Link Mounting...................................................................................................................................25 Fig.3-21, In-Line Fuse Cable.................................................................................................................................................25 Fig.3-22, BIU Tamper Switch Location..................................................................................................................................26 Fig.3-23, Conduit Pass Through............................................................................................................................................26 Fig.3-24，路由导管地下示例....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 27 3-25, Removing Battery Hardware..................................................................................................................................28 Fig. 3-26, Installing Battery Cables and Intercell Fuses.........................................................................................................28 Fig. 3-27, Trimming Battery Cover on PowerSafe ® SBS190F Batteries...................................................................................28 Fig. 3-28, XM3.1-HP Power Supply Smart Display.................................................................................................................29 Fig. 3-29, PN-4 FT XRT-TPPL Power System Wiring Diagram................................................................................................30 Fig. 3-30, PN-4 FTB XRT-TPPL Power System Wiring Diagram.............................................................................................31 Fig. 3-31, BIU Extension Connections to XM3.1-HP Power Supply.......................................................................................32 Fig. 5-1, Security Screw Dimensions....................................................................................................................................34 Fig.3-24，路由导管地下示例....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 273-25, Removing Battery Hardware..................................................................................................................................28 Fig.3-26, Installing Battery Cables and Intercell Fuses.........................................................................................................28 Fig.3-27, Trimming Battery Cover on PowerSafe ® SBS190F Batteries...................................................................................28 Fig.3-28, XM3.1-HP Power Supply Smart Display.................................................................................................................29 Fig.3-29, PN-4 FT XRT-TPPL Power System Wiring Diagram................................................................................................30 Fig.3-30, PN-4 FTB XRT-TPPL Power System Wiring Diagram.............................................................................................31 Fig.3-31, BIU Extension Connections to XM3.1-HP Power Supply.......................................................................................32 Fig.5-1, Security Screw Dimensions....................................................................................................................................34 Fig.5-2, Template Placement on Enclosure...........................................................................................................................34 Fig.5-3, Installing Brackets....................................................................................................................................................35 Fig.5-4, Installing Security Bar..............................................................................................................................................35 Fig.5-5, Battery Interface Unit Front.....................................................................................................................................36 Fig.5-6, BIU Mounting Ear (Horizontal Position)...................................................................................................................36 Fig.5-7, BIU Mounting Ear (Vertical Position).........................................................................................................................36 Fig.5-8, BIU Mounting Ear (Alternate Position).....................................................................................................................36 Fig.5-9, BIU Mounting Locations..........................................................................................................................................37 Fig.5-10, IPP for One Power Supply......................................................................................................................................37 Fig.5-11，一个电源（不是工厂预接）的Breaker Duplex选项（BDO）........................................................................................................................................................................................................................................................................................................................................................................................................................... 37FIG。5-12, LA-P+ Installed in BDO..........................................................................................................................................38 Fig.5-13, Location of LED on LA-P+.....................................................................................................................................38
AI辅助重新配置电池组，用于延长驱动运行时
电荷状态（SOC）细胞平衡是电池管理系统（BMS）最重要的作用之一。电池组的性能和寿命可以通过SOC中存在不平衡而显着降低和降低。最近，我们已经表明，基于可控开关网络的机器学习驱动的电池组重新配置技术，可以定期更改电池组拓扑，以有效地实现更好的单元SOC均衡。结果，通过更好平衡的电池组实现的驾驶运行时会增加。在本文中，我们以这些有希望的结果为基础，并研究用于预测重新配置期间最佳电池组拓扑的新型机器学习模型。此外，为了研究提出的电池重新配置技术的可伸缩性，我们对电池组进行了研究，其细胞数量是两倍。为了进行验证，我们开发了一个内部自定义电池组仿真工具，该工具集成了最先进的电池电池模型和扩展的Kalman滤波（EKF）算法，以进行SOC状态估计。使用几个电池放电工作负载的仿真结果表明，与以前的工作相比，机器学习算法可以实现更好的预测准确性，从而导致更好的电池平衡，从而使电池运行时长达22.4％。
使用MicroTVM
摘要 - 在过去的几年中，越来越多的AI应用程序应用于边缘设备。但是，由数据科学家培训的具有机器学习框架的模型，例如Pytorch或TensorFlow，无法在边缘无缝执行。在本文中，我们开发了一个端到端代码生成器，使用MicrotVM（机器学习编译器框架扩展程序扩展）解决裸机设备上的推理的后端，将预训练的模型解析为C源库。一个分析表明，具有通用模块化加速器（UMA）界面的专用计算密集型运算符可以轻松地向专用加速器进行流动，而其他则在CPU核心中处理。通过使用提前C运行时自动生成的自动生成，我们在ARM Cortex M4F核心上进行了手势识别实验。索引项 - TVM，MicroTVM，模型部署，BYOC，UMA
通过中性原子量子架构中的基于使用的迁移减少运行时开销
摘要 — 中性原子是可扩展量子计算架构的一个有前途的选择。长距离相互作用和原生多量子比特门等特性可以减少通信成本和操作次数。然而，用作量子比特的捕获原子可能会在计算过程中以及由于不利的环境因素而丢失。丢失的计算量子比特的值无法恢复，需要重新加载阵列并重新运行计算，从而大大增加了电路的运行次数。存在软件缓解策略 [1]，但会慢慢耗尽电路的原始映射位置，并在整个架构中创建更分散的量子比特簇，从而降低成功的可能性。我们通过开发找到所有可到达量子比特（而不是仅相邻的硬件量子比特）的策略来提高灵活性。其次，我们将架构划分为单独的部分，并在每个部分中运行电路，不会丢失原子。如果架构足够大，这会重置电路而无需重新加载整个架构。对于使用 30% 架构的电路，这将在重新加载之前的有效射击次数增加两倍。我们还探索使用这些部分来并行执行电路，将 30 量子比特电路的总体运行时间减少 50%。这些技术有助于形成一套动态的新策略来对抗计算空间丢失的有害影响。索引术语 — 量子计算、中性原子、重新编译
案例研究应用：使用 CASLink 和人工智能 (AI) 优化风扇运行时
CaptiveAire 的工程服务团队训练机器学习模型来审查需求控制通风 (DCV) 传感器数据并确定预期的系统风扇运行时间。将此输出与实际系统风扇运行时间数据进行比较，以确定过度运行的位置 - 这是其他根本问题的迹象。确定这些系统的纠正措施，最终实现节能。本案例研究分析了初始审查的前 10 个位置：
关于求解条件数中运行时间二次改进的正定量子线性系统类
用于解决量子线性系统 (QLS) 问题的量子算法是近年来研究最多的量子算法之一，其潜在应用包括解决计算上难以解决的微分方程和提高机器学习的速度。决定 QLS 求解器效率的一个基本参数是 κ，即系数矩阵 A 的条件数，因为自从 QLS 问题诞生以来，我们就知道，在最坏情况下，运行时间至少与 κ 呈线性关系 [1]。然而，对于正定矩阵的情况，经典算法可以求解线性系统，运行时间扩展为 √κ，与不确定的情况相比，这是一个二次改进。因此，很自然地会问 QLS 求解器是否可以获得类似的改进。在本文中，我们给出了否定的答案，表明当 A 为正定时，求解 QLS 也需要与 κ 呈线性关系的运行时间。然后，我们确定了可以规避此下限的正定 QLS 的广泛类别，并提出了两种新的量子算法，其特点是 κ 的二次加速：第一种基于有效实现 A − 1 的矩阵块编码，第二种构建形式为 A = LL † 的分解来预处理系统。这些方法适用范围广泛，并且都允许有效地解决 BQP 完全问题。
如何简化嵌入式边缘 AI 应用程序开发
TI 灵活的软件架构和开发环境让您可以在任何地方训练模型，并使用您最喜欢的行业标准 Python 或 C++ 应用程序编程接口 (API)（来自 TensorFlow Lite、ONNX RunTime 或 TVM 和 SageMaker Neo with Neo AI DLR 运行时引擎）仅用几行代码即可将其编译并部署到 TI 硬件上。在这些行业标准运行时引擎的后端，我们的 TI 深度学习 (TIDL) 模型编译和运行时工具让您可以为 TI 硬件编译模型，将编译后的图形或子图部署到深度学习硬件加速器上，并从处理器获得最佳推理性能，而无需任何手动工具。
AI网络白皮书
AI Network 的目标是服务数百万个开源项目。因此，AI Network 旨在在最合适的运行时环境中运行不同类型的软件。如果项目涉及深度学习，则可能需要高性能 GPU；如果项目涉及传感器网络，则可能需要数百万台小型计算机。以太坊仅支持一种名为 Solidity 的语言，其运行时环境称为 EVM。AI Network 在异构类型的运行时环境上运行多种语言。我们将这些环境称为安全运行时环境，简称 SRE。AI Network 没有 Solidity 等原生智能合约语言。相反，资源提供者池中的工作人员正在监听区块链事件以参与执行。因此，区块链的职责缩小到传播实时事件和记录执行的生命周期。