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

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

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

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

可修系统的一个模型

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

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

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

基于神经网络的8位A/D转换器的硬件实现

本文阐述了双极性信号的８位Ａ／Ｄ转换器的基本原理,给出了由Ｈｏｐｆｉｅｌｄ神经网络的原理电路逐步演化成实际电子线路的整个过程,并对实际硬件电路进行了计算机仿真,取得了满意的结果。     

化学事故后果的洗消处理

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

一个微机的温度控制系统

本文着重论述了在温度控制中的微型计算机硬设备及其接口电路。