论文部分内容阅读
<正>涂象初等建立了一种集合搜索技术,其效率比传统的逐点搜索有所提高,是解决搜索问题的一种新途径。在许多应用中,集合搜索实质上是一个具有布尔代数元的IF－THEN结构序列,即
基于因果链的知识库建造
【摘 要】
：
<正>涂象初等建立了一种集合搜索技术,其效率比传统的逐点搜索有所提高,是解决搜索问题的一种新途径。在许多应用中,集合搜索实质上是一个具有布尔代数元的IF－THEN结构序列,即
【机 构】
：
广西师范大学数学与计算机系
【出 处】
：
计算机科学
【发表日期】
：
1998年3期
【基金项目】
：
国家863计划,,国家自然科学基金
其他文献
<正>所谓指令级并行性又称细拉度并行,主要是相对粗拉度并行而言的,后者是指存在于程序(主要是进程或线程间)的并行性。顾名思义,指令级并行是指存在于指令一级即指令间的并
<正>1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句
<正>近年来,有关Agent的各项研究在国外得到迅速发展[1],它强调了Agnet的行为特征和交互动,对于Agent之间的对话机制提出了更高的要求,其最终日标是利用自然语言进行交互.自
<正>数据仓库和联机分析处理是决策支持系统的重要组成部分,与传统的联机事务处理不同,是对现有数据进行归纳、分析和推理,从而为决策提供支持。数据仓库是“面向主题的、集
<正>Web从1991年诞生以来,入们把很大精力投入到漂亮的主页设计上,过分注重了W。b站点的外在特性,而忽视了Web站点的内在结构。随着Web站
智能多媒体表现系统是一个通过基于知识技术处理多媒体信息来生成智能化表现的新兴研究领域。本文对智能多媒体表现系统的定义、任务、计算模型以及研究现状做了深入论述；分析
<正>1引言信息技术的迅猛发展,使企业管理技术日臻完善。近年来,为了满足动态多变的市场竞争的需要,又提出了具有智能及优化功能的智能资源计划(In-tell;gent Resoure。I,lan
<正> 1.引言现代印染业发展非常迅速,人们对印染品的质量和效果的要求也在不断提高。当前彩色印染方式为专色印染。专色印染是在一块白色的布匹上每次印染一种特定的颜色,经
<正>归纳定理证明是一种难度较大且较有前途的一种自动定理证明方法。较早的归纳定理证明器是Boyer一Moore于1979年提出的BM证明器,BM证明器采用的是传统的结构归纳法,对所证
<正>1引言 任务调度是并行分布计算中最具有挑战性的问题之一,其1般形式和几种受限形式是NP完全问题~[1][2]。要取得多项式时间复杂度的最优调度算法,就必须对表示并行程