广义变分不等式解存在的条件

考虑广义变分不等式问题,通过对广义变分不等式的K-K-T方程构造组合同伦方程,给出了同伦路径存在的条件,从而得到了无界区域上广义变分不等式有解的条件.     

基于微分变分不等式的再制造闭环供应链网络动态模型

针对一段时间内具有再制造的闭环供应链网络的博弈均衡状态问题,首先利用博弈理论,构建了具有多制造商(再制造商)及多零售商(回收商)的再制造闭环供应链网络动态模型,制造商(再制造商)及零售商(回收商)之间从事微分Nash博弈.然后,利用微分变分不等式的方法得到了制造商(再制造商),零售商(回收商)及整个闭环供应链网络的均衡条件.进而,在正则条件下分析了闭环供应链网络动态模型解的存在性条件.仿真算例验证了模型的合理性和有效性.     

一类二阶强迫非线性微分方程的振动性

利用广义变分原理和Riccati变换建立了带有阻尼项的二阶强迫非线性微分方程(r(t)Ψ(y(t))︱y′(t)︱α-1 y′(t))′+p(t)Ψ(y(t))︱y′(t)︱α-1 y′(t)+q(t)f(y(t))=e(t)的振动准则,并改进和推广了已有的研究成果.     

非奇异H-矩阵的细分迭代直接判定新条件

通过细分矩阵非占优行指标集,以及构造新的递进式放缩迭代因子,寻找合适的正对角变换因子的方法,得到了一类非奇异H-矩阵直接判定新条件.     

有限元离散化变分原理及精化元法

对线性和几何非线性有限元离散体系,建立了放松单元间协调约束的不协调元和杂交变分原理,由此建立了精化不协调元和精化杂交元方法,保证了收敛,无痛和高精度。     

一类时间不一致控制问题

研究了一类时间不一致控制问题.利用经典的数学分析方法和变分法,证明了最优控制问题的最优控制就是时间不一致问题的均衡控制.     

二维Otsu拟合线阈值图像分割方法

针对已有二维Otsu线阈值法分割方法存在的因误分类而导致的分割质量下降、抗噪性能不足的问题.结合二维Ot-su折线阈值算法和曲线拟合方法,提出了二维Otsu拟合线阈值图像分割方法.本文方法是在二维Otsu折线阈值法基础上进行改进.先对二维直方图中边界信息或噪声所属区域的像素点迭代分割,并设定迭代停止条件,以获得多个阈值...     

舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先,在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后,通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后,用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。     

拟协调轴对称三结点退化壳单元

结合拟协调有限元方法和退化壳有限元概念,构造了一个轴对称三结点退化壳单元,采用了整体,局部和等参三个坐标系,使用与拟协调单元列式方法等效的基于胡－鹫津广义为分原理的杂交／混合单元列式方法构造轴对称三结点退化壳单元;使用相同的等参坐标插值来假设应力和应变,插值既考虑到低阶项的完备,又借鉴了拟协调九结点四边形爱化壳单元的结构经验。为了确定应力应变的插值形式,进行了多次数值试验和单元刚度矩阵的特征值分析     

弹性力学中的最小余能原理与按应力求解位移边值问题的边界条件

本文分析了若干文献和专著对于最小余能原理的表述和证明所存在的需要澄清的问题。文中推证了最小余能原理变分方程的等价方程和条件。结果表明:从总余能的变分方程出发,只能直接推导出形变相容方程和位移边界相容条件,而不能直接得到几何方程和己知位移边界条件。与此相应,按应力解法求解位移边值问题所应满足的边界条件正是上述的位移边界相容条件,而不必是位移边界条件。本文给出了这种用应力表示的位移边界相容条件的具体表式,从而说明了对于给定位移的边值问题理论上也能按应力求解。