多状态系统故障树质蕴含集的求取算法

本章首先给出多状态系统状态空间的立方体表示方法,然后建立相应的运算规则。在这些规则的基础上,提出多状态系统故障树质蕴含集的求取算法。通过实例分析,说明了这种方法的可行性。     

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

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

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

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

多媒体软件开发研制过程中的几个问题

本文介绍了作者在开发研制多媒体软件过程中,针对几个技术性问题所摸索出的解决方法,颇具实用价值。     

“非逃逸”导弹──燃料的改善使人们对冲压发动机重新发生了兴趣

在现有的火控系统下,适用于远距离作战的冲压发动机不能发挥其优势。由于导弹飞行状态的不断变化,火控雷达及隐身技术的发展与超视距的结合,为冲压发动机的应用创造了条件。文章介绍了几个国家在冲压发动机方面进行的应用。“非逃逸”导弹的应用前景十分广阔。     

INS故障诊断的概念体系

根据舰船惯性导航系统的结构和性能特点,提出了适合建立惯性导航系统(INS)故障诊断的概念体系及INS诊断的定义,为研究INS诊断系统奠定了理论基础。     

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

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

分布式陆军物资供应信息系统的研究与展望

分布式陆军物资供应信息系统是我军现代化建设的基础项目之一 ,本文基于主动式数据库和C/S结构的概念介绍了其原理和组成 ,并就该系统的设计与实现手段做了深入的探索 ,最后给出一个开发实例。