【摘 要】
：
为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树的逻辑表达式与事故树Petri网模型的可达死标
【机 构】
：
山东科技大学信息科学与工程学院,青岛滨海学院综合学院
【基金项目】
：
国家863高技术研究发展计划基金项目(2009AA062700);国家自然科学基金项目(60773034);青岛市科技计划基金项目(KZJ-47,2008-2-27,09-1-3-50-jch)
论文部分内容阅读
为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树的逻辑表达式与事故树Petri网模型的可达死标识之间的关系,进而提出了利用Petri网可达图求解事故树最小割集的算法,以及在给定基本事件发生时,中间事件和顶事件发生与否的判断方法。结合实例,借助开源的Petri网工具PIPE实现了事故树最小割集的求解,表明了该算法的有效性和可行性。
其他文献
文章首先基于导流施工技术在水利工程施工中的应用展开探讨,然后阐述了其中存在的问题,最后本文针对该施工技术进行合理的探讨。
采用基于密度泛函理论的第一性原理平面波超软赝势方法,建立了纯In I超胞模型以及两种不同Pb掺杂量的In1-xPbxI(x=0.125,0.25)超胞模型,结构优化后,计算了掺杂前后体系的能带
14例患有不同程度心肺疾病的老龄患者,按自愿分成气功和太极拳组,进行康复训练。18个月训练前后检测肺功能,结果表明,锻炼后肺容量有明显提高,通气功能亦略有进步。肺活量平
随着社会生产的迅速发展和社会需求多样化的相互作用，质量、成本、生产率作为制造业的三大要素，其重要程度也发生了相应的变化。如今新产品开发速度逐渐成为企业全球竞争力的关
微博与微信等微传播平台的普及,昭示着以信息化为依托的微时代到来。教育环境的变革推动高校思想政治教育呈现出"微"特点。本文以微传播为研究对象,对微传播在高校思想政治教
门神是民间年画最早也是最常见的题材,起源于古代的祀门,主要有捉鬼门神、武将门神、文官门神和祈福门神四大类型,具有手工版印、印画结合和同类门神年画形象相近的特征。
<正>近年来,马鞍山市按照国家和省委省政府的总体部署,扎实推进创新型企业建设工作,建立了创新型企业培育工作机制,出台了实施方案,制定了评估办法与政策激励措施,创新型企业
解析了造成土地非粮化的成因;一是农村土地流转造成农村土地非粮化;二是工业化、城镇化造成土地非粮化;三是农业结构调整造成土地非粮化。剖析了农村土地非粮化对粮食安全的
针对网络终端软件的滥用问题,分析比较了CPK(combination of public key,组合公钥)和PKI两种认证技术,提出了基于CPK认证的终端软件安全管理系统设计方案。该系统通过终端身
货币资金是指以货币形态存在的资产,是流动资金的重要组成部分,根据其存放地点不同可以分为现金、银行存款、有价证券及其他货币资金。为加强对货币资金的管理,规范货币资金