标记迁移系统的组合可达性分析

• 作者: 文艳军 王戟 齐治昌
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 标记迁移系统 计算机辅助设计和验证 组合可达性分析 状态空间爆炸问题 观察等价
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 软件工程
• 页码范围: 110-111,145
• 页数: 3页
• 分类号: TP3
• 字数: 3042字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2005.12.029

摘要

标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型.当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法.已有的工作缺乏对该方法基本原理的清晰描述和精确表达.本文对其基本原理进行了分析和概括,并作了形式化陈述,证明了相关结论.本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科技大学计算机学院	41	880	14.0	29.0
2	齐治昌	国防科技大学计算机学院	42	432	12.0	19.0
3	文艳军	国防科技大学计算机学院	11	26	4.0	4.0