SYMBOLIC RELIABILITY EVALUATION USING A MICROPROCESSOR

被引：0
|
作者：
SHARMA, S
AGGARWAL, KK
机构：
来源：
RELIABILITY ENGINEERING & SYSTEM SAFETY | 1989年 / 24卷 / 01期
关键词：
D O I：
10.1016/0951-8320(89)90054-9
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页码：51 / 67
页数：17
相关论文
共 50 条
  • [41] Reliability increasing of the brushless DC drive with the microprocessor control
    Obraztcov, KV
    Netchaev, MA
    [J]. MODERN TECHNIQUES AND TECHNOLOGY, 2001, : 103 - 105
  • [42] Increasing the reliability of microprocessor-based measurement instruments
    Pavlov, AA
    [J]. MEASUREMENT TECHNIQUES, 1999, 42 (04) : 332 - 337
  • [43] Formal verification of memory arrays using symbolic trajectory evaluation
    Pandey, M
    Bryant, RE
    [J]. INTERNATIONAL WORKSHOP ON MEMORY TECHNOLOGY, DESIGN AND TESTING, PROCEEDINGS, 1997, : 42 - 49
  • [44] Affective Taste Evaluation System Using Sound Symbolic Words
    Inazumi, Tomohiko
    Kwon, Jinhwan
    Suzuki, Kohei
    Sakamoto, Maki
    [J]. ADVANCES IN AFFECTIVE AND PLEASURABLE DESIGN, 2019, 774 : 371 - 378
  • [45] Using FORM for symbolic evaluation of Feynman diagrams in CompHEP package
    Bunichev, V
    Kryukov, A
    Vologdin, A
    [J]. NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2003, 502 (2-3): : 564 - 566
  • [46] Eliminating redundant range checks in GNAT using symbolic evaluation
    Blieberger, J
    Burgstaller, B
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, 2003, 2655 : 153 - 167
  • [47] Using symbolic and connectionist algorithms to knowledge acquisition for credit evaluation
    Horst, PS
    Padilha, TPP
    Rocha, CAJ
    Rezende, SO
    Carvalho, ACPL
    [J]. IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE, 1998, : 277 - 282
  • [48] Symbolic functional evaluation
    Day, NA
    Joyce, JY
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 341 - 358
  • [49] APPLICATIONS OF SYMBOLIC EVALUATION
    CLARKE, LA
    RICHARDSON, DJ
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1985, 5 (01) : 15 - 35
  • [50] EVALUATION OF 1ST ORDER RATE CONSTANTS USING A MICROPROCESSOR SYSTEM
    SHEPHERD, TM
    [J]. CHEMISTRY & INDUSTRY, 1979, (14) : 481 - 482
12345