一类伪不变凸极值问题解集的刻画

有研究对可微的无约束伪不变凸极值问题的解集进行了刻画。本文在此基础上,在广义不变凸性假设下,利用广义Clarke梯度和Lagrange乘子研究了一类不可微的带约束的伪不变凸极值问题的一些性质。首先在广义Clarke梯度的基础上,给出了此类带约束的非可微伪不变凸极值问题的一些性质;然后在一定条件下证明了此类问题的可行集和最优解集是不变凸的;最后利用广义Clarke梯度和Lagrange乘子得到了最优解集的一些等价刻画。
     

力学原理的真理性反思——以虚功原理为例

在虚功原理的具体语境中,关于数学证明是否可能的探讨引出了力学原理的真理性地位问题。把虚功原理的发展历史看作是概念的明晰化过程,拉格朗日正是利用前人的基本概念进行了还原模型证明。但是,证明过程中仍然出现了无限小位移、平衡等模糊概念,引起普安索、雅可比等众多科学家的批判。不同的是,普安索主张采用回避模糊概念、退回纯几何问题的方法获得证明,而雅可比认为力学原理只是假定与自然一致的约定,不可能存在严格的数学证明。最后进一步深化雅可比的约定思想,无法证明的力学原理既不是必然真理,也不是偶然真理,而是一种协调真理。     

带有二次约束的一类特殊三次规划问题的全局最优性充分条件

利用拉格朗日函数和L-次微分的方法,研究了带有二次约束的一类特殊三次规划问题的全局最优性条件。首先刻画出该类三次规划问题的拉格朗日函数的抽象次微分,从而得到了带有二次约束的三次规划问题的全局最优性充分条件。最后举例说明如何利用本文所给出的全局最优性充分条件来判定当前可行解就是全局最优解。
     

基于矩阵分解的荧光显微序列线粒体检测

利用图像处理技术,检测荧光显微序列中的活性线粒体是生物医学领域重要的研究手段之一.受到荧光显微镜成像技术的限制,序列中每帧图像均包含细胞质阴影和荧光标记的线粒体,具有很低的信噪比,难以满足一般粒子检测算法的要求.为了精确检测活细胞中的线粒体,提出一种基于矩阵分解的荧光显微序列线粒体检测算法,并利用增广拉格朗日乘子法,快速准确地实现该算法,将线粒体从细胞质阴影中有效分离出来,实现线粒体的精确检测.实验结果表明,此方法为活细胞中线粒体的精确检测提供了快速、高效的分析工具.     

分析系统动力学 建模与仿真

本书是结合分析力学和系统动力学发展起来的一种新的多学科动力学系统建模方法。这种新的建模技术基于拉格朗日能量法，依次生成一系列适合数值积分的微分代数方程。本书适用的建模方法是能建模和仿真的六连杆闭链机构或晶体管功率放大器等系统。     

Morawetz乘子与Schr(o)dinger方程的局部正则性

正则性估计在Schr(o)dinger方程的理论研究中有着十分重要的作用,可用分析Schr(o)dinger方程解的衰减问题及方程解的存在性问题.为将附加条件推广到更一般的情况,考虑了带有势函数的Schr(o)dinger方程的初值问题,利用Morawetz乘子,得到了带有势函数的Schr(o)dinger方程解的局部正则性估计.     

伽罗瓦的代数方程思想

目的 探讨在代数方程根式可解性理论的发展中,伽罗瓦(Evariste Galois,1811-1832)的代数方程理论思想发展过程.方法 采用历史考察与数理分析法.结果 伽罗瓦是通过引进"伽罗瓦群"、"正规子群"、"置换群"等概念开始建立他的理论,并且找出了根式扩张塔和可解群之间的对应关系,利用这种对应关系最终解决了代数方程根式可解性理论这一难题.结论 伽罗瓦继承了拉格朗日(J.L.Lagrange,1736-1813)问题转化的思想,并且把这一思想进行发展,使得人们对方程根式解问题的研究进入到对"结构"观念的研究,导致了抽象代数学科的诞生;伽罗瓦的研究思路是通过继承和发展前人的思想成果得出来的.     

3-PCR并联减振机构动力学分析

为实现多自由度减振，以3-PCR并联机构为主体制定多维减振平台；利用拉格朗日法建立机构动力学方程。Matlab数值仿真结果表明，三驱动关节的驱动平衡力相位差为（2／3）π，随动平台相对定平台的位置增加，关节的驱动平衡力减小；当定平台边长增加时，驱动平衡力减小，动平台边长增加时，驱动平衡力增大；移动副轴线与定平台夹角减小时，驱动平衡力减小。     

从哈巴拿定理到单调性理论

本书是《数学最新研究成果系列讲座1693》的第二版，其论述的中心思想是将单调多值问题简化为凸函数问题，不使用多值函数图像的“大凸性”和“极小极大技术”而使用Fitzpatrick函数来证明线性泛函的存在性。该书从经典泛函分析的Hahn—Banach定理出发，论述了极小极大理论、Lagrange乘子理论、凸分析和Banach空间上的单调多值函数的最新成果。     

具有时滞的高维网络系统的周期解

应用特征根方法分析一个具有时滞的高维环状神经网络周期解的线性稳定性,得到了从平凡解分岔周期解的局部存在性,并提出一种有效的数值方法寻找系统的周期解,通过计算Floquet乘子从数值上确定了周期解的稳定性,从而给出一种新的时滞方程周期解稳定性的判据。