期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于控制周期特征式的线性混合自动机验证
1
作者
潘国强
虞慧群
+1 位作者
宋国新
邵志清
《华东理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2000年第5期471-476,共6页
提出了一种基于归纳法思想的验证方法 ,通过控制周期上特性的描述 ,发现了基于控制周期特征式的线性混合自动机验证方法。这一方法采用定理证明过程来得出归纳证明的结构 ;采用模型检查方法来得出归纳证明的奠基和迭代步。这一方法同时...
提出了一种基于归纳法思想的验证方法 ,通过控制周期上特性的描述 ,发现了基于控制周期特征式的线性混合自动机验证方法。这一方法采用定理证明过程来得出归纳证明的结构 ;采用模型检查方法来得出归纳证明的奠基和迭代步。这一方法同时兼顾了模型检查和定理证明的特点 ,用此定理证明更高的自动化程度解决了单用模型检查不能解决的问题 ,得出了对著名案例 GasBurner问题中的参数 3non- leakking≥ 76的最优范围。
展开更多
关键词
模型检查
定理证明
线性混合自动机
在线阅读
下载PDF
职称材料
基于体系结构的信息物理融合系统的研究与分析
被引量：
1
2
作者
梁刚强
张立臣
《小型微型计算机系统》
CSCD
北大核心
2016年第6期1371-1376,共6页
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建...
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在Acme Studio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件.
展开更多
关键词
体系结构描述语言
信息物理融合系统
CPS体系结构模式
有限状态进程
线性混合自动机
在线阅读
下载PDF
职称材料
题名
基于控制周期特征式的线性混合自动机验证
1
作者
潘国强
虞慧群
宋国新
邵志清
机构
华东理工大学计算机科学与工程系
出处
《华东理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2000年第5期471-476,共6页
基金
国家自然科学基金! ( 6970 30 0 8
6990 30 0 4 )
+1 种基金
上海市高等学校青年科学基金!( 98Q16)
国防科技重点实验室基金!( 99JS94 .10 .1.D
文摘
提出了一种基于归纳法思想的验证方法 ,通过控制周期上特性的描述 ,发现了基于控制周期特征式的线性混合自动机验证方法。这一方法采用定理证明过程来得出归纳证明的结构 ;采用模型检查方法来得出归纳证明的奠基和迭代步。这一方法同时兼顾了模型检查和定理证明的特点 ,用此定理证明更高的自动化程度解决了单用模型检查不能解决的问题 ,得出了对著名案例 GasBurner问题中的参数 3non- leakking≥ 76的最优范围。
关键词
模型检查
定理证明
线性混合自动机
Keywords
formal methods
model checking
theorem proving
linear hybrid automaton
分类号
TP23 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
基于体系结构的信息物理融合系统的研究与分析
被引量：
1
2
作者
梁刚强
张立臣
机构
广东工业大学计算机学院
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第6期1371-1376,共6页
基金
国家自然科学基金项目(61370082)资助
国家自然科学基金项目(61173046)资助
文摘
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在Acme Studio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件.
关键词
体系结构描述语言
信息物理融合系统
CPS体系结构模式
有限状态进程
线性混合自动机
Keywords
architecture description language
cyber-physical systems
CPS architecture style
finite state process
linear hybrid automata
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于控制周期特征式的线性混合自动机验证
潘国强
虞慧群
宋国新
邵志清
《华东理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2000
0
在线阅读
下载PDF
职称材料
2
基于体系结构的信息物理融合系统的研究与分析
梁刚强
张立臣
《小型微型计算机系统》
CSCD
北大核心
2016
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
