当代中国军事战略思维与和平发展道路（续）

维护和平发展要求当代中国军事变革必须坚持中国特色 这是当代中国军事战略思维据以展开的第三个基础性判断。这个思维判断包含的逻辑进程，要求回答维护和平发展与有限大幅提升军事实力的关系，提升军事实力与军事变革的关系，以及军事变革的中国特色的要点。     

有源照射箔条对相控阵雷达复合干扰效应分析

箔条在与有源干扰结合使用时会比使用单一手段更有效。应用箔条可能会强迫雷达采用MTI或多普勒处理,这样可使雷达无法使用脉间频率捷变,而且箔条扩展到无模糊距离以外会使雷达无法使用脉冲重复频率参差,这两种因素为对相控阵雷达复合干扰开辟了道路。比较了复合干扰与有源和箔条分别干扰相控阵雷达后的压制比,仿真结果表明:复合干扰效果比箔条干扰效果在随距离的变化过程中至少在3倍以上。与有源干扰相比,在30 km之内复合干扰比有源干扰具有明显的优势。这为实战条件下提高飞机生存率,具有较强参考价值。     

复合导线高电导特性的机理分析

分析了复合导线在一定的频域,其导电性能优于铜导线的高电导特性的物理实质.认为,这种特性是由于电磁波在导线内部界面上的反射引起的.     

一个实时调度仿真模型算法的算法

提出了一个在仿真支撑系统中所采用的实时调度仿真模型算法的算法,并且成功地应用在“RDFI—50MW热电厂训练仿真机”中.     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

X－Window系统下汉字环境的实现

文章详细描述了在基于Ｘ－Ｗｉｎｄｏｗ系统的工作站上实现汉字输入／输出的技术及实现途径。该汉字环境已基本在ＳＧＩ工作站上实现并使用。     

事故树形分析法在火灾原因调查中的应用

通过液氨气瓶爆炸火灾事故案例的分析,介绍了事故树形分析方法在压力容器爆炸火灾原因调查中的应用。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

多传感器量测融合算法的性能比较

归纳三类多传感器量测融合算法,即扩维滤波法、伪序贯滤波法和复合量测滤波法。采用协方差分析的方法比较各类算法的滤波精度,证明它们均能在各自给定的条件下实现线性最小均方意义上的最优滤波。仿真实例对各类算法的计算量和灵活性等性能进行比较,结果表明扩维型信息滤波器的计算量最小、灵活性最高,扩维型Kalman滤波器、伪序贯滤波器的计算量较大,而两种复合量测滤波器对各传感器的量测矩阵有一定要求,以致灵活性较差。所得结论对量测融合算法的实际应用具有一定的指导意义。