参数化系统二维抽象的理论基础

• 作者: 屈婉霞 庞征斌 杨晓东 郭阳
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 参数化系统验证 二维抽象 模拟 性质保持
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 体系结构
• 页码范围: 295-298
• 分类号: TP391.72
• 字数: 4855字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.04.067

摘要

模型之间的等价关系和抽象模型的性质保持是保证验证正确的必要条件,参数化系统二维抽象从构成系统状态空间的二维方向分别进行抽象,证明了此抽象方法的正确性和合理性,即TDA模型与原始模型存在模拟关系,而且在TDA模型中成立的只对单个变量进行全称量化的单索引ACTL*公式,在任意规模的原始模型中也成立,为简化参数化系统验证提供了理论依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科学技术大学计算机学院	39	252	9.0	14.0
2	杨晓东	国防科学技术大学计算机学院	18	186	7.0	13.0
3	庞征斌	国防科学技术大学计算机学院	19	57	4.0	6.0
4	屈婉霞	国防科学技术大学计算机学院	8	88	5.0	8.0