基于多版本快照的多级安全事务调度算法

现有的各种用于多级事务调度的算法都主要是采用锁机制来解决的,在多级安全系统环境中,正是这个锁机制使得系统在高低安全级事务发生读写冲突时无所适从,从而使得这些算法都只能各自处理某些类多级事务.针对这些缺陷,文中提出了一种有效的、无需对数据上锁的多级安全事务调度算法--多版本快照算法.算法通过消除多版本串行化图(Multiversion Seriarization Graph,MSG)中出现环的方法来达到并行事务的可串行化.文中还证明了算法的正确性,并对算法的安全性进行了分析.     

数据资源服务化技术的研究与实现

为解决网络环境下分布式异构数据资源集成共享面临的资源成长性、用户不确定性问题,实现企业内部、跨企业的数据集成共享.文中依据面向服务的思想,采用SDO技术构建通用数据访问模型,并结合Web服务技术实现数据资源的服务化封装,提出了数据资源服务化的概念模理,建立灵活、敏捷的数据资源集成共享机制,最后提出了数据资源服务化的总体集成架构,列出了一次执行流程,验证了其可行性和松耦合性,能够很好地满足分布式异构环境的企业数据资源集成需求.     

基于神经网络的汇率预测

神经网络在理论上具有无限的函数逼近能力。它在预测领域可以取得很好的效果。利用神经网络的数值逼近与记忆功能，根据汇率历史观测数值，可以识别出汇率序列的内在模式。本文首先说明了利用神经网络进行汇率预测的原理和方法。然后着重探讨了神经网络汇率预测的重要步骤。最后根据不同的衡量指标对测试结果进行了分析。     

基于OracleStreams的数据库实时备份技术研究

在数据库的故障恢复中,实现无数据丢失的数据库备份与恢复是极为重要的研究内容,运用数据库的实时备份,当有数据库操作时,可以实时地对数据库发生的改变进行备份,从而有效地防止数据丢失。基于OracleStreams技术,提出了一个数据库的实时备份方案。该方案利用OracleStreams复制技术,配置捕获进程自动捕获数据库的所有改变,并将这些改变储存在高级队列中,传播至目标数据库,实现数据库的实时备份,恢复时从备份中读取这些改变信息,应用于目标数据库,可以得到一个处于一致性状态的无数据丢失的数据库。在Linux环境下技进行测试实验,结果表明本方案是可行的。     

基于时区的次协调数据库的完整性约束及模型

传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引入时区的概念,提出基于时区的次协调数据库模型。讨论在时区情况下数据库的完整性约束问题,重新定义模型之上的集合运算及关系运算,给出这种新模型的应用。     

嵌入式数据库测试技术的研究

为了提高嵌入式数据库的质量与可靠性,通过对嵌入式数据库体系结构以及实现技术的研究与分析,总结了嵌入式数据库测试的难点,结合通用数据库管理系统性能评测体系,提出一种适合嵌入式数据库的测试方案.依据该方案定义合理的测试设计,研究了嵌入式数据库的测试过程,对嵌入式数据库系统进行全面、系统的测试,以并发控制性能为例,给出了具体的测试步骤.     

动态推理控制

防止未授权的用户从可读取的安全等级较低的数据中推理出安全等级较高的数据是多级关系数据库达到安全的必要保证。由于数据库中元组、属性、元素之间的相互关联性,多级关系数据库存在着推理通道。它的存在对信息的安全造成很大威胁。主要论述了多级安全数据库系统的推理通道的来源,分析了目前在多级安全数据库系统中推理问题的成果。在此基础上,提出了一种动态控制推理通道的方法并给出了相应算法。     

一种基于Minifilter的文件安全保护系统

针对操作系统中数据文件可能出现的文件泄露等安全性问题,在研究了访问控制领域经典的BLP和Biba模型的基础上,提出了一种可同时维护数据文件保密性和完整性的新强制访问控制模型.同时,结合Minifilter文件系统过滤驱动程序开发并实现一种文件安全保护系统,对核心逻辑和关键模块进行了详细介绍.该系统能根据既定策略有效地保护系统的文件安全,为数据保护提供了一种新的解决方案.     

基于集成混合采样的软件缺陷预测研究

对软件缺陷预测的不平衡问题进行了研究,提出了一种处理不平衡数据的采样方法,用来解决分类器因为样本集中的样本类别不平衡而造成分类器性能下降的问题。为了避免随机采样的盲目性,利用启发性的混合采样方法来平衡数据,针对少数类采用SMOTE过采样,对多数类采用K-Means聚类降采样,然后综合利用多个单分类器来进行投票集成预测分类。实验结果表明,混合采样与集成学习相结合的软件缺陷预测方法具有较好的分类效果,在获得较高的查全率的同时还能显著降低误报率。     

XML形式数据模型及其查询代数

提出了XML的形式数据模型及其查询代数,主要包括以下几个方面：构造先后序关系、引入带根连通有向图、建立XML形式数据模型(XFDM)和XML查询代数(XFQA)。它形成了一个较为完整的XML数据库管理系统的理论基础,可以作为XML以及其它半结构化数据库管理系统查询存储、查询分解、查询优化和查询实现的形式化基础。