NEW ALGORITHM FOR SYMBOLIC RELIABILITY ANALYSIS

被引：0
|
作者：
SATYANARAYANA, A [1 ]
SIVARAMAKRISHNAN, H [1 ]
机构：
[1] INDIAN TEL IND LTD,DEPT RES,BANGALORE 560016,INDIA
来源：
IEEE TRANSACTIONS ON RELIABILITY | 1977年 / 26卷 / 01期
关键词：
D O I：
10.1109/TR.1977.5215070
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：38 / &
相关论文
共 50 条
  • [41] A novel algorithm on network reliability analysis
    Xiong, JT
    Gong, WB
    ICT'2003: 10TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS I AND II, CONFERENCE PROCEEDINGS, 2003, : 1407 - 1411
  • [42] A Machine Learning Algorithm for Reliability Analysis
    Luz Gamiz, Maria
    Jesus Navas-Gomez, Fernando
    Raya-Miranda, Rocio
    IEEE TRANSACTIONS ON RELIABILITY, 2021, 70 (02) : 535 - 546
  • [43] RELIABILITY OF SYMBOLIC EVALUATION.
    Howden, William E.
    1977, : 442 - 447
  • [44] A NEW ALGORITHM FOR COMPUTING SYMBOLIC LIMITS USING HIERARCHICAL SERIES
    GEDDES, KO
    GONNET, GH
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 358 : 490 - 495
  • [45] Swarm intelligence algorithm for reliability analysis
    Li, Yugang
    Kang, Haigui
    Lu, Huili
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 1059 - 1062
  • [46] A new SAT-based algorithm for symbolic trajectory evaluation
    Roorda, JW
    Claessen, K
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 238 - 253
  • [47] Symbolic Reliability Analysis of Self-healing Networked Embedded Systems
    Glass, Michael
    Lukasiewycz, Martin
    Reimann, Felix
    Haubelt, Christian
    Teich, Juergen
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 139 - 152
  • [48] RELIABILITY-ANALYSIS OF COMPLEX-SYSTEMS USING SYMBOLIC LOGIC
    BUTLER, AC
    RAO, SS
    LECLAIR, SR
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 1993, 40 (01) : 49 - 60
  • [49] SYMBOLIC RELIABILITY-ANALYSIS VIA SHANNON EXPANSION AND STATISTICAL INDEPENDENCE
    RUSHDI, AM
    GODA, AS
    MICROELECTRONICS AND RELIABILITY, 1985, 25 (06): : 1041 - 1053
  • [50] Advanced symbolic analysis for compilers - New techniques and algorithms for symbolic program analysis and optimization - Preface
    Fahringer, T
    Scholz, B
    ADVANCED SYMBOLIC ANALYSIS FOR COMPILERS: NEW TECHNIQUES AND ALGORITHMS FOR SYMBOLIC PROGRAM ANALYSIS AND OPTIMIZATION, 2003, 2628 : VII - +
12345