命题演算中逻辑推理的推导法

本文由命题的等价性及蕴含性，提出证明命题的推导法，并以例说明。该法则的引用，使命题的逻辑推理运算将更加简单、明确、易掌握     

综合录井系统软件的开发

研制并开发了实时联机、实时监控和脱机处理一整套综合录井系统软件。该系统通过采集现场的模拟信号与数字信号，实时监测钻井参数和油气显示情况，经过对存储数据处理，实现对油气层的综合评价，简要介绍了整个系统的组成、软件的设计方法和各部分的功能，描述了脱机处理软件内容，并对部分脱机应用软件的功能进行了较为详细的说明。     

圆形贫化电炉熔池内电场和温度场的数值计算

从麦克斯韦方程组出发推导了圆形三电极贫化电炉熔池内电传导方程，提出了炉渣湍流导热系数概念和估算方法．运用这一方法可大大简化温度场的计算过程．作者还研制出圆柱坐标系下电炉熔池内电场、温度场解析程序，可迅速解出炉内电场、温度场的分布     

大气有效发射率与水汽和CO2的纬带关系研究

根据水汽和ＣＯ２的辐射传输和它们的纬带分布观测值，建立了一个大气有效发射率εａ，与大气中的水汽含量Ｗａ和ＣＯ２含量ｃ的半经验公式。该公式对于把水汽和ＣＯ２对气候的温室作用纳入气候模式或地球表层动力学模式十分有用。     

超临界CO2提取树兰花浸膏

在３３－５５℃，１０．０－２４．０ＭＰａ范围内测定了超临ＣＯ２对树兰花浸膏的溶解度，研究了传质过程的影响因素。树兰花适当粉碎，能有效地提高过程传质速率，提高产品收率；超临界ＣＯ２中溶质浓度随ＣＯ２的停留时间增加而增加。     

大型汽轮发电机饱和对扭振计算的影响

就大型汽轮发电机模型中饱和参数对汽轮发电机组轴系扭振响应计算的影响进行了详细的研究．运用２Ｄ－ＦＥ方法计算了汽轮发电机的稳态、暂态饱和参数，提出了新的饱和修正系数；研究表明，在计算汽轮发电机组轴系扭振时，必须考虑发电机饱和效应的影响     

铌对高铬白口铁组织和硬度的影响

本文主要论述了以奥氏体及索氏体为基体的高铬白口铁的组织和高温硬度。研究结果表明，铌的加入能有效地提高高铬白口铁的高温硬度。     

轿车轮毂轴承制造新工艺设计

本文从工艺理论和实际出发，设计了内、外套圈加工新工艺和轴承组装新工艺，很好地解决了目前轿车轮毂轴承制造中存在的问题，可行性良好。     

水平管内气液两相族流的流型及其变化规律

在水一空气两相流实验台上对水平管内由切向喷射方法产生的气一液两相切向旋流的流型进行了细致的观测和分析，发现并定义了水平管内两相旋流的５种流动状态，分析了其流动特点；研究了入口气／水流量、旋流强度以及溢流出口溢流现象等因素对流型变化规律的影响，并与无旋两相流的有关研究结果进行了比较．     

辽宁珍稀鸟类

辽宁分布鸟类368种,其中国家一级保护鸟类12种、二级保护鸟类55种,中国特产鸟类6种.本文论述了辽宁地区的珍稀鸟类及其分布.