连续时间线性切换正系统的稳定性分析（英文）

讨论在平均驻留时间的切换下,连续线性切换正系统的稳定性问题。切换系统的稳定性是切换系统研究的重要内容。在很多实际的应用中,一个切换系统的稳定性的高低直接决定这个系统性能的好坏。如果系统的切换规则是任意的,那么系统的性能会更好。然而,对于一个线性切换正系统,要想使得系统稳定必须存在一个余正李雅普诺夫函数,且函数的微分沿着系统轨迹是负的。所以首先要给出余正李雅普诺夫函数的定义,再结合线性矩阵不等式等知识求出余正李雅普诺夫函数的微分。应用线性切换正系统的一些性质,得到线性切换正系统在平均驻留时间切换下系统稳定的充分必要条件。最后,一个数值例子验证问题的有效性。     

卫星移动通信中基于前导的定时同步算法

针对正交频分复用(orthogonal frequency division multiplexing,OFDM)系统中应急数据每帧长度一般为ns级或s级不等,如果无法检测到数据帧的准确到达时刻,便有可能丢失掉整帧数据的问题,提出了一种基于OFDM符号前导的联合检测同步算法(combined detecting synchronization OFDM-based preamble,CDSOP).该算法在利用改进的发送帧前导结构完成粗定时,在粗定时的基础上对接收的数据帧进行细定时,即可完成对OFDM符号定时同步的联合检测.仿真结果表明,在卫星信道环境下,该算法在定时估计标准误差等方面表现出了较好的定时同步性能.     

基于MMAS的MIMO-OFDM系统上行多用户检测

在多输入多输出-正交频分复用(multiple input multiple output-orthogonal frequency division multiplexing,MIMO-OFDM)系统上行多用户检测(multi-user detection,MUD)中,针对基本蚁群算法(ant colony optimization,ACO)在搜索过程中易出现过早停滞及收敛于局部最优解等问题,提出一种基于最大最小蚁群系统(max-min ant system,MMAS)的MUD新算法.该算法在蚁群每次循环结束后,仅处于最优路径上的单只蚂蚁释放信息素;同时,通过限制每条路径上信息素的取值范围,避免路径间信息素的差值过大,从而使蚂蚁在每次循环时尽可能地选择不同的路径,提高算法的搜索能力.仿真结果表明,MMAS算法能够有效降低蚁群陷入局部最优解的概率,进而提高了检测性能;同时,随用户数的增加,该算法的计算复杂度却远低于最大似然(maximum likelihood,ML)检测算法,因此,该算法能够在检测性能与计算复杂度之间取得较好的折中.     

基于MCMC算法的贝叶斯面板单位根检验

针对面板单位根检验存在检验势不稳定和原假设设置主观选择的问题,提出基于面板数据分位自回归模型,选择非对称Laplace分布的似然函数对模型进行贝叶斯分位回归分析.结合参数的完全条件分布设计MCMC抽样算法,进行贝叶斯分位单位根检验,并利用Monte Carlo模拟实验研究了贝叶斯分位单位根检验的有效性与可行性.研究结果表明,基于面板数据分位自回归模型的贝叶斯单位根检验方法解决了检验势不稳定以及原假设主观设置的问题,能够给出更全面稳健的单位根检验判断.     

磨削弧区热源分布形状研究

为了研究磨削力与磨削热耦合作用的残余应力场,基于磨粒轨迹分析和磨粒接触分析,采用概率统计的方法建立了磨削弧区热源分布模型。模型分析了磨削弧区热量分配关系,不需预先假设沿磨削弧总热源分布形状及热量分配比一致,即可获得磨削弧区热源分布形状,解决了以往热源分布形状常被假设为矩形和直角三角形,但矩形热源和直角三角形热源并不能准确地描述热源分布形状的问题。采用有限元法仿真分析了工件磨削温度场,采用热成像仪实测了磨削温度场,并将磨削温度场有限元仿真结果和热成像仪测量结果进行了对比分析,结果表明:有限元模拟结果与热成像仪测量结果具有很好的一致性,磨削弧区最高温度预测值与实测值之间的误差在2.24%~15.3%范围内;直角三角形热源并不能准确地描述磨削弧区热源分布形状;磨削弧区热源分布形状更接近四次多项式函数曲线。     

下凹型内孤立波沿台阶地形演化特征试验

通过大型分层流水槽中下凹型内孤立波沿台阶地形演化的试验模拟,认识我国南海东北部内孤立波沿海底突变地形传播的规律。利用分层染色标识法显示内孤立波与台阶地形作用过程中的特征变化,采用多点组合探头阵技术对其结构进行定量测量。研究表明:突变地形作用导致内孤立波波幅在台阶附近显著增加,使内孤立波波形变陡并出现尾部波列和极性转换等现象。     

圆模式的Andreev-Thurston定理的能量函数方法证明*

对于一个给定边界标号的加权三角剖分 $(T,\Theta)\ (\Theta\in[0,\frac{\pi}{2}])$, 通过构造$(T,\Theta)$的内部顶点上的能量函数, 推出对应于内部顶点的标号向量是由它的锥向量唯一决定的. 导出一个向量是锥向量当且仅当它 满足锥向量不等式. 通过证明所要求的圆模式决定的相关$(T,\Theta)$所有内部顶点的角总和向量满足锥向量不等式, 得到在复平面上实现该加权三角剖分$(T,\Theta)$的平面 单叶圆模式和有分枝圆模式的存在性和唯一性. 这为圆模式的 存在唯一性定理提供了一种新的证明方法.     

GM(1,1)模型初始条件和初始点的优化

在对GM(1,1)模型的初始条件进行优化时,由于优化的目标函数为误差平方和最小,而模型的检验标准为平均相对误差最小,两个准则的不一致性导致优化效果不理想.本文以相对误差平方和最小为目标优化GM(1,1)模型,分别对初始条件和初始点进行优化,给出优化的计算公式,并证明在原始序列相对误差平方和最小的准则下,初始条件优化和初始点优化是统一的.实例表明运用优化公式与数值最优解计算得到的模型平均相对误差非常接近,且运用优化公式比数值解求解更方便.     

求解一类非凸变分不等式的近似点算法

介绍和考虑了一类新的非凸变分不等式,这类变分不等式包括了一些已知的和新的非凸变分不等式作为特例.利用一致r-近似正规集的概念,建立了这类变分不等式和不动点问题的等价关系.利用该等价关系,给出了一个求解此类非凸变分不等式的近似点算法,并证明了该算法在适当的条件下收敛.     

平台型电子商务在线交易评价主体的信誉评估

针对平台型电子商务在线交易主体不真实地评价在线交易活动、甚至伪造好评或恶意差评等问题,分析影响电子商务在线交易评价主体信誉的相关因素,构建在线交易评价主体信誉的评价指标体系.利用层次分析法确定各评价指标的权重系统,并通过设计评价指标体系的计分标准,构造在线交易评价主体信誉评估模型.实验证明,本模型实现算法简单、高效,能够在现有的平台型电子商务信誉评价系统中推广应用.