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²)的模型检测的可判定性结果.     

晋煤集团计算机网络安全探讨

分析了晋煤计算机网络存在的安全隐患，提出了9种确保晋煤企业计算机网络安全的技术措施。     

郑白五号

钙果为蔷薇科樱桃属欧李树种中的名果，果实酸甜可口，是理想的退耕还林经济林树种。     

载人飞船

载人飞船是保障航天员在外层空间生活、工作以执行航天任务并安全返回地面的一种大型航天器,又称宇宙飞船.它必须用火箭发射,在轨运行后经过制动,沿弹道式或半弹道式弹道穿过大气层,用降落伞和着陆缓冲系统实现软着陆.它运行时间有限,是仅能一次使用的返回型航天器.     

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

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