Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

陆军师进攻战斗弹药保障辅助决策模型

本文依据师弹药保障的特点,通过对历次作战军械保障资料的统计研究,建立了动态自适应弹药消耗预计模型和弹药保障方案目标规划模型,并给出了计算机程序实现框图。     

利用层次分析法冗余性进行群体决策

指出层次分析法的冗余性,提出利用层次分析法的冗余性直接进行群体决策,检查群体意见一致程度的方法。     

装甲器材申请计划及辅助决策模型问题研究

通过对我军装甲装备器材管理体制中,器材计划请领与供给的现状分析,提出了运用运筹学的理论和方法,结合计算机信息化管理手段,探讨装甲装备器材消耗规律模型和进行申请计划辅助决策分析的一整套解决方案。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

制订科学的预防维修大纲加速维修管理科学化

本文探讨了欧洲国家维修团体联盟(EFNMS)第十次学术会议的主题——“维修——为了未来的投资”的意义和内涵.在此基础上,重点介绍了为获取此种投资效益所必需制订的预防维修大纲的方法及其理论依据.     

利用验前信息时，飞行器试验鉴定技术研究—— 一次现场试验下的精度鉴定方法

研究了具有验前信息下的飞行器落点精度的鉴定问题,适用于只作一次现场飞行试验的情况。文中给出了鉴定方案,并进行了风险计算和信度分析。对于一次试验结果与验前信息的一致性．给出了验证方法。本文所提供的理论方法,可用于一般武器装备系统的试验定型和鉴定。     

论面向决策的 C~2 系统设计

论述了指挥与控制系统面向决策的重要性和必要性,并在工程实践的基础上,对指挥与控制系统的决策、决策过程与结构、系统设计与系统评估等方面的主要问题作了进一步阐述与探讨。     

控制系统故障的智能诊断技术

综述和讨论了故障诊断的模糊逻辑法、神经网络法和模糊神经网络法,并对其研究情况作了展望。     

多目标数据关联及航迹管理建模与仿真

利用分布式推理判决理论较好地解决了数据融合中目标数据关联问题,并对目标航迹的真实跟踪概率（ＴＴＰ）进行了研究,在ＭｏｄｅｌＣ和ＭｏｄｅｌＤ假设的基础上给出了ＴＴＰ的计算公式,并利用ＴＴＰ对航迹进行了有效的管理。最后利用ＭＡＴＬＡＢ语言进行了仿真。