C~3I 系统的需求描述语言

论述了理想的需求描述语言应具备的九个特性。同时对几种现有描述语言进行了初步的评估,对我国在这方面工作的开展提出了几点看法。     

线性时变系统的鲁棒 H~∞ 输出反馈控制

讨论了带有结构性不确定的线性时变系统二次稳定且具有Ｈ∞扰动衰减度的充要条件,建立了结构性不确定的线性时变系统的鲁棒Ｈ∞控制问题与确定性的辅助线性时变系统的Ｈ∞控制之间的等价关系。因此,对上述不确定系统设计具有Ｈ∞扰动衰减度的鲁棒动态补偿器问题都可以转化成相应的确定性辅助系统的Ｈ∞控制问题。     

多机、多目标、超视距空战仿真系统研制

具有多机、多目标、超视距攻击特征的未来空战,其技术研究离不开仿真实验的强有力支持,完善的仿真系统是实现这一目标的重要基础和保证。本文着重对未来空战仿真系统设计研制的相关内容进行较为深入的讨论。采用ＲＦＭ、蛀孔式通信、系统集成、ＶＲ、动态视景生成等先进技术进行系统设计,同时,对关键技术进行了分析研究。     

先进武装直升机的一种新型组合智能火/飞综合控制系统的设计与仿真

讨论了模糊逻辑控制与神经网络相结合的一种控制方法,给出了一种增益自适应调整的模糊控制方法和ＢＰ网络自适应变步长学习算法。提高了系统精度,改善了系统品质,并将这种方法成功地用于直升机综合火／飞系统的设计。同时,针对某型直升机用数字仿真证明了这种方法的优点和良好效果。     

C~3I仿真系统的设计原则与方法

本文以一个正在设计开发的C3I作战效能仿真演示系统为背景 ,概括了C3I仿真系统的设计原则 ,提出从仿真环境设计和仿真系统设计两个方面进行C3I仿真系统的开发。在此基础上 ,本文提出了一种基于Petri网的面向对象模型描述语言OPDL ,设计了支持OPDL语言建模、执行、演示的仿真环境 ,并给出了C3I作战效能仿真演示系统的总体结构。     

一类高次多项式系统极限环的讨论

通过变换将一类高次多项式系统化为Lienard系统,利用Hopf分枝定理和张芷芬唯一性定理,证明了该类系统极限环的存在性与唯一性。     

宣告刑=基本刑±补充刑量刑优化数学模型——量刑的模型化操作

量刑模型化的操作,是指应用能够真实地再现量刑系统原型的数学模型进行量刑优化和量刑综合平衡的量刑运佐.它是基于改革我国现行的经验型的量刑方法,改善和提高我国刑罚活动的质量和社会效果,而提出的一种新的量刑思路.宣告刑=基本刑±补充刑量刑优化数学模型,包括一般量刑优化数学模型和特殊量刑优化数学模型.     

带混合边界条件的m——分支半线性反应扩散系统

采用非线性分析的方法与技巧,研究了一类带混合边界条件的m(m≥2)一分支半线性反应扩散系统解的整体存在性.首次给出一种控制条件,使其“IntermediateSums”控制指数可达到 ∞.     

炮兵C^3I系统需求的功能分析及Petir网表示

本文介绍了炮兵Ｃ＾３Ｉ系统需求的功能分析及Ｐｅｔｉｒ网,并具体描述了炮兵自动化指挥系统的功能分析并用Ｐｅｔｉｒ网表示。