CAJ | 학술논문

为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值模型可以有效地表示系统中的不确定信息,正越来越多地用于软件系统的建模与分析中.针对一种具体的多值模型--三值模型,定义传统的对称化简和循环对称化简在其上面的扩展.最后,分析三值模型的商结构与由约简得到的二值模型商结构之间的关系,证明了两种途径的等价性.
위료장대칭화간확전도경다적비대칭계통상,확전료전통적기우자동구적대칭성,제출료일충칭위순배대칭적신적대칭성.증명료채용순배대칭치환군혹자유일조순배대칭치환소생성적치환군잉가득도여원모형호모의적대칭상결구,종이체도화간계통규모적목적.진일보지,연구여하장대칭화간응용우다치모형.다치모형가이유효지표시계통중적불학정신식,정월래월다지용우연건계통적건모여분석중.침대일충구체적다치모형--삼치모형,정의전통적대칭화간화순배대칭화간재기상면적확전.최후,분석삼치모형적상결구여유약간득도적이치모형상결구지간적관계,증명료량충도경적등개성.