论文部分内容阅读
本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初台语义之间的对应关系。
Institution中合并理论的初始与终结语义
【摘 要】
：
本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初台语义之间的对应关系。
【机 构】
：
江西师范大学
【出 处】
：
软件学报
【发表日期】
：
1996年6期
【基金项目】
：
国家863高技术研究发展计划基金
其他文献
称呼语作为语言徽章,标志着人与人之间的相互关系、人们的身份地位,反映着民族文化的特性,是人类文化不可分割的一部分。中国历史上是一个封建宗法制社会,素以＂礼仪之邦＂著称,
文章以辽宁医学院本科生文献检索课教学为例，论述了文献检索课教学的现状、存在的问题，进而分析了存在问题的原因，重点提出改革教学模式的方法与意义。
本文介绍基于ＢＪ－１并行计算机非对称硬件结构之上的一种对称式文件系统的设计思想和实现技术。该文件系统在不降低原有效率的前提下为用户提供了方便的界面，并通过文件系统中的管道
学习儒家自律的管理思想,可以让图书馆管理层以“仁”来关怀全馆,以“德”和个人魅力紧密团结全馆,自觉追求成为学习型馆员,从而做好高校图书馆领导工作.
本文将序贯模式的发现从单层概念扩展到多层概念既允许在同层概念之间，也允许在不同层概念之间发现序贯模式，提出了发现广义序结模式的自顶向下逐层递进的方法。
多媒体大学外语教学是在缜密研究教学活动系统的基础上建立起来的一种系统教学方法，是指通过各种媒体和技术的综合利用，对大学外语教与学的信息进行储存、加工、传播，从而达到大
本文定义了一个新的ｃｏｎｔｅｘｔ逻辑－ＱＬＣ（ｑｕａｎｔｉｆｉｃａｔｉｏｎａｌ ｌｏｇｉｃ ｏｆ ｃｏｎｔｅｘｔ），它能反映ｃｏｎｔｅｘｔ的更多的逻辑性质。文中还讨论了含等词的ＱＬＣ以及当领域公理相关不同ｃｏｎｔｅｘｔ序列时的推理，并引入了ＭｃＣａｒｔｈｙ的限制理论。
我国从1981年开始研究图书馆图书资产清查工作,目前已发表相关论文54篇.文章从图书资产清点的特点与意义、原则与方法、流程与方案、结果统计与分析等方面阐述了国内的研究进
有效的消息通讯是提高分布存储器并行计算机性能的关键因素，点对点通讯和广播是２种常用的消息通讯方法，而多播通讯是指从一个源节点同进给任意多个目标节点发送消息，这种通讯比点