|
|||||
|
|
| 基于决策图的复杂系统模型对称约减方法 | |
| 引用本文： | 纪明宇,王海涛,陈志远,李艳梅.基于决策图的复杂系统模型对称约减方法[J].计算机工程与设计,2013,34(10). |
| 作者姓名： | 纪明宇 王海涛 陈志远 李艳梅 |
| 作者单位： | 1. 东北林业大学信息与计算机工程学院,黑龙江哈尔滨150040;哈尔滨工程大学计算机科学与技术学院,黑龙江哈尔滨150001 2. 东北林业大学信息与计算机工程学院,黑龙江哈尔滨,150040 3. 哈尔滨工程大学计算机科学与技术学院,黑龙江哈尔滨,150001 |
| 基金项目： | 中央高校基本科研业务费专项基金项目，国家自然科学基金项目 |
| 摘 要： | 针对复杂随机系统模型检测过程中的状态空间爆炸问题,提出一种用于支持迁移回报特征描述的概率模型对称约减方法.通过引入状态集等价关系唯一表示函数,约减了原模型中的状态集尺寸;通过加入回报特征描述,改进了传统的多终端二元决策图,用于表示概率回报模型中的迁移关系;基于迁移矩阵,提出了一种高效的对称约减算法,完成了迁移关系的约简.实验结果表明了该方法的可行性与有效性. |
| 关 键 词： | 形式化验证 模型检测 状态空间爆炸 决策图 对称约减 商模型 |
Symmetry reduction method for complicated system model based on decision diagrams |
|
| JI Ming-yu , WANG Hai-tao , CHEN Zhi-yuan , LI Yan-mei.Symmetry reduction method for complicated system model based on decision diagrams[J].Computer Engineering and Design,2013,34(10). | |
| Authors: | JI Ming-yu WANG Hai-tao CHEN Zhi-yuan LI Yan-mei |
| Abstract: | |
| Keywords: | formal verification model checking state space explosion decision diagram symmetry reduction quotient model |
| 本文献已被 万方数据 等数据库收录！ | |
