一类二阶奇异边值问题的正解

证明了一类与一阶导数x有关的二阶奇异边值问题正解的存在性，这里的奇异问题是指在x=0和x′＝0是奇异的。     

线性拟等重码的检错性能

线性拟等重码是一类特殊的等重码，文中利用码等价和线性拟等重与一阶R—M码的关系研究了线性拟等重码的检错性能；并证明了一类特殊的二元线性拟等重码是最佳检错码，并因此得出延长Hamming码是最佳检错码。     

n元一次不定方程整数解的矩阵求法

利用矩阵的初等行变换，较简便求解一次不定方程的整数解，并且用矩阵给出其通解公式。     

H2在金属钾修饰碳纳米管上的吸附与储存

利用高压容积法、辅以卸压升温脱附排水法,测定金属钾修饰多壁碳纳米管(K~0-MWCNTs)对H_2的吸附储存容量。结果表明,在室温(～25℃)、～7.25MPa实验条件下其对氢的吸附储存容量可达3.80％(质量百分数);室温下卸至常压的脱附氢量为3.36％(占总吸附氢量的～89％),后续升温(升至673K)的脱附氢量为0.41％(占总吸附氢量的～11％)。     

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

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

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

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

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

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

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

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

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

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

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

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