论文部分内容阅读
在一般性的适用框架Ｉｎｓｔｉｔｕｔｉｏｎ中，建立了自由合并理论与各因子理论的初始（终结）语义之间的对应关系，给出了自由理论态射的粘合态射及其相关的初始（终结）语义，并证明了在一定条件下，遗忘函子Ｓｉｇｎ：Ｔｈ＾１→Ｓｉｎｇ的反射余极限。
Institution中自由合并理论的初始与终结语义
【摘 要】
：
在一般性的适用框架Ｉｎｓｔｉｔｕｔｉｏｎ中，建立了自由合并理论与各因子理论的初始（终结）语义之间的对应关系，给出了自由理论态射的粘合态射及其相关的初始（终结）语义，并证明了在一定条件下，遗忘函子Ｓｉｇｎ：Ｔｈ＾１→Ｓｉｎｇ的
【机 构】
：
广东工业大学数理系
【出 处】
：
软件学报
【发表日期】
：
1999年2期
其他文献
目的评价莫西沙星单一药物在治疗社区获得性肺炎（CAP）的临床疗效和安全性。方法本研究将2008年2月至2010年6月在我院住院的106例CAP病人分为两组：试验组53例,莫西沙星0.4 g/d;对
不完全信息下的近似推理是知识工程面临的困难问题之一。文章提出了一种具有非单调性质的优先逻辑程序理论。该理论能够对知识的解释进行综合评判，进而优选解释，使其成为现有知
我去年种了株“丑菊”,天天盼着它快开花,因为我倒要看看有这种恶名的花儿究竟是怎样的丑法。 可是,它一直懒洋洋地“睡大觉”,连花的影子也没有,气得我真想把它拔了,但到底
分布式多媒体系统的发展向服务质量ＱｏＳ（ｑｕａｌｉｔｙｏｆｓｅｒｖｉｃｅ）管理机制提出了新的挑战，本文从分析现有网络系统在ＱｏＳ管理方面的不足出发，引出分布式多媒体系统中有ＱｏＳ管理的基本观点，讨论了各层ＱｏＳ参数和ＱｏＳ管理机制的
0．引言随着我国经济建设的发展，各类工业及民用高层建筑对火灾自动报警及联动控制系统提出了较高的要求。在工业厂房、宾馆、图书馆、科研和商厦等场所，火灾自动报警及联动控制
为了有效地结合形式化和非形式化方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ相结合的途径，并
上海出现非法同居却到法院起诉“离婚”的怪圈。据某区法院初步统计,去年,该院受理此类案件十余起,而今年仅一至二月就已达10起。
为对我校体育专业体育游戏课教学进行探讨。本课题从教学目的、课程安排、教学内容选编原则等方面总结了体育游戏课教学实践。研究结果表明我校体育游戏课教学目的明确，方法多
高等学校的师德建设是高校教师队伍建设的重要内容，师德建设受到社会环境、教育体制、思想认识、工作条件和生活待遇等因素影响。抓好师德建设对加强高校学风、校风建设具有十