QQ客服 官方微博 反馈留言

浏览/检索结果: 共9条，第1-9条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Reliability Evaluation for Distribution System Based on Probabilistic Model Checking 会议论文 PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01 作者:  Feng, Chao;  Zhang, Hong;  Yan, Shuai;  Fui, Yangzhen;  Ba, Xiaohong 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30 distribution system  reliability evaluation  Markov chain  probabilistic model checking   Reliability evaluation for distribution system based on probabilistic model checking 会议论文 2nd International Conference on Reliability Systems Engineering, ICRSE 2017, Huairou, Beijing, China, 2017-07-10 作者:  Feng, Chao;  Zhang, Hong;  Yan, Shuai;  Fu, Yangzhen;  Bao, Xiaohong 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites 期刊论文 QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2016, 卷号: 32, 页码: 345-361 作者:  Peng, Zhaoguang;  Lu, Yu;  Miller, Alice;  Zhao, Tingdi;  Johnson, Chris 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30 navigation satellite systems  reliability  availability  maintainability  probabilistic model checking   Reliability Prediction ofaHydraulic System with Probabilistic Model Checking 会议论文 PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015-01-01 作者:  Yan, Shuai;  Zhang, Hong;  Zhang, Yongshu 收藏  |  浏览/下载：5/0  |  提交时间：2020/01/06 Probabilistic Model Checking  Reliability Prediction  PRISM   Mobile Robot Path Planning based on Probabilistic Model Checking under Uncertainties 会议论文 PROCEEDINGS OF THE 2015 3RD INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND INFORMATION TECHNOLOGY APPLICATIONS, 2015-01-01 作者:  Lou, Wei;  Xia, Chunrui 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06 Mobile robot  Path planning  Probabilistic model checking  Markov decision process  Probabilistic computation tree logic   How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification 期刊论文 RELIABILITY ENGINEERING & SYSTEM SAFETY, 2015, 卷号: 144, 页码: 95-116 作者:  Lu, Yu;  Peng, Zhaoguang;  Miller, Alice A.;  Zhao, Tingdi;  Johnson, Christopher W. 收藏  |  浏览/下载：7/0  |  提交时间：2020/01/06 Satellite systems  Formal methods  Model checking  Reliability  Availability  Probabilistic verification   Reliability prediction of a hydraulic system with probabilistic model checking 会议论文 1st International Conference on Reliability Systems Engineering, ICRSE 2015, Beijing, China, 2015-10-21 作者:  Yan, Shuai;  Zhang, Hong;  Zhang, Yongshu 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 Availability Analysis of Satellite Positioning Systems for Aviation using the PRISM Model Checker 会议论文 IEEE 17th International Conference on Computational Science and Engineering (CSE), Chengdu, PEOPLES R CHINA, 2014-01-01 作者:  Lu, Yu;  Miller, Alice;  Johnson, Chris;  Peng, Zhaoguang;  Zhao, Tingdi 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 GNSS  satellite positioning  aviation  availability analysis  probabilistic model checking   A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System 会议论文 UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS), Manchester, ENGLAND, 2013-01-01 作者:  Peng, Zhaoguang;  Lu, Yu;  Miller, Alice;  Johnson, Chris;  Zhao, Tingdi 收藏  |  浏览/下载：5/0  |  提交时间：2020/01/06 satellite systems  reliability  availability and maintainability (RAM) analysis  probabilistic model checking  continuous time Markov chains (CTMCs)