基于EFSM模型的可执行回归测试数据生成方法

基于扩展有限状态机(extened finite state machine, EFSM)的回归测试过程中，传统的可执行测试数据生成方法由于没有充分利用软件变更信息，在对模型分支错误进行检测时效率较低。为此，提出了一种基于EFSM模型融合的可执行回归测试数据生成方法，制定规则对软件变更前后的模型进行融合，将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历，结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明：该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。     

1.06μm激光仿真测试中Mie散射影响分析

结合室内激光跟踪探测器仿真测试中脉冲激光目标指示信号的发射、传播和探测过程,探讨1.06μm波长脉冲激光大气传输中气溶胶米氏(Mie)散射对激光探测和跟踪的影响规律.通过建立室内气溶胶散射模型,进行激光指示散射信号传输的建模与仿真计算.数学仿真和实际测试数据的对比分析表明,该计算模型具有较高精度,为设计激光跟踪探测器探测和跟踪仿真测试布局和采取减小散射影响措施提供了参考.     

粘性对高超声速飞行器攻角特性影响研究

采用二维耦合隐式NS方程和标准κ-ε湍流模型对高超声速飞行器在进气道关闭、发动机通流以及发动机点火工作状态下的内外流场进行了数值仿真研究,离散采用二阶迎风格式,分析了在不同攻角(-10°～7°)条件下,粘性对处于三种不同的工作状态下高超声速飞行器升力特性、阻力特性以及俯仰力矩特性的影响.结果表明,粘性对处于发动机通流和发动机点火工作状态下的飞行器气动-推进性能影响显著,尤其是阻力特性,粘性阻力占总阻力的比重超过50%.     

在线电路测试仪在装备维修中的应用

在线电路测试仪在工业仪器和军事装备的电路测试中应用广泛,其关键技术是利用后驱动技术实现在线元器件的隔离.阐述了电路中器件的常见故障形式,详细研究了后驱动技术的理论和应用,在此基础上,分析了后驱动技术对电子器件安全容限的要求.最后,对在线电路测试仪在装备维修中的应用进行了展望.     

机器人，未来战场的主宰？

近日,美国有关媒体披露．经过为期两年多的安全性测试,美国第一批武装机器人即将装备部队。对此,有军事家评论,这是一场巨大的革命,它标志着酝酿了几十年的机器人部队时代即将到来。     

非战争军事行动中官兵不良心理及对策

通过对某部官兵进行比较性心理测试发现,执行非战争军事行动任务的一些官兵存在紧张、恐惧、焦虑和偏执等不良心理现象。这些不良心理若缺乏正确的疏导,就可能出现心理问题,时间越长,     

心理测试测出了什么？

近日,笔者从某部获悉,他们通过心理测试为每名官兵建立了心理档案。悄然而来的心理测试和心理档案,激起了官兵心理健康维护工作的阵阵涟漪,更科学、更人性化的管理教育模式正在改变着官兵的寻常生活。     

基于图像的近程防御报警系统研究与设计

针对大型跟踪系统在某些特定场合不适用的问题,设计了一种集视频采集、目标捕获、识别与跟踪、云台随动控制、无线电台通信、远端预警点火等多功能于一体的导弹近程防御预警点火系统.上位机采用双DSP处理器设计结构,应用波门和相关两种方式跟踪算法,以及三段式云台伺服控制方式确保了系统的跟踪适应能力.下位系统采用LPC936单片机系统完成远端通信和中断点火控制.经实验测试,系统达到预定指标.     

强强携手 优势互补 开拓科技成果快速转化新路子—国防科技工业自动化测试技术研究应用中心成立纪实

建设国防科技工业自动化测试技术研究应用中心。是我国国防工业科技创新机制的一种探索。旨在通过产．学、研互动合作机制。在自动化测试技术领域。充分利用已有的技术和资源。打破行业间、企业间的技术分割,实现优势互补和资源共享,使研究与应用结合得更加紧密,逐步建立起我国自动化测试技术转化推广应用的大平台。     

能攻善守话“跳雷”

跳雷,顾名思义,是指能够“跳跃”起来、在空中爆炸的地雷。军事上已约定俗成,更多的是指防步兵跳雷,又称腾炸地雷,简称跳雷;此外,“江湖”中异军突起的反直升机跳雷也属于该行列。跳雷通常属于破片雷,受目标的踩踏、牵拉或传感器的感应作用后跳离地面,待上升至一定高度时发生爆炸,并靠高速飞行的弹片去杀伤地表的人员或低空飞行器等目标。对于防步兵跳雷而言,其腾起高度可达2米,密集杀伤半径可达40米,主要用于攻击进入特定防御地域、以步兵或特种兵为主的地面部队;对于反直升机跳雷而言,其感应距离可达400米,密集杀伤半径可达200米,主要用于攻击低空或超低空飞行的直升机等飞行器。