一种处理不确定性语言的设计与实现

提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL,并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理.     

某露天矿设备选型的专家系统

本文采用TURBO—PROLOG语言开发了一个小型专家系统用于露天矿山的设备选型.在进行设备选型过程中,该系统和用户之间采用交互式对话方式进行,它可以回答用户提出的选择某种设备的原因及依据,且用户自己可按照系统给出的提示更新其知识库中的知识.     

PROLOG程序和知识库系统

第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。     

演绎数据库系统LEDDB

本文给出了建立在函数/逻辑型语言LISP-ELP基础上的一个演绎数据库系统模型.该系统比之于建立在PROLOG基础上的演绎数据库系统具有以下优点:有更灵活的控制求解策略、更丰富的查询方式,可与更多的知识表达方式相联系.文中还提出了一种新的知识库管理策略,即多键散列的存取策略,使系统的效率大幅度提高.     

一种对PROLOG进行矛盾检测的算法

本文首先介绍了PROLOG检测工具的研究现状，作者针对PROLOG语言的特点，提出了一种对PROLOG进行矛盾检测的算法，并用Turbo C语言实现了该算法，该算法作为一种PROLOG检测工具已被合并到Rurbo PROLOG系统盘中。     

关于PROLOG中库操作谓词RETRACT的语义及其实现

PROLOG语言曾被日本选作第五代机的核心语言,至今仍是AI研究领域中很活跃的一部分。本文立足于实践,对PROLOG中很重要的库操作谓词retract的语义进行了扩充,并阐明了扩充后PROLOG系统的实现思想。     

肺心病早期无创性诊断专家系统

用PROLOG实现的分类专家系统,着重介绍了知识的获取、知识库的结构及其推理机制。系统用产生式规则表示知识,采用正向推理策略,较准确地模拟了专家的施治过程。     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

逻辑程序设计语言NIT-PROLOG编译—解释系统

逻辑程序设计语言 NIT-PROLOG 采用编译—解释方式实现。实现过程中综合考虑了匹配、索引、尾项递归优化、线性合一、查错跟踪等多项技术的采用,提供了不同的合一、解释模块,便于用户组成不同功能的 PROLOG 系统。     

一个能获得3NF关系的数据库设计专家系统

本文在数据分析的基础上,运用关系数据库的规范化理论概括出一系列产生规则,设计并在IBM PC上用PROLOG语言实现了一个特定的专家系统(ERTORS3),其知识库由一个描绘应用的语义网络和一组能将语义网络转换为关系数据库的产生式规则组成,利用PROLOG的推理机制自动生成能满足3NF关系的关系数据库。     

基于启发函数的网格数据库查询算法

查询处理技术是网格数据库研究的核心,但是传统的查询处理技术无法适应动态变化的网格环境,导致网格资源利用率低、查询效率不高。给出了基于副本的网格数据库查询处理代价模型和两种查询处理算法,利用不同的数据集和网格环境参数进行实验验证。实验结果表明,基于启发函数的网格数据库查询算法在一定程度上提高了查询处理效率,生成子查询时间代价为O(n),消耗时间比采用穷举策略下降10%左右。     

MapReduce框架下的查询结果共享

当前的大规模数据分析通常在MapReduce框架下执行查询。由于MapReduce框架本身的冗余性以及查询之间的重叠性,复用已有查询的结果可以大幅提高查询的执行效率。复用查询的结果需要对其进行存储和匹配管理,产生高昂的系统开销,抵消复用的部分效果。本文针对目前先进的查询结果复用系统ReStore在管理查询结果和匹配中存在的效率低下的问题,提出森林结构的Job存储管理技术和与之相适应的匹配算法,提高查询的匹配效率,减少系统的开销。为了使系统能够充分复用已执行查询的结果,本文提出对多个查询进行预处理的方案,通过改变各查询进入Pig编译器进行编译的顺序,从而改变Job的执行顺序,使得加载相同数据集的Job同时执行,减少与存储库进行匹配的次数。实验表明：在构建存储结构与匹配已有结果过程中,本文提出的方法与ReStore相比,节约16.3%的时间开销,伸缩性也更好。     

并行查询优化中的负载平衡问题研究

在现有工作的基础上,引入数据偏斜因子,在并行查询优化阶段考虑负载平衡问题,提出了一种并行查询优化方法.用算子间并行性来弥补由数据偏斜引起的算子内并行性下降而造成的影响,提高了查询执行效率,减少了查询时间.     

PSP：一种高效的偏序域上skyline查询处理方法

为解决偏序域上的skyline查询问题,本文提出一种高效的偏序域上的skyline查询处理方法,来满足人们对查询效率日益增长的需求.首先,为提高偏序域上skyline的查询效率,将倒排索引引入skyline查询,提出一种基于倒排的索引结构.其次,提出基础算法(Basic Partially-ordered Skyline Processing based on inverted index,PSP_B),PSP_B包含两个阶段:第一阶段,能够通过映射将偏序域转化成全序域,并建立倒排索引;第二阶段,通过倒排索引提前找到扫描结束点,得到最终的skyline结果.再次,在PSP_B的基础上,进一步提出优化算法(Improved Partially-ordered Skyline Processing based on inverted index,PSP_I).PSP_I通过先分组再建索引的方法能够进一步提高计算效率.最后,用大量的实验证明本文所提算法的正确性和高效性.     

八邻域网格聚类的多样性XML文档近似查询算法

提出了一种基于八邻域网格聚类的多样性XML近似查询算法.首先给出了支持XML文档间语义距离计算的3种编辑操作代价模型,再利用XML文档间的语义距离建立XML文档的向量模型并设计基于八邻域网格的XML文档聚类算法,进而利用聚类过程中得到的物理和逻辑聚类中心对静态有序选择算法的查询评估策略进行优化,这样做只需定位聚类中心所在组群的局部范围,并在该范围内进行目标查询,而无需遍历整个XML数据库,从而快速返回满足用户需求的查询结果.经汽车外形智能化设计实验表明,所提算法的查询速度比静态有序选择算法平均提高了3~4倍.     

改进的半连接查询优化算法

在多关系连接查询中,普通半连接查询方法没有优化子查询的半连接顺序,导致查询代价较高,为此,本文提出了一种改进的半连接查询优化算法.首先,将多关系连接组织成较小代价的类树形结构,然后利用半连接操作对处于根节点处的关系进行最大化缩减,并以此为基础利用PERF位向量对其他节点进行缩减,最后回收缩减关系进行连接操作.模拟实验表明改进的半连接查询优化算法能够有效地缩减查询关系,降低查询代价.     

基于缓存替换算法的EPCIS查询机制

针对物联网应用时对EPCIS(electronic product Code information services)数据库的大量的查询请求,在已有的EPCIS查询机制的研究基础上,提出了一种基于缓存的EPCIS查询机制.通过减少对EPCIS数据库的访问次数以缩短请求响应时间,提出了一种基于代价函数的缓存替换算法.研究结果表明,与现有的一些传统缓存替换算法相比,本文给出的缓存替换算法能进一步提高EPCIS 查询模块的效率.     

基于多目标规划的WSN路径动态选择算法

为解决无线传感器网络中查询的能量有效和实时性之间的矛盾,提出一种基于多目标规划理论的动态路径选择算法(MOPEH).该算法结合了最低能耗路由策略(ME)和最小跳步数路由策略(MH),运用多目标规划模型,将能量代价和传输时延同时作为路由算法的设计目标,利用深度优先搜索策略建立了节点间的所有可行路径集合,并从中选择能耗低于平均能耗的路径.根据查询要求设定网络性能函数,动态调整两项性能指标,从可行路径集合中选择满足要求的路径,得到最优解.实验证明该算法能够能量有效地处理实时查询.     

一种具有服务质量支持的数据访问方法

针对目前的查询优化技术并没有考虑网格环境中数据源的动态特征,导致数据访问质量很差的问题,文中提出了网格环境中具有服务质量(QoS)支持的数据访问方法.它能在查询优化的过程中考虑数据源的动态特征以及用户的QoS要求,根据用户的QoS要求选择不同的查询执行计划;文中还提出了基于管道并行方式的分层管道树来对多连接表达式进行优化,它不仅可以提高并行度而且可以尽快返回部分结果给用户.实验结果表明,文中提出的方法是有效的,可以为不同类型的用户提供不同等级的数据访问服务.