基于多邻域统计矩直方图的彩色图像检索

提出一种创新的基于多邻域统计矩直方图方法(MNSMH)，该方法在量化HSV颜色模型下，计算每个像素点不同邻域的统计矩，对每个邻域统计矩，计算它的归一化直方图．以这些直方图和颜色直方图一起作为图像的特征索引进行彩色图像检索．这些不同邻域矩反映了图像颜色的空间分布信息，而它们的直方图又是对整个图像的全局统计，对图像的平移、旋转和尺度不变．实验结果表明，该方法性能稳定，与两种基于颜色直方图方法相比，能够明显地提高检索率．     

荷兰国旗问题的形式化推导及其多态性实现

讨论了程序功能规约变换和算法程序的形式化技术，通过功能规约变换，可以较自然地获得问题求解的递推关系，对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。最后，给出了问题求解的多态性实现。     

单ADC多通道同步等间隔数据采集的高速时序逻辑实现

给出了一种基于单ADC多通道系统结构的数据采集高速实现方法。通过设计一套高速时序控制逻辑，实现了多个信号同步精确等间隔高速数据采集，能最大限度地发挥数据采集硬件的效能，系统有较高的性价比。     

基于领域Use Case需求模型的测试用例生成

传统的Use case模型已经被扩展用于建立领域需求模型,但该模型并不支持领域测试用例的复用和自动生成.给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动态模型和静态模型概念.扩展活动图用于表示用例之间的动态关系和执行过程,并将值流和对象流融入到活动图的表示中.依据用例的动态模型,可以直接产生测试用例,同时获取测试数据,从而实现领域软件需求与领域测试用例的裁剪过程一致性和同步性.     

软件工程课程体系研究

基于对软件工程课程体系现状的分析,本文指出软件工程课程体系改革的必要性,同时提出了软件工程课程体系改革的主要内容。     

一种新颖的全方位多扫描设计的测试压缩方法

提出了一种基于展开宽度可调的解压缩技术和X-压缩的多扫描电路的测试压缩方法。采用可变宽度的扫描链解压缩方法，对测试输入进行解压缩，且对于测试响应，结合了X-压缩的优点，测试响应整合器最小化故障被屏蔽的概率，扫描链的结构采取广播扫描模式。在此基础上对其改进，使其可同时处理取值相反的触发器。两种工作模式（串行模式和并行模式）可进一步处理剩余的紧凑的触发器值。提出的测试压缩算法的优点是：可节省测试设备的存储需求，减少测试输入输出引脚数和测试通道数，降低测试应用时间，从而全面提高测试激励数据和测试响应数据的压缩率。实验结果证明了该算法与以往算法相比较的优势。     

一种面向MIS的数据库管理原型系统的设计方案

分析了管理信息系统(MIS)的数据特点并提出了一种面向MIS的数据模型,给出了在关系数据库管理系统(RDBMS)的基础上实现MIS数据模型的主要思路,设计了一个面向MIS的数据库管理原型系统。     

鱼眼照片生成全景图算法的研究与实现

首先比较了校正鱼眼图片的两种算法所得结果的差异,然后针对鱼眼展开图的拼接过程将基于特征曲线匹配算法加以改进,并在最后提出消除接缝的方法,实验得到了较理想的结果。     

基于Web服务的登录助手的设计与实现

介绍了基于Web Services和COM技术的登录助手的设计思想、组成和总体构架,阐述了其主要的实现技术.该登录助手在不改变原有的Web应用结构的基础上,利用Web Services技术实现了一个登录代理服务,并在浏览器层次提供了一个面向用户的登录代理插件,该插件和登录代理服务协同工作,共同实现了异构Web信息系统之间用户身份信息的统一管理和统一存放.     

面向同构型多处理机系统的动态负载平衡算法

为了解决同构型多处理机系统中的负载不平衡问题,提出一种分布式控制、发送者驱动的动态平衡算法,该算法利用CPU队列长度衡量处理机负载状态、利用进程执行时间选取适合被迁移的负载、利用较完备的消息机制传播处理机负载状态和负载平衡要求,适用于计算密集型任务.实验结果验证了该算法的有效性.