PMS故障树分析中的变量排序策略库研究  

Research on Variable Ordering Heuristics Library in PMS Fault Tree Analysis

作　　者：曾令国[1] 莫毓昌[1] 

机构地区：[1]浙江师范大学数理与信息工程学院,浙江金华321004

出　　处：《计算机工程》2011年第20期39-41,45,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60903011);浙江省自然科学基金资助项目(Y1100689);浙江省科技厅基金资助项目(2010C31122)

摘　　要：研究阶段任务系统(PMS)故障树变量排序方法。构造一个包含10种不同排序策略的策略库,基于实例基准测试对策略库中的单个策略进行平均性能分析,并在此基础上对策略库本身进行互补性和完备性分析。实例分析表明,应用该策略库可以为各种结构特征的大规模PMS故障树快速有效地生成系统二进制决策图。This paper studies the variable ordering of Phased Mission System（PMS） fault tree.It builds an ordering heuristic library including ten different ordering heuristics.To make the library dependable,it evaluates each single heuristic with mean performance analysis techniques based on a PMS benchmark,and evaluates the whole library with the complementarity and completeness analysis techniques.Example analysis shows that equipped with the heuristic library system Binary Decision Diagram（BDD） of large-scale PMS fault tree can be efficiently constructed.

关 键 词：阶段任务系统 故障树分析 二进制决策图 变量排序 排序策略 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]