数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

无源北斗组合导航算法对载体机动的适应性

研究了自适应滤波定位算法,以便减小大机动时组合导航系统的定位误差。首先,在仿真分析组合导航算法的基础上,提出了模糊逻辑自适应滤波方案。然后,通过仿真获取系统知识,建立模糊逻辑算法调整滤波器驱动噪声方差,实现滤波定位模型对用户机动的适应性。最后,通过仿真验证,模糊逻辑自适应滤波算法能够根据用户机动情况实时调整卡尔曼滤波器的驱动噪声方差参数,并能有效提高组合导航系统机动时的定位精度。     

武器装备伪装的军事经济效益分析

假目标设置是装备伪装的基本内容之一。高技术战争中要求设置多倍假目标以提高战场生存概率,如何在考虑军事经济效益的前提下设置假目标数量是一个难题。基于装备的隐真和示假生存概率,建立了伪装的效费比数学模型,通过对效费比模型的分析对如何科学、合理地设置假目标数量提出了建议。     

基于效费比的武器目标分配

有效武器目标分配(WTA)是防空阵地的核心。分析了目标毁伤收益、武器损伤关键战术指标因素,提出基于效费比的WTA评价标准,建立了针对多目标的WTA模型,并研究了用遗传算法求解模型的方法。该遗传算法通过设计一种武器目标分配的染色体编码,利用最优保存策略选择运算、均匀交叉运算、非均匀变异运算来求解。仿真结果验证了模型的合理性和算法的有效性。     

基于作战任务的多机种故障备件需求模型

通过分析战时故障备件的需求特点,对备件的工作时间进行讨论,改进了传统的单机故障备件需求模型。根据多机种协同作战任务的不同,引入备件工作运行比的概念,在考虑飞机是否战损的前提下,建立了基于作战任务的多机种故障备件需求模型。算例分析证明了模型的有效性。     

基于VxWorks的机载火控仿真系统设计与实现

针对机载火控仿真系统具有任务多、任务调度频率高及其实时性要求强的特点,基于V xW orks嵌入式实时操作系统,对机载火控仿真系统的设计与实现进行了深入的研究,并给出了一种基于双缓冲队列模型的机载火控仿真系统的设计与实现方法;这种设计方法在V xW orks的先进先出和优先级两种调度方式之间做出了符合工程要求的权衡,使得V xW orks可以减少由任务的频繁调度所带来的开销;同时该设计方法的实现得益于V xW orks提供了对多任务和网络通信的良好支持,这对于改善系统的实时响应特性和其他性能提供了很大的帮助。     

ADC的武器信息处理系统效能评估模型

基于ADC法建立了复杂武器信息处理系统效能评估的数学模型,并结合实例进行分析和评估,验证了该模型的有效性.该模型应用于多设备武器系统的效能评估中,易于量化,适用性强,对于武器系统的设计、应用、维修、维护及对武器装备论证都具有一定的借鉴意义和参考价值.     

基于Simulink的火箭弹发动机内弹道性能

研究火箭弹发动机内弹道性能,主要是对燃烧室内压强随时间的变化规律进行研究。一般采用实验法可以获得直观可靠的数据,由于在燃烧室中的压强很大,对实验的设备要求较苛刻,需要具备一定的条件才能进行实验。根据零维内弹道数学模型,应用Simulink仿真模型对某型固体火箭弹发动机内弹道工作过程进行数值仿真,画出燃烧室内压强曲线,进一步分析并得出影响发动机内弹道性能的因素。     

三轴稳定跟踪平台建模分析

三轴稳定跟踪平台是光电稳定平台的重要组成部分,它利用三轴框架结构消除扰动,实现稳定跟踪。通过将偏转角速率从平台坐标系转换到视线坐标系,可以得到偏转和扰动在光轴上产生角速率的关系式,从而建立三轴稳定跟踪平台模型。实验证明,建立的虚拟样机模型能够准确地对导引系统跟踪精度进行评估,具有很高的实用价值。     

基于连续帧的红外小目标检测技术

提出了一种基于连续帧的远距红外小目标检测技术。通过对原始红外图像进行增强型简化高通滤波提高图像信噪比,用基于直方图迭代得到的阈值二值化后,得到小目标图像。为了确保目标检测的可靠性,利用连续多帧确定截获的目标。仿真结果表明该算法可实现在低信噪比复杂背景中对远距小目标的快速稳定截获。