【摘 要】
：
传统的故障树分析算法普遍存在复杂度随状态空间指数的增长分析效率低的问题,为此提出了基于二元决策图的最小割集生成算法.该算法以二元决策图元素连接法为基础并提出新的构
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
传统的故障树分析算法普遍存在复杂度随状态空间指数的增长分析效率低的问题,为此提出了基于二元决策图的最小割集生成算法.该算法以二元决策图元素连接法为基础并提出新的构造方法,然后通过深度优先搜索的遍历方式得到最小割集.应用该算法对基于通信的列车运行控制系统的区域控制器进行了故障树分析和计算,在此基础上对算法的计算速度和内存使用进行了分析.实验结果表明:新的基于二元决策图的最小割集生成算法相比一般的穷举算法,其算法复杂度由指数级别降低到了线性级别.
其他文献
税收与公民基本财产权密切相关,税收基本行为需要宪法予以规范约束。世界各国宪法多有关于税收事项的明确规定,而我国宪法涉税规定仅有一个条款,且是作为人民的一项基本义务
公益诉讼制度作为一项关系全社会人民共同利益的重要诉讼制度,已经越来越受到重视,本文通过对公益诉讼制度的概念特征及国内外立法现状的介绍,阐明了建立公益诉讼制度对我国
由于受到市场经济改革的影响,财务管理面临多样化的挑战,尤其是在市场竞争白热化的影响下,大部分企业不可避免地出现了资金瓶颈,不得不节约资金和另辟优化企业价值的渠道。在
在网络医学健康信息用户剧增、网络医学健康信息对用户的影响加剧和网络医学健康信息用户群的变迁等背景下,如何根据用户需求为用户提供所需的服务、提高用户效率、减轻用户
目的:观察平乐郭氏荣肌揉筋法结合康复训练对肩-手综合征的治疗作用。方法:106例肩手综合征患者分治疗组组58例和对照组48例,治疗组给予推拿治疗、康复训练、宣教、心理疏导
针对武器综合作战系统实弹射击实时毁伤能力评价的需求,基于GPS定位原理和声学空间定位的原理,进行了火炮系统射击时弹药毁伤能力评价所需参数的试验测试技术研究.重点对应用
本研究说明了如何将全球已有的地球系统数据集用于世界上信息缺乏的地区进行水资源评价。8km分辨率的地理空间分析表明:64%的非洲人口所依赖的水资源是有限的和非常不稳定的
<正>一、主要做法一是深入挖掘品牌内涵。紧紧围绕实施"先锋"引领工程,深入挖掘古城纪历史文化内涵及党组织和党员带领群众发展致富的生动实践,开创时代党建品牌特征。结合全
分级考试作为大学英语分级教学的“第一步”,与后续分级教学成效有着密切联系。从考试文本角度进行分级考试效度验证的研究较多,但从测试利益相关者(stakeholder)尤其是考生
针对黑臭水体疏浚余水氮素难去除问题,在聚合氯化铝（poly aluminum chloride,PAC）为絮凝剂、聚丙烯酰胺（polyacrylamide,PAM）为助凝剂的基础上,采用新型共价键型絮凝剂（hybrid cov