一种具有遗忘特性的在线学习算法框架

基于凸优化中的对偶理论,提出了一种具有遗忘特性的在线学习算法框架。其中,Hinge函数的Fenchel对偶变换是将基本学习问题由批量学习转化为在线学习的关键。新的算法过程是通过以不同方式提升含有约束变量的对偶问题实现的:(1)梯度提升;(2)贪婪提升。回顾了以往的相关研究工作,并指出了与之的区别与联系。人造数据集和真实数据集上的实验结果证实了算法框架的有效性。算法可以很好地处理数据流中的分类面漂移问题,为设计和分析新的在线学习算法提供了一个新的思路。     

变量有界线性目标规划的对偶算法

本文讨论了变量有界的线性目标规划问题,给出了求解这类问题的一个对偶算法,此方法与变量有界线性规划问题的对偶算法相类似。文中证明了算法的有效性,并举例说明了计算过程。     

一类对偶平坦的黎曼度量

给出了黎曼度量局部对偶平坦的一个充分条件:黎曼度量的Spray所满足的方程。同时,指出该条件是非必要的,并给出了相关反例。进一步,对满足条件的这类黎曼度量的性质进行了研究。具体地,讨论了这类度量成为Einstein度量的条件。从黎曼曲率着手,通过计算发现:当空间维数n3,这类黎曼度量是Einstein度量,当且仅当它是欧氏度量;但是,这个结论对n=2的情形不适用。     

螺旋矢量微分方程的推证

介绍了捷联惯导算法中的螺旋矢量算法,推导了螺旋矢量与姿态位置对偶四元数的数学关系,并在此基础上进一步推导证明了螺旋矢量微分方程.结果表明,螺旋矢量微分方程与旋转矢量微分方程具有形式上的一致性.     

基于拉格朗日松弛的航天测控调度上界求解算法

通过分析航天测控调度问题的测控需求,建立了航天测控调度0-1整数规划模型,运用拉格朗日松弛方法对模型中的设备约束和卫星约束进行了松弛,运用次梯度优化算法求得了拉格朗日对偶问题的上界.最后,通过对两个场景的试验分析,证明了运用次梯度优化算法求得的上界的有效性.     

战场物资运输指挥控制的对偶分析

在战场的供求双方之间实施快速物资运输的指挥控制是作战指挥控制的一个重要组成部分,根据供求双方的物资供应量和需求量、运输路径的长度和运输工具的能力等参数,制订一个使物资总运载量以及耗费时间为最小的运输指挥控制计划是战场指挥员必须解决的关键问题.一种基于线性规划及对偶分析的战场物资运输的指挥控制方法为解决此类问题提供了一种可行途径.     

跳测度的可料对偶投影

证明了跳测度 ν的 Doob-Meyer分解 ν=m+π中 ,π即为跳测度的可料对偶投影 ,也是 ν-π的鞅特征     

小贴士

春联又叫"对联"、"门对"、"春贴"、"对于"。它以工整、对偶、简洁、精巧的文字描绘时代背景,抒发美好愿望,是我国特有的文学形式。每逢春节,无论城市还是农村.家家户户都要精选一幅大红春联贴于门上,为节日增加喜庆气氛。     

一种改进的捷联惯导系统优化算法

在应用旋转矢量的捷联惯导系统姿态解算中,针对圆锥误差提出了一种利用前M个周期输出的N子样通用补偿算法,通过对偶得到相应的划船误差补偿算法,算法的系数可由矩阵的简单计算获得,无需繁琐推导.通过理论分析和仿真验证,这种算法在不提高采样率前提下完成误差补偿,对提高惯性系统精度颇有帮助.     

辅助鞅下投资消费资产模型的一些基本性质

针对所给出的有交易费的资产模型,引入了资产折算函数,并利用辅助鞅和凸函数对偶方法,讨论了该模型下折算资产优化的性质.     

基于对偶四元数的单目视觉/惯性组合导航算法

提出一种适用于结构化道路的单目视觉/惯性组合导航定位算法.针对点特征匹配和连续多帧追踪受车速和相机视野制约的不足,提取道路上车道线的直线特征,引入对偶四元数描述直线特征.在基于对偶四元数的相对位姿估计算法的基础上,推导了图像特征增量与相机位姿增量的表达式.通过配准和时间同步,用惯导系统和相机分别解算的载体速度之差作为组合导航的观测量,建立kalman滤波修正组合导航系统的误差,包括相机测速标度因数误差.车载实验结果表明在结构化道路上算法是有效的.     

一种新的运输问题对偶算法

本文给出求解运输问题的一种新的方法——运输问题对偶算法(仍是表上作业法)。最后给出的实例说明本文算法在解决某些问题时比[1]中方法简便。     

变精度双向IS-粗集及其应用

在S-粗集的基础上,提出了双向IS-粗集(two direction improper singular rough sets)的概念,给出双向IS-粗集及变精度双向IS-粗集的数学结构,讨论了变精度双向IS-粗集上、下近似算子的性质,并举例说明了变精度双向IS-粗集的应用.     

DSFH系统的双信道接收平衡检测及判决结构设计

对偶序列跳频系统较传统跳频通信具有很强的抗综合干扰能力,基于实际情况中存在的接收结构双信道平衡问题,提出了AWGN环境下仿真模型的信道平衡检测方法,分析了在AWGN环境平衡信道下的误码率及非平衡信道下的门限调整,设计了动态门限的判决结构。由链路仿真结果表明：在无信号时能够检测双信道接收结构的平衡状态;当信噪比在-22 dB～-14 dB变化时,非平衡信道下判决结构的检测性能达到了平衡信道时的性能要求。     

全局仿射变换条件下图像不变量提取新方法

从仿射几何理论出发,提出了一种全局仿射变换条件下图像特征不变量构造的新方法.利用仿射区域划分获取一组扩展质心集合作为图像特征点集;求解特征点集的凸包,根据扩展质心的性质将凸包顶点均匀组合成若干特征区域;利用仿射几何性质构造了有效的仿射不变量.实验对该方法进行了全面的比较分析,以验证所构造的不变量更具稳定性和高时效性.     

基于面积比矩阵的加权特征向量点匹配算法

提出一种在仿射变换下点集关系描述算子--面积比矩阵,证明了其在仿射变换群下的不变性质;并由该性质推导得出特征向量(EA)匹配算法抗噪性能差的原因,在此基础上给出了基于面积比矩阵的加权特征向量算法.算法构造不同图像的面积比矩阵,对矩阵进行分解得到其特征值和特征向量,通过特征值进行加权获得图像中点的特征向量,比较图像点的特征向量获取匹配关系.因面积比矩阵的仿射不变性质,算法能实现仿射变换下点集精确匹配;采用的加权特征向量法改进了EA匹配法,具有更好的抗噪性能.实验表明算法切实可行.     

谈充分条件假言判断逻辑性质

在形式逻辑的判断中,假言判断分为充分条件假言判断、必要条件假言判断和充分必要条件(简称充要条件)假言判断。一个假言判断它通常由前件、后件和联结项三个部分组成,不同的联结词表示了前件和后件不同的逻辑关系。     

关于集值拟终鞅的若干结果

在 X~*可分的条件下讨论了集值拟终鞅的若干性质,且在此基础上证明了集值拟终鞅在弱收敛意义下的收敛定理,同时给出了集值拟终鞅的 Riesz 分解定理。     

信息/求解 Petri 网系统

绝大多数 Petri 网在变迁发生后前集库所会失去标记,不便于表达一个条件一旦具备将永远具备的情形.针对该问题,基于0-1标识与变迁发生后其前集不失去标记的思想,提出了信息/求解扩展 Petri 网系统(I/S系统).给出了I/S系统的相关定义、部分基本性质、矩阵表示、求解发生权向量的求法和状态方程.最后,给出了以I/S系统表示的几种常见滑模变结构控制策略的设计过程,该例显示了I/S系统的模型表达能力.     

二维约束点集Delaunay三角剖分算法研究

在已有算法基础上,提出了任意二维约束点集Delaunay三角剖分的新算法,算法仅在局部产生少量新点,并在局部对三角剖分进行修改,便可保证整体三角剖分符合Delaunay性质.