熵、信息、控制与系统的组织化程度

本文首先通过分析与推演导出了描述熵、信息与系统的组织化程度之间联系的几个基本关系式;然后据之分析指出,人类的意识行为,是高度有序的主体向有序度较低的对象系统输入信息、减少其熵、提高有序度从而使其得到同化或改造的过程;最后,利用上述结论剖析了系统工程方法论的合理性与有效性。     

用于复杂系统环境的遗传分类器系统

设计了一个针对复杂系统分析的遗传分类器系统,该系统不仅利用了遗传算法强大的搜索能力和便于从大量历史数据中发现规律的优点进行分类器获取,而且还具有如下两个主要特点;①它能够适用于复杂的、缺少完整描述且训练信号带有噪声的系统环境;②它是一个白箱系统,所获取分类器的置信度与统计结果相符,从而支持定性、定量相结合的综合推理模式。     

单调关联系统模糊可靠度函数的性质和界

应用经典可靠性和模糊数的理论,给出了单调关联系统的模糊可靠度函数的三条性质。在较复杂的单调关联系统中,精确获得单调关联系统的模糊可靠度函数非常困难,讨论了系统模糊可靠度的界,并给出了系统模糊可靠度的界的两种求法。     

高层体系结构(HLA)的开发与构建

从ＤＩＳ的局限性及不足出发,简要说明了构建和开发ＨＬＡ的可行性和必要性;重点论述了ＨＬＡ的结构、规则、接口规范、对象模型模板（ＯＭＴ）及ＳＯＭ 和ＦＯＭ 的构建步骤     

管理信息系统通用工具软件MT-1

MT—1是在汉字dBASE—Ⅱ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE—Ⅱ。本文描述了MT—1的总体结构和主要功能,讨论了主要设计和实现问题。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

基于MAS的武器装备供应管理支持系统设计

对武器装备供应管理系统结构和功能进行了分析,给出系统的一般构成模式和运行要求,阐明了其所需的决策支持;以系统一般模式为背景,探讨了利用多Agent系统理论构建装备供应管理支持系统的思路,提出支持系统的组成框架,并说明了其主要特点;最后,对支持系统的信息监控过程做了具体研究,给出了相应程序。     

A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations

In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket's departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.     

公度时滞系统的有理镇定补偿器

讨论了具有公度时滞系统的有理函数镇定补偿器的条件和算法.在不含时滞的名义系统为最小相位的条件下,可设计一簇常数补偿器镇定具有公度的无限时滞系统;在不含时滞的名义系统可强镇定的条件下,可设计一簇有理函数补偿器镇定具有公度的有限时滞系统.给出了相应时滞补偿器的具体算法.设计者可从这簇补偿器中选取一个最优的补偿器满足特定的设计要求.     

装备保障战备评估指标体系的建立

装备保障战备评估是一个新的概念,建立装甲装备战各评估指标体系是装备管理中的一项重要工作,通过介绍战备、评估、战备评估的概念,分析了建立装备保障战备综合指标体系的必要性,围绕装备、器材、人员、设备、维修、战备方案、战备训练、战备设施等几个方面的内容,论述了建立装备保障战备评估体系步骤和方法,实现战各工作的全程量化管理.