通信方案管理软件模型设计

针对通信系统的特点和工作模式,研究新型通信方案管理软件的配置技术,使通信系统通信方案的管理能够实现系统化、自动化、智能化,探讨方案管理软件模型的通用性,并通过已开发的某软件工程结果验证该模型。     

基于角度变化率的机动目标单站无源定位

机动目标无源定位和跟踪技术在航空、制导等领域都有着非常广泛的应用,一直是人们的研究热点。文章运用了运动学原理,在传统测角定位技术基础上加以改进,增加了角度变化率信息,并采用IMM算法,实现了单站无源机动目标跟踪。计算机仿真验证了该方法的正确性与有效性。     

“龙格-库塔”算法在航天器实时落点计算中的应用

在介绍航天器实时落点估算的作用和实现原理的基础上,分析了采用“龙格库塔”算法进行航天器实时落点估算的优势,提出了四阶“龙格一库塔”法实时计算航天器落点模型。该方法在保证航天飞行试验强实时性的前提下有效提高了航天器实时落点估算的精度,对确保成功地实施航天器安全控制和回收提供了科学的依据。     

基于智能Agent技术的雷达反干扰控制模型

为提高雷达快速反应、对抗干扰的能力,对雷达终端的反干扰控制模型进行了研究。介绍了智能Agent技术,建立了雷达反干扰控制模型,阐述了各模块的功能,并详细分析了雷达反干扰智能控制决策机理。并可提高单雷达的环境对抗能力。     

干扰功率控制技术在雷达抗干扰测试中的应用

研究基于等效模型的功率控制方法在雷达抗干扰性能测试中的技术应用。介绍了功率控制技术的提出背景和技术特点,重点分析了功率控制的等效模型和设计方法。详细叙述了功率控制技术在雷达抗干扰测试中的一个典型应用。     

形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

P2P蠕虫及其对抗技术的研究与进展综述

文章首先剖析了P2P蠕虫的定义、传播方式,讨论了P2P蠕虫的传播模型,分析了现有检测技术在P2P蠕虫检测方面的不足,归纳了当前针对P2P蠕虫的主要检测方法,最后给出了P2P蠕虫方向的若干研究热点问题和展望.     

基于寿命分布的备件需求计算模型分析

根据指数分布、正态分布和威布尔分布的寿命分布类型,对航海装备的一些维修备件进行分类,并提出了在满足备件保障度下这三种寿命分布类型备件的需求计算模型,对一些备件需求预测实例进行了预测计算。     

短波语音信道的Simulink仿真

Watterson模型是性能良好的短波窄带信号模型.基于Watterson模型搭建了能全面考虑短波多径时延、多普勒扩展等特性的Simulink短波语音信道模型,采用1800Hz的单音语音信号作为输入,通过分析和比较输入输出信道信号的时、频特性,验证了模型的可行性,对短波电离层语音信道的研究有一定的参考价值.     

改进多目标粒子群优化算法在营养配餐中应用

营养配餐计算模型为多目标模型,求解过程复杂,笔者利用改进过的多目标粒子群算法优化后,再根据配餐用户的偏好信息进行优化,摆脱了传统多目标优化的权重系数的影响,使得营养配餐计算模型能够满足各类人群的差异化、特殊化.最后,笔者以一日营养量为目标进行实际配餐,实验证明,配餐结果令人满意.