W-代数偏序集及其性质

引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证明了弱Domain上的Scott连续映射保局部基当且仅当它保Weakly way below关系。     

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

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

Domain上的扩张定理

对定向极小集进行了进一步的研究，给出了Domain中保定向极小集映射与保定向并和《映射之间的等价刻画及其有关的性质，在此基础上得到了关于保定向极小集映射的两个相应的扩张定理。     

偏序集拟阵中的三类算子及十四滤子定理

在具有逆序对舍对应的有限偏序集上的偏序集拟阵中定义了闭包、内部和取补3种算子，研究了这3种算子的一些性质，最后证明了偏序集拟阵中的十四滤子定理。     

偏序集拟阵与广义拟阵的关系

研究了偏序集拟阵与广义拟阵的关系.利用偏序集拟阵秩闭包算子的性质与广义拟阵闭包算子性质的比较得出:偏序集拟阵为广义拟阵;通过广义拟阵自同构群的公理系统与偏序集拟阵相应性质的比较得出:广义拟阵不一定为偏序集拟阵.     

关于偏序集拟阵与闭包算子的关系

给出了偏序集拟阵的闭包算子和闭集的定义，并讨论了其相关性质，推广了拟阵理论中的有关结果，同时指出闭包算子和闭集在偏序集拟阵理论与拟阵理论中的区别和联系。     

偏序集广义拟阵的闭包公理

在偏序集拟阵的基础上,引入了偏序集广义拟阵的函数,定义了偏序集广义拟阵的闭包算子,讨论了偏序集广义拟阵的一系列性质.最后得到了偏序集广义拟阵的闭包公理.     

De Morgan偏序集的刻画与同余关系

借助于上集算子和下集算子给出了De Morgan偏序集概念并讨论了它的一些性质,得到了由De Morgan偏序集的弱理想生成的最大同余关系.     

两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性，其次通过引入两类新的偏序集即L-偏序集和B-偏序集，构造了范畴LPOSa（由L-偏序集与逼近关系组成）和范畴BPOSA（由B-偏序集与逼近关系组成），并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价．     

模糊Domain上的模糊序同态及其性质

通过引入模糊定向极小集和模糊Domain的基的概念,证明了模糊定向完备偏序集X是模糊Domain当且仅当X有基当且仅当x∈X,x有模糊定向极小集.基于模糊定向极小集和模糊Domain的基,研究了模糊Domain上的模糊序同态,证明了模糊Domain X的基到模糊Domain Y上的模糊序同态可以唯一扩张为模糊Domain X到模糊Domain Y上的模糊序同态.     

利用去石机降低活性炭漂浮率的方法探究

针对传统活性炭水洗处理工艺的不足,提出了一种利用去石机降低活性炭漂浮率的有效方法,并对其应用情况及产生的经济效益进行了总结和分析。     

短正合列的弱可裂

把短正合列的可裂推广到短正合列的弱可裂，并对弱可裂进行了等价刻画，最后还运用左弱可列证明了平坦模的一个充要条件。     

区间值三角模左连续的充要条件

基于定向偏序集理论给出了区间值三角模左连续的充要条件,证明了区间值三角模左连续当且仅当该三角模保定向并。     

闭格的性质

对闭格进行研究,给出了闭格的等价刻画,讨论了闭格与Locale的关系,并证明了闭格的笛卡尔乘积仍是闭格.同时,得到了闭格在保任意并的满态射下仍是闭格,最后证明了闭格在闭包运算下的像是闭格.     

定向空间的下幂结构

定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空间的下幂空间,证明了每个定向空间的下幂空间存在并给出其具体构造.一般情况下,定向空间的定向下幂空间既不同于赋予Scott拓扑的定向完备偏序集的下幂domain,也不同于Battenfeld和Schder定义的普通拓扑空间上观察诱导的下幂空间.     

四气门直喷式柴油机进气过程缸内流场的模拟研究

利用缸内三维流场测量装置,运用热线风速仪在稳流模拟试验台上研究了四气门直喷式柴油机进气过程的缸内流场特性,并与两气门直喷式柴油机进行了比较,揭示了四气门直喷式柴油进气涡流的形成过程及气门开度对其影响的变化规律。两气门直喷式柴油机进行涡流主要由进气门轴线至气缸轴线附近的强气流产生,缸内主涡流出现在进气门下方,副涡流较弱;四气门直喷式柴油机的进气涡流主要由气缸周边处的强气流产生,缸内主涡流出现在两进气     

循环流化床主蒸汽压力的模糊控制

提出一种新型模糊自适应PID汽压控制系统的设计方案,采用模糊规则粗调与微调相结合的方法,能够对时变、非线性和复杂的被控对象进行较为有效的控制。结果表明,用这种方法建立的汽压控制系统具有较好的控制品质和较强的自适应能力。     

中立Volterra延迟积分微分方程的块θ-方法的稳定性

块θ-方法具有精度高、数值稳定性好等特点。采用该方法研究线性中立Volterra延迟积分微分方程解的稳定性,理论证明了中立Volterra延迟积分微分方程数值解保留精确解的稳定性,给出当θ∈（1/2,1]时其数值算例。仿真结果表明,该方法提高了数值解的稳定性和计算效率。     

Thermal stability conditions of a weakly interacting Fermi gas in a weak magnetic field

On the basis of the results derived from pseudopotential method and ensemble theory, thermal stability of a weakly interacting Fermi gas in a weak magnetic field are studied by using analytical method of thermodynamics. The exact analytical expressions of stability conditions at different temperatures are given, and the effects of interactions as well as magnetic field on stability of the system are discussed. It is shown that there is an upper-limit magnetic field for the stability of the system at low temperatures and there is an attractive dividing value at high temperatures. If attractive interaction is lower than the critical value, the stability of the system has no request for magnetic field, but if attractive interaction is higher than the dividing value, a lower-limit magnetic field exists for the stability of the system.     

分布反馈光纤激光器水听器

本文介绍了一种新型的基于分布反馈光纤激光器（DFB—FL）的光纤水听器系统。系统采用非平衡M—z光纤干涉仪的解调方法和相位补偿的零差检测方式。实验结果表明,未封装的DFB—FL对微弱的振动信号非常灵敏,并且能获得准确的声音信号。