Variable sorting based on fault tree structure adjustment for multi-valued decision diagrams

被引：0
|
作者：
机构：
[1] Fang, Min
[2] Zhou, Shuyue
[3] Chen, Yongmei
[4] 1,Wang, Hongchun
[5] Qiu, Zheng
[6] Zhang, Zhendong
[7] Xiao, Chenguang
来源：
| 2017年 / Science Press卷 / 44期
关键词：
721.1 Computer Theory; Includes Formal Logic; Automata Theory; Switching Theory; Programming Theory - 921.4 Combinatorial Mathematics; Includes Graph Theory; Set Theory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
11
引用
收藏
相关论文
共 50 条
  • [41] Rhythmics, multi-valued Structure Chain
    Werner, Heinz
    ZEITSCHRIFT FUR PSYCHOLOGIE UND PHYSIOLOGIE DER SINNESORGANE, 1919, 82 : 198 - 218
  • [42] Reliability Modeling of Warm Standby Systems Subject to Fault Level Coverage Based on Multi-Valued Decision Diagram
    Zhai, Qingqing
    Yang, Jun
    Wang, Miaomiao
    Qiu, Yusheng
    Peng, Rui
    PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (QR2MSE), VOLS I-IV, 2013, : 50 - 53
  • [43] Model checking for multi-valued computation tree logics
    Konikowska, B
    Penczek, W
    BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC, 2003, 114 : 193 - 210
  • [44] Research on multi-valued and multi-labeled decision trees
    Li, Hong
    Zhao, Rui
    Chen, Jianer
    Xiang, Yao
    ADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS, 2006, 4093 : 247 - 254
  • [45] Fault simulation in Sequential Multi-Valued Logic Networks
    Drechsler, R
    Keim, M
    Becker, B
    27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 145 - 150
  • [46] Computation tree logic model checking based on multi-valued possibility measures
    Li, Yongming
    Lei, Lihui
    Li, Sanjiang
    INFORMATION SCIENCES, 2019, 485 : 87 - 113
  • [47] Fault tree analysis and binary decision diagrams
    Sinnamon, RM
    Andrews, JD
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1996 PROCEEDINGS, 1996, : 215 - 222
  • [48] Multi-valued Decision Diagram based Reliability Analysis of Demand-Based Warm Standby Systems with Imperfect Fault Coverage
    Peng Rui
    Zhai Qingqing
    Shi Lei
    Yang Jun
    APPLIED SCIENCE, MATERIALS SCIENCE AND INFORMATION TECHNOLOGIES IN INDUSTRY, 2014, 513-517 : 4161 - 4166
  • [49] Efficient bridging fault simulation of sequential circuits based on multi-valued logics
    Polian, I
    Engelke, P
    Becker, B
    ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 216 - 222
  • [50] The Right Mutation Strength for Multi-Valued Decision Variables
    Doerr, Benjamin
    Doerr, Carola
    Koetzing, Timo
    GECCO'16: PROCEEDINGS OF THE 2016 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2016, : 1115 - 1122
12345