【摘 要】
：
为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的
【机 构】
：
南京航空航天大学计算机科学与技术学院,DepartmentofComputerScience
【基金项目】
：
国家高技术研究发展计划（863）（2009AA010307）,,中国博士后科学基金（20100471338）,,南京航空航天大学基本科研业务费专项科研项目（NS2010110）
论文部分内容阅读
为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值模型可以有效地表示系统中的不确定信息,正越来越多地用于软件系统的建模与分析中.针对一种具体的多值模型——三值模型,定义传统的对称化简和循环对称化简在其上面的扩展.最后,分析三值模型的商结构与由约简得到的二值模型商结构之间的关系,证
其他文献
作为中部地区的教育文化中心是武汉城市功能的一大特征，自元代开始，武汉即成为湖广地区的行政中心。明清以降，汉口成为中西部地区的经济中心。随着商品、资本、人才的不断聚集，武
在国家创新驱动发展战略背景下,企业通过创新获取异质性资源,进而抢占较好的竞争位置,是其在日益激烈的市场竞争中维持自身生存与发展的必由之路。以2010—2015年中国A股上市
互联网企业创始人的控制权保护对于维护企业管理层的稳定、发挥企业家精神、提高企业市场竞争力具有举足轻重的作用。阿里巴巴的双重股权结构如何保护公司创始人的控制权成为
华文写作有着悠久的历史和丰富多彩的写作技巧技法，“犹弈师之有谱，曲工之有节，匠氏之有绳度，不可不讲究之而自得”。“要客观而又艺术地反映生活，正确而又深刻地表现主题，形象而又
对现行各施工组织学教材中给出的单代号网络计划的独立时差计算公式提出质疑，指出在同一工程网络计划中单代号与双代号的独立时差计算存在结果不一致的问题。通过分析、论证、