基于范围语义的非一致性数据库聚集查询

基于非一致性关系数据库的非聚集查询技术,发展普通的一致性查询应答的语义,提出非一致性数据库的范围语义,给出基于一致性查询范围的实际聚集查询重写方法,返回基于这种语义的聚集查询范围值.通过对初始分组属性和键属性聚集得到候选结果集,再过滤与初始分组属性值相冲突和不满足初始查询的元组.对于最小值,过滤掉可能不一致的元组,去掉可能值,得到一致性值;对于最大值,得到可能的最大候选值.实验基于TPC-H基准采用不同的参数进行研究.研究结果表明,聚集属性和投影属性数量、数据库以及初始查询的结果集对重写查询的负载有显著的影响,但非一致性数据比例和共享共同键值元组数的影响很小.尽管重写查询比初始查询的执行时间长,但是可以接受.     

分布式非一致性数据的聚集查询

结合原有的概率数据库技术,提出了一种新的基于聚类的非一致性数据的概率方法,给出了非一致性数据的元组概率计算方法和基本的查询重写技术,对于有聚集的查询考虑了合适的元组概率、区间值和期望值.考虑了从非一致性数据的粒度的角度去理解方法的适应性,方法不要求程序的预处理,重写能被商业数据库系统有效地优化和执行.使用TPC-H决策支持基准的数据和查询比较系统的重写策略,实验表明方法是有效的.     

一种基于一阶谓词逻辑的模型表示方法

给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制。     

一种基于超连接的一阶逻辑反演推理算法

研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率,以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性。     

一种基于超连接的一阶逻辑反演推理算法

研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率．以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性     

向量值一阶逻辑及其可靠性定理

讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。     

关于非光滑规划的一阶必要条件

在光滑最优化及非光滑最优化中，最优解的一阶必要条件都是基本问题．在非光滑最优化中，如假定问题中的所有函数都是局部Ｌｉｐｓｃｈｉｔｚ连续的，其中集合Ｃ是闭的，这时解的一阶必要条件已由别的作者给出．该文首先得出当Ｃ是开集时解的一阶必要条件，然后由此推出Ｃ是闭集时类似的结论．方法与以前不同，而且结论也更加完整．     

P2P数据交换系统的非一致性数据管理

给出了P2P数据交换系统的形式模型,描述了对等体的本地数据一致性约束、对等体间的信任关系以及对等体间的数据交换约束。并在此基础上提出了基于"查询候选数据集"的全局一致性查询处理策略。一个对等体的"查询候选数据集"是满足其本地数据一致性约束和对等体间所有数据交换约束的全局数据库虚拟子视图。提交到一个对等体的查询操作通过在其查询候选集上进行便可以得到全局一致的查询结果。给出了"查询候选数据集"的构造算法。     

一种基于逻辑的数据集成查询处理器设计

提出一种新的、基于逻辑的数据集成应用方案:用描述逻辑表达中介模式,能实现基于LAV源描述法的虚拟数据集成技术与物化数据仓库技术的无缝结合.在该集成应用框架下,利用Datalog谓词逻辑推理与描述逻辑自动推理相结合的混合推理机制,设计了一个集成查询重写处理算法,并将其作为实现集成系统查询处理器的基础.结果表明,当查询表达和源视图描述规则均为合取形式的规则时,该算法总能返回一个具有最大包含的查询重写,且对源描述规则数目增加不敏感,有较好的线性可伸缩性,能适应大量数据的集成处理.     

基于表单和关系型数据库的工作流管理系统

分析了一般工作流模型在工作流实现中的优点和局限性,结合不同模型之间的优点,提出了一种Web环境下基于关系型数据库和XML表单的工作流管理系统实现方案．对该方案的表单模型和工作流模型进行详细描述,并给出实现框架．     

DATALOG规则与基于逻辑的关系查询

Datalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式。文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等相关问题。     

一阶逻辑公式自动推演前的预处理

讨论了一种方法用于在处理γ子式前先对δ子式进行处理，减少了后期执行的工作量，简化了自动推演程序，并对其在理论上进行了证明，同时也得到了对一阶逻辑公式进行范式转换的方法．     

一种基于模糊逻辑的带宽管理方法

在网络带宽受限的网络控制系统中,设计了一个基于一维输入输出映射关系的模糊逻辑调节器,对 控制系统的带宽进行动态管理。通过调整该模糊逻辑调节器中的非线性偏移因子可以进一步改善系统的控 制性能和带宽需求。同时利用线性矩阵不等式及资源受限条件来确定带宽动态分配的上下界来保证系的 稳定性。另外,定义了多回路归一化控制质量和归一化带宽需求度性能衡量指标来评价网络控制系统的全 局性能。在此评价方法下,提出的模糊带宽管理方法和采用固定带宽分配方法进行仿真比较。结果表明模 糊带宽管理方法相对于固定带宽分配方法而言在提高系统控制性能的同时也节省了网络带宽。     

基于关系数据模型代码生成器的设计与实现

在以多层架构实现的数据库应用系统中,大量程序代码与其关系数据模型直接相关,采用一种以关系数据模型为输入的自动代码生成工具,可以大幅度地降低编程工作量,提高软件质量.现有基于模板的代码生成工具具有良好的设计框架,但其脚本语言由于与关系数据模型关联不紧密,导致代码模板编写和维护比较困难,难以快速应用.文中设计一种与关系数据模型紧密结合的迭代式代码脚本语言RDM CodeMark,保留基于模板的代码生成技术通用性的同时,简化代码模板编写难度.结果表明:基于RDM CodeMark语言的代码生成工具在针对J2EE平台和.Net平台的软件项目开发实践中能取得较为理想的效果.     

一阶逻辑完备性定理的代数证明

在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。     

基于语义的逻辑模型优化研究

在不改变模型结构的基础上,从语义描述的角度,根据模型扩展原则和优化指标确定扩展内容,采用扩展参照实体的标准值方式,通过语义约束来更好的响应企业的业务变化需求。从而有效的保证逻辑模型的实用性,稳定性,和可持续性。     

基于经验数据的T-S模糊控制器设计与优化

提出了一种基于经验数据而非语言的T-S模糊控制器设计和优化方法.此方法分为三个阶段,第一阶段依据输入变量的范围来确定输入变量的高斯型隶属度函数;第二阶段在不改变输入变量隶属度函数的前提下,对经验数据施加递推最小二乘法以确定T-S模糊控制器的后件系数;第三阶段,使用梯度下降方法同时优化控制规则的前件参数和后件参数.倒立摆的仿真试验结果验证了该方法的有效性.