Z-连续偏序集的映射性质

在Z-连续偏序集的基础上对其上一些映射性质作了进一步的探讨。利用伴随给出了Z-连续偏序集的等价刻划。     

关于连续偏序集的注记

研究了domain的推广--连续偏序集的Cartesian积以及连续偏序集和代数偏序集的一些性质.给出了连续偏序集的若干等价刻画.     

偏序集拟阵的偏序集性质及其应用

通过对偏序拟阵的偏序集性质和广义拟阵通的偏序集性质的分别研究，得到了偏序集拟阵和广义拟阵二的关系，即每个偏序集拟阵均为广义拟阵，但反之不然。又利用这种关系得出拟阵中的贪心算法能够推广到偏序集拟阵进而组合格式中，并阐述了利用这种关系对于研究偏序集拟阵理论和广义拟阵理论的一些其他作用。     

Z-半连续偏序集的性质

讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划．同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划．     

两类代数Domain范畴的等价

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

R-偏序集上的不动点定理

研究对象是带有偏序逼近族的偏序集(poaets with families of approximating partial orders,简称R.偏序集),目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.Luis Monteiro在带有等价关系的集合(sets with families of equivalences,简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照Luis Monteiro在sfe上的结论及M.W.Mislove dcpo(directedly complete partial ordem)上Tarski不动点定理的证明,在R-偏序集上建立了逼近映射的不动点定理;同时构造了一个新的范畴R-POSET (即以R-偏序集为对象,R-单凋映射为态射的范畴),建立了范畴R-POSET与范畴GUMS(即以广义超度量空间为对象,非扩展映射为态射的范畴)之间的一个伴随,为从广义超度量空间角度研究R-偏序集提供了思路.     

广义Z-连续偏序集的几个拓扑注记

给出了Z-连续偏序集和广义Z-连续偏序集的一些拓扑性质.文章主要证明了若P是一个强的Z-交连续的广义Z-连续偏序集,则它的Lawson拓扑λZ(P)是一个T3拓扑.     

Z-连续偏序集的基

引入了Z-连续偏序集的基的概念,给出了它的刻画定理.研究了Z-连续偏序集上的Z-Scott开集,Z-Lawson开集,Z-Scott拓扑及Z-Lawson拓扑的一些性质.     

Mobius交错偏序集

本文研究了Ｍｏｂｉｕｓ交错偏序集，给出该类偏序集的纤维构造定理，并讨论其在积和区间运算下的保持情况．本文将Ｂａｃｌａｗｓｋｉ有关ＣＭ偏序集的一些性质推广到Ｍｏｂｉｕｓ交错偏序集上．     

可数一致连续偏序集的序同态与扩张

在可数一致连续偏序集上引入序同态的概念,给出若干的等价刻画,并证明可数一致连续偏序集在保可数一致并投射下的像自身仍为可数一致连续偏序集;此外,引入可数一致基与可数一致稠密集的概念,探讨一些性质,证明它们的序同态可以唯一扩张为整个可数一致连续偏序集的序同态.     

偏序集中下收敛的一个刻画

偏序集中的下收敛概念在刻画连续偏序集的Lawson拓扑和交连续偏序集的连续性方面有着重要的作用.本文给出了下收敛的一个等价刻画,利用该刻画说明了在用下收敛刻化偏序集的连续性时,交连续性的条件是必要的.     

关于一致连续偏序集的权的一些性质

引入了一致连续偏序集的基的概念,给出了其一些等价刻画,讨论了一致连续偏序集的权与相应一致Scott拓扑空间的权之间的关系,并且进一步讨论其与相应的一致Lawson拓扑空间的权之间的关系.最后给出了在一致连续偏序集中,有w(Λ(P))=w(P)=w((P)).     

Ψ－连续偏序集与完全分配格的刻划

本文引入－连续偏序集的概念，在讨论其性质的基础上给出完全分配格的一个刻划定理．     

L-fuzzy拓扑空间中的可数~*仿紧性

以*仿紧性为背景,介绍了可数*仿紧性的定义,并刻画了其基本特征。深入研究了L-fuzzy拓扑空间中可数*仿紧性的性质,并证明了可数*仿紧性是"L-好的推广"。     

可数基-中紧空间

文章引入了可数基-中紧空间，并且获得了如下主要结果：1）设f：X→Y为完备映射，Y为可数基-中紧空间，则X是可数基-中紧空间.2）设X是可数基-中紧空间，Y是紧空间，则X×Y是可数基-中紧空间.3）设X是可数基-中紧空间，Y是局部紧的可数基-中紧空间，则X×Y是可数基-中紧空间.     

一类二阶逼近集合和二阶逼近导数

首先引入了一类二阶逼近集合和二阶逼近导数. 然后讨论了这些二阶逼近集合之间的关系. 最后利用一种叫做二阶逼近Φ相依集合, 研究了一类集值映射的二阶可微性.     

关于可数中紧空间的映射定理

通过可数中紧空间的等价刻画给出了关于可数中紧性的几个映射定理：1）可数中紧性在闭的紧覆盖映射下是保持的;2）可数中紧的Frechet空间在闭映射下的像是可数中紧的;3）可数中紧性的拟完全原象是可数中紧的;4）可数中紧空间与紧空间的积空间是可数中紧的.     

An Approximating Algorithm on Reconstruction of Complicated Curved Surface

An approximating algorithm on handling 3-D points cloud data was discussed for reconstruction of complicated curved surface. In this algorithm, the coordinate information of nodes both in internal and external regions of partition interpolation was used to realize minimized least squares approximation error of surface fitting. The changes between internal and external interpolation regions are continuous and smooth. Meanwhile, surface shape has properties of local controllability, variation reduction, and convex hull. The practical example shows that this algorithm possesses a higher accuracy of curved surface reconstruction and also improves the distortion of curved surface reconstruction when typical approximating algorithms and unstable operation are used.