1995, 6(1):1-7.
摘要:本文介绍了GOAM──一个新的Prolog语言抽象机器中的原型共享思想.采用原型共享技术可以明显地降低Prolog程序运行时的空间消耗量,在一定程度上解决了Prolog语言特有的难题──“栈溢出”问题.
1995, 6(1):8-16.
摘要:本文给出了一种类比匹配原理及其计算模型,并在此基础上实现了类比匹配器AME.其中类比匹配原理包括一致性、谓词相似和支持性原则;计算模型采用以命题为中心,以命题映射为基本单位,从而AME的复杂性低于同类系统.另外,证明了本文的实现算法具完备性和正确性.
1995, 6(1):17-25.
摘要:本文采用类VDM的指称语义技术为Eiffel(1988)语言建立了形式语义模型.该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的语义.为了描述Eiffel的意外处理,我们采用了VDM的“出口”机制.
1995, 6(1):26-32.
摘要:当前,开发以数据库为核心的集成化CAD系统已迫在眉睫,为支持这种集成化,提供一个能自动生成数据库和应用程序之间接口的开发环境是很重要的手段之一.本文在分析了这种接口程序的功能和一般结构以后,提出了一个基于可重用方法的库与应用程序接口开发环境的总体模型──DDBUIS,试图结合两种支持复用的方法自动生成库与应用程序之间的接口,并为软件开发人员在开发其他系统时提供可重用的支持.
1995, 6(1):41-45.
摘要:本文给出了计算图的所有顶点间的距离矩阵D及最短路径矩阵P的一串行和异步并行算法.利用上述结果,又得到其他图论问题的高效异步并行算法,并介绍了用ADA语言对异步并行算法实现的主要步骤.
1995, 6(1):46-51.
摘要:本文介绍了在计算机分布式环境下相互合作的进程中通信合作事件间的因果关系(CausalRelations),基于在一组相互合作的进程间可能同时服务于多个任务,而且这些任务间可能并不相关这一观点,引入了事件类(EventClass)概念,并利用事件类概念,提出了保证因果序(CausalOrdering)的算法.
1995, 6(1):61-64.
摘要:本文提出用部分量词和模糊谓词来表示模糊知识这一方法,在简要介绍数据抽象这一关系数据库中知识发现的方法后,详细描述了该方法中对模糊性问题的处理方法.
1995, 6(1):78-85.
摘要:本文首先阐明了汉语分析中所要面对的问题,并描述了如何建立搭配词典以表达个性的语言现象及处理规则.为了适应自然语言中的随机性和规律性,我们提出一个词汇语义驱动算法,它不仅提高了系统的效率,而且较好地解决了自然语言处理中诸如词汇兼类处理这样的难题.