粗糙逻辑中公式的一种新的粗糙概率真度

本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规则,同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度,提出公式间的9种粗糙相似度和伪距离,进而提出3种近似推理模式,研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上,为基于粗糙概率真度的程度化推理提供了一种可能的框架.     

XML亚强函数依赖及其推理规则

为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML亚强函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性进行了证明。为不完全信息环境下存在XML亚强函数依赖的XML Schema规范化的研究奠定了基础。     

基于粒计算的XML近似多值依赖的判定算法

为了解决不确定XML数据规范化问题,提出了一种基于粒计算的XML近似多值依赖的判定算法。首先提出集值XML数据模型、集值XML数据库等基本概念;借助相似关系给出XML近似多值依赖的定义;根据等价粒分析如何利用位模式表示集值XML数据库中的信息值,提出路径间存在XML近似多值依赖的判定算法,并对算法的时间复杂性进行了分析。通过实例分析,对于信息值采用位模式,数据格式更接近机器内部表示,算法的运算效率与速度也得到了提高。     

基于矩阵的模糊信息系统的属性约简算法

基于模糊粗糙集的知识获取方法在模糊粗糙集的研究中具有十分重要的作用,通过矩阵来刻画粗糙集理论,用模糊矩阵定义了模糊粗糙集和粗糙模糊集的上（下）近似、重要度等概念,给出模糊信息系统的属性约简算法,并用UCI数据集说明算法的可行性。     

消除XML亚强多值依赖引起冗余的一种分解方法

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束.本文基于子树信息等价和子树信息相容的概念给出了XML亚强多值依赖的定义;提出了弱键路径和XML亚强多值依赖弱范式的定义,通过实例分析XML亚强多值依赖引起数据冗余的原因,提出分解不完全XML文档满足XML亚强多值依赖弱范式的定理.研究成果可较好的处理不完全XML文档中存在XML亚强多值依赖引起的数据冗余问题,避免了数据冗余所带来的操作异常.     

XML数据库技术在多星管控系统中的应用

XML作为数据表示和交换的标准在信息系统的建设中得到了广泛的应用,如何使XML文档导入数据库以及如何使数据库中的数据转换为XML数据已成为亟待解决的关键问题。在研究XML文档特征的基础上,论述了2种主要的基于XML的数据库的类型及其特性。通过对多星业务管理控制系统体系结构和存储数据内容的特征分析,利用ORACLE对XML的支持机制,给出了基于XML-Enabled数据库的多星管理控制系统数据存储设计的实现方法。     

概率XML数据模型的综述

随着XML成为网络信息表示和交换的标准以及不确定数据的广泛存在,概率XML数据库管理技术成为了当今研究的热点,研究者根据概率数据的类型和解决实际问题的需要提出了多种概率XML数据模型。首先介绍了概率XML数据管理技术的概念,特点和挑战;其次综述了概率XML数据和概率XML数据模型,各种模型的核心思想都来自于可能世界模型,通过选择孩子节点以及删除节点可得到一个可能世界的实例,而且所有实例的概率之和为1;最后介绍了不同模型之间的转换关系。为概率XML数据库的查询、规范化理论奠定了基础。     

基于模糊相似关系的区间值系统的不确定性度量

针对区间值信息系统,对基于模糊相似关系的不确定性度量问题进行了研究.首先,构造了一种模糊粗糙集模型,其中包括基于一种模糊相似度定义模糊关系矩阵以及模糊相似类,并通过实例说明;接着在此基础上,引入两种指定的逻辑算子推广模糊上下近似的定义;最后,扩展精度、粗糙度、近似精度等定义来研究区间值信息系统的不确定性度量问题.同时,...     

基于推理树的XML推理控制研究

信息安全中的推理问题是指攻击者根据合法获得的信息,利用信息之间关联,推理出不能直接访问的信息,从而造成敏感信息泄露的一种安全问题。推理控制是对信息间的这种联系加以控制,防止敏感信息的推理泄露。XML是当前信息技术中最重要的信息载体之一,是Internet中数据交换和传输的默认标准,也是传统关系数据库的有力竞争者。文中研究了XML数据库中信息的推理控制问题,定义了信息以及信息的规范化表示,针对XML数据库中敏感信息的推理泄露,引入了推理树的概念,提出了一种新的推理通道的刻画方法,并提出了相应的动态推理控制策略,在保证信息安全的基础上,使文档中的信息最大可用。     

基于相容关系的XML索引机制

随着XML逐渐成为Internet数据表示与数据交换的标准,存储与查询XML数据变得日益重要.由于传统方法无法适应XML数据新的需求,使得XML索引成为一个挑战性的课题.到目前为止,已经出现了不少针对XML数据的索引方法.然而,在处理基于相对路径的查询上,缺少有效的解决办法.本文提出了一种基于相容关系的索引模式,结合XML文档拓扑结构的自身特点,能够有效地处理基于相对路径的查询.这种模式的主要特点包括:(1)利用XML数据的拓扑结构而不是XML文档的模式(DTD或XML Schema)来进行相对路径到绝对路径的转换;(2)对拓扑结构进行基于相容关系的数字方式编码,能够快速确定对应结点的依赖关系.实验证明这种方法在处理基于规则路径表示(尤其是相对路径)的XML查询时具有更高的效率.     

数字化校园建设中异构数据集成研究与应用

基于IT技术发展的阶段性特点,网络上存在大量的异构数据库,原有的信息集成方案已经不能满足现代化的信息需求前提下,在研究异构数据集成的基础上,结合Java和XML的特点,提出了一个基于Java和XML的数据集成模型,为异构数据的集成应用提供了一个与数据库系统无关、与操作系统无关的简单方便的解决方案。采用Java和XML技术,根据这一模型开发的信息系统,实现了数据在不同数据库系统、不同网络平台、不同操作系统和不同开发语言的数据库中的应用集成。     

基于多Agent的生物信息数据整合系统-BioAgent1

随着人类基因组计划的实施,生命科学研究已进入后基因组时代.人们基于指数形式增长的核酸、蛋白质序列和结构等数据,开发了数百种不同类型的数据库.由于不同数据库存贮和检索方式的极大差异,给研究者对它们的整合应用造成了一定的难度.本文建立了一个基于多Agent的生物信息数据整合系统-BioAgent,通过信息采集Agent、信息整合Agent、用户Agent的协调,完成数据抽取、数据标准化、数据存储、数据融合、Web显示等工作流程,以实现数据整合的自动化.同时利用BioAgent系统,开发了人类精神分裂症相关基因的突变信息多层次定位数据库.     

基于网格的XMLDB共享访问系统

为了实现广域环境下对地理上分布、异构的XML数据库的共享访问,采用Java及其组件技术,以及WebServices规范,设计了一个基于网格的XMLDB共享访问系统GriDen-XSA。使用户对底层数据存储资源的获取、查询以及结果显示等过程标准化,而不需知道这些数据库的类型、物理位置等信息。同时实现了一个基于XMLSchema的检索,使用户不仅可以使用XML数据库自身提供的查询方法,也可以自己选择要进行索引的数据项进行查询,从而提高检索效率。     

基于XML数据库的工作流系统研究

针对工作流管理系统在跨平台、分布式计算和可扩展性上的不足，设计了一个基于数据库的工作流营理系统。在研究XML数据库原理的基础上，探讨了XML数据存储和查询的方法。最后，给出了工作流管理系统的设计思想和总体架构，概括了工作流管理系统的工作流程。     

利用XML和Excel设计动态通用报表系统的新方法

提出一种利用XML和Excel设计动态通用报表系统的新方法。首先对Excel报表模板进行分解,生成报表模板的报表信息、架构信息和映射信息,再根据统计模板生成统计分析信息,这些信息均以XML文档的形式存入数据库。在系统运行时,将用户上报的Excel文件中的报表数据提取出来,以XML文档的形式存入数据库。然后结合XPath和XQuery对报表数据进行统计分析,得到统计报表数据。最后将统计报表数据组装为Excel文件输出给用户。采用这种方法设计的报表系统动态灵活、通用性强。     

基于XML网上书店系统的设计

XML是新一代网络数据表示、传递和交换的标准,是Internet环境中跨平台的、依赖于内容的技术。XML的新特性改变了人们在网络的交换方式,加速了电子商务的发展。网上书店系统体系结构采用B/S结构,MSVS2005作为B/S结构应用程序的开发工具。在开发中采用基于XML技术及MSSQLServer2005数据库技术,实现了用户登录注册、图书信息浏览、图书搜索、购物车、书籍管理、结账、生成订单等主要功能,使系统具有方便快捷、界面友好、可移植等特点。