10.3969/j.issn.1000-7024.2013.10.062
基于决策图的复杂系统模型对称约减方法
针对复杂随机系统模型检测过程中的状态空间爆炸问题,提出一种用于支持迁移回报特征描述的概率模型对称约减方法.通过引入状态集等价关系唯一表示函数,约减了原模型中的状态集尺寸;通过加入回报特征描述,改进了传统的多终端二元决策图,用于表示概率回报模型中的迁移关系;基于迁移矩阵,提出了一种高效的对称约减算法,完成了迁移关系的约简.实验结果表明了该方法的可行性与有效性.
形式化验证、模型检测、状态空间爆炸、决策图、对称约减、商模型
34
TP302.7(计算技术、计算机技术)
中央高校基本科研业务费专项基金项目DL11BB08;国家自然科学基金项目71001023
2013-11-18(万方平台首次上网日期,不代表论文的发表时间)
共5页
3685-3689