仿真环境下嵌入式软件测试技术研究与应用

嵌入式软件的开发运行是针对特定的环境条件,作为第3方的测试,在有些运行平台和条件无法保障下,要测试嵌入式软件是非常困难的.主要论述在普通PC机上怎样实现对嵌入式软件测试的方法和步骤.     

定量的近距空战训练对抗态势分析方法

针对近距对抗态势分析不能量化的不足,提出一种定量的近距空战训练对抗态势分析方法。该方法以对抗过程中双方的位置关系为基础,结合近距空空导弹的攻击包线,建立位置优势函数和武器优势函数,通过两类函数的线性组合构造对抗态势函数,实现了空战训练对抗态势的定量描述。通过算例验证了该方法的合理性和有效性。     

基于SNMP的数据采集技术在指挥自动化系统中的应用

针对指挥自动化系统分布式多域的系统结构特点以及高效数据采集的需求,提出了一种基于SNMP的域内数据采集模型,采用SNMP的主子代理模式,多个代理协调合作,共同完成数据采集任务.实验验证,本数据采集系统具有稳定性高,时效性强,可扩展性好、网络资源占用率低等特点,为整个指挥自动化网络系统高效运行提供了可靠的保证.     

基于维修专业的任务调度及优化方法

通过对现实维修任务调度问题进行分析,以最短时间内恢复作战单元战斗力为目标,建立了基于维修专业的任务调度模型,并且研究了模型求解及优化的方法.该模型既适用于静态维修任务调度也适用于动态维修任务的调度,最后通过实例对方法的正确性和可行性进行了说明和验证,实例结果表明,该方法更贴近于实际,实现了快速、有效地解决维修任务调度问题.     

基于误差修正模型的自适应递推滤波算法

提出自适应滤波算法是经典Kalman滤波与最小方差自适应控制结合的成果。通过引入一个可变因子,将线性系统的状态转移方程与观测方程合并,然后平滑估计未知白噪声,使原本不相关的估计量被映射在同一线性流型中,由此获得可变因子的最优值。可变因子的最优调节保证了滤波的自适应性。最后通过仿真将此算法与经典的Kalman滤波对同一目标状态进行比较,发现由于误差修正因子的引入,此算法在滤波精度上得到显著提高。     

多Agent与HLA集成仿真技术

对于复杂系统的建模与仿真,利用高层体系结构标准的统一框架以解决一致性和互操作问题,而多智能体技术可以提高邦员的智能性,更好贴近实际。因此,将多智能体系统与高层体系结构相集成可以有效提高系统仿真与建模的效果。但二者集成仿真还存在着种种问题,针对这些问题,根据军事训练仿真的具体要求,提出集成仿真的基本设计流程,并设计出了集成仿真的通信模式和交互过程。     

SINS/DR组合导航系统可观测性研究

对SINS/DR组合导航系统的误差方程进行了介绍。将陀螺漂移、加速度计零偏和里程仪刻度系数误差扩展为卡尔曼滤波器的状态,建立了19维状态的组合导航滤波模型。采用分段线性定常系统(PWCS)分析了载车在各个不同运动特性下SINS/DR组合导航系统的可观测矩阵;利用奇异值分解(SVD)分析法定量地分析了SINS/DR导航系统的可观测度。通过系统仿真预测了位置误差、姿态误差和速度误差的滤波效果,仿真结果表明,位置误差、姿态误差和速度误差的估计效果较好。     

面向网络系统性能优化的资源最优配置方法

如何根据网络系统的实际情况优化资源配置,充分利用有限的资源保证系统的服务质量(QoS),是网络系统性能优化研究中的一个核心问题。针对该问题,提出了一种基于PEPA nets的网络资源配置建模与分析方法。该方法首先根据网络资源配置方案的一般情形,建立了完全共享和部分共享两种资源配置方案的通用PEPA nets模型;然后,利用PEPA nets操作语义推导出了一个与模型相关的、带时间延迟标记的标记变迁系统;利用该标记变迁系统隐含对应的CTMC求解出了系统状态空间的稳态概率分布,进而由此分析得到系统性能指标,从而选出最优的资源配置方案。最后,通过试验分析验证了该方法的可行性和有效性。     

光纤激光水听器的PGC实时全数字解调系统

概述了基于麦克尔逊干涉仪的光纤激光水听器的相位载波零差法(PGC)调制解调原理,通过数学推导及仿真,分析了调制信号和混频信号的频差是导致全数字化解调结果错误的主要因素之一。针对该诱导因素提供了可行的解决方案,并实现了基于DSP的1 MHz采样频率下使用PGC方法的全数字实时解调系统。对低频水声波段800Hz水声信号进行解调,实验结果表明:解调信号波形良好。     

基于TENA的某型指控系统互联技术研究

针对某型指控（Commandand Control,C2）系统在实际训练中所遇到的问题,结合在试验与训练使能体系结构（the Test and Training Enabling Architecture,TENA）方面的研究,提出了在军网环境下基于TENA体系结构实现指控系统互联的研究思路,分析了TENA体系结构的通信机制,对基于TENA中间件的分布交互控制系统及资源网关进行了研究,并开发了相应的分布交互控制软件．