基于退火遗传算法的多路径测试用例生成

针对遗传算法在多路径测试用例自动生成中的不足,提出基于退火遗传算法的生成方法。对遗传算法的适应度函数进行优化设计,以满足多路径测试用例生成。同时在算法中引入路径存储机制,从而增强测试用例自动生成的功效。在提高算法的局部搜索能力方面,对遗传算法的两点交叉算子进行改进,并引入模拟退火算法到变异操作。三角形判断程序的测试用例生成实验结果,验证了该方法的有效性。

基于改进禁忌搜索算法的测试用例自动生成

为了提高大规模软件的测试效率,提出了基于禁忌搜索算法的测试用例自动生成方法。对软件测试要求及其目标进行了分析,依此对禁忌搜索算法的评价函数、邻域移动、禁忌表进行了改进,并设计了合理的赦免准则和终止准则。在此基础上构建了基于禁忌搜索算法测试用例生成的模型,产生测试用例来驱动插桩程序运行并求其评价值,采用禁忌搜索算法进行优化。通过生成三角形判断程序的测试用例实验,验证了该方法的准确性和有效性。

采用交叉耦合混沌系统的加密数字图像

提出了一种基于交叉耦合的"新虫口模型"的图像加密算法。利用这种交叉耦合混沌系统同时生成两组混沌序列,并用其中一组来置乱图像,另外一组改变像素灰度值进行加密。这种使用单一耦合混沌系统同时置乱和加密的算法,有别于目前用一个混沌系统置乱、用另一个混沌系统加密图像的主流算法,提出了一种改进的混沌加密图像思路。仿真结果和安全分析表明该算法扩大了密钥空间,具有较高的安全性能和较低的时间复杂度。

基于模糊灰色关联分析的软件可信性评估方法

为了提高软件可信性评估的准确性,提出了一种基于模糊灰色关联分析的软件可信性评估方法,该方法使用梯度模糊数计算各个可信指标的权重.首先计算出软件可信指标的正、负理想值,然后使用灰色关联分析方法计算出可信指标度量值对正、负理想值的灰色关联度,依次计算出软件可信性评估值.其中,通过模糊梯形数对可信评估指标的权重值进行处理.应用结果表明:所提方法对于软件可信性的评估是有效的,结果具有较高的准确性.

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

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

UML模型到B抽象机的转换和实现

统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明。文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化。实例分析表明,转换是可行的。

一种支持动态多属性的软件可信性评估方法

为了在软件可信性评估过程中支持动态多属性的特征,提出了一种结合灰数系统理论、Minkowski距离和模糊聚类的评估方法。首先,以灰数来表示软件可信指标值,并以求正负理想点的方法获得理想可信评估值;然后,使用Minkowski距离对周期内的软件可信性进行评估;最后使用模糊聚类算法得到综合的可信性评估结果。实验结果及分析表明,所提方法对于软件可信性的动态、多属性评估是有效的,在计算量不大的同时,评估结果也具有较高的准确性。

精益思想在软件工程专业毕业设计中的应用

针对软件工程专业毕业设计中存在周期长、浪费严重的状况,在分析精益思想与软件开发相结合的基础上,提出将精益思想应用于软件工程专业毕业设计中的观点。结合实际教学案例,说明该方法使毕业设计质量得到较大提高。

支持向量机和元胞自动机相结合的图像边缘检测方法

针对如何提高图像边缘检测效率的问题,提出1种结合最小二乘支持向量机(LSSVM)和元胞自动机进行图像边缘检测的方法。首先,基于Gauss径向基核和多项式核构建出新的核函数,使得LSSVM对图像像素邻域的灰度值能够进行准确的曲面拟合。接着,推导出图像的梯度算子,并与图像灰度值进行卷积得到图像的梯度值。然后,元胞自动机按照所设计的局部规则对梯度值进行演化,实现图像边缘的定位和检测。仿真实验检测出的图像边缘定位准确,而且达到1个像素宽,表明新提出的边缘检测算法是有效的;同时,通过对比分析得知新算法具有比Sobel和Canny算法更高的检测性能。

PowerPoint中嵌入Flash动画的探讨

讨论在PowerPoint制作的课件中,有机嵌入Flash动画的多种方法和技巧;并对各种嵌入方法以及相应播放控制方式进行分析、比较和探讨。

标定靶面平行成像平面时Tsai算法的改进

针对机器视觉应用中出现的标定靶面平行于摄像机成像平面的情况,提出对基于RAC(radialalignmentconstraint)摄像机标定算法的改进。建立了该种情形下摄像机标定模型,根据RAC约束的方向不变性、RAC约束的等比例性等特性,使用Levenber-Marquardt算法计算出部分参数,以及利用针孔成像原理求出余下的参数。通过实验对算法进行了验证和分析,结果表明,该算法计算量小,并且具有较高的标定精度。

分布式机器视觉的RTPS中间件设计与实现研究

为了满足网络化制造中分布式机器视觉（DMV）对各种数据流的不同通信性能要求，设计了基于实时发布-订阅（HTPS）协议的中间件。通过定义中间件工作过程中的相关控制参数，对数据传输的可靠性、实时性以及网络带宽和内存等资源的使用进行了定量描述和优化。将设计的RTPS中间件应用到网络化制造中的DMV系统，进行了各种类型数据流的不同通信性能实验，包括视觉图像信息数据流，该数据流可以选择异步通信或者同步通信。对系统进行了建模和模拟实验，结果表明，与基于Client／Server的中间件相比，基于RTPS协议的中间件的延迟低，在数据包大小变化时的稳定性强，而且吞吐量很大。可见，所设计的RTPS中间件能保证DMV的实时性、可靠性、动态适应性，以及多节点对多节点的通信要求。

科学还是宗教

宗教和科学的关系历来纷争不断，两者之争的实质是先在和后在之争。约瑟夫·康拉德的小说《间谍》的女主人公维尔洛克夫人的悲剧命运和安提戈涅有着异曲同工之处。如此的一个原型内核经久不衰，从这个意义上说，对安提戈涅式人物维尔洛克夫人进行重新解读有着历史和时代的意义。历来的文学批评家们和康拉德本人都认为是维尔洛克夫人的母爱燃起了杀夫的念头，但是通过原型内核的重新审视，本文作者得出了这个内核的实质是先在和后在的矛盾。

流-固多层结构中软层介质参数反演研究

建立了固体层内含软层介质的多层流-固界面模型。使用传递矩阵法,导出固体层内含软层介质的流-固界面波的频散方程。根据频散方程计算频散曲线,改变软层介质的深度、厚度及横波波速,观察频散曲线的变化。使用有限元软件建立仿真模型,引入遗传反向传播(Back Propagation, BP)神经网络,对模型参数进行了反演。反演结果表明,使用遗传BP神经网络,能有效地反演出软层介质的深度、厚度与横波波速参数。

一维复合波入射的固-固界面接触特性分析

基于弹性波理论,针对接触面非线性相互作用,建立了一个非线性刚度模型,利用接触应力描述非线性刚度特性。引入包含基波和谐波的一维复合波入射,在二阶微扰近似以及非线性边界条件下,给出了界面的反射波和透射波的表达式,得到反射系数和透射系数。结合界面线性刚度和接触应力的幂律关系,定义了四个非线性系数。通过数值计算分析了固-固界面的非线性特性以及谐波对于接触应力的依赖性。

电影的翻译功能与功能翻译

在语言文字领域的研究上翻译这一学域的构建仍然在艰难中前行,但新语境下的挑战已经出现,如何对异质文化的影像进行沟通,成为语言文字之外新媒介的翻译新领域,而且这一领域的翻译显得十分迫切和无力。以文学作品为原型而诞生的《少年派的奇幻漂流》,从某种意义上说是文学再次从边缘走向中心的表征,但是影视的翻译与文字的翻译显然不是同一范畴,这从该电影播出后铺天盖地的影评可见一斑。

基于相似度的软件可信性评估方法

为了提高软件可信评估的精确性,提出利用关联可信属性之间相似度的计算结果评估软件的可信性。首先建立可信证据模型、可信属性的数据结构和可信期望模型,便于数据的统一定制和下一步处理。然后对分定性可信属性、定量可信属性进行相似度的计算;根据各自的特点,定性可信属性利用Jaccard系数求解,定量属性则利用了相似度理论进行计算。最后,将该方法应用于实例进行验证,结果验证了它的有效性和稳定性。

孔隙介质包裹的充液管道结构中导波传播特性

研究孔隙介质包裹的充液管道中纵向导波传播特性,分析孔隙介质参数对频散曲线的影响。建立了孔隙介质包裹充液管道的结构模型,利用孔隙介质弹性波动理论,建立对应的频散方程,数值模拟计算得到该模型的频散曲线和时域波形,并分析了孔隙介质参数以及管壁厚度对频散曲线的影响。结果表明孔隙介质的渗透率对于导波频散的影响较小,孔隙度的改变对时域波形的位移幅度影响较大。同时,导波存在衰减,且衰减随孔隙度增大而增大。所得结论为埋地管道无损检测方面提供一定理论参考。

P波入射下固固界面的二阶谐波场特性

应用二阶势理论研究了P波入射到固-固界面情况下的二阶谐波场。运用变动参数法求解二阶非齐次势函数方程的边值问题,数值计算了二阶谐波位移与入射角的关系,结果表明当入射角到达某个角度时,二阶谐波场的位移会急剧增大。同时,当入射角度为θ_w时,特解位移趋近无限大的有关现象依然出现,关于边界面的影响也做了讨论。