XiaoMi-AI文件搜索系统
World File Search System故障树
故障树分析 - NASA 技术报告服务器
NASA STI 项目办公室提供对 NASA STI 数据库的访问，该数据库是世界上最大的航空和空间科学 STI 集合。该项目办公室也是 NASA 传播其研究和开发活动结果的机构机制。这些结果由 NASA 在 NASA STI 报告系列中发布，其中包括以下报告类型：
印度电动汽车可靠性故障树分析
近几十年来，电动汽车创新发展迅速。这些汽车的大规模商业使用仍然受到可靠性相关问题的制约。通过利用故障树 (FT) 和蒙特卡罗模拟，创建了一个数学原型，其中包括车辆系统所有主要电气部件的可靠性特性，包括电池、电机、驱动器、控制器。研究表明，通过提高部件恢复率，可以提高车辆的生存能力。对这个范例进行了彻底的讨论，并基于电动汽车对可靠性估计进行了介绍和分析。本文概述的思想可以支持这项关于电动汽车可靠性设计和维护的研究。此外，本研究的结果可能对电动汽车制造者有所帮助，特别是在升级部件效率和规划提高可靠性时。
使用系统理论生成攻击和故障树的网络物理系统风险覆盖
我们描述了一种形式化的系统理论方法，用于创建网络物理系统 (CPS) 风险叠加，以增强 CPS 风险和威胁分析过程中使用的现有基于树的模型。这种自上而下的方法通过分析其底层控制属性以及相关内部硬件和软件子组件之间的通信流，客观地确定系统对某些风险场景后果的威胁面。在使用攻击和故障树模型时，结果分析应有助于定性选择因果事件，这些模型传统上是使用主观和自下而上的方法进行此事件选择。使用经过验证的系统理论方法客观地确定基于树的模型分析的范围也应该可以改善系统开发生命周期中的防御和安全规划。我们提供了一个使用攻击防御树的控制系统案例研究，并展示了如何将这种方法简化为攻击树、故障树和攻击故障树。
源数据对发射车故障树模型的认知不确定性影响
抽象的发射车系统是使用遗产和新硬件设计和开发的。对遗产硬件的设计修改以适合新的功能系统要求可能会影响遗产可靠性数据的适用性。新设计系统的风险估计必须是从通用数据源（例如使用可靠性预测方法）（例如在MIL-HDBK-217F中涉及的方法）开发的。必须将故障估计值从通用环境转换为使用系统的特定操作环境。此外，应将数据源适用于当前系统的某些资格。在这种情况下表征数据适用性对于开发模型估算至关重要，这些模型估算支持对设计变化和贸易研究的自信决策。本文将展示一种基于原始数据的源和操作环境，建议对目标车辆的认知成分不确定性，以展示一种数据源适用性分类方法。使用启发式准则确定源适用性，而操作环境的翻译是通过将统计方法应用于MIL-HDK-217F表来完成的。
用Ada编写的自动控制系统设备的软件故障树分析
软件故障树分析 (SFFA) 是一种专门分析软件故障的技术，这些故障可能会导致系统中存在软件组件的危险情况。以前的论文工作已经开发出基于 Ada 的自动化软件分析工具。自动代码翻译工具 (ACIT) 和 Ada sllltemcnt 模板生成器、
自动化软件故障树分析控制... - CORE
软件故障树分析 (SFFA) 是一种专门分析软件故障的技术，这些故障可能会导致系统中存在软件组件的危险情况。先前的论文工作已经开发了基于 Ada 的自动化软件分析工具。自动代码翻译工具 (ACIT) 包括 Ada sllltemcnt 模板 gem:rator，
mm mm AFTC 自动故障树代码...
60 摘要：故障树在系统的可靠性和安全性分析中起着主导作用。手动构建故障树是一项非常耗时的任务，而且它不会给出正式的结果，因为它高度依赖于分析师的经验和启发式方法。这就需要计算机化的故障树构建，这仍然吸引着可靠性分析师的兴趣。AFTC 软件是一种用户友好的软件模型，用于基于决策表构建故障树。软件配备了各种核电站 (NPP) 系统中常用组件的决策表库。用户需要根据可用的流程图制作要构建故障树的系统的节点图。文本节点图是定义系统流程图的唯一输入。AFTC 软件是一个基于规则的专家系统，它从系统流程图和组件决策表中绘制故障树。AFTC 软件以文本和图形格式提供故障树。提供有关如何输入系统流程图和组件决策表的帮助。该软件是用 C 语言开发的。软件通过印度 PHWR 消防水系统的简化版本进行验证。将进行代码转换以创建基于窗口的版本。