XiaoMi-AI文件搜索系统
World File Search System序列图
飞机事件序列图灵敏度分析...
Seungwon Noh（博士生）、John F. Shortle（博士）、乔治梅森大学、弗吉尼亚州费尔法克斯 摘要 正在开发综合安全评估模型 (ISAM)，为国家空域系统提供基线风险评估，并评估拟议变更的安全影响。ISAM 中的因果风险模型是事件序列图 (ESD) 和故障树的混合模型，代表事故和事件场景。ISAM 包含数千个参数。本文根据几个重要性指标评估了这些参数在模型中的重要性，以确定最重要的参数。根据事故频率和死亡频率，对单个 ESD 以及所有 ESD 的枢轴事件和底层故障树事件进行分析。
欧洲空中导航安全组织在线数据交换 (OLDI) 规范
图 C-1 - 消息序列 - 第 1 部分.......................................................................................................... 154 图 C-2 - 消息序列 - 第 2 部分.......................................................................................................... 155 图 D-3 - 民事/军事协调......................................................................................................................... 156 图 E-4 - 登录转发，使用 LOF，以及 ATN 的通信传输......................................................................... 157 图 E.5 - 登录转发，使用 CM 接触，以及通信传输......................................................................... 158 图 E.6 - 登录转发，使用 LOF......................................................................................................... 159 图 F.1 — 传输单元 - 协调状态...................................................................................................................161 图 F.2 — 接收单元 - 协调状态...................................................................................................................162 图 F.3 — 序列图 – ABI 消息.163 图 F.4 - 序列图 - ACT 消息 164 图 F.5 – 序列图 – PAC 消息………………………………………………..….…..165 图 F.6 – 序列图 – REV 消息……………………………………………………..…166 图 F.7 – 序列图 – MAC 消息…………………………………………………….…166
美国国家航空航天局 (NASA) 概率风险评估程序指南...
图 2-1：PRA 中风险三重定义的实施..................................................................................... 7 图 2-2：持续风险管理流程.................................................................................................... 8 图 2-3：人为事件造成的死亡频率 [10]........................................................................ 14 图 2-4：核管理委员会的风险知情监管框架....................................................... 15 图 2-5：风险的“可容忍度”............................................................................................................. 16 图 3-1：推进剂分配模块的简化示意图.................................................................................... 23 图 3-2：场景的概念.................................................................................................................... 28 图 3-3：主逻辑图 (MLD) 的典型结构........................................................................................ 30 图 3-4：事件序列图 (ESD) 的概念........................................................................................ 31 图 3-5：图 3-4 中所示的 ESD 的事件树表示................................................................ 32 图 3-6：肼泄漏的 ESD ...................................................................................................... 34 图 3-7：肼泄漏的事件树 ...................................................................................................... 34 图 3-8：肼泄漏的修订 ET ...................................................................................................... 35 图 3-9：泄漏检测失败和隔离失败的故障树（给定检测） 36 图 3-10：指数分布模型 ( )t exp( 1 )t( Pr f λ − − =，λ =0.001 每小时)) ...... 38 图 3-11：贝叶斯定理的应用 ............................................................................................. 41 图 3-12：示例问题的认知不确定性传播 ............................................................................. 43 图 3-13：典型的 PRA 任务流程 ............................................................................................. 44 图 4-1：指示变量的定义 ............................................................................................. 47 图 4-2：维恩图...................................................................................................................... 48 图 4-3：NOT 运算.................................................................................................................... 48 图 4-4：事件的并集................................................................................................................... 49 图 4-5：事件的交集................................................................................................................... 49 图 4-6：串联系统...................................................................................................................... 50 图 4-7：公式 4.6 的图形表示............................................................................................................. 50 图 4-8： 并行系统................................................................................................................... 51 图 4-9： 公式 4.8 的图形表示.............................................................................................. 51 图 4-10： 三取二系统的框图...................................................................................................... 52 图 4-11： 公式 4.14 的图形表示..................................................................................... 53 图 4-12： 检查示例的各种情况..................................................................................................... 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf..................................................................................................... 61 图 5-1： 实验的二元状态............................................................................................................. 65 图 5-2： 浴盆曲线............................................................................................................. 68 图5-3: 不同 b 值的威布尔风险函数 .......................................................................................... 71 图 6-1: 事件树/故障树链接 .......................................................................................................... 79 图 6-2: 时间相关部件可用性 ...................................................................................................... 82 图 6-3: 时间相关部件可靠性（即无需维修） ............................................................................. 83 图 6-4: 典型事件序列图 ............................................................................................................. 86 图 6-5: 事件序列图开发 ............................................................................................................. 87 图 6-6: 典型事件序列图开发 ............................................................................................................. 88 图 6-7: 事件树结构 ............................................................................................................................. 89 图 6-8: 事件树链接 ............................................................................................................................. 90 图 6-9: 典型故障树结构 ............................................................................................................. 92 图 6-10: 故障树符号 ............................................................................................................. 93 图 7-1:故障率的概率质量函数................................................................................ 100 图 7-2：具有认知不确定性的偶然可靠性曲线.............................................................. 10151 图 4-9： 公式 4.8 的图形表示............................................................................................... 51 图 4-10： 三选二系统的框图.............................................................................................. 52 图 4-11： 公式 4.14 的图形表示........................................................................................ 53 图 4-12： 检查示例的各种情况............................................................................................. 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf............................................................................................. 61 图 5-1： 实验的二元状态.................................................................................................... 65 图 5-2： 浴盆曲线............................................................................................................. 68 图 5-3： 不同 b 值的威布尔风险函数............................................................................. 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关组件可用性...................................................................................................... 82 图 6-3：时间相关组件可靠性（即无需维修）........................................................................ 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发...................................................................................................... 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图 6-10：故障树符号............................................................................................................. 93 图 7-1：故障率的概率质量函数............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................10151 图 4-9： 公式 4.8 的图形表示............................................................................................... 51 图 4-10： 三选二系统的框图.............................................................................................. 52 图 4-11： 公式 4.14 的图形表示........................................................................................ 53 图 4-12： 检查示例的各种情况............................................................................................. 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf............................................................................................. 61 图 5-1： 实验的二元状态.................................................................................................... 65 图 5-2： 浴盆曲线............................................................................................................. 68 图 5-3： 不同 b 值的威布尔风险函数............................................................................. 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关组件可用性...................................................................................................... 82 图 6-3：时间相关组件可靠性（即无需维修）........................................................................ 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发...................................................................................................... 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图 6-10：故障树符号............................................................................................................. 93 图 7-1：故障率的概率质量函数............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................101........................................................... 53 图 4-12：检查示例的各种情况.................................................................................... 58 图 4-13：模具实验的随机变量................................................................................... 58 图 4-14：模具实验的累积分布函数............................................................................. 59 图 4-15：示例的 CDF 和 pdf............................................................................................. 61 图 5-1：实验的二元状态....................................................................................................... 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数 ............................................................................. 71 图 6-1：事件树/故障树链接............................................................................................. 79 图 6-2：时间相关的组件可用性..................................................................................... 82 图 6-3：时间相关的组件可靠性（即，无需维修）..................................................... 83 图 6-4：典型事件序列图 ................................................................................................................ 86 图 6-5：事件序列图开发 ...................................................................................................... 87 图 6-6：典型事件序列图开发 ...................................................................................................... 88 图 6-7：事件树结构 ...................................................................................................................... 89 图 6-8：事件树链接 ...................................................................................................................... 90 图 6-9：典型故障树结构 ............................................................................................................. 92 图 6-10：故障树符号 ............................................................................................................. 93 图 7-1：故障率的概率质量函数 ............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线 ............................................................................. 101........................................................... 53 图 4-12：检查示例的各种情况.................................................................................... 58 图 4-13：模具实验的随机变量................................................................................... 58 图 4-14：模具实验的累积分布函数............................................................................. 59 图 4-15：示例的 CDF 和 pdf............................................................................................. 61 图 5-1：实验的二元状态....................................................................................................... 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数 ............................................................................. 71 图 6-1：事件树/故障树链接............................................................................................. 79 图 6-2：时间相关的组件可用性..................................................................................... 82 图 6-3：时间相关的组件可靠性（即，无需维修）..................................................... 83 图 6-4：典型事件序列图 ................................................................................................................ 86 图 6-5：事件序列图开发 ...................................................................................................... 87 图 6-6：典型事件序列图开发 ...................................................................................................... 88 图 6-7：事件树结构 ...................................................................................................................... 89 图 6-8：事件树链接 ...................................................................................................................... 90 图 6-9：典型故障树结构 ............................................................................................................. 92 图 6-10：故障树符号 ............................................................................................................. 93 图 7-1：故障率的概率质量函数 ............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线 ............................................................................. 101.................. 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数........................................................................................ 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关部件可用性....................................................................................................... 82 图 6-3：时间相关部件可靠性（即无需维修）............................................................................. 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发............................................................................................................. 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图6-10：故障树符号................................................................................................................ 93 图 7-1：故障率的概率质量函数.................................................................................... 100 图 7-2：具有认知不确定性的偶然可靠性曲线........................................................................ 101.................. 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数........................................................................................ 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关部件可用性....................................................................................................... 82 图 6-3：时间相关部件可靠性（即无需维修）............................................................................. 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发............................................................................................................. 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图6-10：故障树符号................................................................................................................ 93 图 7-1：故障率的概率质量函数.................................................................................... 100 图 7-2：具有认知不确定性的偶然可靠性曲线........................................................................ 101........... 90 图 6-9：典型故障树结构.................................................................................................... 92 图 6-10：故障树符号.................................................................................................... 93 图 7-1：故障率的概率质量函数................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................... 101........... 90 图 6-9：典型故障树结构.................................................................................................... 92 图 6-10：故障树符号.................................................................................................... 93 图 7-1：故障率的概率质量函数................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................... 101
美国国家航空航天局 (NASA) 概率风险评估程序指南...
图 2-1：PRA 中风险三重定义的实施..................................................................................... 7 图 2-2：持续风险管理流程.................................................................................................... 8 图 2-3：人为事件造成的死亡频率 [10]........................................................................ 14 图 2-4：核管理委员会的风险知情监管框架....................................................... 15 图 2-5：风险的“可容忍度”............................................................................................................. 16 图 3-1：推进剂分配模块的简化示意图.................................................................................... 23 图 3-2：场景的概念.................................................................................................................... 28 图 3-3：主逻辑图 (MLD) 的典型结构........................................................................................ 30 图 3-4：事件序列图 (ESD) 的概念........................................................................................ 31 图 3-5：图 3-4 中所示的 ESD 的事件树表示................................................................ 32 图 3-6：肼泄漏的 ESD ...................................................................................................... 34 图 3-7：肼泄漏的事件树 ...................................................................................................... 34 图 3-8：肼泄漏的修订 ET ...................................................................................................... 35 图 3-9：泄漏检测失败和隔离失败的故障树（给定检测） 36 图 3-10：指数分布模型 ( )t exp( 1 )t( Pr f λ − − =，λ =0.001 每小时)) ...... 38 图 3-11：贝叶斯定理的应用 ............................................................................................. 41 图 3-12：示例问题的认知不确定性传播 ............................................................................. 43 图 3-13：典型的 PRA 任务流程 ............................................................................................. 44 图 4-1：指示变量的定义 ............................................................................................. 47 图 4-2：维恩图...................................................................................................................... 48 图 4-3：NOT 运算.................................................................................................................... 48 图 4-4：事件的并集................................................................................................................... 49 图 4-5：事件的交集................................................................................................................... 49 图 4-6：串联系统...................................................................................................................... 50 图 4-7：公式 4.6 的图形表示............................................................................................................. 50 图 4-8： 并行系统................................................................................................................... 51 图 4-9： 公式 4.8 的图形表示.............................................................................................. 51 图 4-10： 三取二系统的框图...................................................................................................... 52 图 4-11： 公式 4.14 的图形表示..................................................................................... 53 图 4-12： 检查示例的各种情况..................................................................................................... 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf..................................................................................................... 61 图 5-1： 实验的二元状态............................................................................................................. 65 图 5-2： 浴盆曲线............................................................................................................. 68 图5-3: 不同 b 值的威布尔风险函数 .......................................................................................... 71 图 6-1: 事件树/故障树链接 .......................................................................................................... 79 图 6-2: 时间相关部件可用性 ...................................................................................................... 82 图 6-3: 时间相关部件可靠性（即无需维修） ............................................................................. 83 图 6-4: 典型事件序列图 ............................................................................................................. 86 图 6-5: 事件序列图开发 ............................................................................................................. 87 图 6-6: 典型事件序列图开发 ............................................................................................................. 88 图 6-7: 事件树结构 ............................................................................................................................. 89 图 6-8: 事件树链接 ............................................................................................................................. 90 图 6-9: 典型故障树结构 ............................................................................................................. 92 图 6-10: 故障树符号 ............................................................................................................. 93 图 7-1:故障率的概率质量函数................................................................................ 100 图 7-2：具有认知不确定性的偶然可靠性曲线.............................................................. 10151 图 4-9： 公式 4.8 的图形表示............................................................................................... 51 图 4-10： 三选二系统的框图.............................................................................................. 52 图 4-11： 公式 4.14 的图形表示........................................................................................ 53 图 4-12： 检查示例的各种情况............................................................................................. 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf............................................................................................. 61 图 5-1： 实验的二元状态.................................................................................................... 65 图 5-2： 浴盆曲线............................................................................................................. 68 图 5-3： 不同 b 值的威布尔风险函数............................................................................. 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关组件可用性...................................................................................................... 82 图 6-3：时间相关组件可靠性（即无需维修）........................................................................ 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发...................................................................................................... 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图 6-10：故障树符号............................................................................................................. 93 图 7-1：故障率的概率质量函数............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................10151 图 4-9： 公式 4.8 的图形表示............................................................................................... 51 图 4-10： 三选二系统的框图.............................................................................................. 52 图 4-11： 公式 4.14 的图形表示........................................................................................ 53 图 4-12： 检查示例的各种情况............................................................................................. 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf............................................................................................. 61 图 5-1： 实验的二元状态.................................................................................................... 65 图 5-2： 浴盆曲线............................................................................................................. 68 图 5-3： 不同 b 值的威布尔风险函数............................................................................. 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关组件可用性...................................................................................................... 82 图 6-3：时间相关组件可靠性（即无需维修）........................................................................ 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发...................................................................................................... 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图 6-10：故障树符号............................................................................................................. 93 图 7-1：故障率的概率质量函数............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................101........................................................... 53 图 4-12：检查示例的各种情况.................................................................................... 58 图 4-13：模具实验的随机变量................................................................................... 58 图 4-14：模具实验的累积分布函数............................................................................. 59 图 4-15：示例的 CDF 和 pdf............................................................................................. 61 图 5-1：实验的二元状态....................................................................................................... 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数 ............................................................................. 71 图 6-1：事件树/故障树链接............................................................................................. 79 图 6-2：时间相关的组件可用性..................................................................................... 82 图 6-3：时间相关的组件可靠性（即，无需维修）..................................................... 83 图 6-4：典型事件序列图 ................................................................................................................ 86 图 6-5：事件序列图开发 ...................................................................................................... 87 图 6-6：典型事件序列图开发 ...................................................................................................... 88 图 6-7：事件树结构 ...................................................................................................................... 89 图 6-8：事件树链接 ...................................................................................................................... 90 图 6-9：典型故障树结构 ............................................................................................................. 92 图 6-10：故障树符号 ............................................................................................................. 93 图 7-1：故障率的概率质量函数 ............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线 ............................................................................. 101........................................................... 53 图 4-12：检查示例的各种情况.................................................................................... 58 图 4-13：模具实验的随机变量................................................................................... 58 图 4-14：模具实验的累积分布函数............................................................................. 59 图 4-15：示例的 CDF 和 pdf............................................................................................. 61 图 5-1：实验的二元状态....................................................................................................... 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数 ............................................................................. 71 图 6-1：事件树/故障树链接............................................................................................. 79 图 6-2：时间相关的组件可用性..................................................................................... 82 图 6-3：时间相关的组件可靠性（即，无需维修）..................................................... 83 图 6-4：典型事件序列图 ................................................................................................................ 86 图 6-5：事件序列图开发 ...................................................................................................... 87 图 6-6：典型事件序列图开发 ...................................................................................................... 88 图 6-7：事件树结构 ...................................................................................................................... 89 图 6-8：事件树链接 ...................................................................................................................... 90 图 6-9：典型故障树结构 ............................................................................................................. 92 图 6-10：故障树符号 ............................................................................................................. 93 图 7-1：故障率的概率质量函数 ............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线 ............................................................................. 101.................. 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数........................................................................................ 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关部件可用性....................................................................................................... 82 图 6-3：时间相关部件可靠性（即无需维修）............................................................................. 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发............................................................................................................. 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图6-10：故障树符号................................................................................................................ 93 图 7-1：故障率的概率质量函数.................................................................................... 100 图 7-2：具有认知不确定性的偶然可靠性曲线........................................................................ 101.................. 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数........................................................................................ 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关部件可用性....................................................................................................... 82 图 6-3：时间相关部件可靠性（即无需维修）............................................................................. 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发............................................................................................................. 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图6-10：故障树符号................................................................................................................ 93 图 7-1：故障率的概率质量函数.................................................................................... 100 图 7-2：具有认知不确定性的偶然可靠性曲线........................................................................ 101........... 90 图 6-9：典型故障树结构.................................................................................................... 92 图 6-10：故障树符号.................................................................................................... 93 图 7-1：故障率的概率质量函数................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................... 101........... 90 图 6-9：典型故障树结构.................................................................................................... 92 图 6-10：故障树符号.................................................................................................... 93 图 7-1：故障率的概率质量函数................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................... 101
美国国家航空航天局 (NASA) 概率风险评估程序指南...
图 2-1：PRA 中风险三重定义的实施..................................................................................... 7 图 2-2：持续风险管理流程.................................................................................................... 8 图 2-3：人为事件造成的死亡频率 [10]........................................................................ 14 图 2-4：核管理委员会的风险知情监管框架....................................................... 15 图 2-5：风险的“可容忍度”............................................................................................................. 16 图 3-1：推进剂分配模块的简化示意图.................................................................................... 23 图 3-2：场景的概念.................................................................................................................... 28 图 3-3：主逻辑图 (MLD) 的典型结构........................................................................................ 30 图 3-4：事件序列图 (ESD) 的概念........................................................................................ 31 图 3-5：图 3-4 中所示的 ESD 的事件树表示................................................................ 32 图 3-6：肼泄漏的 ESD ...................................................................................................... 34 图 3-7：肼泄漏的事件树 ...................................................................................................... 34 图 3-8：肼泄漏的修订 ET ...................................................................................................... 35 图 3-9：泄漏检测失败和隔离失败的故障树（给定检测） 36 图 3-10：指数分布模型 ( )t exp( 1 )t( Pr f λ − − =，λ =0.001 每小时)) ...... 38 图 3-11：贝叶斯定理的应用 ............................................................................................. 41 图 3-12：示例问题的认知不确定性传播 ............................................................................. 43 图 3-13：典型的 PRA 任务流程 ............................................................................................. 44 图 4-1：指示变量的定义 ............................................................................................. 47 图 4-2：维恩图...................................................................................................................... 48 图 4-3：NOT 运算.................................................................................................................... 48 图 4-4：事件的并集................................................................................................................... 49 图 4-5：事件的交集................................................................................................................... 49 图 4-6：串联系统...................................................................................................................... 50 图 4-7：公式 4.6 的图形表示............................................................................................................. 50 图 4-8： 并行系统................................................................................................................... 51 图 4-9： 公式 4.8 的图形表示.............................................................................................. 51 图 4-10： 三取二系统的框图...................................................................................................... 52 图 4-11： 公式 4.14 的图形表示..................................................................................... 53 图 4-12： 检查示例的各种情况..................................................................................................... 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf..................................................................................................... 61 图 5-1： 实验的二元状态............................................................................................................. 65 图 5-2： 浴盆曲线............................................................................................................. 68 图5-3: 不同 b 值的威布尔风险函数 .......................................................................................... 71 图 6-1: 事件树/故障树链接 .......................................................................................................... 79 图 6-2: 时间相关部件可用性 ...................................................................................................... 82 图 6-3: 时间相关部件可靠性（即无需维修） ............................................................................. 83 图 6-4: 典型事件序列图 ............................................................................................................. 86 图 6-5: 事件序列图开发 ............................................................................................................. 87 图 6-6: 典型事件序列图开发 ............................................................................................................. 88 图 6-7: 事件树结构 ............................................................................................................................. 89 图 6-8: 事件树链接 ............................................................................................................................. 90 图 6-9: 典型故障树结构 ............................................................................................................. 92 图 6-10: 故障树符号 ............................................................................................................. 93 图 7-1:故障率的概率质量函数................................................................................ 100 图 7-2：具有认知不确定性的偶然可靠性曲线.............................................................. 10151 图 4-9： 公式 4.8 的图形表示............................................................................................... 51 图 4-10： 三选二系统的框图.............................................................................................. 52 图 4-11： 公式 4.14 的图形表示........................................................................................ 53 图 4-12： 检查示例的各种情况............................................................................................. 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf............................................................................................. 61 图 5-1： 实验的二元状态.................................................................................................... 65 图 5-2： 浴盆曲线............................................................................................................. 68 图 5-3： 不同 b 值的威布尔风险函数............................................................................. 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关组件可用性...................................................................................................... 82 图 6-3：时间相关组件可靠性（即无需维修）........................................................................ 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发...................................................................................................... 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图 6-10：故障树符号............................................................................................................. 93 图 7-1：故障率的概率质量函数............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................10151 图 4-9： 公式 4.8 的图形表示............................................................................................... 51 图 4-10： 三选二系统的框图.............................................................................................. 52 图 4-11： 公式 4.14 的图形表示........................................................................................ 53 图 4-12： 检查示例的各种情况............................................................................................. 58 图 4-13： 模具实验的随机变量............................................................................................. 58 图 4-14： 模具实验的累积分布函数............................................................................. 59 图 4-15： 示例的 CDF 和 pdf............................................................................................. 61 图 5-1： 实验的二元状态.................................................................................................... 65 图 5-2： 浴盆曲线............................................................................................................. 68 图 5-3： 不同 b 值的威布尔风险函数............................................................................. 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关组件可用性...................................................................................................... 82 图 6-3：时间相关组件可靠性（即无需维修）........................................................................ 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发...................................................................................................... 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图 6-10：故障树符号............................................................................................................. 93 图 7-1：故障率的概率质量函数............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................101........................................................... 53 图 4-12：检查示例的各种情况.................................................................................... 58 图 4-13：模具实验的随机变量................................................................................... 58 图 4-14：模具实验的累积分布函数............................................................................. 59 图 4-15：示例的 CDF 和 pdf............................................................................................. 61 图 5-1：实验的二元状态....................................................................................................... 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数 ............................................................................. 71 图 6-1：事件树/故障树链接............................................................................................. 79 图 6-2：时间相关的组件可用性..................................................................................... 82 图 6-3：时间相关的组件可靠性（即，无需维修）..................................................... 83 图 6-4：典型事件序列图 ................................................................................................................ 86 图 6-5：事件序列图开发 ...................................................................................................... 87 图 6-6：典型事件序列图开发 ...................................................................................................... 88 图 6-7：事件树结构 ...................................................................................................................... 89 图 6-8：事件树链接 ...................................................................................................................... 90 图 6-9：典型故障树结构 ............................................................................................................. 92 图 6-10：故障树符号 ............................................................................................................. 93 图 7-1：故障率的概率质量函数 ............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线 ............................................................................. 101........................................................... 53 图 4-12：检查示例的各种情况.................................................................................... 58 图 4-13：模具实验的随机变量................................................................................... 58 图 4-14：模具实验的累积分布函数............................................................................. 59 图 4-15：示例的 CDF 和 pdf............................................................................................. 61 图 5-1：实验的二元状态....................................................................................................... 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数 ............................................................................. 71 图 6-1：事件树/故障树链接............................................................................................. 79 图 6-2：时间相关的组件可用性..................................................................................... 82 图 6-3：时间相关的组件可靠性（即，无需维修）..................................................... 83 图 6-4：典型事件序列图 ................................................................................................................ 86 图 6-5：事件序列图开发 ...................................................................................................... 87 图 6-6：典型事件序列图开发 ...................................................................................................... 88 图 6-7：事件树结构 ...................................................................................................................... 89 图 6-8：事件树链接 ...................................................................................................................... 90 图 6-9：典型故障树结构 ............................................................................................................. 92 图 6-10：故障树符号 ............................................................................................................. 93 图 7-1：故障率的概率质量函数 ............................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线 ............................................................................. 101.................. 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数........................................................................................ 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关部件可用性....................................................................................................... 82 图 6-3：时间相关部件可靠性（即无需维修）............................................................................. 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发............................................................................................................. 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图6-10：故障树符号................................................................................................................ 93 图 7-1：故障率的概率质量函数.................................................................................... 100 图 7-2：具有认知不确定性的偶然可靠性曲线........................................................................ 101.................. 65 图 5-2：浴盆曲线.................................................................................................................... 68 图 5-3：不同 b 值的威布尔风险函数........................................................................................ 71 图 6-1：事件树/故障树链接...................................................................................................... 79 图 6-2：时间相关部件可用性....................................................................................................... 82 图 6-3：时间相关部件可靠性（即无需维修）............................................................................. 83 图 6-4：典型事件序列图............................................................................................................. 86 图 6-5：事件序列图开发............................................................................................................. 87 图 6-6：典型事件序列图开发............................................................................................................. 88 图 6-7：事件树结构............................................................................................................................. 89 图 6-8：事件树链接............................................................................................................................. 90 图 6-9：典型故障树结构............................................................................................................. 92 图6-10：故障树符号................................................................................................................ 93 图 7-1：故障率的概率质量函数.................................................................................... 100 图 7-2：具有认知不确定性的偶然可靠性曲线........................................................................ 101........... 90 图 6-9：典型故障树结构.................................................................................................... 92 图 6-10：故障树符号.................................................................................................... 93 图 7-1：故障率的概率质量函数................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................... 101........... 90 图 6-9：典型故障树结构.................................................................................................... 92 图 6-10：故障树符号.................................................................................................... 93 图 7-1：故障率的概率质量函数................................................................................. 100 图 7-2：具有认知不确定性的偶然可靠性曲线......................................................................... 101
构建高可信度、以人为本的决策系统
摘要 未来的许多决策支持系统都将以人为本，即需要大量的人为监督和控制。由于这些系统通常提供关键服务，因此需要高度保证它们满足其要求。本文是形式化方法、自适应代理和认知科学专家组成的跨学科研究团队的成果，通过提出一种开发高保证以人为本的决策系统的新流程来解决这一问题。该过程使用 AI（人工智能）方法（即用于预测人类行为的认知模型和用于协助人类的自适应代理）来提高系统性能，并使用软件工程方法（即形式化建模和分析）来获得系统按预期运行的高度保证。本文介绍了一种从事件序列图（消息序列图的变体）合成形式系统模型的新方法
第1周中央处理单元（CPU）...
Cu从指令和状态寄存器中获取其输入。其操作规则或微序列图是在可编程逻辑数组（PLA），随机逻辑或仅读取内存（ROM）中编码的。控制单元是CPU的重要组成部分。它就像计算机的主管一样。它控制并协调计算机系统的所有活动。它还维护计算机系统中的流量和数据流的顺序。
穆罕默德·阿哈梅
••成功地为公司产品的当前和未来语音路线图开发和实施•确保在需要与语音服务层相互作用的硬件和软件组件中涵盖所有技术方面的所有方面，这些方面•通过验证和验证验证•通过测试和各种验证验证•通过测试和各种验证的验证•定义消息序列图•通过测试和验证•通过测试验证和各种验证•确定•通过测试验证和验证••通过测试验证•通过测试验证•通过测试验证••确定•通过测试验证••确定•在测试中••通过测试验证••通过测试验证•确定•通过测试验证••确定•通过测试验证•确定•通过测试验证•在随后的软件基线中倡导修复程序的交付。 •现场和现场车辆测试和签约，以进行新功能。•成功地为公司产品的当前和未来语音路线图开发和实施•确保在需要与语音服务层相互作用的硬件和软件组件中涵盖所有技术方面的所有方面，这些方面•通过验证和验证验证•通过测试和各种验证验证•通过测试和各种验证的验证•定义消息序列图•通过测试和验证•通过测试验证和各种验证•确定•通过测试验证和验证••通过测试验证•通过测试验证•通过测试验证••确定•通过测试验证••确定•在测试中••通过测试验证••通过测试验证•确定•通过测试验证••确定•通过测试验证•确定•通过测试验证•在随后的软件基线中倡导修复程序的交付。•现场和现场车辆测试和签约，以进行新功能。
系统工程方法与标准操作程序模拟
标准操作程序 (SOP) 通过规定机组人员完成任务每个阶段的行动顺序来定义驾驶舱操作。精心设计的程序允许机组人员在操作允许的时间窗口内以可行的进度执行所需的行动顺序。当前开发程序的做法依赖于领域专家的判断，并由专家在模拟器中测试。这种方法成本高昂、耗时，并且依赖于主观评估。本文介绍了一种形式化模型的应用，该模型通过使用序列图和蒙特卡洛模拟的组合来评估 SOP 交互的提示和时间以支持完成时间分析，从而补充领域专家的工作。该方法通过一个案例研究进行了演示，该案例研究比较了四引擎涡扇飞机的两种替代程序。
计算机编程科学
将自动驾驶系统过渡到复杂的操作领域会不成比例地增加了对遗传活动的需求。在最坏的情况下，操作域不能被一组可管理的逻辑场景所覆盖。预期的解决方案是使用抽象场景，该方案增加了覆盖范围，同时仍可以实现正式方法。但是，必须调整已建立的遗传方法，以用于抽象场景。在这项工作中，我们考虑了从抽象场景中产生的可模拟测试套件。为此，我们使用train -of C序列图（TSC），这是一种基于一阶逻辑的视觉而设计的方案描述语言。我们提出了一个基于SMT的过程，用于生成可以在例如卡拉。这个理论框架被编译为一个称为TSC2CARLA的架构和原型实现。对一组非平凡示例的评估为我们方法的可行性提供了初步证据。