[1] | WANG Xia, WANG Keming, XU Yang, TANG Weijian. Safety Design of Level Crossing Control System Based on Formal Method[J]. Journal of Southwest Jiaotong University, 2023, 58(1): 109-116. doi: 10.3969/j.issn.0258-2724.20210656 |
[2] | WANG Hongwei, REN Yefei, WEN Ruizhi, ZHOU Ying. Reliability Analysis on Non-Parametric Spectral Inversion of Seismic Ground Motion[J]. Journal of Southwest Jiaotong University, 2022, 57(1): 182-190. doi: 10.3969/j.issn.0258-2724.20200241 |
[3] | WANG Keming, WANG Zheng. Modeling and Verification of Control System Specification for Railway Level Crossings Based on Formal Method[J]. Journal of Southwest Jiaotong University, 2019, 54(3): 573-578, 603. doi: 10.3969/j.issn.0258-2724.20180607 |
[4] | ZHANG Jing, LEI Hang. Algorithm for Computing Reliability Evolution of Internetware[J]. Journal of Southwest Jiaotong University, 2014, 27(2): 310-316. doi: 10.3969/j.issn.0258-2724.2014.02.019 |
[5] | CHEN Jian, YAN Qi-Peng, HE Ya-Min. Regional Emergency Logistics Network Design Based on Reliability Analysis[J]. Journal of Southwest Jiaotong University, 2011, 24(6): 1025-1031. doi: 10.3969/j.issn.0258-2724.2011.06.023 |
[6] | CAO Yuan, TANG Tao, LUO Dan, MU Jian-Cheng. Method for Verifying the Correctness of Train Control System Design[J]. Journal of Southwest Jiaotong University, 2010, 23(4): 574-579. doi: 10. 3969/ j. issn. 0258-2724. |
[7] | PENGJiang-yan, HEPing. Reliability of Warm Standby Repairable System under Two Kinds of Switch Modes[J]. Journal of Southwest Jiaotong University, 2003, 16(3): 253-257. |
[8] | JINHui, WANGJin-nuo. Fatigue Reliability of Notched Parts from Viewpoint of Structural System[J]. Journal of Southwest Jiaotong University, 2003, 16(3): 294-296. |
[9] | YAN Song-hong, ZHOUJia-mei, GAO Bo. Determination of Partial Coefficients of Structural Reliability Design[J]. Journal of Southwest Jiaotong University, 2002, 15(6): 623-627. |
[10] | WANSi-ming, ZHAO Shan-rui, HUANG Guang-sheng. Reliability Analysis of the Pile Shaft of Bridge Pile Foundation Structure System[J]. Journal of Southwest Jiaotong University, 2000, 13(4): 366-370. |
[11] | Jiang Gefu, He Ping. On Stability and Reliability of a Universal Decision Making System[J]. Journal of Southwest Jiaotong University, 1999, 12(1): 47-50. |