|
基本信息Personal Information
副教授 硕士生导师
性别 : 男
毕业院校 : 哈尔滨工业大学
学历 : 博士研究生毕业
学位 : 博士学位
在职信息 : 在岗
所在单位 : 数理与信息工程学院
入职时间 : 2009年06月26日
办公地点 : 浙江省金华市迎宾大道688号浙江师范大学数理信息学院
Email :
扫描关注
Efficient Ordering Heuristics in Binary Decision Diagrambased Fault Tree Analysis
点击量 ：
第一作者 ： Mo, Yuchang
发表时间 ： 2013-01-01
发表刊物 ： QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL
所属单位 ： 数理与信息工程学院
文献类型 ： 期刊
卷号 ： Vol.29
期号 ： No.3
页面范围 ： 307-315
ISSN ： 0748-8017
关键字 ： fault tree analysis;variable ordering;binary decision diagram
摘要 ： In binary decision diagrambased fault tree analysis, the size of binary decision diagram encoding fault trees heavily depends on the chosen ordering. Heuristics are often used to obtain good orderings. The most important heuristics are depth-first leftmos
是否译文 ： 否