XiaoMi-AI文件搜索系统
World File Search SystemFMEA
定时自动机作为表达安全性的形式化 - arXiv
许多关键信息系统依赖于通过共享网络（例如互联网）进行通信。通过此类网络的数据通常很敏感，需要保密。如果不小心处理，私人数据、身份验证码、时间信息或本地化等信息可能会被网络上的任何人访问。这可能会导致安全攻击以检索或更改敏感数据 [Kan+07；HZN09；Mod+13]。为了防止此类入侵，已经开发了各种安全方法和协议。然而，这些安全决策并不总能避免入侵。为了分析信息系统的安全性并突出其弱点，自关键信息系统出现初期就开始使用 FMEA（故障模式影响和危害性分析）[Xu+02；Cas+06] 等技术标准。此后，人们开始探索更加结构化、基于模型的方法，例如 ADVISE 方法 [LeM+11]，该方法可以自动生成定量指标或形式化模型，例如团队自动机 [BLP05] 和攻击树 [KPS14]。
时间自动机作为表达安全性的形式主义 - arXiv
许多关键信息系统依赖于通过共享网络（例如互联网）进行通信。通过此类网络的数据通常很敏感，需要保密。如果处理不当，私人数据、身份验证码、时间信息或本地化等信息可能会被网络上的任何人访问。这可能导致安全攻击以检索或更改敏感数据 [ Kan+07 ; HZN09 ; Mod+13 ]。为了防止此类入侵，已经开发了各种安全方法和协议。然而，这些安全决策并不总能避免入侵。为了分析信息系统的安全性并突出其弱点，自关键信息系统出现初期就开始使用 FMEA（故障模式影响和危害性分析）[ Xu+02 ; Cas+06 ] 等技术标准。此后，人们开始探索更加结构化、基于模型的方法，例如 ADVISE 方法 [ LeM+11 ]，该方法可以自动生成定量指标或形式化方法，例如团队自动机 [ BLP05 ] 和攻击树 [ KPS14 ]，
定时自动机作为表达安全性的形式化 - arXiv
许多关键信息系统依赖于通过共享网络（例如互联网）进行通信。通过此类网络的数据通常很敏感，需要保密。如果处理不当，私人数据、身份验证码、时间信息或本地化等信息可能会被网络上的任何人访问。这可能会导致安全攻击以检索或更改敏感数据 [Kan+07；HZN09；Mod+13]。为了防止此类入侵，已经开发了各种安全方法和协议。然而，这些安全决策并不总能避免入侵。为了分析信息系统的安全性并突出其弱点，自关键信息系统出现初期就开始使用 FMEA（故障模式影响和危害性分析）[Xu+02；Cas+06] 等技术标准。此后，人们开始探索更加结构化、基于模型的方法，例如 ADVISE 方法 [LeM+11]，该方法可以自动生成定量指标或形式化模型，例如团队自动机 [BLP05] 和攻击树 [KPS14]。
定时自动机作为表达安全性的形式化 - arXiv
许多关键信息系统依赖于通过共享网络（例如互联网）进行通信。通过此类网络的数据通常很敏感，需要保密。如果处理不当，私人数据、身份验证码、时间信息或本地化等信息可能会被网络上的任何人访问。这可能会导致安全攻击以检索或更改敏感数据 [Kan+07；HZN09；Mod+13]。为了防止此类入侵，已经开发了各种安全方法和协议。然而，这些安全决策并不总能避免入侵。为了分析信息系统的安全性并突出其弱点，自关键信息系统出现初期就开始使用 FMEA（故障模式影响和危害性分析）[Xu+02；Cas+06] 等技术标准。此后，人们开始探索更加结构化、基于模型的方法，例如 ADVISE 方法 [LeM+11]，该方法可以自动生成定量指标或形式化模型，例如团队自动机 [BLP05] 和攻击树 [KPS14]。
定时自动机作为表达安全性的形式化 - arXiv
许多关键信息系统依赖于通过共享网络（例如互联网）进行通信。通过此类网络的数据通常很敏感，需要保密。如果处理不当，私人数据、身份验证码、时间信息或本地化等信息可能会被网络上的任何人访问。这可能会导致安全攻击以检索或更改敏感数据 [Kan+07；HZN09；Mod+13]。为了防止此类入侵，已经开发了各种安全方法和协议。然而，这些安全决策并不总能避免入侵。为了分析信息系统的安全性并突出其弱点，自关键信息系统出现初期就开始使用 FMEA（故障模式影响和危害性分析）[Xu+02；Cas+06] 等技术标准。此后，人们开始探索更加结构化、基于模型的方法，例如 ADVISE 方法 [LeM+11]，该方法可以自动生成定量指标或形式化模型，例如团队自动机 [BLP05] 和攻击树 [KPS14]。
使用... 提高印度尼西亚飞机模拟训练质量
航空安全的发展必须由可靠的飞行员能力支持。实现飞行员能力的方法之一是使用飞机模拟。本研究的目的是通过使用六西格玛 DMAIC 方法（定义、测量、分析、改进、控制）来降低 King Air B200GT/350i 飞机模拟中的差异水平。分析问题的其他工具包括帕累托图、因果图和 FMEA。需要优先改进的飞机模拟差异包括飞机控制系统的 47% 差异、建模的 30% 差异和驾驶舱 I/O 的 17% 差异。改进优先级的顺序是从维修阶段的最高 RPN 值开始排序的。实施六西格玛后，差异从 45% 降至 14%，西格玛水平从 2.53 提高到 3.16，不良质量成本从每月 6400 万印尼盾降至 2800 万印尼盾。关键词：差异、模拟、六西格玛、DMAIC。
改进了基于可靠性和安全性的压缩机的维护策略
往复式压缩机是空气分离单元工厂系统中的关键设备，旨在通过管道从现场传达到客户的流体。关键点是较长的组件寿命，而不会损害可靠性和安全系统。因此，需要适当的维护策略来改善系统的可靠性和安全性，这些绩效指标会严重影响成本，安全性和环境可持续性。功能风险是根据原始设备制造商（OEM）的最佳实践中有关适用于每个组件的国际和社区标准的几个相关文件评估的。本文显示了书目研究和脆弱性研究评估的整合；它通过防止失败并确定持续改进的机会提供其他信息，在此过程中，使用故障模式和效果分析（FMEA）通过将推荐的措施发布到计划的维护常规任务列表中。以下论文旨在确定可靠和安全的维护要求，以获得多达99.9％的可用性。
无损检测中人为因素研究回顾。
ASME 美国机械工程师学会 BAM 德国联邦材料研究与测试研究所 CFR 美国联邦规章 COD 裂纹张开位移 CVI 近距离目视检查 DPI 着色渗透检查 DSM 异种金属焊缝 EPRI 电力研究机构 FMEA 故障模式影响分析 HF 人为因素 IGSCC 晶间应力腐蚀开裂 ISI 在役检查 LPT 液体渗透检测 MPI 磁粉检测 NDE 无损检测（也称为 NDT 或 NDI） NDI 无损检测（也称为 NDE） NDT 无损检测（也称为 NDE） NRC 核管理委员会 OE 操作经验 PANI 工业 NDE 评估计划 PDI 性能演示研究所 PISC 钢部件检查计划 POD 检测概率 RES 核管理研究办公室 ROC 相对操作特性 SATO 速度/精度权衡 SKI 瑞典语核电督察局 TOMES 任务、操作员、机器、环境和社会模型 英国 英国 美国 美国 UT 超声波检测 VT 视觉检测
KASS验证中心和海上测试 1-2。关于... 的验证程序的开发KASS验证中心和海上测试1-2。关于...
建议执行FMEA来检查单个故障的失败效果，如果单个故障可能导致全部丢失ANS ANS，则可以设计用于使用船舶运动的功能，天气信息，背景图像的复杂性等。作为SA可靠性的标准。开发一种方法来识别SA＆IN拒绝的虚假信息。在深海，弥撒应调整通往最近的避风港的路线，同时清楚地表明质量处于紧急状态，并且无法进行避免碰撞的动作。ROC应通知准备紧急响应以恢复SA或控制船只。在沿海地区周围，弥撒会放慢脚步，并停止音频和视觉信号，告知弥撒有麻烦，无法进行任何碰撞。在公海，在将ROC告知状态后，质量可以保留当前的路线。这次后备可以暂时维持当前风险水平。在沿海地区，可以维持当前风险水平的持续时间将很短，并且随后的船只存在碰撞风险。后备将降低速度并停止，而SA在课程中无法识别对象。如果没有以下船只，则可以考虑紧急停止。
JAP(D) 100C-22 - 军事航空工程
AD 意外损坏 AE 老化探索 ALARP 尽可能低 AMM 飞机维护手册 BITE 内置测试设备 CBM 基于条件的维护 CCMM 持续充电强制维护 CM 状态监测 CMM 部件维护手册 CPL 裂纹扩展寿命 CRL 部件更换清单 CTM 参见 Cty Cty 应急维护 DDP 设计和性能声明 DO 设计组织 DMML 主维护清单草案 DRACAS 数据报告和纠正措施系统 DUL 设计极限载荷 ECU 发动机更换单元 ED 环境损坏 EMI 电磁干扰 EO 明显的操作/经济 ERC 工程记录卡 ES 明显的安全 ESA 外部表面积 ETI 经过时间指示器 FF 故障查找 FFI 故障查找间隔 FFMC 功能故障模式代码 FLC 前线指挥 FMEA 故障模式和影响分析 FMECA 故障模式、影响和危害性分析 FMI 故障模式指示器 FOD 异物损坏