论文摘要
本文在文献[1],[2]的框架下,首先,对带不可观察迁移的LTS给出了弱不变量的定义,讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。其次,本文还引入了迁移系统的限制乘积概念,并以此为工具,研究了弱互模拟和弱不变量之间的相互转化。最后,本文利用余代数的可观察部分概念,把弱不变量定义推广到一般余代数上,并且证明了只要选择合适的观察者,余代数中弱不变量定义和LTS中弱不变量定义是一致的。
论文目录
相关论文文献
- [1].不可数群上理想的基数不变量(英文)[J]. 四川师范大学学报(自然科学版) 2020(05)
- [2].仿高阶矩的结点不变量及其组成的图不变量[J]. 计算机科学 2018(08)
- [3].几何中的不变量剖析[J]. 林区教学 2013(04)
- [4].彩色图像矩不变量理论研究进展[J]. 长春师范大学学报 2016(12)
- [5].图的多项式不变量的一个推广[J]. 辽宁师范大学学报(自然科学版) 2014(04)
- [6].抓不变量[J]. 小学生学习指导 2020(08)
- [7].核心素养视角下物理观念的培养策略——以《探究碰撞中的不变量》为例[J]. 湖南中学物理 2020(01)
- [8].挖出隐含不变量 熟练解答物理题[J]. 物理教学探讨 2011(07)
- [9].面积法:一种不变量分析法[J]. 中学数学教学参考 2017(08)
- [10].探求不变量 巧解动态题[J]. 福建中学数学 2018(03)
- [11].不变量解题四功能[J]. 上海中学数学 2014(Z1)
- [12].抓住不变量 优化解题过程[J]. 中学数学教学 2014(05)
- [13].探求不变量 巧解动点问题[J]. 中学数学杂志 2014(10)
- [14].不变量结论的借用[J]. 物理教学 2009(08)
- [15].“探究碰撞中的不变量”教学设计[J]. 物理通报 2010(10)
- [16].抓住题中不变量列方程[J]. 小学生学习指导 2016(28)
- [17].以新的时空观念面对物理现象——辩证的绝对时空观[J]. 科学中国人 2017(02)
- [18].用数量守恒解题[J]. 数理天地(初中版) 2016(03)
- [19].动点问题三则(初三)[J]. 数理天地(初中版) 2016(09)
- [20].以“退”为“进” 巧解物理问题[J]. 理科考试研究 2017(01)
- [21].木杆滑动问题中的不变量及应用(初二)[J]. 数理天地(初中版) 2017(02)
- [22].以“不变量”为解题突破口[J]. 数学小灵通(5-6年级版) 2016(10)
- [23].解动态问题要关注题中的不变量(初三)[J]. 数理天地(初中版) 2016(07)
- [24].第3讲 浓度与利润[J]. 课堂内外(小学智慧数学) 2017(Z2)
- [25].分清单位“1” 抓住不变量[J]. 数学小灵通(5-6年级版) 2017(Z2)
- [26].从科学守恒到数学不变量——一种数学文化的视角[J]. 语数外学习(高中版上旬) 2017(02)
- [27].巧找不变量 妙解应用题[J]. 中学生数理化(七年级数学)(配合人教社教材) 2014(12)
- [28].利用不变量原理解数论问题[J]. 中等数学 2014(09)
- [29].从不变量入手[J]. 数学大世界(小学五六年级适用) 2013(11)
- [30].以不变应万变——用方程解决不变量问题[J]. 读写算(小学高年级) 2013(11)
标签:弱互模拟论文; 弱不变量论文; 抽象论文; 迁移系统的限制乘积论文;