相容L-Domain及其相关范畴性质

引入了相容L－Dimain概念，给出了相容L－Domain的多种内部的外部的刻画；利用Scott拓扑定义了相容L－Domain的定向完备化，证明了相容L－Domain的定向完备化是L－Domain；考察了相容L－Domain范畴，得知稳定映射为态射的相容L－Domain范畴是Cartesian闭范畴，证明了稳定映射为态射的L－Domain范畴为相容L－Domain范畴的满的反射子范畴。     

完全稠密二叉偏序理论的量词消去(Ⅰ)

给出了完全稠密二叉偏序理论在语言L={≤,R}中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质.同时提出了该理论在L={≤,R,*}中的六类基本公式,通过考虑不同基本公式合取的量词消去情况, 来证明完全稠密二叉偏序理论在语言L={≤,R,*}中具有量词消去的性质. 着重考虑了同类基本公式合取的量词消去情况,并给出消去的算法.     

有关两个序列重新排列的一个问题

设（ｘ）与（ｙ）是任意两个同具ｎ项的实数序列，对（ｘ）与（ｙ）的所有重新排列（ｘ′）与（ｙ′）考虑诸如式∑ｘ′ｙ′之间的比较问题，通过引进ｎ次地称群Ｓｎ上的一个偏序，将和式的比较转化的为排列的该序意义上的比较，给出了可比较的若充分必要条件，指出了此序序正是Ｓｎ上的Ｂｕｒｈａｔ序的对偶。     

寿命分布类的偏序及其应用

讨论寿命分布类ＩＦＲ和ＩＦＲＡ中元件之间的偏序关系，证明了在ＩＦＲＡ中，具有星序的两个元件的色散序和随机序是等价的。作为应用，进而研究了凸序和星序在更新计数过程中的行为特征：当系统时间序分大时，具有两种序关系的元件的更新次数也具有相应的随机序关系；即ＩＦＲ性和ＩＦＲＡ性较弱的元件的失效次数随机地小于相应性质较强的元件的失效次数。     

自共轭四元数矩阵Schur补的单调性

给出正定或半正定自共轭四元数矩阵Ｓｃｈｕｒ补或广义Ｓｃｈｕｒ补的Ｌ ｗｎｅｒ偏序。     

偏序集的主理想连续性和闭区间连续性

在偏序集上引入并考察了主理想连续性(相应地代数性)和闭区间连续性(相应地代数性). 证明了主理想连续性(代数性)和通常的偏序集连续性(代数性)是等价的. 构造了反例说明闭区间连续性与通常的偏序集连续性互不蕴涵. 证明了连续偏序集(代数偏序集)如果非空有限集有多值并，则必定是闭区间连续集(代数集)；而闭区间连续性(代数性)附加下方控制条件，则蕴涵通常连续性(代数性). 得到了Scott Domain的两个新的等价刻画.     

一类偏序富足半群的结构

Blyth和McFadden讨论了具有最大幂等元的自然序富足半群的结构,得到一种分解方法El-Qallali把此方法推广到一类quasi-adequate半群上.我们推广此方法,把它应用到满足正则性条件且含最大幂等元的自然序富足半群上,讨论了这类半群的结构.     

偏序关系模型在社区卫生医疗系统中的应用与研究

分析了关系数据库中偏序的表现形式,基于偏序关系理论提出了点态序、字典序等概念,并以社区卫生医疗系统中的偏序关系模型为例,分析了不同的偏序对数据查询速度的影响,最后利用偏序关系对其模型进行修正,使系统的查询速度明显提高.     

集合论中序关系的几个基本概念辩析

对集合论中几个基本概念：偏序、全序、极大（小）元、上（下）界、上（下）确界等进行剖析，揭示其本质属性，明辩其异同。     

Topos中选择公理的一个等价刻画

基于Topos中的偏序对象, 以及相应的完备格对象定义, 证明了选择公理的一个新刻画: 选择公理成立当且仅当连续格对象等价于构造性连续格对象。