CORC

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

已选(0)清除 条数/页:   排序方式:
工业以太网EtherCAT协议形式化安全评估及改进 期刊论文
计算机研究与发展, 2020, 期号: 2020-11, 页码: 2312-2327
作者:  冯涛;  王帅帅;  龚翔;  方君丽
收藏  |  浏览/下载:16/0  |  提交时间:2020/12/18
基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文
2018
作者:  鲁晔
收藏  |  浏览/下载:11/0  |  提交时间:2020/11/05
一种基于执行力模型的服务平台自主控制方法 期刊论文
2015, 2015
顾军; 罗军舟; 曹玖新; 李伟
收藏  |  浏览/下载:2/0  |  提交时间:2017/06/15
业务流程再造的实施框架与关键建模技术研究 学位论文
2015
作者:  张长岭
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/02
信息物理融合系统的面向对象Petri网建模 期刊论文
2014, 卷号: 41, 页码: 165-171
作者:  李晔;  王映辉;  于振华
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/20
数控机床主轴箱再制造拆卸仿真技术研究 学位论文
2014
作者:  李进
收藏  |  浏览/下载:1/0  |  提交时间:2020/11/05
不确定环境下自动小车存取系统动态决策问题研究 学位论文
2013, 2013
尹华一
收藏  |  浏览/下载:7/0  |  提交时间:2016/01/13
基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究 期刊论文
机器人, 2013, 卷号: 35, 期号: 3, 页码: 332-338
作者:  林昌龙;  刘开周
收藏  |  浏览/下载:15/0  |  提交时间:2013/10/05
基于Agent的对象有色Petri Net及其在制造单元建模中的应用 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=JSJY200308036&dbname=CJFQ2003, 2012, 2012
王伟; 苑伟政; 张磊
收藏  |  浏览/下载:1/0  |  提交时间:2017/06/19
一种基于Petri网的RFID事件检测的形式化方法 期刊论文
计算机研究与发展, 2012
孙基男; 黄雨; 黄舒志; 张世琨; 袁崇义
收藏  |  浏览/下载:5/0  |  提交时间:2015/11/12


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