面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

装甲装备维修效益评估初探

装甲装备使用阶段的维修效益评估对于有效管理装备维修活动,提高维修质量,降低维修费用具有很强的现实意义。文章建立了一套装甲装备维修效益评价指标体系,基于多级模糊综合评价法构建了评估模型,并运用该模型对某坦克大修厂某中型坦克的维修效益进行了评估。文章认为多级模糊综合评价法能较好地解决装甲装备维修效益的量化评估问题,在实际工作中可灵活运用该方法,不断提高维修管理水平。     

如何改善路径测试用例生成的搜索算法

软件结构测试数据生成一直是软件测试领域一个较为复杂的问题,方法和手段尚未成熟。基于程序直接执行的测试数据生成方法因其动态性,显示出一定的优越性,本文主要针对该方法的核心部分——搜索算法进行讨论,探讨了有助于改善其功能的若干手段,目的在于提高算法效率,提高其实用化程度,显示出较好的实验效果。     

舰载导弹火控系统精度试验仿真方法

通过对目前靶场舰载导弹火控系统精度试验中存在的问题及不足进行分析,提出运用仿真技术结合靶场精度试验进行火控系统精度和性能评定方法,根据精度试验的内容和目的建立了一系列相关仿真模型,并结合外场试验结果加以对比和验证,以提高试验鉴定的可信度。     

总线技术在武器装备测试系统中的应用及发展

总线技术在装备测试系统中占重要地位。VXI总线因具有优良性能而成为自动测试系统的优秀平台。介绍了总线技术的发展概况,分析了装备测试的重要性,着重论述了VXI技术的应用,用事实说明VXI总线技术必将随着装备自动化测试系统的发展而发展。     

多尺度法的设解形式之探讨

当采用多尺度法研究非线性振动问题时,经常会遇到不同情形下系统响应的设解形式不同的问题.文中针对一类具有平方和立方非线性项的单自由度和多自由度非线性系统,得到不同设解形式下的一次近似解和二次近似解,并与数值解相比较,发现两种设解形式的近似解与数值仿真解的解曲线吻合很好,表明传统的各种设解形式在研究弱非线性系统时都有很好的近似性.     

基于馈电信息的故障诊断技术研究

综合运用馈电信息基本理论,提出了一个基于馈电信息的故障诊断技术.该技术通过对馈电信息的比较、分析,从而实现对工作状态的监测和故障的检测;通过检测、分析馈电相关的频谱或相关的模式,实现状态分析和故障定位,完成对电子装备的故障诊断.     

模糊匈牙利算法在舰艇抢修人员指派问题中的研究

分析了舰艇在执行任务或作战等紧急情况下的抢修人员指派问题,并对此建立了多目标广义指派问题的数学模型。在任务数少于工作人数的情况下,采用虚拟“工作”和“人员”的方法,得到适合经典匈牙利算法的拓展效益矩阵,并对此矩阵采用匈牙利算法求得最优指派。     

封闭式爆炸容器小药量爆炸振动效应研究

为评估炸药在封闭容器内爆炸产生的振动效应对周围环境的影响,对封闭式爆炸容器小药量TNT炸药爆炸产生的爆炸振动效应进行了爆源邻近实地监测和测试。结果表明:小药量炸药爆炸引起的爆炸振动效应对距爆源100 m以外的普通砖结构民用住宅产生的速度强度远低于其临界峰值速度,不会对其结构产生明显影响。     

顺序PROLOG机存储组织研究

YH-SIM是一种正在研制中的顺序PROLOG机。本文介绍该机存储组织的设计考虑。根据PROLOG过程执行的具体特点,文中提出了一种多专用Cache的存储子系统结构,旨在支持深度优先加回溯的顺序PROLOG求解机制。即按照不同的访问方式,设立常规Cache和栈式Cache,分别支持存储空间中的随机访问区域和栈式访问区域。作为一个典型的子部分,文中详细讨论了选择点Cache的控制和调度策略。