基于D-S证据理论直接求代数约简和代数核

 针对不一致决策表,现有基于D-S证据理论的处理方法是将它先转化为一致决策表,再对所得的一致决策表计算其广义决策约简.具体算例研究表明,广义决策约简与代数约简有时并不一致.理论证明了广义决策约简仅与分配约简等价,针对不一致决策表,通过修改判断指标,提出一种基于D-S证据理论直接计算其代数约简和代数核的新方法,其正确性得到理论证明和数值算例的验证.     

构件栈缓冲区溢出漏洞检测系统的设计与实现

随着COM构件技术的广泛使用,COM构件暴露出越来越多的缓冲区溢出安全漏洞。为进一步提高COM构件的安全性,本文设计实现了COM构件栈缓冲区溢出漏洞检测系统CSDS（component stack-overflow detectingsystem）,并在其中实现了一个栈溢出检测算法。CSDS主要有接口分析、函数定位、栈溢出静态分析和结果输出4个模块,接口分析模块分析被测COM构件得到构件的对象、接口及函数的详细信息;函数定位模块获取构件中用户编写的函数在该构件对应的汇编代码中的线性地址;栈溢出静态分析模块使用提出的栈溢出检测算法生成COM构件汇编代码及分析栈溢出漏洞;结果输出模块将检测结果用XML的形式表示出来。所实现的原型系统CSDS对COM构件栈缓冲区溢出漏洞具有一定的检测效果。     

一个主动实时数据库管理系统的实现

探讨了实时ＤＢ、主动ＤＢ的基本理论；提出了实时ＤＢ和主动ＤＢ的结合机制；介绍了自行研制的一个主动实时ＤＢＭＳ原型系统ＡＲＴｓ－１的体系结构与数据结构。     

不确定时间序列数据库中概率K最近邻查找

为了对不确定时间序列上的概率K进行最近邻查找,该文从降维和索引剪枝两方面进行了研究。针对不确定时间序列的高维度性和不确定性两方面的复杂性,基于点对线性近似降维方法,提出了关于安全剪枝、最近邻概率计算以及最近邻概率上限计算的3个定理,用以提高查找效率。在此基础上,给出了不确定时间序列概率K最近邻查找算法,解决了高维度不确定时间序列查找中的维灾问题,具有较高的查找效率。实验结果验证了算法的有效性和效率。     

一个对象-关系型DBMS的数据存储组织策略

提出了一个对象关系DBMS的数据存储组织策略，给出了其底层存储的具体实现，其中包括类，对象的存储方案。给出并分析比较了类层次的3种存储策略，确定了将每个类映射成一张表（包含该类继承的属性）作为本系统实现的策略。论述了大对象等的分散存储策略。结果表明，本 系统在增强对象处理能力的同时，能满足对数据的快速高效检索。     

实时事务的可预报性研究

结合ＡＲＴｓ－Ⅰ的研制过程，提出了影响实时事务可预报性的关键因素，给出了一种实时事务的预处理方法．该方法可以获取实时事务对数据库存取行为的有关信息．当事务开始运行时，便可基于这些信息为实现实时事务的可预报性提供有力支持．     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

主动的实时数据库管理系统研究

对实时数据库系统（ＲＴＤＢＳ）的若干方面进行讨论，其中突出地介绍了ＲＴＤＢＳ的基本特征及其与传统ＤＢＳ和实时系统（ＲＴＳ）的区别，提出了实时数据库管理系统（ＲＴＤＢＭＳ）要研究的主要问题，讨论了实时数据库事务的调度机制，并对主动数据库（ＡＤＢ）、主存数据库（ＭＤＢ）及其与ＲＴＤＢＭＳ的结合进行探讨。     

基于粗糙集的属性约简算法研究

提出一种新的基于粗糙集的属性约简算法．该算法采用层次结构和近似精度的概念,约简集中的属性选择从空集开始,用启发函数ξ作为选择条件属性的衡量标准,逐步加入相对于决策而言重要的条件属性,并采用下近似值作为剪枝依据,逐步删除给定论域U中根据该属性子集能完全正确分类的对象,减小了属性约简过程中的搜索空间,处理过程是递归的,直到给定论域U为空集,保证了在分类精度不变的情况下,获得简化的属性集,最后运用粗糙集中正域的概念,约简冗余的属性值并求出其最简规则．对UCI机器学习数据库中7个数据库属性约简结果证明了该算法的正确性和可行性．     

实时数据库事务调度分析

指出了调度策略选择的好坏决定了系统性能的优劣,根据实时数据库中事务的基本特性,具体分析了在实时数据库中影响事务调度策略选择的主要因素,包括截止期类型（硬实时截止期和软实时截止期）,调度方式（静态调度和动态调度）,调度准则,调度的性能测度和可预测性。