【摘 要】
：
动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京航空航天大学高安全系统的软件开发与验证技术工业和信息化部重点实验室
【基金项目】
：
国家自然科学基金(61772270);国家重点研发计划(2016YFB1000802)资助课题
论文部分内容阅读
动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模型检测的DFT定量分析方法。首先将DFT分解为动态逻辑门、基本构件、共因失效关系、门门和门构件间的逻辑关系;其次将动态逻辑门、基本构件和共因失效关系基于随机混成自动机形式化规约;然后通过逻辑关系重构自动机,形成随机混成自动机网络;最后通过分析一个具有共因失效关系
其他文献
认真学习党的十九届四中全会精神是当前和今后一个时期首要政治任务。市检察二分院将会议精神切切实实贯彻落实到检察工作中去：$$一是强化检察机关的政治属性，做坚持和巩固中国
对知识资产的开发、利用和管理是科研单位科技管理的一项重要任务.大庆油田勘探开发研究院以服务课题项目为导向,在不改变原有管理体系的基础上,针对显性、隐性、外部等不同
<正>国网饶阳县供电公司在安全事故隐患排查治理工作中,完善安全隐患排查治理机制,深化全方位排查,提高隐患排查质量,提升隐患治理速度,形成了"一条主线、两个体系、三个层面
2010年度流行词“给力”虽滥觞于网络,但它的直接源头却是运用于武术、体育、乐器演奏等领域的行业术语,即同形的动宾词组.“给力”兼具形容词和动词两种性质.作为形容词的含
教学模式构建已成为目前教学研究中十分活跃的研究领域.一个高质、高效的教学模式应具有具体、操作性强的模式目标,模式构建的理论依据,以及明确的模式归类依据,这是目前模式
核心企业往往通过制定不合理契约将社会责任风险转移到供应链中的相关利益方。通过复杂网络理论构建核心型供应链网络拓扑结构模型，对核心型供应链网络中社会责任风险传播的非
环境保护督政问责制度是自2009年原环境保护部发布《环境违法案件挂牌督办管理办法》以来,逐渐在我国形成的被广为接受且落实到具体实践当中的环保制度,自产生至今已得到充分
为优于风电机组低电压穿越(Low Voltage Ride Through, LVRT)国标测试要求及风力发电机组低电压穿越一致性评估需要,建立包含电网及跌落器系统、风力机系统、传动链系统、主
《人民日报》(海外版)作为中国共产党重要的官方外宣窗口,自1985年创刊至今,一直致力于沟通海内外社会,刊发了大量与华侨华人相关的报道。十九大以来,党中央对中国文化及国家形象的国际传播高度重视,华侨华人作为传播中国文化、树立中国国家形象的一个重要载体,对其形象的塑造与宣传必然成为《人民日报》(海外版)重要任务之一。在当前西方的影视、文学作品对华侨华人的形象呈现偏向于负面的背景下,《人民日报》(海外
王船山在诗论中对杜诗的态度较为复杂,时而批评,时而褒扬,这是与其诗学观密切关联的。船山论诗,强调诗歌要"以意为主"、要"一意回旋往复",以"意"的主导性、贯穿性、往复性作