Reliability analysis based on binary decision diagrams

被引：0
|
作者：
Zhou, Jinglun [1 ]
Sun, Quan [1 ]
机构：
[1] Department of Systems Engineering, Natl. Univ. of Defense Technology, Changsha, China
来源：
Journal of Quality in Maintenance Engineering | 1998年 / 4卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
(Edited Abstract)
引用
收藏
页码：150 / 161
相关论文
共 50 条
  • [21] K-terminal network reliability measures with binary decision diagrams
    Hardy, Gary
    Lucet, Corinne
    Lininios, Nikolaos
    IEEE TRANSACTIONS ON RELIABILITY, 2007, 56 (03) : 506 - 515
  • [22] Efficient construction of binary decision diagrams for network reliability with imperfect vertices
    Kawahara, Jun
    Sonoda, Koki
    Inoue, Takeru
    Kasahara, Shoji
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2019, 188 : 142 - 154
  • [23] Use of Binary Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors
    Kvassay, Miroslav
    Rusnak, Patrik
    Stankovic, Radomir S.
    Forgac, Andrej
    2019 14TH INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES, SYSTEMS AND SERVICES IN TELECOMMUNICATIONS (TELSIKS 2019), 2019, : 78 - 81
  • [24] Using datalog with binary decision diagrams for program analysis
    Whaley, J
    Avots, D
    Carbin, M
    Lam, MS
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 97 - 118
  • [25] Reliability analysis of dynamic fault trees with Priority-AND gates using conditional binary decision diagrams
    Zhou, Siwei
    Li, Zhao
    Xiang, Jianwen
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2025, 253
  • [26] Reliability Analysis of Satellite System With Cold-Standby Components Using Sequential Binary Decision Diagrams
    Zhou, Hang
    Gan, Luping
    Meng, Debiao
    Li, Yan-Feng
    Huang, Hong-Zhong
    PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (QR2MSE), VOLS I-IV, 2013, : 122 - 124
  • [27] Using Datalog with binary decision diagrams for program analysis
    Whaley, J. (jwhaley@cs.stanford.edu), Asian Association for Foundation of Software; Japan Society for Software Science and Technology; International Information Science Foundation, Japan; University of Tsukuba (Springer Verlag):
  • [28] Accurate and efficient predicate analysis with binary decision diagrams
    Sias, JW
    Hwu, WMW
    August, DI
    33RD ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE: MICRO-33 2000, PROCEEDINGS, 2000, : 112 - 123
  • [29] Principles for a judgement editor based on binary decision diagrams
    Aucher, Guillaume
    Berbinau, Jean
    Morin, Marie-Laure
    Journal of Applied Logics, 2019, 6 (05): : 781 - 813
  • [30] PRINCIPLES FOR A JUDGEMENT EDITOR BASED ON BINARY DECISION DIAGRAMS
    Aucher, Guillaume
    Berbinau, Jean
    Morin, Marie-Laure
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (05): : 781 - 813
12345