带有重积分型余项的泰勒公式及其证明

本文给出了带有重积分型余项的泰勒公式,并用著名的牛顿-莱不尼茨公式加以证明,同时得出了几点结论.     

一类含部分非线性状态系统的稳定条件

研究了一类非线性系统的稳定性问题.利用一种正定连续可导的Lyapunov函数,证明了在系统平衡点附近全局渐近稳定的充分条件.又根据Lyapunov的二乘形式推证判别系统稳定的充要条件.     

基于解析振速的ESPRIT算法

基于声矢量传感器在二维平面波入射时的输出信息,提出了其"解析振速"的输出模型,将目标的方位信息蕴含在输出信号的相位之中,并由此得到了矢量阵的输出模型.当ESPRIT算法应用于矢量阵时,由于矢量阵的内禀属性,旋转矩阵不再与阵型和信号的频率有关,只与目标方位信息有关,从而能够实现任意阵型全空间的无模糊测向.理论分析和仿真表明:本算法无需先验已知阵型;单声矢量传感器也可以应用ESPRIT算法,且此时其性能逼近克拉美-罗界.湖试表明本算法是有效的.     

用离散小波变换对格网DEM数据压缩中的关键技术

DEM数据具有不稳定、相关性差的特点,用离散小波变换对格网DEM数据进行压缩处理时,其边界问题将更为突出,主要表现在边界失真非常严重.这种现象不可避免地导致重建DEM数据精度的损失严重.为了最大限度地减弱边界问题的影响、提高压缩比,在进行格网DEM数据压缩时,作者将二维离散小波变换的边界问题转换为一维离散小波变换的边界问题,大大减小了边界失真区域,提高了重建DEM数据的精度.进而,用相应的算法进行了DEM压缩实验, 结果表明:可获取高压缩比且高精度的重建DEM数据.     

间歇生产中过程调度的建模与分析

过程调度在间歇生产过程中起着非常重要的作用。针对过程调度的特点,我们建立了UIS中间存储策略下的间歇过程调度的混合整数规划(MILP)模型和时间Petri网模型,并分别采用Lindo和Hpsim1_1仿真工具对模型进行仿真实现。结果表明,对小规模问题,两种模型都能较好地解决,但前者约束多且描述复杂,而后者以图形化的工具描述单元间的逻辑关系,更适合调度系统的性能分析。     

hPin1原核表达、纯化及热稳定性研究

利用E．coli BL21原核表达,纯化得到了His-hPin1融合蛋白,并研究了它的热稳定性．在中性条件下进行不同温度处理,SDS-PAGE分析表明,低于40℃处理不会影响His-hPin1的溶解性,50～100℃处理会使其部分变性而沉淀．荧光发射光谱研究表明,未处理的His-hPin1具有339nm的荧光发射峰;热处理使荧光发射峰的位置变化,低于40℃处理对His—hPin1的荧光强度影响较小,50～100℃热处理使HiS-hPin1的荧光强度明显降低．圆二色谱研究表明,热处理对His-hPin1的二级结构有影响,引起α-螺旋含量的明显减少,而无规卷曲增加．以上数据表明hPin1是一个相对热稳定的蛋白．     

鞍山巨峰葡萄籽油中脂肪酸的GC/MS分析

利用索氏提取法对产于辽宁鞍山的巨峰葡萄籽中的油性成分进行了提取,用硫酸-甲醇法酯化后,对其进行了GC／MS分析。实验结果表明,用索氏提取法从鞍山巨峰葡萄籽中主要提取出6种脂肪酸,其中主要是亚油酸,而油酸和棕榈酸的含量相对于其它产地的葡萄有较大的区别,可以作为快速鉴定鞍山巨峰葡萄的依据。     

基于移相调功的三电平超音频感应加热电源

多电平逆变器用于高电压大功率场合,可有效解决单只功率开关器件电压及电流定额受限的难题.基于这一优点,设计了适用于负载串联谐振的三电平感应加热逆变电源,给出了三电平逆变电源的拓扑结构,并采用PS-PWM(移相-脉宽调制)输出功率控制策略,在有效控制和调节输出功率的同时,改善了输出电压与电流波形的质量.采用PS-PWM控制方法,在器件额定电压确定时可提高1倍逆变器容量,且输出电压和电流的谐波也明显减少.利用PSPICE对25 kHz、540Vdc的超音频感应加热逆变电源的实际工况进行了仿真,理论分析与仿真结果验证了文中提出的三电平逆变器拓扑结构及功率控制策略的正确与合理性.     

多值Ф-强伪压缩映像公共不动点的Ishikawa迭代逼近

在一致光滑的实Banach空间中,研究两个多值Ф-强伪压缩映像公共不动点的Ishikawa迭代逼近问题.得到了多值Ф-强伪压缩映像的Ishikawa迭代序列逼近T1与T2公共不动点的强收敛定理.改进并推广了一些文献的相关结论.     

反求工程中散乱点云的数据预处理技术

提出了一种基于散乱点云的数据预处理方法.该方法包括四个部分:对散乱点云进行Dirichlet域分割并在此基础上进行三角剖分;在各个三角域中寻找中心点,以其为原点建立局部坐标系并采用正态分布模型进行噪声点删除;利用在三角网格上构建B-B曲面进行数据平滑处理;对漏测的数据点进行补全处理.数据点经过上述处理后能基本满足后续的曲面曲线的重构要求.