陀螺导航设备非接触检测系统设计

陀螺导航在线设备检测一直是陀螺导航设备保障维修的重点和难点,文章提出通过对其声信号与温度信号进行检测的方法组建陀螺导航设备在线非接触检测系统。该方法具有设备零干扰的优良特性,能够有效地实现陀螺装备的在线检测。文章给出了检测系统的结构模型,提出了检测系统的功能设计,详细说明了软硬件实施方案。该系统已投入使用,效果良好。

破损舰船抗沉辅助决策系统研究

根据舰艇抗沉决策的特点,系统的建立了抗沉辅助决策的理论框架和模型,并形成了舰艇抗沉决策支持系统。探讨了抗沉决策中的限制进水蔓延与舰体平衡决策的逻辑并分别建立决策模型。把产生式专家系统的理论应用到抗沉决策支持系统中。运用VB编程建立抗沉决策支持系统,实现了舰艇的二维显示和舰艇抗沉的可视化操作。

处理符号执行中数组元素混淆的一种新方法

符号执行并不是一项新的技术,它采用符号(如变量的名称)而不是实际的值来代表系统的输入。作为结果,执行过程中系统所有的变量及输出为符号或关于符号的表达式。该项技术在软件测试中可以用来自动生成完备的测试用例。但符号执行还存着许多内在的缺陷,如数组元素的混淆、对循环的处理等。文中提出了一种新的源码到源码的转换算法“混淆算法”,使转换后的代码不需任何专用工具就可以被一般的符号执行工具运行,很好的解决了数组元素混淆问题。

软件缺陷增长过程的混沌分析

软件缺陷的概念在软件质量范畴中处于举足轻重的地位。通过分析促进软件缺陷增长的动因,提出了自增长型缺陷和非自增长型缺陷的概念,把软件缺陷增长分为确定性增长和不确定性增长两个部分,随后,通过对软件缺陷确定性增长进行的建模分析,发现软件缺陷确定性增长过程是完全可能在一定的条件下呈现出混沌状态的。

软件缺陷估计中捕获再捕获方法的改进

捕获-再捕获是一种用于估计评审后软件产品中剩余缺陷的常用方法。由于其估计器普遍存在低估的问题,提出了两种基于历史数据的缺陷估计改进方案,在基于两篇文献的部分数据进行虚拟评审后,对比了改进前后估计器的缺陷估计效果,并确定了两种改进方案的适用范围。

基于历史数据的软件缺陷估计方法改进

针对捕获-再捕获模型的估计器普遍存在低估的现象,提出一种基于历史数据的缺陷估计改进方法,在基于已有研究的部分数据进行虚拟评审后,对比了改进前后估计器的缺陷估计效果,结果表明,改进后的估计器普遍较改进前的估计器的估计精度要高。

基于I/O关系的适应性随机测试

随机测试(random testing,RT)是一种简单易用的测试技术,它从输入域随机地选择测试用例,直至发现一个失效或测试资源耗尽.但它因为不利用任何软件需求和代码信息而被认为是效率低下的.基于失效域分布的特征,Chen提出了一种名叫适应性随机测试(adaptive random testing,ART)的新方法.ART虽然提高了随机测试的失效发现效率,但与RT一样,在发现一个失效后就停止测试,而现实中许多软件都是具有多个输入输出变量的,它可能存在多个缺陷,针对这样的软件进行测试,ART显然存在一定的局限.将I/O关系信息引入ART,在I/O关联性分析的基础上,提出了一种基于I/O的ART新方法.仿真实验的结果证明,相对于FSCS-ART而言,新算法发现失效的效率有了极大的提高,同时,它可以一次发现多个失效,更适用于多个输入输出变量的软件的测试.

多智能体协同进化方法在汽车造型设计中的初步研究

对面向汽车造型设计的多智能体协同进化方法作了初步的研究,分析了汽车外形部件的特征规则,以及对协同进化的约束方式,构建了多智能体协同进化的体系结构,最后总结了下一步有待研究的几个问题.