网络化时代高校专业资料室建设的探讨

该文在对专业资料室的职能特点进行介绍的基础上,分析了网络化时代专业资料室建设面临的困境;最后提出了网络化时代专业资料室建设的几点思考。     

吸水剂造林刍议

论述了吸水剂造林国内外发展概况，吸水剂主要性能及吸水剂造林方法。应用吸水剂造林，可提高土壤的水分含量，保持土壤水分，改善土壤结构，促进土壤中的水、气、热等因子的进一步改善，有利于树木成活和生长发育，提高造林成效。     

小波变换在检测粘接件信号特征中的应用

在对金属与非金属粘接件性能检测的分析处理中，应用小波变换的方法对这种非平稳过程的信号进行分析，有效提取了性能检测所需要的特征参数，为提高金属与非金属粘接件性能检测的准确率和效率奠定了基础。     

喷涂掘进煤巷抑制瓦斯涌出的研究

通过喷涂煤壁可抑制瓦斯涌出原理，建立了瓦斯在煤体与喷涂层中渗流传质的物理数学模型，得出煤壁喷涂前后瓦斯渗流压力的分布及瓦斯涌出量随煤层透气系数的变化规律，提出了煤层透气系数的测定方法及喷层厚度的计算方法，揭示出喷层厚度与喷层的透气性及喷层与煤壁的粘结应力的相互关系。     

射线检测系统的优化设计

射线检测，系统优化目的是能在检测过程中检测到尽可能小的疵病，因此，在对系统进行优化设计中，灵敏度是最重要的指标之一，也是我们最关心的参数，先对影响灵敏度的成像环节进行系统优化的讨论，并从透照电压、影像的降噪技术、补偿技术等方面进行优化研究，得出了一些有益的结论．     

钢闸门结构时变刚度模型及其可靠度评估

基于可靠性原理，建立了水工钢闸门结构正常使用极限状态刚度可靠度分析的极限状态方程，提出了钢闸门结构刚度可靠度分析的3种计算模式．对影响钢闸门结构构件刚度衰减的主要因素——钢材锈蚀进行了统计分析，得到了锈蚀规律，并进一步分析得到了闸门构件刚度的衰减模型．以受弯构件为例，采用JC法对其刚度可靠指标进行了计算分析．结果表明，其刚度可靠指标满足结构可靠性总原则的要求，且露顶门的刚度可靠指标大于潜孔门的刚度可靠指标，从而初步确定了现行水工钢闸门设计规范正常使用极限状态的刚度目标可靠指标。     

吊舱对螺旋桨水动力性能的影响

基于单桨式吊舱推进器定常水动力性能的理论计算方法及试验，探讨了吊舱对螺旋桨水动力性能的影响。性能理论计算中螺旋桨采用升力面理论涡格法，吊舱采用面元法，对螺旋桨与吊舱的相互影响进行了时间平均及迭代处理。通过计算分析了吊舱对桨叶载荷分布的影响，以及吊舱引起的伴流分布特性。     

不同增长趋势下中长期电量预测组合优化灰色模型

针对中长期电量预测中时间跨度大、电力需求增长不确定的特性，根据不同时期的增长率，运用灰色理论进行优化分段预测，同时引入组合模型的概念，建立了以残差平方和最小为目标函数的组合优化模型，并运用二次规划法求解，算例证明，该方法能得到较高精度。     

基于晶粒尺寸的结构钢热变形流变应力数学模型

从晶粒尺寸角度出发，提出晶粒形变度的概念，建立了一个用以描述金属材料热变形行为的数学模型，具有精度高、简单直观、受分界点影响小且计算曲线连续等优点．该模型具有一定微观物理基础，既能描述动态再结晶前的强化阶段，又能描述动态再结晶后软化阶段的热变形流变应力，对两种结构钢的热变形流变应力进行了计算，并与试验值及其他模型的计算结果进行了比较．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．