【摘 要】
：
探讨了二叉决策图(BDD)求解故障树失效概率和最小割集(MCS)的方法,包括如何将故障树转化为BDD、用BDD求解最小割集、利用零压缩二叉决策图(ZBDD)表示最小割集以减少存储空间
论文部分内容阅读
探讨了二叉决策图(BDD)求解故障树失效概率和最小割集(MCS)的方法,包括如何将故障树转化为BDD、用BDD求解最小割集、利用零压缩二叉决策图(ZBDD)表示最小割集以减少存储空间、基于BDD求解故障树顶事件失效概率。用程序实现了BDD算法,以某电厂PSA模型部分分枝为对象,通过手工计算和RiskSpectrum PSA程序验证了该程序的正确性,对比结果显示该程序可用于求解小规模故障树失效率和MCS。
其他文献
化工生产的过程中,由于自动化仪表长期的使用,很容易发生常见故障,尤其是调节阀方面,并且一旦该方面存在问题,就会影响化工生产的综合效益。因此,本文针对自动化仪表调节阀常
鹤壁市建设优秀旅游城市的步伐不断加快，对整个景区规划、管理和景区形象宣传成为今后打造旅游板块的重点。本文通过对鹤壁市旅游发展的现状的实地观察和调查问卷的结论，总结出
公办高校固定资产是国有资产的重要组成部分。防止固定资产流失，提高固定资产的使用效率，是学校固定资产管理的目标。公办高校在固定资产管理中存在管理职权分散，责任不清，管理缺
多年来，玉米秸秆很少被有效利用，除少量的玉米秸秆被作为燃料、饲料、肥料外，大量的秸秆在田间焚烧或拉到地头腐烂，造成资源浪费、环境污染、火患发生。虽然政府部门采取了一些必
对江西大岗山地区不同发育阶段杉木林林地土壤有机碳变化特征进行了研究,并利用相关分析和逐步回归分析方法探讨了土壤因子对其的影响。结果表明,不同发育阶段土壤有机碳含量
本文以江西中医药高等专科学校新校区的规划设计思考为例，在当代中等规模校园规划设计中，对于特定地域的校园规划与建筑设计需要根据其地域的历史文化与自然环境特点，提炼满足该
黑龙江的小剧场戏剧风雨兼程,努力前行,它距我们不断希望的繁荣还有相当长的路。不过,黑龙江的小剧场戏剧创作同样也呈现出积极向上的发展态势,坚持＂内容为本＂,不断提升内容产
由省发改委牵头组织编制的《衡邵干旱走廊综合治理规划》（以下简称《规划》），已正式通过湖南省人民政府审批。全省发改系统正紧锣密鼓，抓紧规划的组织实施。春节前，一笔5000万元的
针对车联网或未来无人驾驶场景下的多媒体广告推送问题,需要在现有的移动广告推荐系统中,加入对时间窗口、匹配路线、受众心理等参数的考虑和优化。提出了一个广告轮播模型,
汉英两个民族在观察事物与思维方式上都存在着一定差异,这种差异在语言转换过程中往往被忽视,使译文晦涩难懂。本文通过对中西方思维模式在语言中的表现进行比较分析,揭示了