两步进气下吸式固定床气化系统的设计、调试和运行

开发了一套原料处理量为25 kg/h的两步进气下吸式固定床气化系统,并对两步进气直筒形（Stratified）下吸式固定床气化炉的炉型、结构和主体尺寸以及焦油检测系统进行了设计,对鼓风机、引风机、出炭螺旋等关键部件的参数进行了计算。气化炉整体高度为2683 mm,气化炉有效内径为350 mm,所需引风量和鼓风量都是60 m3/h。采用木片为原料,通过冷态实验和热态实验对气化系统进行验证,验证了该气化系统完全满足设计和实验需要。通过对比两步进气和一步进气实验结果,发现两步进气法可有效提升炉体温度,显著提高可燃气中可燃气体组分含量和热值,并有效降低可燃气中焦油含量。     

箭型排布的矩形微槽平板上液膜流动特性

光滑平板降膜受表面张力和接触角的影响易收缩成溪流,导致传热表面出现干斑,为解决这一问题,提出箭型排布的矩形微槽平板。通过可靠的computational fluid dynamics（CFD）计算模拟两相流理论,建立三维非稳态平板降膜数学模型,研究了箭型排布的矩形微槽平板上的液膜流动特性,并探究了微槽宽度、深度及箭型夹角对液膜在平板上铺展效果的影响。结果表明：箭型排布的矩形微槽可有效增大液膜在平板横向的铺展面积,使液膜润湿面积增大,减少平板表面干斑;在120°箭型结构下,矩形微槽最优参数为宽0.5 mm,深0.3 mm,此时可将比湿面积由光板表面的62%~89%提高到84%~94%;低雷诺数时,120°箭型结构对液膜横向铺展引导效果显著,雷诺数增大时,90°箭型结构引导效果更好。     

两跨四支撑轴系转子低速动平衡实验研究

针对两跨四支撑汽轮机组、压缩机组等轴系中各跨转子动平衡合格,但安装试车后仍发生轴系不平衡振动故障的问题,研究各跨转子残余不平衡量耦联效应对轴系转子振动特性的影响。搭建了两跨四支撑（2N支撑）轴系实验台,模拟开机启动过程,实验对比了针对轴系转子系统的两种低速动平衡方式。实验结果表明,对两跨四支撑转子整体进行组合的低速动平衡效果优于对转子1、2单独进行低速动平衡。     

椭圆型方程两点边值问题的混合型高精度紧致差分格式

【目的】针对一维椭圆型两点边值问题,发展一种六阶混合型高精度紧致差分格式。【方法】主要利用泰勒级数展开和组合紧致差分格式(Combined compact difference,CCD)的思想,将未知函数和它的一阶导数、二阶导数作为未知变量,利用函数和各阶导数之间的固定关系,将原方程对一阶导数泰勒级数展开式中产生的三阶导数项进行替换,同时也利用了一阶导数和二阶导数的六阶组合紧致格式。它的特点是显式紧致差分格式和隐式紧致差分格式混合在一起。【结果】最终使得混合型紧致差分格式整体达到了六阶精度。此外,提出的格式还具有推导简便,易实现编程,且能直接推广到高维问题的优点。尽管格式是六阶精度,但与四阶精度格式一样,空间方向仅仅需要3个网格点,因此由格式生成的方程组可采用追赶法进行高效求解。【结论】最后通过对具有精确解的4个算例进行数值实验,数值结果验证了该格式的精确性和可靠性。     

柯西中值定理"中间点"的渐近性研究

在无穷区间上研究柯西中值定理"中间点"当x→+∞时渐近性态,在一定条件下,建立了柯西中值定理"中间点"当x→+∞时一个新的渐近估计式,并举例说明所得结果的有效性以及其应用的广泛性,从而推广和改进了有关文献中的结果.     

一类四阶微分方程Neumann边值问题正解的存在性

运用锥上的不动点指数理论获得了四阶Neumann边值问题 y(4)(x)+(k_1+k2)y″(x)+k_1k2y(x)=f(x,y(x)),x∈[0,1], y′(0)=y′(1)=y(0)=y(1)=0 在条件k₁2<0下正解存在的最优条件,其中f∈C([0,1]×[0,∞),[0,∞))。     

云环境下安全外包椭圆曲线点的乘法

云计算是一种新兴的计算模式,它为云用户提供了强大的计算环境,但同时也引起了用户安全性和隐私性问题的关注.模幂运算是大多数现行的密码系统的基本运算之一,也是公钥密码系统在计算资源限制型设备上的计算瓶颈所在.使用传统的平方-乘算法计算一个n比特的指数的模幂运算,平均需要1.5n个模乘,对于资源有限型用户(或设备,例如智能卡)来说,这个计算量是个很沉重的负载.外包计算是云计算模式的优点之一,它使得云用户的计算能力不再受限于各自的资源约束型设备,通过外包工作负载给云,云用户可以使用云提供的无限资源来完成高代价的计算.本文围绕"外包模幂运算"这个问题展开研究,为椭圆曲线的点的乘法的计算问题,提出了一个安全的外包计算方案,并且将本文的方案应用于加速椭圆曲线数字签名的验证.     

CCD摄像机标定中角点亚像素定位方法

CCD摄像机的标定是实现光学三维轮廓测量技术的必要步骤,其标定精度在很大程度上取决于标定特征点的定位精度.在分析现有棋盘格角点像素级和亚像素级定位方法不足的基础上,提出了一种基于改进SV方法的棋盘格角点亚像素定位方法.首先,采用SV算子对角点进行像素级检测;其次,选取标定图像中以初定位角点坐标为中心的5×5像素区域,对其灰度值进行双线性插值;最后,计算插值图像的灰度质心,再根据插值放大倍数,将质心转换到亚像素坐标,实现了角点亚像素定位.实验结果表明,该方法可以获得亚像素级角点坐标,实现CCD摄像机的高精度标定,标定平均误差为0.108 mm.     

离群点分析在高校能耗监控系统中的应用

节能是当今社会面临的重大课题,高校作为能源大户以及教书育人的基地,必须在能耗监控系统中起到领先示范的作用。在节能分析系统中,能耗的预警预测是关键,因此,异常点的发现与分析,为预警提供了直接的依据,是整个系统的基础。在数据挖掘中,离群点检测分析可以通过多种方法实现,本文应用了基于统计分布的离群点检测方法,但由于在实际情况中,能耗数据的变化与社会各类群体的生活习性、工作周期相关,这些复杂性决定了在数据分析中,只能根据实际的业务来检验分析结果的正确性。本文通过对某高校的能耗进行基于统计分布的离群点分析,并结合校园能耗规律,得出在高校中能耗的异常情况并报警,以达到节约能耗的目的。     

两点分数阶微分方程耦合系统边值问题的解

讨论一类非线性分数阶微分方程耦合系统的两点边值问题,应用Green函数将微分系统转化为等价的积分系统,应用不动点定理证明系统正解的存在性和唯一性,并给出系统无解的充分条件。