基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

小型无人机航位推算定位算法研究与误差分析

对空中航位推算(DR)算法做了深入研究,提出了适用于小型无人机(UAV)的风速估计策略;将算法中各元素的误差对推算定位精度的影响进行了理论分析与数值计算;该研究结果应用于某小型UAV的航位推算/GPS组合导航系统的设计与实现中;飞行试验表明,通过提高对DR误差影响较大的元素的测量精度和风速的估计精度,有效提高了DR推算精度,与以往其他小型UAVs相比,在断开GPS对DR的修正后,DR精度保持在一定范围的持续时间显著延长.     

雷达网威力仿真中的复杂区域图形处理算法

以实际阵地环境下的雷达网复杂探测区域为研究对象,提出了雷达单元平面探测复杂区域填充的"橡皮擦"算法,雷达网平面探测区域面积计算、边界提取算法.并进行了仿真验证,仿真结果表明了算法的有效性,可广泛应用于雷达网威力仿真及其他相关领域中.     

弹炮结合武器系统效能评估方法研究

通过Matlab软件编程,建立了一个小规模的弹炮结合武器系统的作战仿真模型,进行蒙特卡罗仿真.通过对仿真结果的分析和参考相关文献,确定影响弹炮结合武器系统作战效能的主要因素.建立一个BP神经网络模型,该模型以这些影响弹炮结合武器系统效能的主要因素为输入,以弹炮结合武器系统对目标的拦截率为输出,利用大量仿真所得数据作为样本对神经网络模型进行训练,并验证了其有效性.     

基于改进Elman神经网络的SINS动基座传递对准研究

在运用Kalman滤波进行SINS动基座传递对准时,当模型存在误差或系统噪声不能反映实际噪声时,会降低滤波精度甚至导致滤波发散.针对这个问题,提出基于改进Elman神经网络的SINS动基座传递对准方法.首先通过增加输出层节点的反馈来改进普通的Elman神经网络模型,其次采用强跟踪滤波器对改进Elman神经网络进行训练.利用仿真数据对该算法进行验证,结果表明,该算法能够克服Kalman滤波的缺陷,提高传递对准精度达100%～150%.     

抗高重频激光干扰技术研究

在光电对抗领域,高重频激光干扰是一种非常有效的干扰方式,而如何改进现有的激光末制导武器的抗干扰性能成为一个迫切需要解决的问题.提出了抗高重频激光有源干扰的方案,该方案的核心在于根据高重频激光干扰信号的规律,形成一个反向高重频开关信号,该信号与实际的高重频干扰信号同步.该方案经过实验室验证证明是可行的.     

反辐射导弹对地空导弹雷达装备的毁伤模型研究

对常规杀伤方式(破片杀伤)反辐射导弹建立毁伤模型,分析其破片场,研究其有效破片随距离的失效规律,最后讨论其模拟程序框图,仿真运算验证模型的可行性.     

基于主成分分析的空中目标识别

在对空中目标类型进行归类的基础上,建立了融合目标战术特征和物理特征的评价指标体系,运用多元统计分析中的主成分分析法对空中目标识别中的多项指标进行了综合聚集,在理想点的基础上建立了综合优化决策模型.实例验证该模型能有效地解决目标类型识别的问题.     

建模与仿真VV&A工具设计与实现

在深入研究VV&A过程模型的基础上,建立了仿真和建模VV&A工具设计方案,详细介绍了各个模块的功能、相互之间的关系及工作流程.应用ODBC互连技术实现接口问的通信,将VV&A工具应用于实际工程中,取得了令人满意的结果,从而有效提高了仿真VV&A过程的经济性和快捷性.     

基于DoDAF的舰载武器系统体系结构建模

针对越来越复杂的系统和越来越短的产品研制周期要求,探讨基于DoDAF(Department of Defence Architecture Framework)体系结构建模方法的特点与建模步骤,并以典型舰载武器系统为例进行建模及验证,所建模型说明该方法能够满足系统准确建模的要求,可对舰载武器系统研制过程的优化设计、变更影响分析和风险控制等方面提供技术支撑.