CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Path Planning of Industrial Robot Based on Improved RRT Algorithm in Complex Environments 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 53296-53306
作者:  HAOJIAN ZHANG;  YUNKUAN WANG;  JUN ZHENG;  JUNZHI YU
收藏  |  浏览/下载：53/0  |  提交时间：2018/12/25
Path Planning of Industrial Robot Based on Improved RRT Algorithm in Complex Environments 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 53296-53306
作者:  HAOJIAN ZHANG;  YUNKUAN WANG;  JUN ZHENG;  JUNZHI YU
收藏  |  浏览/下载：7/0  |  提交时间：2020/10/27
基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏  |  浏览/下载：21/0  |  提交时间：2016/06/21
An Optimized Method for Generating Fault Tree from a Counter-example 会议论文
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 2016 PROCEEDINGS, 2016-01-01
作者:  Wei, Qianxin;  Jiao, Jian;  Fan, Jiping;  Zhao, Tingdi
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
Coloured Logic Petri Nets and analysis of their reachable trees 期刊论文
ENTERPRISE INFORMATION SYSTEMS, 2015, 卷号: 9, 期号: 8, 页码: 900-919
作者:  Wang, Jing;  Du, YuYue;  Yu, ShuXia
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/17
A vector matching method for analysing logic Petri nets 期刊论文
ENTERPRISE INFORMATION SYSTEMS, 2011, 卷号: 5, 期号: 4, 页码: 449-468
作者:  Du, YuYue;  Qi, Liang;  Zhou, MengChu
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/23
property checking for 1-place-unbounded petri nets 会议论文
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Wang Yunhe; Jiang Bo; Jiao Li
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/31
A Formal Description and Verification of Authentication Protocol 会议论文
作者:  Yuan, Zhanting;  Kang, Xu;  Zhang, Qiuyu;  Liang, Shuang
收藏  |  浏览/下载：4/0  |  提交时间：2019/11/15

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