|
基本信息Personal Information
副教授 硕士生导师
性别 : 男
毕业院校 : 哈尔滨工业大学
学历 : 博士研究生毕业
学位 : 博士学位
在职信息 : 在岗
所在单位 : 数理与信息工程学院
入职时间 : 2009年06月26日
办公地点 : 浙江省金华市迎宾大道688号浙江师范大学数理信息学院
Email :
扫描关注
Can we trust module-respect heuristics?
点击量 ：
第一作者 ： Mo, Yuchang
发表时间 ： 2013-01-01
发表刊物 ： Reliability Engineering and System Safety
所属单位 ： 数理与信息工程学院
文献类型 ： 期刊
卷号 ： Vol.111
页面范围 ： 139-146
ISSN ： 0951-8320
关键字 ： Variable;ordering
摘要 ： BDD (Binary Decision Diagrams) have proven to be a very efficient tool to assess Fault Trees. However, the size of BDD, and therefore the efficiency of the whole methodology, depends dramatically on the choice of variable ordering. The determination of th
是否译文 ： 否