【摘 要】
：
故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前，对于大规模故障树的最小割集的求解方法主
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(61170043);国家973计划(2014CB7449014);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20161602);中央高校基本科研业务费
论文部分内容阅读
故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前，对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解，其主要缺点在于算法在时间和空间上的消耗严重依赖良好的变量顺序。为了减少存储资源并加快求解速度，提出了一种基于可满足性问题的故障树最小割集求解算法。首先，将求解故障树最小割集问题转化为求解布尔可满足性问题。然后，利用可满足性问题求解器，通过迭代分析求得最小可满足解集合，即为对应故障树的最小割集。实验表明，本文算
其他文献
<正>压疮也称压力性溃疡,是长期卧床患者的常见并发症之一,是由于患者身体局部组织长期受压,血液循环障碍,组织营养缺乏,致使皮肤失去正常功能而引起组织破损甚至坏死[1]。压
基于“一带一路”倡议作为“准自然实验”，本文选取2013-2018年我国海洋产业上市公司平衡面板数据作为研究样本，通过倾向得分匹配-双重差分模型来研究“一带一路”倡议对海洋上
目的:探讨在等级医院评审中临床护理质量评价体系建立的有效方法及作用。方法:通过通读三级综合医院评审标准,创建与评审项目相对应的临床护理质量评价体系,明确质量评价目的
<正>1调查对象选择甘肃中医学院附属医院健康体检中心2010-04～2011-07参加体检的甘肃省两所普通高等院校的879名教师。其中甘肃中医学院24～50岁男教师179名,平均年龄(38.25±6.
为了研究车轮的13°冲击性能,提出了一种基于疲劳和13°冲击性能的车轮结构设计和优化方法。以16×61/2J型车轮为研究对象,基于动态弯曲疲劳试验和动态径向疲劳试验对车轮进
我的早餐大部分都是在学校里吃的。早餐总是稀(xī)饭、豆浆(jiāng)之类,很少有我喜欢吃的。星期六晚上我突发奇想,决定自己来做一顿早餐。星期天早上,我睡好懒觉后爬起来,
在环境领域,公众通过环境信息公开了解相关事务情况,并在此基础上形成自己的观点、意见,进而向政府提出,在诉求的表达与回应过程中实现磋商互动。本文拟在现有公众参与制度的
医药类污染物作为环境水体中存在的痕量污染物，因其具有环境稳定性、难降解性以及生物累积性等特性，在与人和动物的长期接触后，会引起生态环境和人类健康的不可逆的潜在危害。城
聚酰亚胺及其衍生物在众多高端领域中的应用愈发引起人们的重视，文章综述了聚酰亚胺杂化后作为绝缘材料及电介质材料的研究及应用情况，展望了聚酰亚胺在电气性能方面研究方向和
艾灸是中国传统医学瑰宝,在国内运用广泛并具有独特疗效。但艾烟能引起室内空气污染,制约了艾灸的推广运用。艾灸诊室作为一个特殊场所,目前缺乏专门的空气卫生标准,对艾灸诊