催化反应中的次谐分枝

研究一类描述催化反应的flickering现象的动力系统,应用Melnikov方法对三种不同情形分别给出了系统存在次谐分枝的某些充分条件。     

叶剑英军事谋略初探

叶剑英在军事谋略领域给后人留下了极其丰厚和宝贵的精神财富。其精髓,正在于他一贯地坚持“把唯物辩证法正确地运用在军事领域中,作为判断情况、定下决心、指导战争的唯一法宝”。本文以此为切点,探讨了叶剑英军事谋略的主要内容及特色:全面、客观地认识和判断战争;辩证地对待战争局部与全局的关系;依据敌我情况运筹作战行动;善于预见,抓住中心;灵活运用谈判、外交、宣传等手段,化劣势为优势;着眼于特点,着眼于发展。     

基于RUP的航空兵作战C~4ISR体系结构研究

本文分析了C4ISR系统的建模特点,对当前主流体系结构模型开发方法进行了比较,提出了运用Rational统一过程（RUP）开发DoDAF体系结构视图产品,并分析了其可行性。结合航空兵作战的特点,采用Rational ROSE建模工具开发了的相关视图产品,描述了航空兵作战过程,证明了RUP对体系结构的开发有着良好的支持作用。     

利用星载GPS伪码测距进行小卫星星座的整网定位

首先针对小卫星星载ＧＰＳ伪码测距,基于星间差分消除／消弱误差,并引入星座网形约束,论述了星座模式下提高小卫星定位精度的一种整网数据处理方法,并给出了一个算例。然后进一步论述了不依赖ＧＰＳ的小卫星星座测控,以及提高小卫星星座定位自主性问题的几点设想。     

Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

一种变结构导引律及其在垂直命中制导中的应用

基于变结构控制理论 ,提出了一种垂直命中目标的导引律。该导引律在引入理想的视线角基础上 ,所设计的切换函数不仅保证脱靶量为零 ,而且能同时达到垂直命中目标的目的。数字仿真表明 ,该导引律与最优垂直命中导引律相比 ,不仅适用范围广 ,而且具有良好的鲁棒性能。     

坦克火控系统首发命中率解析

集中讨论了火控系统的首发命中率提法及试验考核方法中的一些问题,对火控系统的论证,试验及评价都有实际意义。     

改进型自适应推广卡尔曼滤波器的应用

针对在被动方式下进行水下目标跟踪容易导致滤波发散和收敛精度不高的问题 ,介绍了一种改进的自适应推广卡尔曼滤波算法。它能够在线估计虚拟观测噪声的统计特性 ,从而克服了观测模型线性化误差带来的不良影响。同时 ,通过引入修正增益函数 ,克服了由于观测噪声的统计特性不能精确已知而导致的滤波不稳定问题。仿真结果表明 ,不管是滤波精度还是收敛速度 ,都优于原来的自适应推广卡尔曼滤波算法。     

谱分析方法在仿真结果分析中的运用

文中给出了谱估计的分析,并将它直接应用于仿真系统输出量的特性分析。对于仿真的可信性问题,讨论了相容性检验方法,特别是小子样现场试验下,仿真与现场试验之间的一致性问题。     

并行调试环境中的追踪和重演

通过传递消息进行通信的并行程序,由于受进程调度和消息等待时间变化的影响,其执行结果可能是不确定的。这导致调试时相继执行不能再现先前的故障,为此,在并行调试环境中引入了追踪和重演机制。本文详细讨论了一种比较先进的追踪和重演算法及其工程实现。