奇异扰动的二阶非自治格点系统的一致吸引子的上半连续性

本文研究概周期外力驱动的二阶非自治格点系统的一致吸引子在Hausdorff半距离下关于二阶项系数的上半连续性.首先证明在一定条件下二阶非自治格点系统和对应的一阶非自治格点系统分别存在一致吸引子.然后考虑二阶导数项系数趋于零时,这两个一致吸引子之间的关系.采用的方法是在二阶非自治格点系统的相空间中构造一个子集,使得一阶非自治格点系统的一致吸引子作为第一分量自然地嵌入到该子集中,并证明当二阶项系数充分小时,二阶非自治格点系统的一致吸引子可以进入到这个子集的任何邻域内.最后讨论二阶非自治格点系统的一致吸引子在正的二阶导数项系数处的上半连续性.     

一类广义半无限规划问题的一阶最优性条件

本文利用一个精确增广Lagrange函数研究了一类广义半无限极小极大规划问题。在一定的条件下将其转化为标准的半无限极小极大规划问题。研究了这两类问题的最优解和最优值之间的关系,利用这种关系和标准半无限极小极大规划问题的一阶最优性条件给出了这类广义半无限极小极大规划问题的一个新的一阶最优性条件。     

幂半格与半群

给出了半格上的幂半格的概念,讨论了幂半格的相关性质,建立了半格上的幂半格与半群之间的联系。     

指数型增广拉格朗日函数在广义半无限规划中的应用

本文利用指数型增广拉格朗日函数将一类广义半无限极大极小问题在一定条件下转化为标准的半无限极大极小问题,使它们具有相同的局部与全局最优解.我们给出了两个转化条件:一个是充分与必要条件,另一个是在实际中易于验证的充分条件.通过这种转化,我们给出了广义半无限极大极小问题的一个新的一阶最优性条件.     

格上的幂半格与幂格

研究了格上的幂半格及其性质,建立了格上的幂半格与幂格的关系。     

算术半格的闭包空间表示

本文主要讨论算术半格的闭包空间表示.首先通过在给定的闭包空间中增加适当的条件,提出了算术闭包空间的概念,并且给出了算术半格的闭包空间表示.接着提出了算术闭包空间之间的算术逼近映射的概念,并证明了以算术逼近映射作为态射的算术闭包空间范畴和以Scott连续函数作为态射的算术半格范畴之间的范畴等价性.     

条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.     

偏序集上一致连续性的等价刻画与性质

将一致小于关系移植到一般偏序集上,同时引入了上界小于关系,定义了偏序集的一致连续性和上界连续性.给出了一致连续偏序集的等价刻画,探讨了一致连续偏序集所具有的性质.主要结果有:(1)证明了偏序集上的一致连续性,上界连续性与s-超连续性均等价;(2)在交半格条件下,偏序集的一致连续性等价于它的每一主理想一致连续;(3)在并半格条件下,偏序集的一致连续性蕴含连续性,反之不成立;(4)一致完备的一致连续偏序集均是连续bc-dcpo,且每个主理想均为完全分配格;(5)在一致完备的条件下,一致连续性对主滤子,对闭区间,对Scott S-集以及对一致连续投射像均是可遗传的.文中也构造了若干实用的反例.     

半极小集及其应用

在完备格中,引入半极小集概念,得到完备格L是半连续格当且仅当每一个元都有半极小集这一结论,同时给出半极小集的一些刻画性质.在半Scott连续映射的帮助下,给出了保半极小集的一些映射性质,并用这些性质证明了半连续格的子半格、商半格还是半连续格.     

非紧致集上的最优值函数与广义半无限极大极小规划

研究非紧致集上的最优值函数, 给出了它的方向导数与次微分的结构表示式, 利用它们建立了广义半无限极大极小规划与其一阶最优性条件.