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

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

陕甘宁老区实施生态购买工程可行性分析

通过实际调研，以集革命老区、贫困地区、水土流失严重地区及生态环境脆弱区域于一身的陕甘宁老区为例，探讨西部大开发中生态环境建设的最佳途径，认为陕甘宁老区的生态环境建设必须是一种经济建设，即建设“商品生态”和买卖“生态商品”，通过“生态购买”实现“生态致富”。论述了实施生态购买工程的必要性和可行性，建议国家启动生态购买工程。     

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

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

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

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

过渡金属表面反应能量学计算系统的开发

利用VB6．0和Access7．0开发了过渡金属表面反应能量学的计算系统．该软件基于UBI-QEP的理论方法．采用模块化设计．其功能模块有3个：(1)数据库模块．利用该模块可以实现气相解离能以及小吸附基团在各种过渡金属表面吸附热的查询、添加与修改；(2)化学吸附热计算模块，利用该模块可以调用数据库中的数据对吸附基团在不同吸附方式的吸附热进行计算；(3)基元反应的活化能垒计算模块．利用该模块可以对基元反应的活化内能进行计算，进而分析其反应的难易与历程．该系统实现了UBI-QEP的理论方法计算的程序化，可用于多相催化反应的催化剂优选和机理探讨．     

红壤丘陵区生态系统恢复土壤理化特征

以千烟洲试验站为例，通过对红壤丘陵生态系统恢复及不同土地利用方式下的土壤的理化性状及养分状况分析。结果表明，在不同土地利用方式下，土壤环境化学特征存在显著性差异，土地利用方式对红壤丘陵生态恢复有重要影响，调整土地利用方式是改善土壤环境的重要途径之一。     

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

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

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

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

静电键合用微晶玻璃的研究

采用传统熔体冷却方法,研究以TiO2为成核剂、以Li2O Al2O3 SiO2为基础组成的玻璃的制备工艺;根据差热分析(DTA)的结果确定玻璃的核化与晶化温度,然后针对基础玻璃组成,采用二步热处理方法获得透明的微晶玻璃;用X射线衍射分析(XRD)和扫描电子显微镜(SEM)对晶化试样的物相和显微结构进行研究;用热膨胀仪测定玻璃在热处理前、后的热膨胀系数;用绝缘电阻测试仪测试该微晶玻璃的电阻率.研究结果表明:微晶玻璃的主晶相为Al2O3·TiO2微晶体,次晶相为ZnSiO3;微晶玻璃与硅片有相近的热膨胀系数,约为32.5×10-7/℃;微晶玻璃晶化后的电阻率较低,为6.8×1010Ω·cm.     

Weierstrass不等式的加强与推广

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