循环对称化简及在三值模型上的扩展

摘要：

为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值模型可以有效地表示系统中的不确定信息,正越来越多地用于软件系统的建模与分析中.针对一种具体的多值模型--三值模型,定义传统的对称化简和循环对称化简在其上面的扩展.最后,分析三值模型的商结构与由约简得到的二值模型商结构之间的关系,证明了两种途径的等价性.

关键词：模型检测、对称化简、循环对称、三值模型

所属期刊栏目：22

分类号：TP301(计算技术、计算机技术)

资助基金：国家高技术研究发展计划8632009AA10307;中国博士后科学基金20100471338;南京航空航天大学基本科研业务费专项科研项目NS2010110

在线出版日期：2011-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：1169-1184