二阶奇异非线性特征值问题正解的存在性

本文讨论了含一般微分算子的二阶奇异微分方程在Sturm-Liouville边值条件下的正解的存在性.通过将非线性项f在原点及无穷远处的增长性分为9种情形,本文运用锥拉伸与压缩不动点定理获得了问题无正解、至少有一个正解及至少有两个正解存在时参数λ的取值范围.     

奇异半正定二阶边值问题的正解存在性

借助于锥上的不动点指数理论研究奇异半正定二阶边值问题-x″(t)=f(t,x)(0相似文献   

分数阶微分方程无穷多点边值问题正解的存在性

考虑无穷多点边界条件下的一类Riemann-Liouville分数阶边值共振问题的可解性. 首先, 利用锥拉伸与压缩不动点定理, 在非线性项f满足一定的条件下, 得到了问题正解的存在性;其次, 在非线性项f满足更强的条件下, 利用Leggett-Williams不动点定理得到了3个正解的结果.     

半正带一维Minkowski平均曲率算子的非线性Dirichlet问题的正解

用时间映像原理证明在非线性项半正情形下带一维Minkowski平均曲率算子的边值问题■正解的存在性和多重性,其中：参数■为连续函数,f(0)<0,f′（s）≥0,f″（s）<0,s>0,且存在常数β,θ∈（0,1）,使得■,并将非线性项从f(0)≥0推广到f(0)<0的情形．     

非线性项变号的非局部边值问题正解的存在性

研究了非线性项变号的非局部边值问题正解的存在性,应用Nowhere normal-outward紧映射的不动点指数理论,在f(t,0)≥0且满足次线性条件下,得到边值问题正解的存在性结论.     

非线性项变号的一维p-Laplace方程混合边值问题的正解

考虑非线性项变号的一维p-Laplace方程混合边值问题正解的存在性,应用nowhere normal-outward紧映射的不动点指数理论,在f(t,0)≥0且满足p-次线性条件下,得到了问题正解的存在性.     

二阶非线性积-微分方程边值问题解的存在性

讨论二阶积-微分方程边值问题{-u″(t)=f(t,u(t),(Su)(t)),t∈[0,1],u(0)=0,u(1)=0解的存在性,其中S为Fredholm型积分算子.在非线性项f(t,u,v)满足较弱的单调性条件下,建立了上下解定理,然后用该上下解定理,得到了一些存在性结果.特别在不要求f非负的一般情形下,用上下解方法获得了正解的存在性结果.     

一类带梯度项椭圆方程解的存在性

用山路定理和迭代方法讨论一类带梯度项椭圆方程Dirichlet问题非平凡解的存在性, 在右端非线性项渐近线性增长的情形下证明了该问题正解和负解的存在性.     

二阶非线性差分方程正解的存在性

本文主要讨论了一类二阶非线性差分方程最终正解的存在性.我们利用Banach压缩映射原理,对中立型项系统的四种分布情形给出了方程存在最终正解的存在性定理.     

二阶奇异非线性微分方程周期边值问题解的存在性和多重性

利用格林函数的正性和Krasnosel’skii不动点定理建立了二阶奇异非线性微分方程 周期边值问题解的存在性和多重性结果. 当非线性项f具有奇性且次线性时, 方程至少存在 一个正解; 当f具有奇性且超线性时, 方程至少存在两个正解, 从而推广和改进了已有文献的结果.     

装卸工人调配问题新解法及其证明

阐述了现代物流技术中装卸工人调配问题、装卸工问题、限制情况下装卸工问题及其数学模型,证明了装卸工人调配问题与限制情况下装卸工问题的数学模型是等价的.通过分析装卸工人调配问题的数学性质得出该问题的一种新解法并给出其证明.新解法给出了该问题的所有最优解.     

随机需求车辆路径问题的禁忌搜索算法研究

研究了随机需求车辆路径问题,并将禁忌搜索算法用于解决该问题.实验结果证明,禁忌搜索算法可以有效地求得随机需求车辆路径问题的优化解,是求解随机需求车辆路径问题的一个较好方案.     

关于一类不可微非线性规划的约束品性

就一类在凸集C上目标函数为黎普希兹连续的带有可微不等式约束的非线性规划问题(P),在广义Kuhn-Tucker约束品性或广义Arrow-Hurwicz-Uzawa约束品性的条件下,研究了问题(P)的Kuhn-Tucker型必要条件.并且说明了当C为开集时相应的规划问题是问题(P)的特殊情况;目标函数为可微函数与凸函数的和时的相应的不可微非线性规划问题也是问题(P)的特殊情况;以及目标函数由黎普希兹连续的函数的商式构成的相应的分式规划问题也是问题(P)的特殊情况.     

基于用例的层次Petri网建模

利用用例解决了层次Petri网建模中问题界定和问题细化的两个难点，同时也利用层次Petri网表现了用例中文本形式事件流所无法表现出事件自身的并发关系，由此建立的模型具有粒度可控和模块化良好的优点。     

实例推理检索中相似度量方法的研究

在实例推理检索过程中 ,通过相似特征度量方法完成最相似实例检索 ,采用粗集理论判断实例特征属性的重要性 ,把最反映本质的相似特征属性用来进行相似度量 ,使度量结果比较客观地反映出实例和待解问题的相似程度 ,提高了实例检索的准确性。     

多干扰情况下的自适应阵列设计

本文由多干扰情况下自适应阵的 SINR 表达式,研究了阵列优化设计问题。此问题不同于单干扰情况,我们将证明,单干扰时的 SINR 不随阵元增加而下降,但多干扰条件下此结论不成立,阵元的选择和阵元相对位置的不当都可能导致 SINR下降,因此,研究多干扰时的阵列优化设计是很必要的。本文中,我们还给出了设计最优阵的条件,包括阵元选取和阵元位置确定。     

椭圆边值问题与拟共形映射的数值解

本文研究多连通区域上一阶线性椭圆型复方程组的黎曼-希尔伯特边值问题的数值解法,文中提出了与上述边值问题等价的一种变分问题,然后用有限元法求出这种变分问题的近似解,这也是原边值问题的数值解.Klabukova 曾用交分差分方法讨论了广义解析函数上述边值问题的近似解法,由于她使用的方法与共轭方程有关,因此难以将所得结果推广到一般的一阶线性一致椭圆型复方程的情形.在作者过去的工作中,给出了多连通区域上以上边值问题的一种适定提法,由于这种提法不与共轭方程直接相关,因此才有可能将所考虑的边值问题数值求解推进到本文中所述较一般的多个末知函数的一阶椭圆组上去,这种复方程组的解包含广义超解析函数作为特殊情形.作为上述结果的应用,本文还讨论了某些线性拟共形映射的数值求解。     

Hamming距离下树型网络的最短路改进问题

研究Hamming距离下树型网络的最短路改进问题,通过把该问题转化为0-1整数线性规划问题并通过求解有限个小规模0-1整数线性规划问题并求解.该研究方法在一定程度上推广了已有的结果.该问题的研究有助于设计求解一般的Hamming距离下的最短路改进问题的有效近似算法.     

一类基因组断点median问题的模型与算法

研究了来自生物信息学领域的基因组断点median问题。在无向环形基因组的经典情形的基础上,针对有向环形基因组的情形给出了模型和算法。基于LINGO软件的算例表明算法是可行和有效的。     

一类不确定非线性系统鲁棒控制的LMI方法

在LMI的框架内探讨不确定非线性系统的鲁棒镇定问题,考虑了利用输出反馈来镇定一类非线性系统。把这类非线性系统的鲁棒综合问题归纳成一个双线性矩阵不等式(BMI)问题,然后通过增加约束将BMI问题转化为线性矩阵不等式(LMI)问题。还利用类似的方法讨论了关联系统的情形。给出了数值算例,验证了这一方法的有效性。