A formal model for precise fault effect propagation

被引：0
|
作者：
Huang, Xingli [1 ,2 ]
Hu, Wei [1 ]
Mu, Dejun [1 ]
Guo, Lantian [1 ]
Li, Zhe [1 ]
机构：
[1] Department of Automatic Control, Northwestern Polytechnical University, Xi'an,710072, China
[2] School of Business, Wenzhou University, Wenzhou,325035, China
来源：
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University | 2014年 / 32卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：719 / 724
相关论文
共 50 条
  • [31] Cascading Model based Back Propagation Neural Network in Enabling Precise Classification
    Liu, Yang
    Jing, Weizhe
    Xu, Lixiong
    2016 12TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2016, : 7 - 11
  • [32] Effect of Asymmetric Topography on Rupture Propagation Along Fault Stepovers
    Douilly, Roby
    JOURNAL OF GEOPHYSICAL RESEARCH-SOLID EARTH, 2023, 128 (07)
  • [33] EiSIRS: a formal model to analyze the dynamics of worm propagation in wireless sensor networks
    Wang, Xiaoming
    Li, Qiaoliang
    Li, Yingshu
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2010, 20 (01) : 47 - 62
  • [34] EiSIRS: a formal model to analyze the dynamics of worm propagation in wireless sensor networks
    Xiaoming Wang
    Qiaoliang Li
    Yingshu Li
    Journal of Combinatorial Optimization, 2010, 20 : 47 - 62
  • [35] Towards a Formal Library for Precise and Accurate Measurements
    Lamrani, Meryem
    El Amrani, Younes
    Ettouhami, Aziz
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, 2014, 8583 : 633 - 648
  • [36] A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks
    Wang, Na
    Wang, Jiacun
    Chen, Xuemin
    SENSORS, 2019, 19 (08)
  • [37] Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems
    Troubitsyna, Elena
    2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1438 - 1443
  • [38] Qualitative analysis for state/event fault trees using formal model checking
    Jiang Quan
    Zhu Chunling
    Wang Siqi
    JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2019, 30 (05) : 959 - 973
  • [39] Qualitative analysis for state/event fault trees using formal model checking
    JIANG Quan
    ZHU Chunling
    WANG Siqi
    JournalofSystemsEngineeringandElectronics, 2019, 30 (05) : 959 - 973
  • [40] Formal verification of pipelined processors with precise exceptions
    Kalyanasundaram, K
    Shyamasundar, RK
    SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 129 - 139
12345