相容连续范畴

本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向完备范畴L是相容连续的当且仅当对任意的x∈obL,↓x是连续的.     

大系统分散控制的一维输出反馈

本文研究了采用一维输出反馈实现大系统镇定的分散控制问题.文中在建立了分散控制一线输出反馈的状态模型与结构模型的基础上,提出了一维输出反馈极点配置相容定理,及一维反馈定理.并推导了比例通道的存在条件及有关计算公式.     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

相容和弱相容映射的几个新的公共不动点定理

证明了Menger空间上相容和弱相容映射在(φ)-压缩条件下的两个新的公共不动点定理.作为它们的推论,还得到了度量空间上相容和弱相容映射的两个有趣的不动点定理.     

广义度量空间中次相容映象对的几个新的公共不动点定理

在G-度量空间中,引入了映象对次相容的概念,并在映象对次相容和相对连续的条件下,证明了几个新的公共不动点定理.本文结果拓展和推进了之前文献中一些相关结果.     

一类新的Φ-压缩型映象的公共不动点定理

目的 验证一个新的公共不动点定理的存在性.方法 利用度量空间中自映象对相容和次相容的条件,讨论了完备度量空间中一类新的Φ-压缩型映象的公共不动点的存在性与唯一性.结果 严格地证明了该不动点定理是成立的.结论 得到了一个新的公共不动点定理,并且对该定理进行了推广.     

2-距离空间中一类Φ-压缩条件下的公共不动点定理

利用2-距离空间中自映象对相容和次相容的条件,在完备条件下证明了2-距离空间中一类新的Φ-压缩条件下6个映象公共不动点的存在性与唯一性定理,得到了一个新的公共不动点定理,该定理扩展了原有的结果.     

框架结构变更定理与结构的极限分析

本文利用框架结构连续变更定理对框架结构进行结构极限分析,用数值计算与递推公式相结合的方法避免了结构重分析中总刚度阵反复组装,编制了电算程序,算例结果是令人满意的.     

相容连续Domain的序同态扩张

对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理.     

系统L^＊中极大相容理论结构刻画的归纳证明

在不使用系统L^＊的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D（{φ1,φ2,…}）,这里iφ∈{pi,→pi,（→pi^2）＆（→（→pi）^2）}（i=1,2,…）,p1,p2,…是系统L^＊中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L^＊的满足性定理和紧致性定理,其结果完善了系统L^＊的理论体系.     

没有线性和凸结构拓扑空间中的一个连续选择定理的应用

本文在没有任何线性和凸结构的一般拓扑空间中证明了一个新的连续选择定理．作为应用,在一般拓扑空间框架下得到了一些不动点定理,叠合点定理,极大极小不等式以及一个非空交定理．最后,本文给出了非空交定理的一些等价形式．     

抽象凸空间上的不动点定理、匹配定理和全交定理

介绍了没有拓朴结构的抽象凸空间的概念,利用适合于建立KKM理论的抽象凸空间上已知的重合点定理得到了不动点定理、匹配定理和全交定理,并通过不动点定理给出了另一类重合点定理.所得结果推广并简化了凸空间、H-空间、G-空间及其他空间上KKM理论中的已有结果.     

局部凸H-空间内非紧无限最优化和约束对策

应用局部凸Ｈ－空间内具有闭零调值的上半连续集值映象的Ｆａｎ－Ｇｌｉｃｋｓｂｅｒｇ型不动点定理和极大化定理,对无限最优化总理２和约束对策问题在没有线性结构的局部凸Ｈ－空间内证明了解的某些新的存在定理,这些定理改进和推广了最近文献中的许多重要结果。     

超空间上的收敛定理

在超空间中,有着各种不同的收敛概念,并且半序关系也是多种多样的,因此,实数理论中的单调收敛定理与夹逼定理在超空间中就有多种不同的表达形式,现在就X是Banach空间与Banach格2种情况给出了超空间中的夹逼定理与单调收敛定理,这些定理推广了已知的结果。     

几个微分中值定理之异同——从罗尔定理到泰勒定理

要深刻地了解函数的性质,就必须进一步研究可导函数与其导数之间的关系.微分中值定理就深刻地揭示了它们的内在联系.微分中值定理是微分学教学的重点和难点.从理论上、形式结构上、定理的证明上等方面分析了几个微分中值定理的异同,揭示了微分中值定理在微分学中的重要地位和理论价值.     

一个新型KKM定理的应用

应用拓扑空间中的一个新型ＫＫＭ定理得到了广义区间空间上新型的极大极少定理、截口定理和区间空间中的不动点定理，并讨论了抽象经济Ｎａｓｈ平衡和Ｓｈａｆｅｒ－Ｓｏｎｎｅｉｎ－ｓｃｈｅｉｎ平衡点存在性问题     

贪婪胚上的横截理论

通过对贪婪胚结构的讨论 ,利用Rado Hall定理 ,得到了截拟阵定理 ,Perfect定理及关于相异代表系的结论 ,它们是拟阵结构中相应定理的推广 .     

非紧一般拓扑空间上的不动点定理

在无任何凸结构的一般拓扑空间上建立了KKM型定理, 并利用该定理得到没有任何凸结构非紧的拓扑空间上Fan-Browder映射的不动点定理或极 大元存在定理.     

拓扑空间中的广义KKM型定理及其应用

介绍线性拓扑空间上的KKM定理,在无任何线性结构的拓扑空间中建立了基于弱广义KKM映射的广义KKM型定理,并且应用新的广义KKM型定理得到非紧拓扑空间上的一些鞍点定理及Nash平衡存在性定理.论文的结果统一和改进了近期文献中的一些结论.     

一般任意复杂网络的可靠度最优布局

本文就一般任意复杂网络进行了分析,提出并严格证明了两个具有普遍意义的最优布局定理,即“一般任意复杂网络最优布局必要条件定理”和“一般网络简单串联支路最优布局定理”.在此基础上提出了单元对换计算机最优布局算法,进一步证明了J.M.Kontoleon灵敏度最优布局计算机算法的不足.