基于刻面描述的构件检索

随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正受到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,根据构件刻面描述的特点,提出了一种基于树包含(tree inclusion)的构件检索方法,并进行了理论上的分析与实验上的检验.实验结果证明了它的可行性与有效性.  

刻面分类构件的匹配模型

随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正得到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一个包含3个层次,5种匹配类型的刻面匹配模型.给出了该匹配模型的泛型算法并对具化情况下的算法实现与时间复杂度进行了讨论.同时,通过理论和实践的结果证明了该匹配模型在构件检索上的可行性与有效性.  

一个集成式的软件构件描述框架

该文提出了一个可扩展、可裁减的集成式软件构件描述框架。该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述，并且通过XML提供了可扩展的机制。实践证明，在该框架基础上实现的构件库管理系统体现了较好的构件描述与检索能力。  

基于扩展有限状态机测试中测试输入数据自动选取的研究

扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展，它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件，通过EFSM我们可以更加精确地刻画软件系统的动态行为．基于EFSM的测试可以应用到许多领域，因此具有重要的研究价值和实际意义．许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法，但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入，增加了构造其测试输入的复杂性．我们认为基于EFSM测试的测试输入应该包含两个部分：即测试输入序列以及该输入序列上包含的输入变量的确定值(测试输入数据)．手工选取这些测试数据的工作十分繁琐，极大地增加了测试的花费，因此自动选取这些测试数据可以大大提高实际测试工作的效率．该文提出一种基于EFSM测试的测试数据自动选取方法，该方法利用两个关键的步骤：①区间削减和②分段梯度最优下降算法来自动选取测试数据．实验表明利用该方法可以自动选取大部分的测试数据，并且收敛速度较快；在某些无法得到确定解的情况下，区间削减也可以为测试人员提供一个较小的输入变量取值区间，方便了测试人员从中手工选择测试数据．  

基于确定有限状态机的测试输入序列选取

有限状态机可以精确地刻画软件系统或其子系统的行为，其在软件建模中被广泛应用，基于有限状态机的测试问题得到了广泛的研究，其中WP方法由于限制条件较少，并且其可以达到较高的错误覆盖度，因此被广泛使用，但当有限状态机的实现中的状态数目的估计值m较大时，产生的测试输入序列相对较少的测试输入序列数目，可以提高测试效率，同时本文对Wp方法和R-Wp方法产生的测试输入序列数目进行了讨论，并证明了该方法与Wp方法相同的错误覆盖能力。  

一类弱集合覆盖问题的近似算法

在近似算法领域，集合覆盖（Set Cover）是研究的比较早和比较透彻的问题之一．该文提出了一类与集合覆盖很相似的问题：集合击中和弱集合b-覆盖，并且给出了解决它们的近似算法，还证明了它们的不可近似性．  

基于组态软件的加热炉生产过程的实时监控系统

给出了一个中小型轧钢厂的推钢式加热炉的生产过程的实时监控系统的设计方案。此系统能够对加热炉各段的温度、压力、给煤气和空气的流量、汽化冷却装置的汽包水位和压力等物理量进行自动控制、显示和超限报警。  

《数据结构》互动式教学探讨

《数据结构》是计算机相关专业的必修、主干课程之一，其旨在使学生学会分析研究数据对象的特性，学会数据的组织方法，以便选择合适的数据逻辑结构和存储结构，以及相应的运算（操作），把现实世界中的问题转化为计算机内部的表示和处理．这是一个良好的程序设计技能训练的过程。在整个教学或学习过程中，解题能力和上机实验的训练是一个重要的环节。本文从教学实践出发．结合学生的特点，对本课程的教学方法进行了一些探讨。  

基于嵌入式系统的BootLoader设计与应用

本文对统BootLoader进行了深入地分析,提出了基于ARM7-uClinux系统建立开发调试环境的引导程序的设计方法。在ARM7上做了设计与实现,并成功地应用与开发调试环境。  

《数据结构》互动式教学探讨

《数据结构》是计算机相关专业的必修、主干课程之一,其旨在使学生学会分析研究数据对象的特性,学会数据的组织方法,以便选择合适的数据逻辑结构和存储结构,以及相应的运算(操作),把现实世界中的问题转化为计算机内部的表示和处理,这是一个良好的程序设计技能训练的过程。在整个教学或学习过程中,解题能力和上机实验的训练是一个重要的环节。本文从教学实践出发,结合学生的特点,对本课程的教学方法进行了一些探讨。