CORC

浏览/检索结果: 共4条,第1-4条 帮助

已选(0)清除 条数/页:   排序方式:
Identification of States and Their Sequences in the Function Execution Process of Electromechanical Systems 会议论文
作者:  Yang, Peilin;  Xu, Kai;  Hou, Yi;  Liu, Qing;  Jia, Huanru
收藏  |  浏览/下载:4/0  |  提交时间:2019/11/19
Probabilistic Failure Modes and Effects Analysis for Electromechanical Systems Based on Formal Method 期刊论文
Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2018, 卷号: 52, 页码: 1-7
作者:  Yang, Peilin;  Hou, Yi;  Xu, Kai;  Jia, Huanru
收藏  |  浏览/下载:4/0  |  提交时间:2019/11/19
Modeling the Behavior Process of Electromechanical Systems Based on Behavior Trees 会议论文
作者:  Yang, Peilin;  Xue, Chongchong;  Liu, Qing;  Hou, Yi;  Jia, Huanru
收藏  |  浏览/下载:12/0  |  提交时间:2019/11/19
Study on FMEA for electromechanical systems based on model checking 期刊论文
Jixie Gongcheng Xuebao/Journal of Mechanical Engineering, 2016, 卷号: 52, 页码: 162-168
作者:  Yang, Peilin;  Xu, Kai;  Xue, Chongchong;  Jia, Huanru
收藏  |  浏览/下载:8/0  |  提交时间:2019/11/26


©版权所有 ©2017 CSpace - Powered by CSpace