×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [19]
内容类型
期刊论文 [13]
会议论文 [4]
学位论文 [2]
发表日期
2014 [1]
2012 [1]
2011 [3]
2010 [3]
2009 [1]
2008 [4]
更多...
学科主题
Computer S... [2]
Automation... [1]
Computer S... [1]
Computer S... [1]
Computer S... [1]
计算机科学技术基础学... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共19条，第1-10条
帮助
限定条件
专题：软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Rabin's theorem in the concurrency setting: A conjecture
期刊论文
Theoretical Computer Science, 2014, 卷号: 546, 页码: 225-236
Thiagarajan, P.S. (1)
;
Yang, Shaofa (2)
收藏
|
浏览/下载：23/0
|
提交时间：2014/12/16
Rabin's theorem
Monadic second order logic
Event structure
Petri net
Grid-free
compositional verification of liveness property in inhibitor-arc connections of petri net systems
期刊论文
Journal of Software, 2012, 卷号: 7, 期号: 3, 页码: 499-507
Pu Fei
收藏
|
浏览/下载：8/0
|
提交时间：2012/11/12
dynamic invariance and reversibility preservation in self-loops connection of petri net systems
会议论文
2nd International Conference on Information Computing and Applications, ICICA 2011, Qinhuangdao, China, October 28
Pu Fei
收藏
|
浏览/下载：8/0
|
提交时间：2013/10/08
the preservation of liveness in self-loops connection of petri net systems
会议论文
3rd International Conference on Multimedia Information Networking and Security, MINES 2011, Shanghai, China, November 4
Fei Pu
收藏
|
浏览/下载：12/0
|
提交时间：2013/10/08
Security of data
releasing control policy for semiconductor wafer fabrication based on fuzzy petri nets-reasoning
期刊论文
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2011, 卷号: 39, 期号: 7, 页码: 1545-1550
Cao Zheng-Cai
;
Zhao Hui-Dan
;
Wang Yong-Ji
收藏
|
浏览/下载：16/0
|
提交时间：2011/10/10
Fabrication
Fuzzy systems
Optimization
Petri nets
基于极小T-不变量增加的Petri网可达性分析
学位论文
硕士, 北京: 中国科学院研究生院, 2010
彭建兵
收藏
|
浏览/下载：13/0
|
提交时间：2010/06/06
Petri网，可达性， 极小T-不变量， T-不变量关系图，借矩阵
基于极小T-不变量增加的Petri网可达性分析
学位论文
硕士, 北京: 中国科学院研究生院, 2010
彭建兵
收藏
|
浏览/下载：15/0
|
提交时间：2010/06/06
Petri网，可达性， 极小T-不变量， T-不变量关系图，借矩阵
formal based operation strategy design for collaborative shared teleoperation system
会议论文
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu
;
Junsuo Zhao
;
Huaping Liu
;
Xiaohui Hu
;
Fanjiang Xu
收藏
|
浏览/下载：17/0
|
提交时间：2011/03/31
auxiliary method
collaborative shared teleoperation system
directed graph theory
formal based operation strategy design
generalize stochastic Petri net
nonstructural space environment
on-orbit system task design
satellite-earth communication delay
shortest path algorithm
task sequence algorithm
task sequence model
unit replacement task
working mode sequence
working mode topology graph
working mode transform algorithm
Petri nets
aerospace robotics
graph theory
stochastic processes
telerobotics
transforms
a petri net-based model for verification of obligations and accountability in cooperative systems
期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308
Du YuYue
;
Jiang ChangJun
;
Zhou MengChu
收藏
|
浏览/下载：14/0
|
提交时间：2011/03/18
Accountability
cooperative systems
discrete event system
formal model
obligations
Petri nets
refining and verifying regular petri nets
期刊论文
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008, 卷号: 39, 期号: 1, 页码: 17-27
Li Jiao
收藏
|
浏览/下载：6/0
|
提交时间：2011/06/10
boundedness
liveness
Petri net
refinement
regularity
©版权所有 ©2017 CSpace - Powered by
CSpace
