摘要:本文介绍了ＧＯＡＭ──一个新的Ｐｒｏｌｏｇ语言抽象机器中的原型共享思想．采用原型共享技术可以明显地降低Ｐｒｏｌｏｇ程序运行时的空间消耗量，在一定程度上解决了Ｐｒｏｌｏｇ语言特有的难题──“栈溢出”问题．

摘要:本文给出了一种类比匹配原理及其计算模型，并在此基础上实现了类比匹配器ＡＭＥ．其中类比匹配原理包括一致性、谓词相似和支持性原则；计算模型采用以命题为中心，以命题映射为基本单位，从而ＡＭＥ的复杂性低于同类系统．另外，证明了本文的实现算法具完备性和正确性．

摘要:本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理，我们采用了ＶＤＭ的“出口”机制．

摘要:当前，开发以数据库为核心的集成化ＣＡＤ系统已迫在眉睫，为支持这种集成化，提供一个能自动生成数据库和应用程序之间接口的开发环境是很重要的手段之一．本文在分析了这种接口程序的功能和一般结构以后，提出了一个基于可重用方法的库与应用程序接口开发环境的总体模型──ＤＤＢＵＩＳ，试图结合两种支持复用的方法自动生成库与应用程序之间的接口，并为软件开发人员在开发其他系统时提供可重用的支持．

摘要:本文在简介证明开发环境的元语言ＴＭＬ之后，提出两类结构化设施；模块化机制为元级程序设计提供模块化手段；抽象理论机制用来描述定理证明赖以进行的背景理论．联合使用模块机制和结构化理论描述，系统可自动实现结构化证明搜索．

摘要:本文给出了计算图的所有顶点间的距离矩阵Ｄ及最短路径矩阵Ｐ的一串行和异步并行算法．利用上述结果，又得到其他图论问题的高效异步并行算法，并介绍了用ＡＤＡ语言对异步并行算法实现的主要步骤．

摘要:本文介绍了在计算机分布式环境下相互合作的进程中通信合作事件间的因果关系（ＣａｕｓａｌＲｅｌａｔｉｏｎｓ），基于在一组相互合作的进程间可能同时服务于多个任务，而且这些任务间可能并不相关这一观点，引入了事件类（ＥｖｅｎｔＣｌａｓｓ）概念，并利用事件类概念，提出了保证因果序（ＣａｕｓａｌＯｒｄｅｒｉｎｇ）的算法．

摘要:本文首先提出对象与对象抽象、规则序与规则映射的理论，为对象的类比推理奠定了一定的基础，在此基础上，建造了对象类比推理模型ＯＡＭ．

摘要:本文提出用部分量词和模糊谓词来表示模糊知识这一方法，在简要介绍数据抽象这一关系数据库中知识发现的方法后，详细描述了该方法中对模糊性问题的处理方法．

摘要:本文首先阐明了汉语分析中所要面对的问题，并描述了如何建立搭配词典以表达个性的语言现象及处理规则．为了适应自然语言中的随机性和规律性，我们提出一个词汇语义驱动算法，它不仅提高了系统的效率，而且较好地解决了自然语言处理中诸如词汇兼类处理这样的难题．