期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于高级Petri网的仿真剧情正规校核方法
1
作者
刘飞
杨明
王子才
《控制与决策》
EI
CSCD
北大核心
2006年第11期1208-1213,共6页
针对仿真剧情主观校核不理想这一问题,提出了基于高级Petri网的仿真剧情正规校核方法.首先给出仿真剧情的形式化定义,并分析仿真剧情可能存在的错误类型;其次给出仿真剧情到高级Petri网的映射途径,并给出基于高级Petri网的仿真剧情校核...
针对仿真剧情主观校核不理想这一问题,提出了基于高级Petri网的仿真剧情正规校核方法.首先给出仿真剧情的形式化定义,并分析仿真剧情可能存在的错误类型;其次给出仿真剧情到高级Petri网的映射途径,并给出基于高级Petri网的仿真剧情校核准则和算法,此外,还给出实现仿真剧情动态校核的推理规则和机制;最后给出了一个正规校核工具框架.实际应用已经证明了该方法的有效性.
展开更多
关键词
仿真剧情
高级PETRI网
正规校核
工具框架
下载PDF
职称材料
题名
基于高级Petri网的仿真剧情正规校核方法
1
作者
刘飞
杨明
王子才
机构
哈尔滨工业大学控制与仿真中心
出处
《控制与决策》
EI
CSCD
北大核心
2006年第11期1208-1213,共6页
基金
国家自然科学基金项目(60434010)
文摘
针对仿真剧情主观校核不理想这一问题,提出了基于高级Petri网的仿真剧情正规校核方法.首先给出仿真剧情的形式化定义,并分析仿真剧情可能存在的错误类型;其次给出仿真剧情到高级Petri网的映射途径,并给出基于高级Petri网的仿真剧情校核准则和算法,此外,还给出实现仿真剧情动态校核的推理规则和机制;最后给出了一个正规校核工具框架.实际应用已经证明了该方法的有效性.
关键词
仿真剧情
高级PETRI网
正规校核
工具框架
Keywords
Simulation scenario
High-level Petri nets
Formal verifications Tool framework
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于高级Petri网的仿真剧情正规校核方法
刘飞
杨明
王子才
《控制与决策》
EI
CSCD
北大核心
2006
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部