LTS中的弱不变量与限制乘积

LTS中的弱不变量与限制乘积

论文摘要

本文在文献[1],[2]的框架下,首先,对带不可观察迁移的LTS给出了弱不变量的定义,讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。其次,本文还引入了迁移系统的限制乘积概念,并以此为工具,研究了弱互模拟和弱不变量之间的相互转化。最后,本文利用余代数的可观察部分概念,把弱不变量定义推广到一般余代数上,并且证明了只要选择合适的观察者,余代数中弱不变量定义和LTS中弱不变量定义是一致的。

论文目录

  • 摘要
  • Abstract
  • 1.引言
  • 2.预备知识
  • 2.1 范畴论及余代数的基本概念和结论
  • 2.2 LTS和不变量的有关概念
  • 3.主要内容
  • 3.1 LTS的弱不变量
  • 3.2 LTS的抽象及限制乘积
  • 3.3 一般余代数的弱不变量
  • 4.参考文献
  • 5.致谢
  • 6.说明
  • 相关论文文献

    • [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)

    标签:;  ;  ;  ;  

    LTS中的弱不变量与限制乘积
    下载Doc文档

    猜你喜欢