爆炸沸腾研究进展

分析讨论了液体过热极限、汽泡内压力等爆炸沸腾的重要参数 ,综述了三种主要实验方法 ,提出了有待进一步研究的问题 .     

积极推进部队思想政治教育载体创新

面对信息技术迅猛发展的新形势,必须积极推进部队思想政治教育的载体创新,增添思想政治教育的时代元素,拓展思想政治教育的实践平台,强化思想政治教育的育人功能,构建思想政治教育的崭新格局。     

常温原位发蓝研究

依据表面氧化及化学镀的科学理论,研究了常温原位发蓝剂及原位发蓝１艺,适用于钢铁件、铸铁件发蓝。尤其是采用电化学方法进行耐蚀性能评定,其综合性能达到传统高温发蓝技术指标,适用于各种类型钢铁件的表面处理。     

几何凸集中一个递归关系的建立与求解

几何凸集中递归关系的建立是求解问题的关键。本文对一个定理中递归关系的建立给出了容易理解的详细表述,然后利用生成函数法求其解。     

铁红—酚醛船底漆中缓蚀剂的研究

在铁红—酚醛船底漆中,加入一种羧酸类化合物或一种肟类化合物作为涂层缓蚀剂,经电化学方法评定,证明它们在3％的NaCl溶液中的耐蚀性能,较之未加缓蚀剂的涂装钢样均有不同程度的提高。     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

威布尔过程模型在机械系统可靠性中的应用

为了研究复杂可修系统的规律,应用威布尔过程模型,得出这样结果,即提出一种定量描述预防性维修质量的方法,并对MTBF进行了分析。可以这样认为,模型参数在实际工作中有很广泛的应用。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

船舶供配电网络监控器设计

对船舶供配电网络的检测与控制进行了分析讨论,设计了电网监控器的硬件与软件。实验表明,该监控器工作可靠,能较好地完成各项功能要求,具有较高的实用价值。     

导弹气动参数的分割法辨识

介绍了分割辨识算法及其在导弹气动参数辨识中的应用,并以某导弹为例,采用分割辨识算法对其气动参数进行了估计。仿真计算表明,分割辨识算法计算量小、计算速度快,且精度满足要求。