论文部分内容阅读
主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2) 获得了正则序类逻辑Institution的Lawvere定理;(3) 讨论了正则序类逻辑Institution中合并理论与各因子理论的初始和终结语义.
正则序类逻辑Institution的Lawvere定理及其初始与终结语义
【摘 要】
：
主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2) 获得了正则序类逻辑Institution的Lawvere
【机 构】
：
广东工业大学应用数学学院
【出 处】
：
软件学报
【发表日期】
：
2005年7期
【基金项目】
：
广东工业大学校科研和教改项目
其他文献
中国共产党是无产阶级革命政党,从诞生之日起,中国共产党人便把马克思主义作为指导思想,并致力于推进马克思主义中国化,在领导中国革命的实践中,把马克思主义基本原理与中国
中国的罪犯劳动改造理论是中国共产党在长期的罪犯改造实践中,对罪犯改造发展历史进程的理论思考与实践总结。由于缺乏自信与自觉,中国罪犯劳动改造理论发展遇到巨大瓶颈,从
运用专家系统理论和技术，设计了某型飞机自动驾驶仪系统的智能故障诊断系统，介绍了该系统的结构体系和工作原理，重点说明了基于产生式规则的知识库和推理机的创建方法，并对推理过
在结构化P2P网络上构建基于内容的发布/订阅系统,可以很好地支持大规模、高度动态的分布式应用.然而,现有的基于内容的路由协议在P2P网络上只能提供弱的可靠性保证.根据结构
利用运动捕获数据，通过学习获得虚拟人运动的统计模型，从而创建真实、可控的虚拟人运动．提出了一种方法：通过对原始运动数据聚类，提取出局部动态运动特征——动态纹理，并用线性动态