QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification 期刊论文 SAFETY SCIENCE, 2017, 卷号: 93, 页码: 162-177 作者:  Yang, Qibo;  Tian, Jin;  Zhao, Tingdi 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Functional Resonance Analysis Method (FRAM)  System safety  Air Traffic Management  Formal verification  Socio-technical system   Insights Into the Complexity: A method to manage the complex system by controlling the couplings based on the systemic modeling 会议论文 PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01 作者:  Tan, Lin;  Liu, Bin;  Li, Xing;  Yang, Shunkun;  Liu, Xianghong 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 complexity  socio-technical system  coupling  FRAM  modeling   Modeling the software development process as a socio-technical system based on FRAM to facilitate the risk analysis and software defects prevention 会议论文 17th AIAA Aviation Technology, Integration, and Operations Conference, 2017, Denver, CO, United states, 2017-06-05 作者:  Tan, Lin;  Liu, Bin;  Wang, Shihai;  Ling, Dongyi 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 FRAMA: A safety assessment approach based on Functional Resonance Analysis Method 期刊论文 SAFETY SCIENCE, 2016, 卷号: 85, 页码: 41-52 作者:  Tian, Jin;  Wu, Juyi;  Yang, Qibo;  Zhao, Tingdi 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Safety assessment  Functional Resonance Analysis Method (FRAM)  System safety  Socio-technical system  Model checking   Research on socio-technical system functional variability based on functional resonance accident model 会议论文 25th European Safety and Reliability Conference, ESREL 2015, Zurich, Swaziland, 2015-09-07 作者:  Wu, J.;  Tian, J.;  Zhao, T. 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30