结构化Web服务的松弛匹配

为进一步提高Web服务查询的准确度,找到符合用户需求的服务,查询结果不仅要与查询描述内容近似,还应具有一定的结构近似性。该文提出一种具有高级查询描述能力的Web服务查询方法,与以往单纯的内容描述相比增加了对结构的描述,并在结构查询描述中引入通配符以增加结构描述的灵活性,提高结果命中率。根据基于WSDL描述的Web服务的组织结构特点,将Web服务建模为无序标签树,并给出带通配符的无序树松弛匹配算法模型。该算法能在多项式时间内完成计算,经测试运行时间在ms级,并且查询描述中通配符的数目对运行时间基本没有影响。     

C4.5算法的分析及应用

C4.5算法是进行数据分类分析的经典决策树数据挖掘算法,应用广泛。介绍了决策树及其常用算法ID3,指出了它存在的缺点。分析了C4.5算法,通过其在高校教学决策中的应用实例,说明数据分类并实现预测的过程。最后指出了C4.5算法的不足及未来的研究方向。     

基于嵌套树模型检测的研究

文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。     

树按Wiener指标的排序

n个顶点的树的集合记为Fn,连通图G的Wiener指标等于图G中任意两点的距离和．本考虑．Fn中树的按Wiener指标排序的问题．先对Fn中树按非悬挂边的数目分类．确定出具有1条非悬挂边．2条非悬挂边．和3条非悬挂边的树包括的图类．根据Wiener指标的计算公式及中提到的变换方式．得到这些图类的序关系．基于这些序关系．确定了Fn中具有最小Wiener指标的前15个树．     

约束最小支撑树问题

主要研究两类约束最小支撑树问题,即点约束和边约束最小支撑树问题.点约束最小支撑树问题主要研究了点v不是叶子和点v是叶子两个具体约束问题,边约束最小支撑树问题的约束条件分别为包含给定边e0和不包含给定边e0,对上述问题分别给出了一些基本定理和算法.     

基于视觉特性的零树小波图像编码算法的改进

在深入研究尺度小波变换和嵌入式零树小波图像编码(Embeded Zerotree Wavelet-EZW)算法的基础上，探讨了一种改进的零树小波图像编码算法。本文对最低频图像采用差值脉冲预测编码(differential pulse code modulation-DPCM)量化编码，而对高频子图采用基于视觉特性的零树编码。通过实验，该算法既能保持原有零树算法良好的压缩品质，而且也改善了图像的视觉质量。     

基于故障树分析武警运输安全人为因素

将故障树分析法应用到武警运输安全人的因素分析中,建立了武警运输安全事故树,进行了简化、定性和定量分析,计算了基本事件的重要度,并给出了一般计算公式。     

关于一类树的优美性

在n阶树用0,1,2,…,n-1,不同的n个数对顶点标号,使得每一条边的标号也不相同(相关联一对顶点的标号差的绝对值不相同),即{1,2,…,n},称这种标号是优美标号;根据优美图的定义,研究了优美树问题中,Rosa猜想树是优美树;本文研究了一类树T_(k_3)~1,的优美性。     

大学生心理问题数据挖掘系统的设计与实现

设计了一种大学生心理问题数据挖掘系统．该系统采用ID3算法构建决策树进行分类挖掘,采用Apriori算法进行关联规则挖掘．以我校05级学生心理问题数据为对象,进行数据挖掘．发现了影响心理问题的主要因素及相互间的关系,使我校的心理健康教育工作更具针对性和目的性．     

单元覆盖测试中基于区间运算的路径选择

单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成对10个函数单元进行语句覆盖测试实验,单元平均覆盖率从46%提升到了70%,验证了该方法能有效地提高覆盖率。