非线性弹性杆中MKdV应变孤波的演变

本文利用微扰论方法,从连续谱方面详细研究了非线性弹性杆中的粘弹性阻尼对杆内纵向MKdV应变孤波传播的影响.结论指出:耗散的存在不仅使孤波的能量发生耗散,高度随时间变矮,速度减慢,而且在初时刻,孤波的后面会随时间逐渐生长出一个振荡形式的尾迹.     

幂和不等式与Bowen猜想

获得了等幕和的几个新的不等式,并利用所得结果对连续丢番图方程进行了讨论,得到了埃斯特猜想与波文猜想的新结果。     

基于函数调用序列模式和函数调用图的程序缺陷检测方法

基于函数调用模式挖掘的程序缺陷检测方法通常挖掘出的模式较多,疑似缺陷数量大,人工确认疑似缺陷开销高,且易引入误判.为此,该文提出一种基于函数调用序列模式和函数调用图的程序缺陷检测方法.首先,挖掘函数调用序列模式;其次,通过分析待检测程序,生成函数调用图;第三,结合函数调用序列模式和函数调用图,检测程序中的疑似缺陷.实验结果表明,在不影响缺陷检测效果的前提下,本方法有效减少了疑似缺陷数量,降低了人工确认开销.     

素数阶循环图与经典Ramsey数R(8,19)和R(8,20)的新下界

该文研究了素数阶循环图的基本性质,提出了寻求有效参数构造正则循环图的新方法,得到了２个经典Ｒａｍｓｅｙ数的新的下界：Ｒ（８,１９）≥７０２,Ｒ（８,２０）≥７７０。这两个结果填补了关于Ｒａｍｓｅｙ数综述［４］的上下界表中的２个空白。     

多用户MIMO-OFDM系统中基于非理想反馈的自适应子载波分配

考虑基于VBLAST架构的多用户MIMO-OFDM系统中的资源分配问题,提出了一种基于非理想反馈的自适应子载波分配算法.该分配算法综合考虑了反馈信道信息和反馈质量,为表征反馈质量,引入了置信系数和等价方差的定义,推导了实际中反馈时延和反馈误差同时存在时置信系数和等价方差的通用闭式表达.仿真结果表明,所提出的分配算法在各种非理想反馈情况下,均可改善系统性能.     

超凸度量空间中的极大极小不等式和拟变分不等式

用连续迭取方法得到了超凸距离空间上集值映射的一个不动点定理。作为应用，给出了超凸距离空间中的一个极小极大定理和广义拟变分不等式解的一个存在性定理。     

板式塔塔板结构的新设计法——负荷性能图法

提出由负荷性能图中各性能曲线计算式确定塔板主要结构尺寸。通过浮阀塔负荷性能图中各性能曲线与塔板各主要结构尺寸的简要分析,阐述了设计步骤。     

压电晶体中表面极化子的性质

研究了压电晶体中表面极化子的性质．首先用微扰法导出了压电晶体中表面极化子的有效哈密顿量，有效质量以及电子-表面声学声子作用的有效势，进而用变分法计算了表面态能量．研究结果指出：表面极化子的自陷能、有效势和有效质量不仅与压电常数、质量密度、声速、声子的德拜波数有关，而且也与电子至表面的距离有关．随着电子远离晶体表面，有效势、有效质量逐渐减小．压电晶体中电子-声学声子作用诱生的有效势是库仑型的，它使电子的能级降低，形成表面态．     

一种移动机器人SLAM中的多假设数据关联方法

针对移动机器人同时定位与建图(SLAM)中的局部数据关联问题,提出一种基于粒子滤波的多假设数据关联方法.该方法将数据关联问题转换成离散优化问题,利用多个粒子来维持多种数据关联假设,通过计算关联代价来获得粒子权重,用基本剪枝技术在粒子重采样过程中滤除错误的数据关联假设.研究结果表明:该方法弥补了经典的数据关联方法中关联假设一旦确定就不能修改的不足;与ICNN和JCBB数据关联方法相比,该方法能获得更正确的数据关联结果和更高的定位精度.     

大比例尺数字测图图根控制和数据采集一体化作业的研究及实现

本文在分析传统数字测图弊端的基础上,给出了大比例尺数字测图图根控制和数据采集一体化的可行性及优点,并论述了如何实现内业数据处理及地形图的绘制.