QQ客服 官方微博 反馈留言

浏览/检索结果: 共21条，第1-10条 帮助 限定条件 发表日期：2017     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Stratosphere and lower mesosphere wind observation and gravity wave activities of the wind field in China using a mobile Rayleigh Doppler lidar 期刊论文 JOURNAL OF GEOPHYSICAL RESEARCH-SPACE PHYSICS, 2017, 卷号: 122, 期号: 8 作者:  Zhao, Ruocan;  Dou, Xiankang;  Xue, Xianghui;  Sun, Dongsong;  Han, Yuli 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/05 wind gravity waves  stratosphere  Rayleigh Doppler lidar  mountain waves  China   Application of Bayesian network in safety analysis on civil aircraft systems 会议论文 26th Conference on European Safety and Reliability (ESREL), Glasgow, SCOTLAND, 2016-09-25 作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Resilience Optimization for Complex Engineered Systems Based on the Multi-Dimensional Resilience Concept 期刊论文 IEEE ACCESS, 2017, 卷号: 5, 页码: 19352-19362 作者:  Ren, Fuchun;  Zhao, Tingdi;  Jiao, Jian;  Hu, Yuqing 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 Resilience  complex engineered systems  multi-dimensional model  multi-objective programming  NSGA-II   Integrated Modular Avionics System Safety Analysis Based on Model Checking 会议论文 Annual Reliability and Maintainability Symposium (RAMS), Orlando, FL, 2017-01-23 作者:  Wang, Hongli;  Zhao, Tingdi;  Ren, Fuchun;  Jiang, Zeyong 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 integrated modular avionics  system analysis  model checking   Improving Accident Causality Analysis Based on STAMP Through Integrating Model Checking 会议论文 Annual Reliability and Maintainability Symposium (RAMS), Orlando, FL, 2017-01-23 作者:  Chen, Lei;  Zhong, Deming;  Jiao, Jian;  Zhao, Tingdi 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 model checking  STAMP  unsafe control action  formal methods  air accident   Cascading failure and recovery of spatially interdependent networks 期刊论文 JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2017 作者:  Hong, Sheng;  Zhu, Juxing;  Braunstein, Lidia A.;  Zhao, Tingdi;  You, Qiuju 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30 network reconstruction  critical phenomena of socio-economic systems  network dynamics   Warranty Cost Modeling and Warranty Length Optimization Under Two Types of Failure and Combination Free Replacement and Pro-Rata Warranty 期刊论文 IEEE ACCESS, 2017, 卷号: 5, 页码: 11528-11539 作者:  Chen, Zhiwei;  Zhao, Tingdi;  Luo, Shanshan;  Sun, Yufeng 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30 Warranty cost model  burn-in  free replacement warranty  pro-rata warranty   An improved formal failure analysis approach for safety-critical system based on MBSA 期刊论文 ENGINEERING FAILURE ANALYSIS, 2017, 卷号: 82, 页码: 713-725 作者:  Chen, Lu;  Jiao, Jian;  Wei, Qianxin;  Zhao, Tingdi 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 Failure analysis  MBSA  Model checking  Safety-critical system   Flight control system failure modeling and verification based on SPIN 期刊论文 ENGINEERING FAILURE ANALYSIS, 2017, 卷号: 82, 页码: 501-513 作者:  Wei, Qianxin;  Jiao, Jian;  Zhao, Tingdi 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 Failure modeling  Failure verification  Model checking  Flight Control System   Application of Bayesian network in safety analysis on civil aircraft systems 会议论文 RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017-01-01 作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30