一种新的二次约束二次规划问题的分支定界算法

本文为了获得二次约束二次规划(QCQP)问题的全局最优解,提出一种新的参数化线性松弛分支定界算法.该算法利用参数化线性松弛技术,得到(QCQP)的全局最小值的下界,并利用区域缩减技术以最大限度地删除不可行区域,加快该算法的收敛速度.数值实验表明,本文提出的算法是有效并且可行的.     

结构化变精度粗糙集

将结构化技术用于变精度粗糙集模型,提出结构化变精度粗糙集模型,并通过φ算子对该模型进行刻画,研究其相关性质,给出该模型的近似精度与粗糙度的计算公式.最后通过实例分析,进一步表明新模型的特点和优势.     

一个新的非线性整数规划问题的单参数填充函数算法

非线性整数规划问题是一类复杂的优化问题,填充函数算法是求解整数规划问题的一类有效方法.构造一个新的单参数填充函数,分析并证明了其填充性质;然后,基于该填充函数并结合离散最速下降法提出了一种新的填充函数算法;最后,采用新算法对6个测试函数进行数值实验,结果表明该算法具有良好的计算效果,是有效可行的.     

求线性比式和问题全局解的输出空间分枝定界算法

基于对p-1维输出空间进行剖分的思想,提出了一种求解线性比式和问题的分枝定界算法.通过一种两阶段转换方法得到原问题的一个等价问题,该问题的非凸性主要体现在新增加的p-1个非线性等式约束上.利用双线性函数的凹凸包络对这些非线性约束进行凸化,这就为等价问题构造了凸松弛子问题.将凸松弛子问题中的冗余约束去掉并进行等价转换,从而获得了一个比凸松弛子问题规模更小、约束更少的线性规划问题.证明了算法的理论收敛性和计算复杂性.数值实验表明该算法是有效可行的.     

近似次微分刻画的约束向量均衡问题的最优性条件北大核心CSCD

该文研究一类约束向量均衡问题(CVEP)近似拟弱有效解的最优性条件和对偶定理.首先,建立了问题(CVEP)近似拟弱有效解关于近似次微分形式的最优性必要条件.其次,引入了一种广义凸性的概念,称之为近似伪拟type-I函数,并在其假设下,获得了问题(CVEP)近似拟弱有效解的最优性充分条件.最后,引入了问题(CVEP)的广义近似Mond-Weir对偶模型,并建立其与原问题间关于近似拟弱有效解的对偶定理.     

平稳分枝超Lévy过程是一个随机偏微分方程的轨道唯一解

本文证明平稳(stable)分枝超Lévy过程的密度在一定条件下是如下随机偏微分方程的轨道唯一解:?/?tX_t(x)=AX_t(x)+bX_t(x)+X_(t-)(x)α/1■_t(x), t 0, x∈R,其中A是超Lévy过程底运动的生成元,α∈(1, 2)和b∈R是常数,{■_t(x):t≥0, x∈R}是一个无负跳的单边的α-平稳噪声.     

高精度格式非线性权的统计谱特性分析

分析激波捕捉格式/混合格式中常用的非线性权和激波识别器在谱空间中的性质.设计一套分析非线性权和激波识别器在傅里叶空间性质的统计谱特性分析方法;利用该方法对不同的非线性权和激波识别器在傅里叶空间的性质进行详细分析,给出不同非线性权和激波识别器的统计特性,并比较优劣.分析方法和结论有助于深入理解非线性格式/混合格式在数值计算中的表现,并为设计高分辨率非线性格式提供理论支撑.     

一类具有空间扩散的SEIAV模型及其阈值动力学研究

本文在现有的模型基础上,考虑无症状感染者、游离病毒的传播及空间扩散等因素的影响,建立了一个扩展的SEAIV模型.在研究模型正解的存在性,并给出作为阈值的基本再生数R₀的前提下,对疾病的灭绝及持久的情况进行讨论,得到当R₀<1时模型的无病平衡点的稳定性以及R₀>1时地方病平衡点的稳定性,同时利用数值模拟进行验证.进一步讨论在R₀=1的情况下,模型的无病平衡点的全局吸引性.