完全稠密二叉偏序理论的量词消去(Ⅰ)

给出了完全稠密二叉偏序理论在语言L={≤,R}中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质.同时提出了该理论在L={≤,R,*}中的六类基本公式,通过考虑不同基本公式合取的量词消去情况, 来证明完全稠密二叉偏序理论在语言L={≤,R,*}中具有量词消去的性质. 着重考虑了同类基本公式合取的量词消去情况,并给出消去的算法.     

GIS支持下的种群分布格局分析

借助地理信息系统软件以及最近邻体分析扩展模块，采用修正后的最近邻体公式，研究了规则样地和不规则样地的种群分布格局。地理信息系统的应用，不但提高了格局分布的效率，也可以直观地反映种群的分布格局。与方差均值比相比，最近邻体法不受样方大小以及样地形状的影响。研究表明，无论在规则样地还是在不规则样地中，最近邻体法都非常有效。     

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.     

扩展概念格的动态创建及其上的关联规则发现

关联规则作为数据挖掘的核心任务现已经得到了广泛的研究。而由二元关系导出的概念格是一种非常有用的形式化工具,它体现了概念内涵和外延的统一,反映了对象和特征间的联系以及概念间的泛化与例。扩展概念格是对概念格晦一种改进。提出了一种动态构造扩展概念格的方法,并在扩展概念格上实现了简洁的关联规则算法。     

主动数据库管理系统的设计

提出了将传统的关系数据库管理系统转换成主动数据库管理系统的设计思想，构造了表达主动规则的基于ＳＱＬ的扩展语言，给出了一种统一存储和管理规则的方法，设计了实现主动规则系统的总体框架。     

主动数据库管理系统的设计

提出了将传统的关系数据库管理系统转换成主动数据库管理系统的设计思想．构造了表达主动规则的基于ＳＱＬ的扩展语言，给出一种统一存储和管理规则的方法，设计了实现主动规则系统的总体框架     

基于相对量词的RDF模糊查询方法

针对RDF含相对量词模糊查询问题,提出支持分组机制的相对量词RDF模糊查询方法.利用语言层次结构理论,构造语言层次结构表,通过在FILTER子句中增加模糊条件并调用GROUPBY和HAVING子句实现特定属性上的分组操作,实现对SPARQL语法的扩展.分析了两种典型情况下的RDF相对量词模糊查询问题,给出将扩展的模糊SPARQL查询转换为标准SPARQL查询的处理方法,从而可利用现有的SPARQL查询引擎完成RDF基于相对量词的模糊查询处理.实验系统及相应的实验结果验证了所提方法的可用性.     

对Dijkstra量词研究的补充

在Dijkstra的研究工作的基础上，对量词作进一步的探讨，主要以存在量词的几个基本性质作为假定，并由此推出有关存在量词和全称量词的其他一系列的性质。可视为Dijkstra的补充，从而使人们对量词的性质有更深的认识。     

采用局部粗糙集模型的决策规则提取

研究基于局部粗糙集模型下的决策规则提取.对经典粗糙集的决策规则提取进行改进,给出局部粗糙集模型下的决策规则公式,并研究相关性质.结合局部粗糙集模型给出的规则提取公式,引入参数值α,α∈(0,1］,使规则提取公式的泛化能力更强,适用性更广.通过3个实例对局部粗糙集模型决策规则提取的运用进行说明.     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.