【摘 要】
：
为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的
【机 构】
：
南京航空航天大学计算机科学与技术学院,Department of Computer Science University of Toronto,
论文部分内容阅读
为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值模型可以有效地表示系统中的不确定信息,正越来越多地用于软件系统的建模与分析中.针对一种具体的多值模型——三值模型,定义传统的对称化简和循环对称化简在其上面的扩展.最后,分析三值模型的商结构与由约简得到的二值模型商结构之间的关系,证明了两种途径的等价性.
其他文献
克拉申输入假说是二语习得领域中的一个重要理论。自从70年代传入中国以来,曾引起外语教学界的极大关注。本文从认知角度,借助认知主义的有关学习理论对“输入假说”进行分析
目的:基于多参数磁共振成像（MRI）影像组学特征,构建膀胱癌（BC）复发预测模型,充分发挥医学影像在疾病诊断中的价值,实现BC复发的术前准确预测。方法:收集28例BC患者（无复发22例,复
城乡消费结构的优化是事关我国城乡经济和谐发展的大事情,它直接影响我国社会的稳定和全面建设小康社会的进程。正确认识和妥善处理好这个问题,对于促进城乡经济协调发展,建
采用ME-ICP61a、ME-MS81分析方法研究了贵州织金新华下寒武统牛蹄塘组黑色岩系的地质特征、稀土元素地球化学特征及形成条件。磷矿层产于牛蹄塘层底部，磷矿层之上为多金属矿层
孕期是妇女生理上的一个特殊时期,当孕期妇女发生一般感染或者严重感染时,应根据抗生素类药物在孕妇中应用的危险性分类等级,结合孕妇感染疾病的病原菌、严重程度,考虑孕妇、
（东汉）王逸的《楚辞章句》是《楚辞》最完整的注本，它把《渔父》中“鼓枻而去”的“枻”解释成“叩船舷”。本文根据文献证实，“枻”解释为“船桨”比较合适。
母语对英语的负迁移影响已经受到广大学者的关注,文章采用对比语言学理论,着重从母语对英语的语音方面的正迁移着手,寻求更好的学习方法,以便帮助英语学习者正确使用母语对英
翻开新中国参加国际音乐活动的记录,我们可以看到许多人的名字和“世界青年学生和平与友谊联欢节”相联系,这些人物绝大部分后来成为了著名的音乐家或音乐教育家。在他们的
目的:调查南通大学附属医院2014—2016年临床标本分离革兰阴性菌的菌种分布及其对常用抗菌药物的耐药性。方法:采用VITEK-2 Compact全自动微生物分析系统进行菌株鉴定及药敏
雅典奥运会我国皮划艇项目实现了历史性突破,反思、总结3年"备战"的精髓经验包括:超常规思维,不断深入对项目发展规律的认识,注重理论创新;优化人力资源结构,建立学习型、进