论文部分内容阅读
余代数上的不变量在理论计算机科学中占有十分重要的地位，本文借助文献[1]的思想建立弱不变量的定义，讨论了弱不变量的性质以及与不变量的关系；其次，定义标记迁移系统的弱不变量并证明这两种定义是等价的．
余代数上的弱不变量
【摘 要】
：
余代数上的不变量在理论计算机科学中占有十分重要的地位，本文借助文献[1]的思想建立弱不变量的定义，讨论了弱不变量的性质以及与不变量的关系；其次，定义标记迁移系统的弱不变量
【机 构】
：
中央民族大学理学院,首都师范大学教育技术系
【出 处】
：
中央民族大学学报：自然科学版
【发表日期】
：
2007年4期
其他文献
通过对三状态安全关键系统特点的分析,建立了系统寿命相依的三状态安全关键系统模型,系统的每个单元有三种状态：工作、安全故障、危险故障,单元由工作部件和安全部件组成,这两
本文通过数值模拟分析了条形SOI光波导的群速度色散和亚皮秒脉冲信号的动态特性．与弱限制波导不同，条形SOI光波导的群速度色散主要取决于波导色散而非材料色散，所以可以通过几何