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

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

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

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

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

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

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

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

实时事务的可预报性研究

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

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

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

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

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

进化测试中循环体内标志变量移除方法

研究了循环体内标志变量赋值对进化测试带来的影响.分析了传统方法的不足及标志变量(flag)存在的各种情况,如针对标志变量的多分支赋值、跳转语句(break)的使用以及存在嵌套循环等问题,提出了一种改进的循环体内部的flag移除算法.通过对源程序的插桩和转换,重新构造了利于搜索进展的适应度函数.实验结果表明该方法可提高进化测试效率,并以较小的代价成功生成测试用例.     

一种并行程序可靠组合测试策略

为了提高可达性测试的效率、可靠性和可操作性,提出了一种并行程序可靠组合测试策略.首先确定并行程序同步串中竞争接收项的向量时钟关系;然后构造初始竞争表(RT);接着根据横向增长规则和纵向增长规则对RT进行增长,直至并行程序同步串所有的竞争接收项均包含在RT中;最后根据竞争表RT产生竞争变体并进行可达性测试.该策略能保证每个竞争接收项的发送项均发生改变,同时减少竞争接收项的发送项改变次数和运行错误同步串的次数,硬件资源要求不高.实验证明该策略能减少测试同步串和竞争变体的数量,并提高测试的效率、可靠性和实际可操作性.     

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

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