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

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

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

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

可修系统的一个模型

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

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

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

平面交叉杆系变形协调普适方程及其通解

本文运用拓扑学、微分学、几何学的数学方法,捕捉到平面三交叉杆系的变形特点——拓扑特征.在小变形条件下,通过变换得到变形协调普适方程.从而推导出解此类拉压超静定问题的一种快速有效方法.该方法可直接应用于教学与工程计算.     

化学事故后果的洗消处理

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

论国防建设与经济建设的协调发展

国防建设的发展要以经济建设的发展为前提。经济建设是当前我国社会发展的主旋律,也是国防建设系统与其外部协调发展的最根本点。国防现代化不能等到工业、农业和科技现代化实现后再加强,而必须与其他“三化”同时进行,互相协调,按比例发展,共同保证国家综合实力的同步增长。我国国防建设的道路只能走“短缺自补型”之路:首先要合理调整国防资源流程,其次要充分利用市场经济的社会环境,开展生产经营创收活动。     

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

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

登陆战役后勤保障初探

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