具时滞的比率型三种群捕食系统的全局渐近稳定性

研究了一类具有时滞的比率型三种群捕食者-食饵系统,给出了系统持续生存的条件。通过构造Lyapunov泛函的方法得到了该系统正平衡态全局渐近稳定的充分条件。     

一类具有时滞和常数收获率的比率型功能性反应的捕食-被捕食模型的稳定性与Hopf分支

研究一类具有时滞和常数收获率的比率型功能性反应的捕食—被捕食模型。首先,分析了模型奇点的类型,研究了正平衡点的局部稳定性以及Hopf分支的存在性;然后应用中心流形和规范型理论,得到了关于确定Hopf分支方向和分支周期解稳定性的计算公式;最后,应用Matlab软件对所得理论结果进行了数值模拟。     

一个蠕虫病毒传播数学模型分析

基于网络蠕虫的传播原理建立了一种网络蠕虫传播的微分方程数学模型,利用微分方程理论进行了定性分析,得到了网络蠕虫在网络中的传播规律并进行了数值模拟。该分析方法为网络蠕虫传播的预测与控制提供了一定的理论依据。     

基于水下声场信息的三维航路规划研究

针对目前大规模水下复杂战场环境中的航路规划困难的问题。设计了一种以距离值传递法为基础的航路规划方法,该方法以水下声场为主要威胁源,运用三维抛物方程(PE)模型计算水下声场数据,并以此建立三维水下战场环境。利用限制线性八叉树的方法对数据场进行数据分割,从而达到对搜索空间的压缩,最后通过距离值传递法搜索得到最佳航路。仿真结果表明该方法较快的实现了三维声场环境下的不同起始点、多目标寻径,满足一定条件下航路规划要求。     

对流层散射双向时间比对中对流层斜延迟估计

为精确估计对流层散射双向时间比对系统中对流层斜延迟,分析了估计卫星信号对流层斜延迟的Hopfield天顶延迟模型及CFA2.2映射函数模型并对其进行修正,从而适用于对流层散射斜延迟的精确估计。根据北纬35°~37°范围内的三个测站2010—2012三年的气象数据,验证Hopfield模型精度范围小于35 mm,并将三个测站按相互之间基线距离的不同分为三组比对站,利用2012年的气象数据,计算在不同入射角下一年的对流层散射斜延迟,并得出最大斜延迟对应的年积日和入射角。结果表明,三组比对站的最大单向散射斜延迟为21.82~35.45 m。在双向比对抵消90%的情况下,时间延迟为7.3 ns~11.7 ns;相互抵消95%时,时间延迟为3.6 ns~5.9 ns。     

基于改进 Gerstner 波的岛礁近岸波浪实时仿真?

为了实现岛礁附近波浪实时仿真,结合 Gerstner 波和水波动力学知识,提出了一种能够模拟波浪卷曲和折射绕射现象的波浪建模与绘制方法。首先,建立 Gerstner 波参数随水深变化关系,构建模拟波浪卷曲过程的几何模型;然后,定义岛礁地形对波浪传播的阻障和遮挡系数,并据此修正波浪传播的波向和波高,实现折射和绕射现象的仿真;最后,应用着色器缓存技术完成计算的硬件加速,并构建了基于视点的波浪传播多分辨率绘制策略。实验结果表明,该方法对波浪的卷曲和折射绕射现象取得了较好的仿真效果,绘制效率能够满足实时性要求。     

基于高精度景象匹配的SAR平台定位方法

提出一种利用SAR图像与光学基准图高精度匹配实现SAR平台定位的方法。利用成像中间时刻SAR平台与SAR图像中心线上物点在水平面的投影共线的特性,在图像中心线上均匀选取若干点作为匹配点,并与光学基准图进行高精度景象匹配获取它们的物点坐标;根据这些物点坐标估计出图像中心线在当地水平面投影的直线方程;利用直线信息和斜距高度信息计算SAR平台在水平面上的投影点位置,进而计算得到成像中间时刻SAR平台的空间位置。为了进一步提高匹配精度,分别提出对正侧视和斜视SAR图像匹配区域进行几何粗校正的方法。还分析了不同误差因素对平台定位精度的影响,并给出精度估计公式。仿真和实际图像实验结果表明,方法正确可行,具有较高的定位精度,具备工程实用价值。     

卫星中断容忍网络路由算法研究

针对卫星网络易中断、长时延等问题,提出一种适合卫星DTN网络的路由算法——SDTNR算法。该算法在节点缓存中设置了3个存放不同服务等级报文的队列,队列根据报文响应比排序,响应比小的报文优先发送。SDTNR算法根据卫星运行规律,建立节点选择表并实时更新该表,根据表中信息选择满足条件的节点作为下一跳节点,以此保证通信的可靠性。仿真结果表明,SDTNR与EPR、PR、FC 3种算法相比,SDTNR更好地提高了报文的投递率、降低了网络开销和平均时延。     

超短波信道建模方法

针对超短波信道传播条件复杂,缺乏相关成熟方法和模型的现状,对当前国内外现有超短波信道模型和建模方法进行了梳理、总结和归纳。简单介绍了超短波传播特性、信道参数以及现有模型,重点梳理了在不同应用场景下,可用于超短波信道建模的方法。然后,针对基于随机传播图理论的方法进行了重点介绍,总结了基于信道参数的模型验证方法。最后,针对不同的超短波应用条件,对相关的方法进行了展望。     

基于可用度的电子设备告警系统检查策略研究

针对电子设备告警系统故障具有隐蔽性的特点,考虑检查不完善的因素,运用延迟时间概念,以系统期望可用度最大为优化目标,建立了电子设备隐蔽功能故障检查优化模型。提出了优化检查间隔期的算法,并通过实际案例验证了模型的有效性。