逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

实时图像的采集与显示

本文介绍了一个实时图象采集与显示系统,较为详细地说明了系统的工作原理,分析了各部分的实现过程。特别是本系统中引入多体存储器存储图象的方法,改善了数据接口的带宽,实现了图象数据采集、存储、传送的实时操作。     

炸药热安定性的快速评定方法

本文分析了量气法和热分析法评定炸药热安定性的问题,提出把由一条DSC曲线测得的热分解动力学参数引入热平衡方程,以数值模拟方法计算出炸药在一定环境温度下的热爆炸延滞期,并据此判别炸药热安定性的观点和方法。经实验验证,该方法快速、准确。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

谈《撞击底火模拟靶场试验方法》标准的应用

介绍WJ 2103-93《撞击底火模拟靶场试验方法》应用的必要性、特点、意义及效果等。     

地对空雷达对抗的压制概率和干扰任务分配

本文引进压制概率这一概念作为衡量雷达对抗作战效能的数量指标 ,给出了地对空雷达对抗压制概率的计算方法。利用搜索论、规划论、雷达原理、雷达对抗原理建立了一个地对空雷达对抗干扰任务分配模型     

化学事故后果的洗消处理

阐述了化不事故后果洗消处理的必要性现状,对洗消方法,洗消前的准备及几类化学事故的应急处理方法进行了较为详细的讨论。     

论军队房地产经济学的对象内容和研究方法

军队房地产经济学以军队房产经济与军队地产经济为对象,研究军队房地产经济运行及其规律,是多学科交叉的新兴部门军事经济学科。主要内容包括军队房地产在军队经济中的地位和作用;军队住房房产运行中的军事经济关系及其运动规律;军队非住房房产的军事经济属性;军队房产管理的职能等。可通过抽象法、实证方法与规范方法等研究方法进行研究。     

登陆战役后勤保障初探

高技术条件下,登陆战役后勤保障具有保障技术含量高、指挥协同复杂、保障行动受限、战争消耗剧增、后方防卫艰苦和支前依赖性大的特点。在这种情况下,后勤保障必须坚持“整体谋划,统分结合,密切协调,合力保障”的基本指导思想;实行三军协调的联合保障,科学运用保障方法;明确保障重点,优先保障急需;实行“动静”结合,灵活组织后勤;搞好军民合作,充分发挥“军民一体”的保障优势;“保”、“防”兼备,拓开后勤保障功能,建立快速高效的后勤保障体制。