汽轮机湿蒸汽两相流中水滴尺寸研究进展

综述了国内外湿蒸汽两相流的理论和实验研究进展，分析了目前湿蒸汽中水滴尺寸研究的状况和遇到的困难，并详细介绍了能同时测量一次水滴和二次水滴的集成化探针，给出了在电厂350MW汽轮机上的测量结果．     

简洁含蓄的语言丰富深刻的内涵--论海明威的《一天的等待》的写作手法

《一天的等待》是一篇大家都比较熟悉短篇小说。这篇小说从表面上看来普普通通、简简单单，但是这平凡的外表下面却深藏着丰富深刻的内容。作者正是凭着他扎实的含蓄艺术，以简洁含蓄的语言来表达那丰富深刻的内容。     

一维抛物型方程参数识别反问题的数值解法

以函数逼近和Tikhonov正则化为基础，利用算子识别摄动法和线性化技术提出求解一维抛物型偏微分方程参数识别反问题的迭代算法，拓宽了求解此类反问题泛定方程和初边值条件的适用范围。数值模拟的结果表明，用此迭代法求解参数识别反问题具有数值精度高、稳定性好、收敛速度快的特点。     

轴承-转子系统动态特性研究的数值方法

采用集总质量法、梁单元法和有限元法3种数值方法研究轴承-转子系统动态特性。数值结果表明，有限元法能够高精度地分析系统固有频率和模态振型，为轴承-转子系统提供了设计依据并为油膜力、电磁力支承的轴承-转子系统奠定了理论分析基础。     

应用于加速器驱动次临界系统的程序开发

开发了应用输运理论方法的两套程序系统：蒙特卡罗－燃耗程序系统和输运－燃耗程序系统。针对蒙特卡罗程序不能计算燃料的同位素成分变化，提出将它和燃耗计算程序耦合以完成燃耗计算。燃耗程序所使用的单群截面由蒙特卡罗程序计算。将用于常规反应堆的计算方法和策略推广到输运－燃耗程序系统，这使得计算步序大大简化，并改进了精度。对加速器驱动次临界系统的基准题进行了校核计算，其结果和其他国家的计算结果符合良好，这表明所提出的计算方法与程序系统是成功的。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

用方向导数分析JC法的误差

用一次二阶矩法求工程结构的可靠度会产生误差 ,这误差产生的原因是将极限状态函数在验算点处的泰勒级数仅取线性部分来近似 ,本文用二阶方向导数分析这误差对工程的影响 .     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

Weierstrass不等式的加强与推广

给出Weierstrass不等式的加强与推广形式，并利用该结果建立两个条件不等式。     

一阶电路三要素法的另一种形式

给出了一阶电路暂态过程三要素法的另一种形式，避开了作ｔ＝０＋时的等效电路，使求解过程更加简单。