矿山巷道支护用热轧25U型钢的开发

简要介绍了莱钢中型型钢生产线的概况 ,以及采用万能轧机生产矿山巷道支护用热轧 2 5U型钢的工艺技术要点、孔型设计和生产情况。     

工字钢孔型设计专家系统的研究

本文研究了工字钢孔型设计专家系统设计思想和实现方法，重点讨论了知识获取，知识表示、知识推理等建立工字钢孔型设计专家系统的关键技术。并开发出了工字钢孔型设计专家系统软件，能独立完成孔型设计，进行孔型设计优化，得到满意解。     

Using static suffix array in dynamic application: Case of text compression by longest first substitution

Over the last decade, enhanced suffix arrays (ESA) have replaced suffix trees in many applications. Algorithms based on ESAs require less space, while allowing the same time efficiency as those based on suffix trees. However, this is only true when a suffix structure is used as a static index. Suffix trees can be updated faster than suffix arrays, which is a clear advantage in applications that require dynamic indexing. We show that for some dynamic applications a suffix array and the derived LCP-interval tree can be used in such a way that the actual index updates are not necessary. We demonstrate this in the case of grammar text compression with longest first substitution and provide the source code. The proposed algorithm has O(N²)$O(N^2)$ worst case time complexity but runs in O(N)$O(N)$ time in practice.     

基于字典学习的遥感图像去模糊研究

对高分辨率遥感图像进行去模糊是遥感研究中的一个主要难题,针对此提出了一种新的基于稀疏表示的高分辨率遥感图像去模糊算法。该算法利用快速梯度投影算法实现去模糊,并且保留原图像的有用信息。通过对"高分一号"获取的遥感图像进行验证,表明该算法能较好地滤除遥感图像的模糊,提高图像的峰值性噪比,且比其他字典学习算法具有更好的性能。     

高斯渐进贝叶斯滤波器

渐进贝叶斯方法将先验分布到后验分布的演化描述为一阶动态系统,通过在伪时间上连续地引入观测信息实现后验状态估计.该方法的一般形式解,即动态系统的时间导数,是难以得到的.本文提出一种高斯型渐进贝叶斯滤波器.首先在线性高斯条件下推导了时间导数的解析解;然后证明了在该条件下,由该解析解确定的一阶动态系统与常量状态估计的Kalman-Bucy滤波器是一致的,且由此导出的高斯渐进贝叶斯滤波器与卡尔曼滤波器是一致的.最后利用一阶Taylor展开推导了滤波器在非线性高斯条件下的近似解表达式,并采用Monte Carlo方法给出了具体实现方法.通过若干仿真算例表明,新滤波器具有较高的精度,且在一定精度条件下的时间复杂度低于一般粒子滤波器.     

非开挖电力竣工管道铺缆回拖力测试仪

针对电力竣工管道铺设电缆时回拖力测试的需要,设计了一种铺缆回拖力测试仪,仪器由机械结构、数据处理电路及上位机软件组成。仪器随电缆从管道始端至终端拖行,期间将整个施工过程中的回拖力采集并存储起来,施工完毕后通过上位机软件将仪器内存储的数据读出,进行进一步的分析、处理及显示。仪器加工完成后进行了大量的室内外实验,实验结果显示：仪器符合实际施工测试要求。     

GPU加速在第一性原理输运研究中的应用

分子器件中的第一性原理输运计算比普通的密度泛函计算要慢很多,其最根本原因在于密度矩阵计算方法的不同。本文将 GPU 加速应用于第一性原理的输运计算,重点实现相关矩阵运算的加速。测试结果表明,在单次迭代中,对于较大的体系,相对于调用 MKL 库,密度矩阵的运算速度在单个 Tesla M2090 可以提高一个数量级以上,在 Tesla K20m 上则可以提高 20 倍以上,从而取得了很好的加速效果,而且体系越大,加速效果越好。     

Measurement feedback control for a class of feedforward nonlinear systems

We propose a measurement feedback controller for a class of feedforward nonlinear systems under sensor noise. The sensor noise has unknown magnitude, frequency, and phase. Our proposed controller is coupled with a low‐pass filter in such a way that the sensor noise is attenuated. We show that the controlled system results in bounded states whose ultimate bounds are inversely proportional to the minimum frequency of the sensor noise. Our result is further generalized to work in a case where the sensor noise is only required to have a Fourier transform with finite energy. Moreover, if the sensor noise enters only at partial states, depending on the location of the sensor noise, the ultimate bounds of the particular states can be made arbitrarily small via the gain factor of the controller. Copyright © 2012 John Wiley & Sons, Ltd.     

Research Partners,Teaching Partners: A Collaboration between FYC Faculty and Librarians to Study Students’ Research and Writing Habits

In Spring 2012, instruction librarians collaborated with first year composition (FYC) faculty to study students’ research habits as they related to writing. We collected process narratives from students in the introductory FYC course at the beginning and end of the fall semester, and a group of librarians and FYC faculty coded them together. Although we did not achieve one of our initial research goals, we still gained valuable insight into how our students perceive sources and the research process. We applied what we learned to create new instructional materials and developed a valuable relationship with FYC faculty.     

大型抽水蓄能电站首机首次启动试验方式选择研究——水泵工况启动试验方式关注的主要技术问题

对大型抽水蓄能电站首机首次水泵工况启动试验方式关注的主要技术问题,重点研究了9个技术难点和特点问题,提出分析意见和风险性评估。