系统(￡)*中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统(￡)*.本文基于系统(￡)*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈{pi, pi,((→)p2i)&((→)((→)pi)2)}(i=1,2,…),p1,p2,…是系统(￡)*中全体命题变元,进而给出了极大相容理论的若干刻画条件.本文还证明了系统(￡)*的满足性定理和紧致性定理.至此,系统(￡)*的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握,所以本文的结果完善了系统(￡)*的理论体系.     

LMI优化问题的择一性定理与对偶

考虑目标函数是线性函数约束条件为线性矩阵不等式的LMI优化问题,讨论了LMI优化问题中的四个择一性定理.每种类型的择一性定理包含两个线性不等式和(或)等式系统,一个原始系统和一个对偶系统.弱择一性定理说明两系统中至多只有其一有解;基于凸集分离理论得到的强择一性定理说明两系统有且仅有其一有解.并在此基础上推导了LMI优化...     

复正规多项式系统的全局通解

本文首先应用复多项式系统的强有根定理,证明了一类复多项式系统全局通解的存在性.其次,讨论了正规多项式系统全局通解的定性结构,得到了它的表示定理.最后给出了定理应用的例子.     

系统(￡)*n的逻辑性质及其应用

证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.     

临界非线性椭圆系统的正解(英文)

本文我们借助全空间中无穷远处的方程组,结临界非线性椭圆系统建立一个整体紧性定理.利用此抽象结果及熟知的山路定理证明该系统的正解存在性.     

Hille-Yosida定理在一类无穷维Hamiltion系统中的应用

应用Hille-Yosida定理研究了无穷维Hamilton算子,得到了一个无穷维Hamilton系统初值问题解的存在性定理,并把结果应用在由一类双曲型偏微分方程导出的无穷维Hamilton系统中,给出了此类无穷维Hamilton系统解的存在性定理.     

一阶非自治共振系统周期解的存在性

研究一阶非自治共振系统周期解的存在性,其中非线性项为连续周期函数.运用Miranda定理和Schauder不动点定理,本文为上述系统建立周期解存在性的新结果.所得结论丰富并补充已有文献的相关结论.     

择一定理在离散时间线性时不变系统中的应用

基于广义择一定理,可以讨论离散时间线性时不变系统中的若干问题.首先可以利用广义择一定理得出Layaponov不等式的可行性与系统矩阵特征值的若干关系.其次利用这种广义择一定理讨论Ricaati不等式解的存在性,由此给出更-般KYP引理的简洁证明.     

一类带阻尼项的二阶Hamilton系统的多重周期解

利用临界点理论研究带阻尼项的二阶Hamilton系统周期解的存在性.在具有部分周期位势和线性增长非线性项时,根据广义鞍点定理定理,得到了系统多重周期解存在的充分条件.     

向量优化问题的线性标量化方法和Lagrange乘子研究

向量优化是数学规划一个重要分支,其理论与方法不仅与很多学科有密切联系,而且在新兴的多学科交叉领域中有着广泛的应用.本文从向量值广义凸映射、择一定理、线性标量化方法和Lagrange乘子存在性定理等4个方面对这一领域的研究进展情况及所用方法作了较为系统的总结.首先,介绍基于像空间方法的一类广义凸向量值映射和集值映射,总结已有的广义凸映射之间的关系.其次,介绍线性系统下择一定理到非线性系统下择一定理的发展,重点总结凸性或广义凸性条件下的择一定理研究.同时,针对择一定理的应用,给出向量优化问题各种解在凸或广义凸性条件下的线性标量化方法,进而总结向量优化问题的解,特别是真有效解的Lagrange乘子存在性结果.     

一类具年龄结构n维食物链模型的最优收获控制

研究一类具有年龄结构n维食物链模型的最优收获控制.利用不动点定理,证明了系统非负解的存在性和唯一性.由Mazur定理,证明了最优控制策略的存在性,同时由法锥概念的特征刻画,还得到了控制问题最优解存在的必要条件.     

系统L^＊中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了极大相容理论的结构刻画，证明了每一个极大相容理论必然具有形式D（{φ1，φ2，…}），这里φ1∈{pi，→pi，（→pi^2）＆（→（→pi）^2）}（i=1，2，…），p1，p2，…是系统L^＊中全体命题变元，进而给出了极大相容理论的若干刻画条件。本文还证明了系统L^＊的满足性定理和紧致性定理。至此，系统L^＊的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握，所以本文的结果完善了系统L^＊的理论体系。     

p-q-Laplace系统周期解的存在性

利用临界点理论研究了p-q-Laplace系统的周期边值问题.首先定义p-q-Laplace系统的弱周期解;其次给出一些引理;然后用临界点理论中的极小极大方法得到关于p-q-Laplace系统弱周期解的一个存在性定理;最后讨论了p-q-Laplace系统的相关问题.本文使用的主要方法是临界点理论中的环绕定理.     

具有n个小时滞脉冲系统的周期解

本文考虑有n个小时滞的脉冲系统,利用隐函数存在性定理证明了该系统时滞 充分小时,系统的周期解存在性,推广了已有的相关结论.     

奇异一阶周期系统正解的存在性

主要研究了具有奇异一阶周期系统正解的存在性,证明了一阶周期系统在点(x,y)=(0,0)处具有奇异性时,在一些合理的条件下,此问题正解的存在性.证明主要依赖非线性Leray-Schauder抉择定理和Krasnoselskii锥不动点定理,同时在证明过程中格林函数也起了非常重要的作用.     

二阶非自治Hamilton 系统周期解的新结果

研究了二阶非自治Hamilton系统（t）-B（t）x（t）＋▽H（t,x（t））=0,在局部超二次条件下周期解的存在性问题,利用山路定理和局部环绕定理得到了新的存在性定理,改进了已有结果.     

择一性与多目标优化

众所周知,线性规划和非线性规划理论中的一些主要定理·(例如最优性条件、对偶性和鞍点定理等),可以统一地由关于两组线性不等式相容的择一性定理推导而得.Giannessi 提出,用广义的函数不等式组相容的择一性定理来统一地处理多目标(向量)优化理论中的一些主要定理,但这种推广还不足以处理不可微规划的最优性条件.本文用集值映射的概念提出两组广义不等式系统的择一性,从而统一处理了多目标规划非     

一类具有Watt型功能性反应的捕食系统的极限环与稳定性

研究一类具有Watt型功能性反应的捕食模型.讨论了该系统正平衡点的存在性以及非负平衡点的性态,应用Poincare-Bendixson定理和张芷芬定理,证明了极限环的存在性和唯一性,并采用构造Dulac函数的方法,获得了正平衡点全局渐近稳定性的一个充分条件.     

带有外部输入项的时间周期SIR传染病模型的周期行波解北大核心CSCD

研究了一类带有外部输入项的时间周期SIR传染病模型周期行波解的存在性和不存在性.首先,通过构造辅助系统适当的上下解并定义闭凸锥,将周期行波解的存在性转化为定义在这个闭凸锥上的非单调算子的不动点问题,利用Schauder不动点定理建立辅助系统周期解的存在性,并利用Arzela-Ascoli定理证明了原模型周期行波解的存在性.其次,借助分析技术得到了周期行波解的不存在性.     

一类基于等级结构的n维食物链系统最优收获

考虑一类具年龄等级结构的n维食物链种群系统的最优收获问题,首先利用压缩映射定理,研究系统解的适定性;其次构造极值化序列和运用相关的紧性定理证明控制问题最优解的存在性;最后通过构造共轭系统和利用法锥的概念刻画,得出最优收获问题最优解的一阶必要条件.