相容并半连续Domain

在素滤子和并半连续格的基础上,引入了相容R-半连续Domain和相容并半连续Domain的概念,给出了它们的一些基本性质.并且利用相容R-半scott拓扑刻画了相容并半连续Domain.     

拟相容半连续格

给出了拟相容半连续格的概念以及它的若干性质,讨论了拟相容半连续格的像集是拟相容半连续格的条件.     

相容连续Domain的序同态扩张

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

相容半连续格

给出了相容半连续格的概念以及它的若干性质,利用相容半素极小集的方法阐述了映射的相容半连续性、保c关系和保相容半素极小集之间的联系,并得到相容半连续格的任意收缩仍是相容半连续格的结论.     

相容连续Domain的特征与浓度

引入相容连续Domain的权与稠密子集的概念,在此基础上定义相容连续Domain的特征与浓度.给出局部基的刻画,并讨论相容连续Domain的特征、浓度与相容连续Domain带上Scott拓扑或Lawson拓扑时拓扑空间的特征与浓度之间的关系.证明相容连续Domain的特征、浓度分别带上Scott拓扑时拓扑空间的特征、浓度相等,它们分别小于相容连续Domain带上Lawson拓扑时拓扑空间的特征与浓度.     

相容半Scott拓扑

文章给出相容半Scott拓扑的概念,讨论相容半连续格上相容半Scott拓扑的一些基本性质。     

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

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

相容并半连续格

利用半素滤子定义了相容并完备格,进而给出了相容并半连续格的概念以及研究了它的若干性质.此外,研究了相容并半连续格的映射性质,并得到相容并半连续格的任意收缩仍是相容并半连续格.     

Z-相容连续Domain及其相关性质

对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.     

相容半连续dcpo

作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑:相容半Scott拓扑.     

连续Domain的若干特征定理

目的 给出准连续Domain与连续Domain的特征刻画。方法 利用准连续Domain的每一点都有准定向极小集，连续Domain的每一点都有定向极小集。结果 给出了准连续Domain与连续Domain的一些等价刻画，得到了连续Domain的等式刻画。利用Waybelow关系给出了连续Domain的一个特征定理。结论 通过引入准连续Domain，得到了连续Domain的一些特征定理。     

相容双有限Domain的几个性质

在相容双有限domain概念及其等价性质的基础上,证明了几个与相容双有限domain相关的结论：相容双有限domain在Scott连续映射下的像仍是相容双有限domain;相容双有限domain的非空Scott闭子集仍是相容双有限domain等.     

Scott Domain上的稳定映射与Lawson拓扑

研究了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的性质及 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射与下拓扑之间的联系,给出了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的特征定理,得到了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ上的稳定映射与 Ｌａｗ ｓｏｎ 拓扑之间的关系定理     

连续Domain的特征与浓度

引入了连续Domain的局部基和稠密子集的概念，在此基础上定义了连续Domain的特征及浓度，给出了局部基的刻画，并讨论了连续Domain的特征、浓度与连续Domain带上Scott拓扑或Lawson拓扑的拓扑空间的特征、浓度之间的关系。证明了连续Domain的特征、浓度分别与它带上Scott拓扑时的拓扑空间的特征、浓度相等，它们分别小于连续Domain带上Lawson拓扑时的拓扑空间的特征、浓度。     

相容双有限domain及相关范畴性质

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．     

相容次序矩阵AOR迭代的最优参数选取

讨论当线性方程组Ax=b的系数矩阵A为(1,1)相容次序矩阵且其Jacobi特征值为纯虚数或零时,AOR迭代的收敛性问题,得到此类方程组AOR迭代的收敛区间,并在收敛范围内分段讨论,进而得到最优参数及与之相应的谱半径,用实例给出了结论的一些应用.     

一类特殊矩阵的AOR迭代收敛条件

A．Hadjidimos提出了一个迭代求解线性方程组的AOR方法(Accelerated Over relaxation Method),并讨论了Jacobi迭代矩阵的特征值为实数时此方法的收敛性．在此基础上,讨论了系数矩阵A为(1,1)相容次序矩阵、Jacobi迭代矩阵的特征值为复数时AOR迭代法的收敛情况．给出一个判定收敛的条件．扩充了A．Hadjidimos的结果,并以一个数值例子加以说明．     

相容次序矩阵的AOR方法的收敛性

文章讨论了系数矩阵为相容次序矩阵、Jacobi迭代矩阵的特征值在三种情形时对应的AOR方法的收敛条件,并给出了当Jacobi迭代矩阵特征值为纯虚数和实数时的最优因子的选取方法,最后通过实例进行分析。