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

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

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

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

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

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

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

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

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

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

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

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

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

为了满足网络化制造中分布式机器视觉(DMV)对各种数据流的不同通信性能要求,设计了基于实时发布-订阅(RTPS)协议的中间件.通过定义中间件工作过程中的相关控制参数,对数据传输的可靠性、实时性以及网络带宽和内存等资源的使用进行了定量描述和优化.将设计的RTPS中间件应用到网络化制造中的DMV系统,进行了各种类型数据流的...     

PowerPoint中嵌入Flash动画的探讨

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

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

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

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

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