软件的单故障模型及故障的测试方法

研究表明,软件中残留的故障一般都是难以测试,这些故障往往都是局部的、检测概率比较“小”的故障,也就是说,和正确的软件相比,这些故障的表现往往只是一个或几个符号发生错误,现提出的软件单故障模型正是基于这个原理。测试方法是以面向故障为基础,将故障的检测分为3个部分:故障语句的执行,故障的激活和故障的传播。为加速测试用例的生成,也同时提出了软件的故障模拟方法。最后,给出了部分实验结果。     

激光探测技术实用化研究——一种新型手持式微型激光探测装置

一种激光探测技术的实用化研究,通过转动衰减片调节盘和调节放大电路的增益,既可探测固体激光器发出的兆瓦级激光,又可探测半导体激光器等发出的瓦级、微瓦级激光并进行声光报警。     

系统标定的一种新方法

以2008年高教社杯全国大学生数学建模竞赛的A题为研究背景,设计了利用数码相机进行系统标定的一种新方法,建立了相应的数学模型,并设计遗传算法实现了模型的快速求解,算例表明了模型及算法的有效性。     

组合式空调机组状态监测与故障诊断系统设计

组合式空调机组具有功能段组合灵活、技术参数可选范围大以及对目标环境指标操控性强等优点,广泛应用于导弹和卫星测试环境调控等军事领域。但是机组在运行过程中常出现风机风量不足、加热器加热不均以及除湿能力下降等问题,直接影响着机组性能的发挥。针对上述问题,以某基地某型空调机组为研究对象,设计了一套具有实时监测、在线评估、分段报警和故障诊断等功能的空调机组运行的状态监测与故障诊断系统,重点阐述了该系统的设计思路、硬件组成及软件框架。该系统在提高空调机组的性能监控、故障报警、故障诊断与隔离的能力及故障类型确定、故障部件的快速定位,为相关部门提供维修决策措施等方面具有实际意义。     

一种基于G0分布的SAR图像快速CFAR检测方法

杂波统计模型是决定CFAR检测算法性能的关键因素.G0分布能对单视和多视SAR图像中均匀、一般不均匀和极不均匀区域精确建模,但存在参数估计复杂、阈值表达式难以求解的问题,限制了其实用性.针对这些问题,分别采用矩估计法和二分法来完成参数的估计和阈值的求取,并通过目标区域预筛选和迭代计算等手段进一步提高了计算效率,得到了一种兼顾检测效果和效率的快速CFAR检测方法.实验结果验证了该方法的有效性.     

制导炸弹滚转通道混合灵敏度鲁棒控制器设计

制导炸弹在大空域飞行过程中受到外界干扰和未建模摄动都较大,为了适应较大摄动,采用混合灵敏度方法来设计鲁棒控制器.首先推导了包含S/T/R的广义受控对象的状态空间模型,将混合灵敏度问题化为标准H∞问题.然后针对混合灵敏度问题中如何选取权函数的关键性问题,讨论了权函数选取的一般原则,提出了权函数选取的一般方法,并尝试给出权函数的一般形式.最后采用该方法对制导炸弹滚转通道进行了控制器设计,仿真结果表明:H∞控制器有较好的鲁棒性能,且比传统PID控制有更好的时域性能.     

PD体制地面情报雷达相关问题研究

中脉冲重复频率的PD体制对于杂波的抑制能力较强,一般应用于机载雷达.目前,地面对空情报雷达为更有效地检测低空目标以及小目标,也采用了PD体制.在分析了杂波重叠和PRF组限制的基础上,对比了M/N准则、检测概率以及盲区图,讨论了采用3/7准则的优越性,该结论对于PD体制雷达的研制和改装有实际的应用价值.     

基于背景建模和前景建模的红外运动检测

为抑制了红外图像信噪比低、非静止背景等引起的虚警产生,将基于背景建模和前景建模运动检测(BM-FM)算法引入红外面目标检测中;为抑制因目标与背景对比度低引起的部分目标区域漏检,提出了基于空间邻域信息的前景建模方法(SNFM),利用前一帧图像在像素点邻域内的前景目标点为样本,用核密度估计进行前景建模.试验表明了基于该前景建模方法的BM-FM算法的有效性.     

基于雷达海面回波的水下潜艇非声探测

由于潜艇降噪技术的提高,使得传统的声纳设备对水下潜艇的探测变得越来越困难.根据水下潜艇在运动时形成的尾流、尾迹,引起海面雷达后向散射系数发生"异常"这一特征,提出了一种直接利用雷达海面回波信号来探测水下潜艇的方法,并利用计算机仿真实验对此探测方法的实验结果进行了分析评估,为研究潜艇的非声探测提供了有价值的参考.     

一种新的P2P僵尸网络综合防御系统框架

针对目前缺乏对基于P2P协议僵尸网络通用有效检测防御手段的现状,采用分布式Agent技术,提出了P2P僵尸网络综合防御系统框架,并重点分析了基于分布式Agent的P2P僵尸网络监控检测模块,为P2P僵尸网络的检测防御提出了新的思路。