3TMF排序问题的计算复杂性及分支定界算法

本文研究了TMF排序问题是NP-完全问题.利用混合定界方法,获得了求解该模型的分支定界算法,改进了复合并行机排序模型和装配式流水作业排序模型.     

带移民和瞬态拯救的Markov分枝过程的存在唯一性与遍历性

考虑一类带有移民和瞬态拯救的Markov分枝过程. 证明了如果拯救速率可和, 则不存在过程. 在拯救速率不可和的情形下, 建立了过程存在性判别准则, 并给出了这一判别准则的一些便于验证的等价条件. 同时, 得到了过程唯一性判别准则; 证明了对给定的q-矩阵Q, 虽然存在无穷多个 Q-过程, 但不中断Q-过程却是唯一的. 给出不中断Q-过程的构造; 证明不中断Q-过程总是遍历的, 给出平稳分布的具体表达式.     

一类高次多项式系统的极限环及其对二次系统(Ⅲ)的应用

本文研究多项式系统(?)=-y~α(1-y)~α-δx~α(1-y)~α+lx~(α+1)(1-y)~(α-1)(?)=x~α[(1-y)~α+(ax)~α](α为正奇数)极限环的存在唯一性,完整地分析了该系统的分枝.并将其结果应用于二次系统(Ⅲ)(δ=-m,n=1),彻底解决了极限环的确切个数及分布问题.从而改进了[1—2]的结果.     

Δ２u＝λu＋u^(N＋４/N－４)＋μf（x）解的非存在性及分枝现象

讨论了非齐次双调和方程边值问题Δ２u＝λu＋u^(N＋４/N－４)＋μf（x）解的非存在性结果及分枝现象．这里Ω 是犚犖内有界光滑区域,N＞４,λ∈R^１,μ≥０,f（x）是非负连续函数．     

一种求解二次约束二次规划问题的自适应全局优化算法

为了更好地解决二次约束二次规划问题(QCQP), 本文基于分支定界算法框架提出了自适应线性松弛技术, 在理论上证明了这种新的定界技术对于解决(QCQP)是可观的。文中分支操作采用条件二分法便于对矩形进行有效剖分; 通过缩减技术删除不包含全局最优解的部分区域, 以加快算法的收敛速度。最后, 通过数值结果表明提出的算法是有效可行的。     

一类全局优化问题的线性化方法

本文对带有不定二次约束且目标函数为非凸二次函数的最优化问题提出了一类新的确定型全局优化算法,通过对目标函数和约束函数的线性下界估计,建立了原规划的松弛线性规划,通过对松弛线性规划可行域的细分以及一系列松弛线性规划的求解过程,得到原问题的全局最优解.我们从理论上证明了算法能收敛到原问题的全局最优解.     

一维连续时间Markov分枝过程的密度演化方程

本文通过建立密度演化方程 ,将一维连续时间Markov分枝过程问题转化为确定性的方法来研究 ,用C0 半群理论证明了密度解的存在性和唯一性 ,并介绍了求密度解及其母函数表达式的方法 ,得到了一些有益的结果     

多型随机递归结构

本文引入了多型随机递归结构模型并讨论了它的几何性质,得到了多型随机递归结构所决定的随机集的Hausdorff和packing维数,并在适当的条件下讨论了其Hausdorff和packing测度.