摘要:并行处理系统结构的发展要求相应的软件工具的支持,目前,国际上对并行化工具正开展广泛深入的研究,但由于过程间相关性分析难,最优化判别标准过分依赖于机器特性,同步通讯问题及调度开销大等原因,使得现有技术所能开发的并行性极为有限,另外,对软件工具的要求不但是正确性,还要有友好的用户界面和良好的可移植性,可扩充性。本文讨论了基于知识的并行化工具KD—PARPRO的设计思想,对启发式转换器进行了功能描述,并介绍了动态控制技术。

摘要:巧妙的提问是人类的智能之一,本文讨论如何让机器模仿人的这种智能,给出一系列提高提问效率的策略和算法,这些技巧可以改善一些咨询系统,特别是专家系统的提问机制,使系统在为用户服务时,向用户提出的问题尽可能的简练贴切,从而降低系统的提问开销。

摘要:本文给出加权T—图为活网的一组充分必要条件,这组条件包含了文献[1]对标识图(即T—图)活性分析的结果,即当每条弧的权都等于1时,本文的结果就化为文[1]给出的条件。

摘要:本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。

摘要:软件的发展经历了若干阶段,到今天已进入了软件工程时代,软件工程将系统开发分为几个阶段,其中需求定义与分析阶段的技术和方法已成为软件工程时代所要解决的主要课题之一。需求分析的关键技术是需求定义与分析的质量问题,“需求规格说明语言/需求规格说明分析系统”(RSL/RSA)是一种以规格说明为核心,以需求规格说明数据库为基础的计算机辅助需求分析系统,本文从软件工程的角度,提出了需求分析的关键技术、集 成化的软件工具包的概念和RSL/RSA系统的设计目标,同时介绍了计算机辅助需求工程工具RSI/RSA系统的功能、结

摘要:自动生成测试用例是测试编译程序的途径之一,目前一般均使用Purdom提出的产生式选择策略来自动生成测试用例,本文提出了描述前后文无关文法的一种图表示方法,这种图称为文法的DG图。基于DG图,我们给出了一种优于Purdom策略的新的编译程序测试用例自动生成策略,并讨论了这种策略的实现原理。

摘要:本文首先给出了一种自然语言计算模型,该模型把自然语言交流过程划分为三个层次:语言形式,表层语义和深层语义,从而将自然语言理解抽象为一个复合函数UP(s,k),依据这个模型,我们设计了一个汉语理解系统,这个系统具有良好的扩展性和可移植性,该系统采用汉语语义结构文法来分析汉语句子,把语法分析和语义分析有机地结合在一起,文中形式定义了词语的深层语义以及深层语义的基本运算,给出了分析器、理解器以及生成器的算法。

摘要:逻辑主义对人工智能具有重大的意义,但也有其局限性(特别是对于归纳的模拟),现代归纳逻辑作为一类非标准逻辑应成为归纳学习逻辑基础的重要组成部分,对此值得进一步加以探讨。

摘要:在本文中,我们研究了软件开发中文档管理的主要内容,并提出了一个可由用户独立使用,也可用于软件工程支撑环境中的文档管理工具的功能设计及这样一个工具的实现。