论文部分内容阅读
本文在文献[1，2]的框架下给出了弱不变量的定义，讨论了其性质及与不变量之间的关系。此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
LTS中的弱不变量与限制乘积
【摘 要】
：
本文在文献[1，2]的框架下给出了弱不变量的定义，讨论了其性质及与不变量之间的关系。此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱不变量之间的相互
【机 构】
：
首都师范大学数学科学学院,首都师范大学教育技术系
【出 处】
：
计算机工程与科学
【发表日期】
：
2007年11期
其他文献
概念 大家都在谈论IPTV （TV over IP）．IPTV这个名词好像大家都已经很熟悉但关于IPTV的定义，却并不是我们想的的那么简单清晰。无论是标准化的组织还是运营商，都有各自的理解，有的甚
目的评价T细胞斑点检测(T cell spot test,T-SPOT)在鉴别结核分枝杆菌(mycobacterium tuberculosis,Mtb)与非结核分枝杆菌(nontuberculous mycobacteria,NTM)感染中的价值。
我们可能无法知道同时拥有几个即时通讯（IM：Instant Messaging）号码的人的数量,但是我们却可以断定连一个IM号码都没有的人肯定会很少--MSN、ICQ、Yahoo、QQ、UC或者别的什么,绝
为客观分析国内外花生肥料施用研究现状,总结目前研究的重点与薄弱点,基于文献计量学及Cite Space V分析,对Web of Science和CNKI数据库中花生肥料施用的文献数量、出版刊物
在光伏装机比例较高的微网中存在光伏的消纳问题,对负荷的合理调整有助于提高光伏的就地消纳能力,而价格激励需求响应是调整负荷的有效手段。基于分时电价模式下的价格激励需
随着我国社会的不断进步,大众对于教育质量越来越重视,对于教师教学质量的要求也不断增加.但是,近些年来,教师伤害学生的新闻屡见不鲜,究其根本原因,是当前教师队伍的道德素
土壤紧实胁迫阻碍花生根系向深层土壤下扎及荚果的膨大,影响花生的生长发育,造成花生减产和品质下降。合理的田间栽培措施,能够改善土壤紧实度状况,促进花生根系生长、荚果发
11月3日，资阳市林业局召开了全市林业局长座谈会。会议传达了省林业厅和市委、市政府对资阳林业工作的指示及全省新一轮退耕还林推进会。
<正>"一带一路"是"丝绸之路经济带"和"21世纪海上丝绸之路"的简称。2013年9月和10月由中国国家主席习近平分别提出建设"新丝绸之路经济带"和"21世纪海上丝绸之路"的合作倡议