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

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

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

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

INS故障诊断的概念体系

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

水池拖动模型阻力测量系统

介绍了以8031单片机为控制核心,由传感器、放大器、微型打印机及数据采集自动启动电路构成的阻力测量系统。它装在水池小型拖车上,能自动启动阻力测量,自动计算及打印结果,具有体积小、重量轻、自动化程度高、精度好等特点,有较好的实用价值。     

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

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

Novell网络下的实时通信技术及应用

本文阐述了NovellNetware的IPX／SPX协议的通信原理,详细讨论了实时点点通信中的“寻址技术”、“后台编程”、“DOS重入”等技术,对NetwareIPX／SPX协议网络的实时点点通信编程技术作了详细的叙述,最后简介了实时点点通信技术的应用。     

C^3系统使用自主目标实现系统仿真

在仿真中所有对抗识别的基础都基于一种通用的参考框架。同步离散事件仿真依赖于参考框架在时间上的固定点。异步离散事件仿真依赖于参考框架在模型空间上的事件点。这两种仿真方法都不能完全实现自主目标的仿真。使用参考框架的空间模板方法可以弥补这些不足之处。本文讨论了空间模板的概念并给出了实现方法。针对Ｃ＾３系统中的传感器数据融合问题应用该方法进行了分析。     

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

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

试论战争经济动员能力

战争经济动员能力,是国家将战争经济潜力转变为战争经济实力的组织力。增强战争经济动员能力的基本思路:一是要把培养“四种能力”作为增强战争经济能力的基本任务;二是要把完善战争经济动员体系作为增强动员能力的基本途径;三是要把有针对性地进行战争经济动员的演习作为检验动员能力的基本方式;四是要把造就战争经济动员人才作为增强动员能力的基本环节。