参数化系统二维抽象框架

• 作者: 屈婉霞 庞征斌 李暾 杨晓东 郭阳
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 参数化系统 模型检验 抽象 多处理机系统 Cache一致性协议
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 电子工程·计算机工程
• 页码范围: 95-100
• 页数: 6页
• 分类号: TP391.72
• 字数: 3979字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2486.2010.01.018

摘要

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA.对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息.建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题.理论推导和实例均证实了TDA的正确性和合理性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科技大学计算机学院	50	449	9.0	20.0
2	李暾	国防科技大学计算机学院	19	186	5.0	13.0
3	庞征斌	国防科技大学计算机学院	19	107	5.0	10.0
4	杨晓东	国防科技大学计算机学院	23	82	5.0	8.0
5	屈婉霞	国防科技大学计算机学院	11	25	3.0	4.0