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

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

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

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

可修系统的一个模型

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

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

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

化学事故后果的洗消处理

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

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

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

登陆战役后勤保障初探

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

登陆战役实施初期的财务保障

高技术条件下的渡海登陆作战是一种有待于我们着力研究的新战式。针对渡海登陆作战的特点,确定财务保障的原则,探寻财务保障的方法,是摆在全军财务干部面前的新课题。文章在分析了登陆战役实施初期财务保障特点的基础上,提出了财务保障的四条基本原则。并认为登陆战役实施初期财务保障必须周密计划,充分准备,努力增强应急保障能力;多种渠道,广泛筹资,确保战费的需要;联合供应,动静并存,实施连续不断的经费供应;统一标准,理顺关系,提高经费保障的准确性和有效性。     

浅谈改进现行军费供应方法

我军现行的军费供应方法基本上是在计划经济体制下建立起来的。在社会主义市场经济新形势下,随着军费运动外部环境的重大变化,军费运动的各个环节必须进行相应的调整,以适应新的要求。本文在分析了现行军费供应方法存在不足的基础上,认为军费供应方法要适应军费活动的客观要求,必须采取以下改进措施:合理划分实物供应与经费供应的范围,建立健全军费供应标准化体系;完善经费供应包干责任制;军费逐步实行划区联勤供应。