Journal of shanghai Jiaotong University (Science) ›› 2015, Vol. 20 ›› Issue (4): 482-488.doi: 10.1007/s12204-015-1654-3
Previous Articles Next Articles
ZHOU Yi-zhou (周一舟), REN Yi (任 羿), LIU Lin-lin* (刘林林),MA Zheng (马 政), WANG Zi-li (王自力)
Online:
2015-08-29
Published:
2015-08-05
Contact:
LIU Lin-lin (刘林林)
E-mail:liulinlin@buaa.edu.cn
CLC Number:
ZHOU Yi-zhou (周一舟), REN Yi (任 羿), LIU Lin-lin* (刘林林),MA Zheng (马 政), WANG Zi-li (王自力). Binary Logic State Transition Oriented Formal General Reliability Model[J]. Journal of shanghai Jiaotong University (Science), 2015, 20(4): 482-488.
[1] Prosvirnova T, Batteux M, Brameret P A, et al. The AltaRica 3.0 project for model-based safety assessment [C]//2013 11th IEEE International Conference on Industrial Informatics. [s.l.]: IEEE, 2013:741-746. [2] Rauzy A B. Guarded transition systems: A new states/events formalism for reliability studies [J]. Journal of Risk and Reliability, 2008, 222(4): 495-505. [3] G¨udemann M, Ortmeier F. A framework for qualitative and quantitative formal model-based safety analysis[C]//2010 IEEE 12th International Symposium on High-Assurance Systems Engineering. [s.l.]: IEEE,2010: 132-141. [4] Boiteau M, Dutuit Y, Rauzy A, et al. The AltaRica data-flow language in use: Modeling of production availability of a multi-state system [J]. Reliability Engineering and System Safety, 2006, 91(7): 747-755. [5] Zhu Y Z, Zhang J G, Gong Q, et al. Reliability and safety assessment with AltaRica for complex aircraft systems [C]//2011 9th International Conference on Reliability, Maintainability and Safety. [s.l.]: IEEE,2011: 588-593. [6] Griffault A, Point G, Kuntz F, et al. Symbolic computation of minimal cuts for AltaRica models [R].Talence Cedex, France: LaBRI, Universit′e de Bordeaux,2011. [7] Brameret P-A, Roussel J-M, Rauzy A. Preliminary system safety analysis with limited Markov chain generation [C]//Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013).York, UK: IFAC, 2013: hal-00859173. [8] Friedenthal S, Moore A, Steiner R. A practical guide to SysML: The systems modeling language [M].[s.l.]: Elsevier, 2011. [9] Sun Hong-xu, Xing Wei. The research of QVT model transformation approaches [J]. Intelligent Computer and Applications, 2011, 1(2): 79-81 (in Chinese). [10] Ren Y, Liu L L, Zeng S K. Fault tree data structure based on XML and the conversion method to BDD[C]//2009 WRI World Congress on Computer Science and Information Engineering. [s.l.]: IEEE, 2009: 264-268. |
[1] | LI Xiangzhe, LIANG Gang, ZHENG Xiaomei, XU Congcong, XU Jinquan. Assessment Method for Early Fatigue Failure of Crankshaft Based on Dispersion of Impact Energy [J]. Journal of Shanghai Jiao Tong University, 2025, 59(1): 111-120. |
[2] | GAO Yu, JIANG Zhenyu. Validation Method for Missile Motion Simulation Model [J]. Air & Space Defense, 2024, 7(5): 103-109. |
[3] | Yiding Li, Li Wang, Youzhi Song, Wenwei Wang, Cheng Lin, Xiangming He. Functional Optical Fiber Sensors Detecting Imperceptible Physical/Chemical Changes for Smart Batteries [J]. Nano-Micro Letters, 2024, 16(1): 154-. |
[4] | YE Lun, OUYANG Xu, YAO Jiangang, YANG Shengjie, YIN Jungang. Reliability Index Calculation and Reserve Capacity Optimization Considering Multiple Uncertainties [J]. Journal of Shanghai Jiao Tong University, 2024, 58(1): 30-39. |
[5] | LI Shigang, WANG Kunyun, YUAN Ye, ZHU Ge, WANG Xin. An In-Service Mission Reliability Assessment Method of Complex Equipment System [J]. Air & Space Defense, 2023, 6(1): 23-28. |
[6] | LIAO Xin, ZHU Jianhua, BIAN Fuguo, LI Keyong. Research and Practice of Improving the Reliability of Missile Weapons by "Three-Re" Method [J]. Air & Space Defense, 2023, 6(1): 11-16. |
[7] | CHEN Shoufang, LI Jian, XIONG Lifang, YUAN Junshe. Thinking on Reliability of Pipeline Connection and Seal of Reusable Engine [J]. Air & Space Defense, 2023, 6(1): 6-10. |
[8] | ZHAI Weihao, GONG Minhao, LIN Mingrun, KUANG Tingyu, WEN Shanshan. Reliability Analysis Based on Active Learning Kriging Model [J]. Air & Space Defense, 2023, 6(1): 1-5. |
[9] | LIU Kai1 (刘 凯), DANG Wei1 (党 炜), ZOU Tianji1,2∗ (邹田骥), LÜ Congmin1 (吕从民), LI Peng1,2 (李 鹏), ZHANG Haitao1 (张海涛). Reliability Evaluation of Two-Phase Degradation Process with a Fuzzy Change-Point [J]. J Shanghai Jiaotong Univ Sci, 2022, 27(6): 867-872. |
[10] | WANG Kai∗ (汪 凯), WANG Xianliang (王宪良), ZHU Jiazan (朱加赞), OU Daisong (欧代松), PAN Daifeng (潘代锋). System Life and Reliability Modeling of a Multiple Power Takeoffs Accessory Gearbox Transmission [J]. J Shanghai Jiaotong Univ Sci, 2022, 27(6): 855-866. |
[11] | TAO Wei, LIU Zhao, XU Can, ZHU Ping. Multi-Scale Reliability-Based Design Optimization of Three-Dimensional Orthogonal Woven Composite Fender [J]. Journal of Shanghai Jiao Tong University, 2021, 55(5): 615-623. |
[12] | NI He, QIN Haibo, ZHENG Yiyang. Simulation and Performance Reliability of Boiler Load Raising Process Considering Leakage of Feed Water [J]. Journal of Shanghai Jiao Tong University, 2021, 55(4): 444-454. |
[13] | SHI Lianxing (石连星), WANG Zhiheng (王志恒), LI Xiaoyong (李小勇) . Novel Data Placement Algorithm for Distributed Storage System Based on Fault-Tolerant Domain [J]. J Shanghai Jiaotong Univ Sci, 2021, 26(4): 463-470. |
[14] | GAO Yingming, CHEN Zhen, ZHANG Xiufang, PAN Ershun. Reliability Modeling and Maintenance Optimization of Manufacturing System Based on Stochastic Flow Network and Markov Process [J]. Journal of Shanghai Jiao Tong University, 2021, 55(3): 229-235. |
[15] | QIAO Xing, MA Dan, YAO Xuliang, FENG Baolin. Stability and Numerical Analysis of a Standby System [J]. J Shanghai Jiaotong Univ Sci, 2020, 25(6): 769-778. |
Viewed | ||||||||||||||||||||||||||||||||||||||||||||||||||
Full text 207
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
Abstract 851
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||