已选(0)清除
条数/页: 排序方式:
|
| A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process 会议论文 Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS, 2018-11-23 作者: Zhu, D.; Yao, S.
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:10/0  |  提交时间:2019/12/30
|
| Avionics system failure analysis and verification based on model checking 会议论文 ENGINEERING FAILURE ANALYSIS, 2019-11-01 作者: Wang, Hongli; Zhong, Deming; Zhao, Tingdi
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/30
|
| Formal system interactive failure analysis method based on systems theoretic process analysis model 会议论文 ENGINEERING FAILURE ANALYSIS, 2019-12-01 作者: Sun, Rui; Zhong, Deming; Li, Weigang
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/30
|
| Formal system interactive failure analysis method based on systems theoretic process analysis model 期刊论文 ENGINEERING FAILURE ANALYSIS, 2019, 卷号: 106 作者: Sun, Rui; Zhong, Deming; Li, Weigang
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:15/0  |  提交时间:2019/12/30
|
| Avionics system failure analysis and verification based on model checking 期刊论文 ENGINEERING FAILURE ANALYSIS, 2019, 卷号: 105, 页码: 373-385 作者: Wang, Hongli; Zhong, Deming; Zhao, Tingdi
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2019/12/30
|
| 带电粒子胶体体系经由亚稳态结晶的分子动力学研究 学位论文 北京: 中国科学院大学, 2018 作者: 纪鑫强![](/image/person.jpg)
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:40/0  |  提交时间:2018/05/28
|
| A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process 会议论文 PROCEEDINGS OF 2018 IEEE 9TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2018-01-01 作者: Zhu, Danjiang; Yao, Shuzhen
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2019/12/30
|
| 光学薄膜重频多脉冲损伤实验和机制研究 学位论文 博士: 中国科学院上海光学精密机械研究所, 2015 作者: 刘文文
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:29/0  |  提交时间:2016/11/28
|
| 高功率激光驱动器谐波转换与精密诊断测量研究 学位论文 博士: 中国科学院上海光学精密机械研究所, 2014 作者: 季来林
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:38/0  |  提交时间:2016/11/28
|
| 非线性系统最优控制的自适应动态规划方法及应用 学位论文 工学博士, 中国科学院自动化研究所: 中国科学院大学, 2013 作者: 黄玉柱
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:485/0  |  提交时间:2015/09/02
|