可组合仿真模型的语义形式描述及组合判定方法

• 作者: 周东祥 李群 王维平
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 组合仿真 组合判定 语义相容性 语义可替换性
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 机电工程·控制工程
• 页码范围: 89-93
• 页数: 5页
• 分类号: TP391.9
• 字数: 5226字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2486.2008.01.019

摘要

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李群	国防科技大学信息系统与管理学院	127	919	15.0	20.0
2	王维平	国防科技大学信息系统与管理学院	165	1474	17.0	28.0
3	周东祥	国防科技大学信息系统与管理学院	9	114	6.0	9.0