CORC

在结果中检索

CORC

浏览/检索结果: 共26条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
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
收藏  |  浏览/下载：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
收藏  |  浏览/下载：15/0  |  提交时间：2019/12/30
The sixth visual object tracking VOT2018 challenge results 会议论文
15th European Conference on Computer Vision, ECCV 2018, Munich, Germany, 2018-09-08
作者:  Kristan, Matej;  Leonardis, Ale;  Matas, Ji��;  Felsberg, Michael;  Pflugfelder, Roman
收藏  |  浏览/下载：54/0  |  提交时间：2019/12/30
Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach 会议论文
4TH ANNUAL INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATION AND SENSOR NETWORK (WCSN 2017), 2018-01-01
作者:  Xu, Zhi;  Zhong, Deming;  Li, Weigang;  Huang, Hao;  Sun, Yigang
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/30
System States Transition Safety Analysis Method Based on FSM and NuSMV 会议论文
PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON MANAGEMENT ENGINEERING, SOFTWARE ENGINEERING AND SERVICE SCIENCES (ICMSS 2018), 2018-01-01
作者:  Ding, Yuxin;  Li, Weigang;  Zhong, Deming;  Huang, Hao;  Zhao, Yukun
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
Extend STPA Method Using Hybrid Dynamic Theory 会议论文
2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017-01-01
作者:  Li, Zhe;  Zhong, Deming;  Sun, Rui;  Wang, Hao
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
一种个性化多孔隙椎间融合器及设计方法 专利
申请日期: 2017-01-01, 公开日期: 2017-10-17
作者:  张明峥;  蒲放;  许丽嫱;  李德玉;  樊瑜波
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30
Boundedness of some multipliers on stratified Lie groups 期刊论文
FRONTIERS OF MATHEMATICS IN CHINA, 2015, 卷号: 10, 页码: 137-146
作者:  Liu, Mingju;  Li, Deming
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30
On-the-Fly Extraction of Polyhedral Buildings From Airborne LiDAR Data 期刊论文
IEEE GEOSCIENCE AND REMOTE SENSING LETTERS, 2014, 卷号: 11, 页码: 1946-1950
作者:  Xu, Lijun;  Kong, Deming;  Li, Xiaolu
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06
由均匀染色导出的强Chernoff界（英文） 期刊论文
数学杂志, 2014, 页码: 1015-1024
作者:  王涛;  刘明菊;  李德明
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06

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