一种高效的分布式数据库完整性技术

研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维技术建立代价评估模型,为完整性检查代价估算提供一个量化比对的依据.文中还通过分布式数据库实验对完整性测试、数据获取量、网络数据传送量和参与计算的网络站点数进行了验证,结果表明,文中提出的策略、算法有效降低了分布式数据库的完整性检查代价,所建立的代价评估模型能对代价进行准确评估.     

突发性灾情应急处理辅助决策系统的研究

探讨了现行手工作业方式的灾情处理系统的局限性,依据突发性灾情应急处理的辅助决策需求,研究并设计了辅助决策系统的基本结构和主要流程,重点研究了具体的构模与匹配算法,并应用算法解决了任务框架和人力资源框架匹配推理,为决策者和决策机关合理分配人力资源提供了决策支持依据．     

一种基于数据挖掘技术的决策信息模型

探讨了决策支持系统在管理信息系统发展过程中的重要地位，依据现代企业管理的决策支持需求，研究并设计了决策信息模型的基本结构，重点研究了模型的数据挖掘技术．阐述了具体的数据挖掘算法，并应用算法解决了某企业员工考勤部门匹配问题，挖掘出潜在的信息模式，为模型的知识获取子系统提供了知识准备，加快了推理机的推理进程，最后指出了算法的逐步求精性和算法的普遍性．     

一种基于范畴论方法的形式语言模型

针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.     

形式语言的范畴计算模型研究

分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.     

形式化方法在软件工程中的应用研究

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.     

图形处理器上内存数据库索引T-树的研究

为进一步提高内存数据库索引结构T-树的操作性能,提出一种基于图形处理器的T-树无锁并行计算方案.该方案通过分析平衡树结构的父子节点间的关系,在图形处理器平台上实现使用m个线程并行创建具有m个节点的T-树索引,从而以最大并行度的方式构建T-树.为验证方案的正确性,提出以堆栈的方式在图形处理器上遍历T-树的算法,对各平台上构建T-树的方案进行性能分析,并通过页锁定内存的方式提高CPU和GPU间的数据传输速率.通过对多个处理器平台上的实验结果的对比发现,提出的方案在并行构建T-树和T-树的批量节点插入上相比于传统CPU平台方案分别获得12倍和8倍以上的加速比.     

一种形式语言代数模型

针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论...     

数据库视图更新的一种Opfibrations方法

视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.     

Dtrie-allpair:高效的集合T-覆盖连接算法

传统的T-覆盖连接算法会因生成的候选集庞大而导致系统性能降低,为此,文中提出了一种基于trie的动态索引结构——DTI结构,并构建了基于该结构的相似度连接算法——Dtrie-allpair算法.通过该算法可以直接得到allpair连接的结果,不产生任何候选集,有效解决了高候选集产生的问题,克服了传统算法因生成并验证候选集而带来的开销.文中还研究了数据库中记录的顺序及记录中元素顺序对Dtrie-allpair算法性能的影响,并在msweb、msnbc两个数据集下对Dtrie-allpair算法与All-pair、PPJoin算法进行对比.结果表明:Dtrie-allpair算法具有明显的优势,覆盖阈值较小时优势更明显;对msweb数据集,阈值为2时,Dtrie-allpair算法的效率相对于All-pair、PPJoin算法提高近两个数量级;通过对数据集进行频率降序和长度升序组合预处理可大幅降低Dtrie-allpair算法访问的trie结点数量,从而显著提升性能.