XiaoMi-AI文件搜索系统
World File Search System故障安全
在针硅二极管上的保险丝二极管整体整合，用于新的故障安全转换器拓扑
在发生内部短路的情况下，使用Dual-Fuse和Auxilariary Crowbar开关断开故障的腿，然后是备用腿（图。1，红色虚线框）自发连接，从而可以连续操作。为了提高系统的可靠性和紧凑性，可以在功率半导体[5]，[6]组件（IGBTS，MOSFET等）上单层整合使用的熔断器，如图1（Fuse-On-transistor，蓝色虚线框）。在功率上的保险丝的集成分两个步骤进行了半导体组件。首先，熔断器，称为“独立保险丝”（图1，绿色虚线盒），由硅基板上的薄铜层（18 µm）制成，以研究组件的热和电气行为。
传输方程的有效和故障安全量子算法
在本文中，我们提出了一种可扩展的算法易于故障的计算机，用于在两个和三个空间维度中求解传输方程，以用于可变网格尺寸和离散速度，其中对象壁与笛卡尔网格，与笛卡尔电网相关，每个变化的veer veel veel的相对差异均与裁缝相关范围。我们提供了量子传输方法（QTM）的所有步骤的详细描述和复杂性分析，并为Qiskit中生成的2D流的数值结果作为概念证明。我们的QTM基于一种新型的流媒体方法，该方法可与先进的量子流方法相比，导致减少CNOT门的数量。作为本文的第二个亮点，我们提出了一种新颖的对象编码方法，该方法降低了编码墙壁所需的CNOT门的复杂性，该墙壁现在变得独立于墙壁的大小。最后，我们提出了粒子离散速度的新型量子编码，该量子能够以反映粒子速度的成本进行线性加速，现在它变得独立于编码的速度量。我们的主要贡献包括详细描述量子算法的故障安全实现，用于转移方程的反射步骤，可以在物理量子计算机上容易实现。这种故障安全实现允许各种初始条件和粒子速度，并导致墙壁，边缘和障碍物的颗粒流动行为在物理上纠正粒子流动行为。
安全关键系统的故障安全测试
摘要 摘要 本论文提出了一种测试安全关键系统的方法。该方法基于行为和故障模型。分析了这两个模型的兼容性，并确定了使它们兼容的必要更改。然后使用转换规则将故障模型转换为与行为模型相同的模型类型。集成规则定义如何组合它们。这种方法会产生一个集成模型，然后可以使用该模型根据各种测试标准生成测试。本论文使用 CEFSM 作为行为模型，使用故障树作为故障模型，说明了这个通用框架。我们将该技术应用于各种应用，例如燃气燃烧器、航空航天发射系统和铁路交叉口控制系统。我们还研究了该方法的可扩展性，并将其效率与集成状态图和故障树进行了比较。分布式进程的构建和分析 (CADP) 已被用作该方法的支持工具，用于从集成模型生成测试用例，并分析集成模型的某些属性，例如死锁和活锁。
Mohamed Naija、Rihab Khemiri、Ernesto Expósito。基于 NCES 的无人机危险分析和风险缓解故障安全机制。第 15 届国际软件技术会议，2020 年 7 月，法国巴黎。�hal-02613976�
摘要：近几年，无人驾驶飞行器 (UAV) 受到越来越多的关注，以执行各种应用，如军事、农业和医疗领域。众所周知，无人机不仅容易受到软件意外故障的影响，而且容易受到环境的影响。因此，安全性应在设计时被视为主要要求，因为飞行器的任何意外行为或任何危险都会导致潜在风险。为了在任务期间保持其安全运行，提出了一种基于网络条件事件系统 (NCES) 的故障安全机制。故障安全机制是一种控制逻辑，用于指导在发生危险时执行的风险降低措施。为了使用形式化模型生成这样的控制器，所提出的过程分为三个阶段：（1）第一阶段包括根据文献中的反应方法进行危险识别和分析，（2）第二阶段允许使用标准 ISO 13849 进行风险评估，以及（3）第三阶段包括执行重新配置场景以在分析安全要求的同时降低风险。使用形式化方法的动机是，事实证明，它们有助于在早期设计阶段确保开发过程的可靠性。我们以一个医疗无人机为例，展示了我们提案的适用性和可行性。
推进全球核“故障安全”
减少和消除可能导致灾难性后果的核风险（涉及核武器和核能的和平利用）是所有国家的共同利益。这是所有核武国家的持久责任，特别是与《不扩散核武器条约》（NPT）五个核武器国家及其所属联盟的义务有关。2022 年 1 月，中国、法国、俄罗斯、英国和美国领导人共同确认“核战争不可能打赢，也绝不能打”。这一原则对于确保可预测性和减少核战争威胁至关重要。
现代 FPGA 架构中的故障安全逻辑设计策略
摘要 — 故障安全计算是指在发生故障时恢复到非操作安全状态的计算系统。在本文中，我们研究了电路级技术作为在现场可编程门阵列 (FPGA) 上实现故障安全计算过程的缓解策略。在使用开源工具创建的 FPGA 架构中，评估了故障效应通过 FPGA 基元（包括查找表 (LUT)、可配置逻辑块和开关盒）的传播。分析表明，与等效专用集成电路 (ASIC) 版本的故障安全电路相比，可重构架构中存在更多漏洞，因此需要更复杂的冗余电路网络和检查逻辑。提出了一种经过 ASIC 验证的故障安全监控电路版本，并将其与 FPGA 中的等效电路要求进行了比较。固定布局和布线的故障安全电路设计策略有助于减少可能的故障传播路径数量并简化故障安全故障检测电路设计。介绍并讨论了基于 FPGA 的具有报警功能的故障安全电路结构的优点和局限性，以及模拟和形式分析。
引用：Hahm, Katie S. 和 H. Harry Asada。“设计一种具有新型可伸缩臂的故障安全可穿戴机器人，以便在地面工作期间符合人体工程学。” IEEE 智能机器人与系统国际会议，2019 年 11 月，中国澳门，电气电子工程师学会，2020 年 1 月。© 2019 IEEE
摘要 — 飞机制造、建筑和农业生产通常需要工人长时间保持不舒服的姿势，例如弯腰和跪下。我们介绍了一款名为 MantisBot Alpha 的可穿戴机器人，它由两个可扩展的机械臂组成，可以将工人支撑在靠近地面的位置，允许他们执行双手任务，并协助他们站立和跪下。这种新设计的关键部件是一种新颖的连杆机构，可以调整工人与地面的距离和躯干倾斜度。机构连杆参数经过优化，以便 a) 其扩展率足够高，为 1:2.43，可以将人体从地面推开并在不使用时完全收缩剪刀臂，以及 b) 它允许工人在较大的空间内伸展，同时 c) 它足够轻，便于穿戴。连杆机构还避免了标准剪刀机构中的奇异性问题。执行器设计提供了一个故障安全系统。已经制作了一个原型来证明该系统的可行性。关键词：人体增强、机器人额外肢体、外骨骼、机制设计、工业机器人
规划空间机械臂的故障安全轨迹
对于部署在对人类有害和危险环境中的机器人操纵器，经常会担心关节故障时任务执行的可靠性。冗余机器人操纵器可用于降低风险并确保故障后任务的完成，这对于太空应用等至关重要。本文介绍了分析关节故障潜在风险的方法，并介绍了用于机器人操纵器的容错任务设计和路径规划的工具。所提出的方法基于离线预计算工作空间模型。这些方法足够通用，可以处理具有任何类型的关节（旋转或棱柱）和任意数量的自由度的机器人，并且可能在过程中包括任意形状的障碍物，而无需借助简化模型。应用示例说明了该方法的潜力。
在井口安装 RTS 故障安全电动执行器可提高大型石油公司的运营可靠性
• 无刷直流电机，变频器控制，提供可配置的速度控制 • 低功耗 • 绝对位置检测 • 可挂锁的手动手轮 • 带霍尔效应（非接触式）本地控制站的 LCD 显示屏，带有开-停-关和本地-远程选择旋钮以及连续位置指示 • 显示非侵入式设置和执行器参数 • 5+1 个二进制输入（24 VDC、48 VDC 和 60 VDC） • 8 个可配置数字输出 - ESD 就绪、打开和关闭位置、运行关闭和运行打开方向、过扭矩、选择开关处于本地或远程位置 • 微处理器连续监控所有机械传动系统组件，处于通电和故障安全模式，本地显示本地警报和远程信号 • PST 自动测试模式可将阀门关闭 5%，同时远程开启和关闭功能仍然有效 • 可调故障安全时间使用无摩擦装置（无磨损）的涡流制动器来保护阀门 • 用于现场接线的单独端子室可防止电子设备暴露在环境中 • UL、CSA、ATEX 和 IECEx 认证• 维护间隔长 – 10,000 至 20,000 个运行小时（5 年），艾默生交付后 10 年 • 两年保修
在井口安装 RTS 故障安全电动执行器可提高大型石油公司的运营可靠性
• 无刷直流电机，变频器控制，提供可配置的速度控制 • 低功耗 • 绝对位置检测 • 可挂锁的手动手轮 • 带霍尔效应（非接触式）本地控制站的 LCD 显示屏，带有开-停-关和本地-远程选择旋钮以及连续位置指示 • 显示非侵入式设置和执行器参数 • 5+1 个二进制输入（24 VDC、48 VDC 和 60 VDC） • 8 个可配置数字输出 - ESD 就绪、打开和关闭位置、运行关闭和运行打开方向、过扭矩、选择开关处于本地或远程位置 • 微处理器连续监控所有机械传动系统组件，处于通电和故障安全模式，本地显示本地警报和远程信号 • PST 自动测试模式可将阀门关闭 5%，同时远程开启和关闭功能仍然有效 • 可调故障安全时间使用无摩擦装置（无磨损）的涡流制动器来保护阀门 • 用于现场接线的单独端子室可防止电子设备暴露在环境中 • UL、CSA、ATEX 和 IECEx 认证• 维护间隔长 – 10,000 至 20,000 个运行小时（5 年），艾默生交付后 10 年 • 两年保修