期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
异步多进程时间自动机的可覆盖性问题
1
作者
刘立
李国强
《软件学报》
EI
CSCD
北大核心
2017年第5期1080-1090,共11页
已有的实时系统模型无法动态创建新进程.为此,基于时间自动机模型,提出了异步多进程时间自动机模型,将每个进程抽象为进程时间自动机,其部分状态能够触发新进程.考虑到队列会导致模型图灵完备,进程都被缓存在集合中,但仍可建模许多实时...
已有的实时系统模型无法动态创建新进程.为此,基于时间自动机模型,提出了异步多进程时间自动机模型,将每个进程抽象为进程时间自动机,其部分状态能够触发新进程.考虑到队列会导致模型图灵完备,进程都被缓存在集合中,但仍可建模许多实时系统.通过将其编码到可读边时间Petri网,证明了该模型的可覆盖性问题可判定.
展开更多
关键词
实时
异步多进程时间自动机
时间自动机
可读边时间Petri网
可覆盖性
下载PDF
职称材料
题名
异步多进程时间自动机的可覆盖性问题
1
作者
刘立
李国强
机构
上海交通大学软件学院
出处
《软件学报》
EI
CSCD
北大核心
2017年第5期1080-1090,共11页
基金
国家自然科学基金(61472240
61672340
91318301)~~
文摘
已有的实时系统模型无法动态创建新进程.为此,基于时间自动机模型,提出了异步多进程时间自动机模型,将每个进程抽象为进程时间自动机,其部分状态能够触发新进程.考虑到队列会导致模型图灵完备,进程都被缓存在集合中,但仍可建模许多实时系统.通过将其编码到可读边时间Petri网,证明了该模型的可覆盖性问题可判定.
关键词
实时
异步多进程时间自动机
时间自动机
可读边时间Petri网
可覆盖性
Keywords
real-
time
asynchronous
multi
-
process
timed
automata
timed
automata
read-arc
timed
petri
net
coverability
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
异步多进程时间自动机的可覆盖性问题
刘立
李国强
《软件学报》
EI
CSCD
北大核心
2017
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
