基于Object-Z与Markov链的校园卡系统测试用例

针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模型生成数量相对合理的测试用例.该方法无需对系统进行运行,在需求分析与测试阶段就能对系统的功能进行测试.生成的校园卡系统测试用例证明该方法是有效的,并且在提高测试覆盖率的同时,使用Markov链也能保证对系统的可靠性测试.     

一种求解TSP问题的并行遗传算法

遗传算法(GA)是一种基于自然群体遗传机制的有效搜索算法,由于它在搜索空间中同时考虑许多点,这样就减少了收敛于局部极小的可能,也增加了处理的并行性。因此可以利用并行遗传算法(PGA)研究典型的组合优化实例-TSP问题的求解问题。该文提出一种有效的并行算法求解旅行商(TSP)问题,实验结果表明,该方法在解的精度上优于以前的算法。     

一种高斯混合尺度模型及在图像去噪中的应用

将高斯混合尺度算法和方向小波分解相结合,建立了小波分解系数的邻域模型,并基于该模型提出一种有效减少计算消耗的局部去噪方法。通过一系列模拟图像去噪试验,证明了此算法的有效性。     

一种色彩特征的自动提取算法及其软件实现

色彩特征的提取在图像识别与图像检索中都起着至关重要的作用.以往的特征提取主要是靠人工,或者是通过有监督的学习来实现,这就限制了整个识别或检索过程的自动化.针对BMP图像的特点,巧妙利用图像色彩空间之间的转换,提出了一种基于数据聚类的主色提取算法,并在Visual C 6.0环境下对其进行了软件实现.实验结果表明,该算法实现了图像预处理的基本操作,并通过适当的数据聚类算法,实现了BMP图像色彩特征的自动提取.同时该方法较传统方法的优越性以及软件的实用性,为整个系统的自动化以及下一步的研究奠定了基础.     

“C语言程序设计”实验教学的改革与实践——以淮海工学院为例

本文针对多年实验教学中存在的问题,结合淮海工学院的实际情况,提出"C语言程序设计"实验教学改革的一些思路和方法,实践证明效果良好。