“变截面管中跨声速气流”一文引理的证明

本文对T·P·Liu教授关于“变截面管中跨声速气流”一文的关键性引理给出一个清楚的证明,以使这篇有影响的开创性论文更加完美。     

波函数及其一阶微商的连续性

从薛定谔方程出发,依据数学原理对波函数及其一阶微商的连续条件作出严格的推证,得出波函数及其一阶微商连续的条件为:当势函数连续时,波函数及其一阶微商均连续;当势函数不连续时,若在其间断点的某一邻域内势函数有界,则波函数及其一阶微商连续.若在其间断点的某一邻域内势函数无界,则波函数及其一阶微商可能连续,也可能不连续.     

具有非单调间断集值映象的广义似变不等式

在拓扑向量空间的非紧设置下对广义似变分不等式ＧＶＬＩ证明了解的某些存在性定理，其中Ｔ：Ｘ→２＾Ｆ可以是非单调间断集值映象，η和ｈ可以是间断单值映象。作为特殊情形，可得到若干最近结果的改进和推广。     

间断界面上挥发性污染物传质研究

为研究间断界面动力学特性对挥发性污染物在间断界面上传质的作用,在 VOF 方法基础上,建立了忽略化学反应的挥发性污染物三维瞬态水气耦合迁移模型;在模型求解过程中,考虑水气大密度差的作用,提出全量限定离散格式。结果表明：乙醇溶液传质的数值计算结果与试验结果吻合较好;初始能量越高的水流,遇到障碍物后间断程度越高;间断程度的提高促进了挥发性污染物界面传质过程;高频水波带动空气中污染物迁移,空间上污染物浓度的波动频率随间断程度的增高而增高。     

具有间断系数的椭圆初边值问题的紧差分格式

对间断系数是常数的一维椭圆初边值问题建立了一个紧差分格式,利用矩阵分析法证明了差分格式解的收敛性,并给出了收敛阶数为O（h3）.     

拟线性Volterra积分微分方程的hp-时间间断Galerkin方法

用hp-时间间断Galerkin方法讨论拟线性带弱奇异核的Volterra积分微分方程.利用线性化手段对原问题进行处理.证明了原问题和线性化问题是等价的,给出了有限元解的L2模误差估计.     

A New Thread Guide Mechanism of Rubbed Roving Frame

A new thread guide mechanism of a rubbed roving frame is developed, which consists mainly of a plate cam, a linkage and an air bag spring. Characteristics and design parameters of the air spring are explored in this study. Based on analyses of winding technology for this kind of package, the kinetic laws of the thread guide is put forward. General design equations of the cam profile are derived, and common kinetic laws of II linkage group which is used for such mechanism design is proposed. It proves theoretically that it is practicable. The experimental results indicate that it can meet the needs of technological demands, and the new thread guide mechanism has been used successfully on textile machines.     

产气式快速密闭气囊研究

采用产气方式研制的产气式快速密闭气囊,由触发器、产气器和气囊组成,在面积7.2 m2半圆拱型巷道进行的实验表明,能耐温250℃,承受1 500 Pa通风压力,漏风率小于5%,安设时间小于1 min.产气式快速密闭气囊用于煤矿井下火灾区域的快速密闭,能有效隔绝火区空气,防止有毒气体及火区高温对永久密闭作业人员的伤害.具有耐高温、漏风率小、操作方便、安设时间短等特点.     

铜绿微囊藻气囊蛋白GvpW的异源表达纯化与晶体生长研究

铜绿微囊藻(Microcystisaeruginosa PCC 7806)是我国淡水湖泊生态系统季节性蓝藻水华爆发的最优势藻种,其爆发的机制之一在于气囊,它是一种充满气体的蛋白质性质的亚细胞器结构,可为藻细胞提供浮力,调节藻细胞在水体中的位置以利于生长和后续的生境殖民化。铜绿微囊藻的气囊合成涉及14个气囊蛋白,但大部分气囊蛋白在气囊合成过程中的具体分子功能尚不清楚。对其中一个气囊蛋白GvpW进行了分子克隆,利用原核表达系统在体外进行了异源表达,结合镍柱亲和层析和凝胶过滤层析纯化出了高纯度的GvpW,运用动态光散射和化学交联证实在体外纯化后的GvpW是呈单体状态,同时通过晶体初筛和优化获得了生长较好的蛋白质晶体。这为后续解析GvpW的三维结构及在分子水平直观探讨其在气囊合成中的生理功能奠定了基础。     

一种间断观测下的无人机地面目标跟踪方法

提出了一种基于贝叶斯滤波器和适航地图的跟踪算法(BF-Hmap),解决间断观测下的无人机地面目标跟踪问题.采用基于中心线和梯度图的快速道路提取算法生成目标适航地图,该图描述了地面目标与当前地形相关的运动能力.采用贝叶斯滤波器分两步在线更新目标状态的后验概率分布,即在预测阶段考虑适航地图对目标运动的约束,以及在估计阶段充分利用目标的所有观测信息.仿真结果表明,在间断观测下该算法对地面机动目标有着良好的跟踪效果.