基于熵约简和多核支持向量机的软件语义标注

提出一种基于条件信息熵维度约简和多核支持向量机的程序语义标注方法,相对于传统的本体语义标注,该方法有如下特点：采用机器学习的方式,实现了软件语义的自动标注;通过重采样平衡了正负样本;利用条件信息熵对面向对象程序的模块样本特征进行维度约简,降低了问题的计算复杂度和开销,并给出了代数约简的转化方法;核函数采用多个基核函数线性组合的方式,兼顾了分类的学习能力和泛化性能。标注实例表明,该方法能保证较高的标注准确率,具有较好的实用性和推广性。     

一种基于OSGi的动态演化方法

OSGi框架为软件动态演化提供了一个强大的平台,在该平台上运行时可进行模块的加载、卸载和替换。针对替换过程中遇到的状态丢失问题,本文利用OSOi R4规范提供的面向服务组件的编程模型,将服务组件的数据部分独立出来,实现了替换过程中状态的连续性。     

基于场景的软件早期可靠性模型

本文从场景的角度研究软件早期可靠性建模方法,给出了基于用例图确定场景运行剖面的方法,利用简化通信图确定可靠性模型中的参数。模型与UML图无缝集成,可应用于软件开发生命周期早期。用个人登录控制系统（PACS）实例介绍了模型的应用。与已有方法相比,该模型简单且吝易工具实现。     

Java程序异常信息分析插件的研究与设计

异常处理是一种有效提高软件健壮性的方法,处理不当将导致严重的软件失效。提出一种通过分析Java程序异常信息、由开发平台给出异常处理代码提示的方法,以提高开发效率,并提出一种包含异常结构的Java程序异常控制流图构造方法,用于程序分析和优化。基于Eclipse开发环境,设计了一个异常信息分析插件,用于分析Java程序异常信息,给出了代码提示,生成了异常控制流图,以帮助开发人员更快更好地书写异常处理代码。     

计算机求解魔方算法

本文借助高庆狮教授提出的宏变换思想,给出一个求解魔方的算法,根据此算法,计算机可以自动求解魔方。     

元启发搜索技术在测试数据产生中应用研究

提出一种使用元启发搜索技术产生测试数据的方法。这种方法能够针对测试中低概率执行部分产生测试数据，提高测试覆盖率，并通过实验举例说明了该方法的可行性。     

软件体系结构模型的范畴表示

本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础;将体系结构精化过程中的正确性准则和精化模式定义为范畴中的态射属性和函子变换属性,以此来展示范畴理论在体系结构研究中的应用前景.     

移动Agents技术在信息检索中的应用研究

1引言 随着网络系统和Internet的迅速普及,发现和检索分散在世界各处的数据和信息成为一项非常重要的工作,也就是设计一个有效的信息检索方法检索到完整的信息.传统的检索方法有很大的局限性,需要新技术和程序设计模式来解决现在的新问题,一种有效的方法就是建立在agent移动性和协调性的基础上,用移动agents技术解决传统方法无法解决的安全性、通用性、移动性等问题.     

基于神经网络的软件可靠性模型的实现与分析

本文针对软件可靠性工程中模型选择比较麻烦的问题，提出了用神经网络构建通用的可靠性增长模型，在实现该模型的基础上，利用三组数据进行试验，并与三个分析模型的结果作了比较，得出了比较好的结论。     

案例推理的故障诊断技术研究综述

基于案例推理(case-based reasoning,CBR)的故障诊断作为一种新的智能诊断技术,模拟人类求解问题的思路,通过历史案例发现新问题的解。概述了CBR的理论基础和基本原理;从工作过程和集成框架两个方面综述了CBR故障诊断技术的研究现状,其中工作过程包括案例的表示、检索和重用,以及案例库的维护,集成框架包括CBR与基于规则推理、CBR与人工神经网络以及CBR与多智能体等三种情况;比较了六种故障诊断技术的特点及应用范围;总结了CBR故障诊断技术有待解决的问题。