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

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

精确制导武器的关键技术和战略发展方向

本文分析几次局部战争中精确制导武器运用情况,预测了未来可能发生的战争战场环境,论证精确制导武器的地位和作用,剖析精确制导武器的主要关键技术,提出综合利用多敏感器信息融合技术提高武器性能的方法,以及实现精确制导武器智能化的技术发展方向和需要解决的主要技术问题。     

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

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

可修系统的一个模型

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

未来的导弹技术

本文综合报道了美英法等国在几种新的技术领域发展和改进导弹的情况,对未来导弹技术作了展望。     

战术导弹垂直发射技术的发展及未来对策

文章通过弹道式战略导弹垂直发射技术向战术导弹转移的经历,论述战术导弹垂直发射技术的优点、初制导控制特点及其在发射技术中的战略地位和未来对策。     

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

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

化学事故后果的洗消处理

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

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

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