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

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

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

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

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

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

冲激雷达抗 RAM能力的实验研究

本文用实验方法从频域和时域两个方面研究了涂覆吸波材料目标的电磁散射,结果表明超宽带信号比常规雷达的窄带信号对付涂覆吸波材料目标有10～12dB好处,说明超宽带信号的确具有抗窄带吸波材料的良好能力。     

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

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

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

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

水陆坦克分队突击上陆阶段火力运用

分析了水陆坦克分队渡海登岛作战突击上陆阶段,战场环境影响射击的有利和不利因素,结合蓝军假想的防御阵地编成、工事构筑、障碍物设置及装备性能等海岸防御的特点和红军水陆坦克不同作战环境下,各弹种对假想蓝军不同目标的射击分析,提出水陆坦克分队突击上陆各时节的火力运用方法和需要注意的问题.     

油-水旋流器颗粒体积分数及粒级效率数值模拟

为了研究油-水旋流器颗粒体积分数分布规律,应用计算流体力学数值模拟软件CFD,将湍流雷诺应力模型和多相流混合模型相结合,分别对单一直径颗粒分散相和由不同直径颗粒组成的分散相中颗粒体积分数和粒级效率进行模拟计算,得到油相云图、颗粒体积分数和粒级效率曲线。对比分析结果表明:油-水分离主要在锥段进行,轴心油核的大小随颗粒直径的变化而不同;大颗粒受到径向力作用大,容易分离;小颗粒受到水相阻力作用大,易从底流口排出;颗粒直径越大,分离效率越高。该结构旋流器对直径大于30μm颗粒分离效率较高。     

微型波力发电装置的捕浪器研究

针对漂浮式微型波力发电装置,根据弗汝德·克雷洛夫假定法对几种常用形状浮子所受波浪力的大小进行了计算,得出垂直圆柱形浮子吸收波浪能效果最佳的结论;运用装置和浮子共振时吸收能量最大的原理,对垂直圆柱形浮子的基本参数进行了研究,为漂浮式微型波力发电装置捕浪器浮子的设计打下了基础。