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

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

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

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

可修系统的一个模型

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

初中化学教育的新发展

对《九年义务教育全日制初级中学化学教学大纲》(以下简称《义务教育化学大纲》)的学习、贯彻、执行是化学教师当务之急.结合中共中央、国务院颁布的《中国教育改革和发展纲要》学习,我们深刻体会到义务教育化学教学大纲对转变教育思想、编写新教材、探索新的教学方法具有十分重要的意义.     

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

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

后勤保障良好率决策分析

后勤保障良好率是衡量后勤保障能力的一项重要指标。长期以来 ,无论是我军还是外军 ,都是凭经验来确定这项指标值 ,缺乏科学的理论依据。本文在统计分析的基础上 ,利用曲率计算的方法 ,在理论上合理地制定出后勤保障良好率指标 ,为科学决策提供了依据     

化学事故后果的洗消处理

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