一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

试论军事对抗系统及其结构

本文将系统理论与军事实践相结合，对作战系统的特生及其在高技术条件下的发展变化，系统结构及结构破坏战在现代战争中的战略地位进行了阐述，对未来作战系统，结构和要素的发展趋势作了有益的探索和预测。     

先进战术战斗机推进系统循环参数优化研究

本文对有超音速巡航任务和没有超音速巡航任务段的先进战斗机推进系统的循环参数进行了最优化计算和分析对比，并分别研究了超音速巡航距离，发动机全寿命期费用和发动机部件效率对发动机最优循环参数选取的影响。     

用方框图分析复杂反馈系统

引用方框图的一组法则来解算反馈系统，特别是在复杂的多环系统中引用这种方法可以从宏观上使分析和计算简化。     

计算机集成过程系统环境下的决策支持系统

基于炼油生产流程的特点，开发了一种计算机集成过程系统环境下的智能型分布式决策支持系统（ＣＬ－ＩＤＤＳＳ），给出了ＣＬ－ＩＤＤＳＳ的系统总体结构．该系统以面向对象技术开发，功能模块丰富，具有模块化强、易于扩充、易于移植、易于维护、通用性强等特点，可以由此系统抽出一个ＤＳＳ生成器     

具有双曲线解xy－1＝0的系统E13的极限环的存在性问题

证明了具有双曲线解ｘｙ－１＝０的系统Ｅ１３可以存在极限环，而且至少可以存在两个．     

一种光纤－微波传输系统接口设备的研制

提出了一种直接把光纤通信中传输的数字光信号转换为微波传输的数字电信号的接口设备的设计，分析了反射式微波０～π调相器的电路和特性。     

98／51／Z80三CPU微机开发系统的硬件设计

介绍了ＴＱ９８５１板的硬件结果构，它与ＴＰ８０１单板机组成一个９８／５１／Ｚ８０三ＣＰＵ的仿真开发装置，能对三系列微机系统进行二次开发、仿真、动态调试及对ＥＰＲＯＭ编程操作，且可与ＩＢＭ系统机进行双向数据通讯。     

广义离散随机线性系统的状态估计新方法

运用Ｂａｙｅｓ动态模型理论［２］讨论了广义离散随机线性系统的状态估计问题，提出了一种既简便又实用的状态估计新方法──线性贝叶斯估计（ＬＢＥ）．     

二维Logistic映象的吸引子演化

阐述了吸引子理论并剖析了一维Ｌｏｇｉｓｔｉｃ映象中复杂的动力学行为。利用计算机构造了二维Ｌｏｇｉｓｔｉｃ映象的吸引子，通过改变控制参数，观测到吸引子从最简单的不动点逐渐演化为奇怪吸引子的过程。