一类生态捕食模型的局部稳定性

文献3讨论了系统(1)在两个平衡点时平衡点的豫定性,分界线环的存在性等性质,本文则讨论系统(1)在两个平衡点时的局部稳定性。     

非线性系统的鲁棒镇定:Volterra级数法

基于Ｖｏｌｔｅｒｒａ 级数理论,针对一类非线性系统,首先给出了此类系统可镇定的充分条件,接着讨论了非线性系统鲁棒镇定性的问题,并给出了系统鲁棒可镇定的条件;最后,用实例仿真来验证其有效性     

时延数字控制系统最优控制问题的离散正交多项式解法

本文利用一般的离散正交多项式研究了具有2s个时延项离散系统的最优控制问题。文中导出了系统状态和控制向量离散正交级数展开式中系数向量间的关系,然后,将离散动态系统的最优控制问题转化为直接对二次型性能指标中一组系数向量的参数优化问题,并由一组线性代数方程给出了这组最优系数向量的解。最后,还介绍了一个数值例子。     

卤素G-M计数管非线性量程曲线回归技术研究

创建了卤素Ｇ－Ｍ计数管量程函数表达式,其覆盖量程范围在５个数量级以上,相对标准误差在２％以内。以充分利用Ｇ－Ｍ计数管创造了有利条件。     

点数任意时的快速插值算法

本文建立了运算量级为O(nlog_2m) 的多项式快速除法(其中,m,n分别为除式与被除式的多项式次数),把点数n+1为2的幂次的多项式快速插值推广到n+1为任意数情形,提出了运算量级为O (n log_2~2n) 的快速插值算法。     

单段导弹弹道轨迹B样条稳健回归分析

利用B样条基构建了导弹弹道位置、倾角和偏角的拟合函数.利用导弹飞行观测数据,运用稳健回归方法,结合导弹运动学方程对导弹飞行轨迹进行拟合,并进一步分析了拟合误差.对导弹测试数据进行了反复计算、拟合和验证,结果表明:模拟计算结果和真实轨迹的误差可以控制在1 mm内,能较为精确地拟合导弹飞行轨迹曲线,对导弹飞行性能和故障分析具有指导意义.     

浅析马岛战争中英军联合海上封锁作战的经验教训

马岛战争期间,英军对阿军实施了长时间、大范围的联合海上封锁作战,为最终夺取战争胜利奠定了坚实的基础,取得了封锁作战的丰富经验,也暴露出一些问题,主要有5点:正确的战略决策和灵活的封锁策略,是联合海上封锁作战取得胜利的关键;实施高度集中的统一指挥,保持指挥体系的畅通、高效;封锁兵力运用得当,注重发挥整体作战威力;充分发挥先进武器装备的主导作用,以此直接影响战争的进程和结局;英国海军的建设方针有误,致使远洋作战能力不足,防空、反潜能力较弱,战争中遭受了不必要的损失。     

高频地波雷达目标高度估计的AR模型方法

高度估计对于高频地波雷获取三维信息、提高预警能力很有意义。然而目标RCS的随机起伏对高度估计产生严重影响,通过对RCS随机起伏的AR模型建模和模型参数的自适应估计,提出了在RCS变化的条件下高度估计的扩展卡尔曼滤波算法。通过Monte Carlo仿真和外场试验数据的处理,验证了该方法对抑制RCS随机起伏、提高高度估计精度的有效性。     

线性规划优化分析的元模型方法及其比较

线性规划优化分析在经济管理等领域有着广泛的应用。当线性规划约束条件的右端向量在一定范围内变化时,目标函数的最优值是右端向量的一个复杂的分片线性函数,但通常难以给出分析表达式。应用多项式回归、径向基函数、Kriging法及多项式回归 Kriging法这四种元模型方法,能快速预测最优值函数。通过仿真实验,对这四种形式的元模型作较全面的比较分析。数值实验的结果表明,用次数较少的实验设计,后三种方法都具有较高的拟合精度;特别地,多项式回归 Kriging法不仅拟合精度高,而且还能用一个二阶多项式给出最优值函数的一个简明的近似描述。结果表明,元模型方法是研究线性规划优化分析问题的有效途径。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。