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

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

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

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

可修系统的一个模型

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

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

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

军事通信网络监测自动化

本文从现代高技术局部战争的需要、战备值勤通信保障的需要及通信网络发展趋势等方面,论述了通信网络自动监测的重要性,同时,对我军建立通信网络自动监测系统的全面规划和实施要点提出了建议。     

化学事故后果的洗消处理

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

减速伞拉出时间测试误差的修正

减速伞拉出时间是描述低空低阻伞弹弹道特性的重要参数之一,在研究某低空低阻伞弹投弹表编拟方法时发现,拉出时间的测试数据有较大误差,制约着其它弹道参数的正确确定和投弹表的编制精度。笔者利用实测坐标数的差分特性对实测拉出时间进行了修正,该方法有利于提高投弹表编制精度和改进拉出时间的测试手段。     

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

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

登陆战役后勤保障初探

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