基于多本体的煤炭调度集成系统的研究

针对公司煤炭调度系统中总调度系统与下属分矿的子调度系统中存在异构数据源导致难以实现数据共享，设计了一个基于多本体的煤炭调度集成系统架构。重点研究了系统查询处理过程，首先根据全局本体到局部本体的映射，把针对全局本体的查询语句分解为对局部本体的子查询，再将子查询进一步重写为关系数据源的查询语句并给出了RDQL—to—SQL查询重写算法，最后把对关系数据源的SQL子查询结果进行集成返回给用户。     

具有多重延误休假的k out of n(G)冷备可修系统

研究了修理工具有多重延误休假的新型 k out of n(G)冷储备可修系统.假定部件寿命、修理工延误休假时间服从指数分布,部件修理时间、修理工休假时间服从一般分布.利用补充变量法和拉普拉斯变换工具,讨论了此系统的首次故障前平均时间、可用度及(0,t]时间内的平均故障次数等可靠性指标.结果表明,文中讨论的模型比以往的模...     

中文密文数据库正则查询的研究与实现

为提高中文密文数据库查询的灵活性、便捷性、高效性,设计了一种新的密文索引结构。它通过登记汉字所在记录的记录标识以及汉字在属性值中的位置,来提供对中文正则查询的支持。在这种索引的基础上,提出了一系列正则查询处理算法,这些算法利用索引登记的汉字位置信息来筛选符合查询条件的记录。仿真实验证明,利用这种索引和算法,能够在中文密文数据库上实现正则查询,且算法的查询性能良好。     

SOFM神经网络最近插入法混合算法在TSP问题中应用研究

SOFM神经网络已经成功应用到TSP问题中，但是该算法存在一些缺点，随着学习速度逐步降低，会导致一些城市无法通过。针对这些缺点，尝试在SOFM神经网络中引入最近插入法形成混合算法。通过实验，并与SOFM神经网络该算法对比，结果表明，该算法能够很好地完善该问题。     

均衡二分图中存在哈密顿因子的条件

研究了在均衡二分图中包含给定哈密顿圈的[k,k+1]因子的存在性问题.根据图论中因子和临界图理论,并结合代数知识,针对均衡二分图,研究图的阶数,顶点的度和因子之间的关系,分情况讨论,通过对均衡二分图的临界条件的限制,给出均衡二分图中存在包含给定的哈密顿圈的[k,k+1]因子的充分条件.该条件在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.算例表明所用方法的有效性,所得结论的正确性.     

防疫站卫生监测管理系统

本文主要介绍防疫站卫生监测管理系统软件的开发背景及意义，系统功能，系统的模块划分，数据的流程，以及本系统在处理上的一些特点，为读者在企业MTS系统开发中提供一点经验。     

多维近邻密度估计的Lp模强相合性

设X_1,…,X_n是i.i.d.的具有密度f(x)的d维随机变量。设S_(x,a(x))是中心在x且至少包含X_1,…,X_n中k_n个点的最小的球,则f_n(x)=R_n/(n|S_(x,a(x)|)是f(x)一个近邻估计。我们证明了:假如lim k_n/n=0,lim k_n/logn=∞以及flog~ f在任何有界Borel集上可积(或∫f'(x)dx<∞,p>1),则对任何有界Borel集A有(或p>1)。反之,如,则有∫f~p(x)dx<∞,lim n→∞k_n/n=0和lim n→∞k_n=∞。     

分布式数据库中链查询及树查询全缩减的并行计算

求解对数据库进行全缩减的半联接序列及并行执行这些半联接序列，给出了链式查询全缩减并行计算的一个有效算法，并推广到树查询中。     

泛邻元结构公理刻画的深入探讨

对汪培庄提出的泛邻元结构的公理刻画进行了化简，给出了Ｌ上的Ｒ－泛邻元结构公理刻画的定义，同时还给出了低一个层次的Ｘ上的Ｒ－泛邻元结构公理刻画的定义，证明了这２种结构能够依提升和限制相互唯一确定，并且能够与Ｘ上的Ｒ－开元系一一对应。     

开放对象代数

本文主要讨论了开放对象的代数操作及其性质，这些操作提供了开放对象理解消息和构造消息的基本手段，同时还定义了偏序关系〖＾ｂ，并在其上讨论了这些操作的单调性，特别是递归查询。