有关递归不可分集的几个结果

本文在递归不可分理论方面得到一些结果。 1.对任意给定的非递归r.e.度,均存在r.e.集,A是有丝分裂集且可分裂的两集可要求为递归不可分的r.e.集。 2.对任意高r.e.集C和任意非递归r.e.集D,均存在递归不可分的r.e.集A,B满足A其高度,B具低度,C≤_TA,φ<_TB≤_TD。 3.存在r.e.集A,B,C,D满足(1)A,B递归不可分且形成极小对,(2)A\B,A\D,C\B,C\D,(3)A<_TC,B<_TD,(4)A,B具低度,(5)C,D具高度。     

净室技术与软件能力成熟度模型的融合

对基于软件能力成熟度模型（ＣＭＭ）的传统软件开发方法与净室技术进行了比较,阐述了如何将净室技术引入到一个基于ＣＭＭ 的软件开发框架之中,介绍了从传统方法向净室技术转化的一些方法．     

命题时态逻辑矢列式演算系统

研究Manna和Pnueli在并发程序验证方面提出的一种时态逻辑,其时间结构与自然数结构同构,时态算子选择为□,◇,○,U。本文作者认真分析了国际上时态逻辑定理证明主要方法,针对存在的不足之处,建立了命题时态逻辑矢列式演算系统,并证明了该系统的可靠性和完全性。     

基于知识约简的故障案例重用方法

案例重用是使用旧的经验去解决新的问题,可以提升基于案例推理的故障诊断系统解决问题的能力,本文提出一种基于知识约简的故障案例重用方法,主要包括针对静态案例的值约简算法（improved attribute value reduction algorithm based on discernibility matrix,IAVRADM）以及新增案例情况下的值约简增量式更新算法（incremental updating algorithm for attribute value reduction,IUAAVR）,其中,IAVRADM算法利用吸收律和互信息增量作为启发式信息,改进了已有算法中分辨矩阵构造和搜索过程,提高了决策规则的生成效率,IUAAVR算法分析总结出需要进行规则更新的3种情况.实验结果表明,IAVRADM算法的适应性强、时间开销低,IUAAVR算法在获得相同数量的决策规则情况下与案例的数量无关且更具时间优势.     

测试方法综述

对软件项目使用的各种测试方法进行了统计和分类,讨论了测试方法与应用规模之间的关系,功能点与测试实例数、测试人员数之间的关系,以及测试方法与测试人员组成之间的关系,并分析了测试纠错效率．