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

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

偏序集上Z—态射的刻划

该文引入了Ｚ－Ｓｃｏｔｔ连续映射的概念,证明了Ｚ－完备偏序集上的映射为Ｚ－连续映射当且仅当它为Ｚ－Ｓｃｏｔｔ连续映射,并由此得到了偏序集上Ｚ－态射的刻划定理。     

拓扑系统范畴与子拓扑系统

拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Ｌｏｃａｌｅ的空间化、模糊拓扑空间与拓扑分子格为特例，它可用来研究计算机程序语言的指称语义的Ｄｏｍａｉｎ理论．拓扑系统与它们的连续映射构成一个范畴，本文讨论这一范畴的基本理论，并引入子拓扑系统概念，得到了拓扑系统Ｄ可嵌入拓扑系统Ｅ中当且仅当Ｄ同胚于Ｅ的某子拓扑系统．     

拓扑学在Domain理论中的应用

讨论计算机程序设计语言的Ｄｏｍａｉｎ理论中的拓扑方法,研究稳定映射空间的开集,引入了极大类全函数概念,讨论极大类稳定全函数的性质。     

Scott连续映射的分析式与层次式刻划及应用

首先建立了拓扑空间到连续格的Ｓｃｏｔｔ连续映射的分析式与层次式刻划；其次利用这些刻划得到了连续格的分析式与层次式刻划，改进了有关作者的完全分配格的分析式刻划．     

Scott连续映射的分析式与分层次式刻划及应用

首先建立了拓扑空间到连续格的Ｓｃｏｔｔ连续映射的分析式与层次式刻划。共次利用这些刻划得到了连续格的分析式与层次式刻划，改进了有关作者的完全分配格的分析式刻划。     

Schauder不动点定理的一个新推广

通过引入一类新的映射——α一致非外法向映射，利用保核收缩和拓扑度方法，得到了新的不动点定理，推广了Ｓｃｈａｕｄｅｒ不动点定理，并对这一新结果进行了讨论．     

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

在偏序集上引入并考察了主理想连续性和闭区间连续性。证明了主理想连续性和通常的偏序集连续性的等价的,构造了反例说明闭区间连续性与通常的偏序集连续性互不涵。证明了连续偏序集如果非空有限集有多值并,则必定是闭区间连集;而闭区间连续性附加入方控制条件,则蕴函通常连结局续性得到了ＳｃｏｔｔＤｏｍａｉｎ的两个新的等价刻画。     

广义集压缩映射组的不动点和最佳逼近

本文对Ｂａｎａｃｈ空间中多元映射组引入了广义集压缩映射组概念，证明了某些不动点定理和最佳逼近定理。这些定理分别改进和推广了Ｄａｒｂｏ定理，Ｋｒａｓｎｏｓｅｌｓｋｉｉ定理，Ｓｃｈａｅｆｅｒ定理和ＫｙＦａｎ的最佳逼近定理。     

格值连续函数和L—Fuzzy紧性

第一部分研究值域为连续格的一类广泛的格值映射，得到Ｓｃｏｔｔ连续函数分析式、层次式刻划，改进了有关结果。第二部分主要研究不分明紧性，用笛卡积和闭投射给出了Ｆｕｚｚｙ紧性外部刻划定理，将一般拓扑学著名的Ｋｕｒａｔｏｗｓｋｉ定理推广到ＬＦ拓扑学中，同时给出一种不分明完备映射的一个等价刻划，完善了有关结果。     

关于Scott拓扑的core紧性

ＤＣＰＯ Ｌ被称作Σ－ｃｏｒｅ紧的,如果当Ｌ赋以Ｓｃｏｔｔ拓扑后是一个ｃｏｒｅ紧空间,长期以来,从序结构的角度刻划那些Σ－ｃｏｒｅ紧的ＤＣＰＯ一直是悬而未解的问题。在一定的限制条件下讨论上述问题,并得到了一些结果。     

关于拓扑空间开集格的ΣF—core紧性

所谓一个格是ΣＦ－ｃｏｒｅ紧的，是指在赋以Ｓｃｏｔｔ开滤子拓扑之事，这个格作为拓扑空间是ｃｏｒｅ紧的，证明了一个拓扑空间的开集格是ΣＦ－ｃｏｒｅ紧的当且仅当该空间是ｃｏｒｅ紧的。     

Schauder不动点定理的一个新推广

通过引入一类析的映射－α一致非外法向映射,利用保核收缩和拓扑度方法,得到了新的不动点定理,推广了Ｓｃｈａｕｄｅｒ不动点定理,并对这一新结果进行了讨论。     

我国胶毛藻科新记录

本文报道我国胶毛藻科Ｃｈａｅｔｏｐｈｏｒａｃｅａｅ的６个新记录种，即丰满毛枝藻ＳｔｉｇｅｏｃｌｏｎｉｕｍｆａｒｃｔｕｍＢｅｒｔｈ．，瑞士毛枝藻Ｓ．ｈｅｌｖｅｔｉｃｕｍＶｉｓｃｈｅｒ，勒贝毛枝藻Ｓ．ｌｅｂｅｌｉｉＩｓｌａｍ，多形毛枝藻Ｓ．ｖａｒｉａｂｉｌｅＮａｅｇ．，宽带竹枝藻ＤｒａｐａｒｎａｌｄｉａｐｌａｔｙｚｏｎａｔａＨａｚｅｎ和疏枝竹枝藻Ｄ．ＳｐａｒｅｉｆａｓｃｉｃｕｌａｔａＰｒｅｓｃｏｔｔ     

一个面向受限领域的汉语人机接口系统

介绍了一个面向受限领域（ＲｅｓｔｒｉｃｔｅｄＤｏｍａｉｎ）的汉语人机接口系统ＣＩＳ，它能处理受限领域是里一个单句，详细论述了ＣＩＳ的设计思想，系统结构及实现技术。     

Scott开滤子拓扑的连续性

该文证明了完备格Ｌ为连续格当且仅当Ｌ上的Ｓｃｏｔｔ开滤子拓扑σＦ（Ｌ）为连续格，且细于Ｌ上的上拓扑。特别地，若Ｌ的素元集是序生成集，则Ｌ为和当且仅当σＦ（Ｌ）为连续格。     

弱Specification和逆极限空间上移位映射(英文)

对度量空间上连续自映射引进弱Ｓｐｅｃｉｆｉｃａｔｉｏｎ概念,研究了它与浑沌和拓扑熵的联系,此外还讨论了逆极限空间上移位映射的弱Ｓｐｅｃｉｆｉｃａｔｉｏｎ性质。     

关于自映射扰动的稳定性

１９８１年，ＬＢｌｏｃｋ发现在一维自射中，Ｓａｒｋｏｖｓｋｉｉ定理对映射的扰动而程序设计刘稳定的。针对一类二维自映射，证明了其扰动稳定的。     

相容连续偏序集及其定向完备化

引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Ｓｃｏｔｔ拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Ｓｃｏｔｔ拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。     

随机局部凸空间及应用

对一类不必局部凸线性拓扑空间上给出了一种新结构──随机局部凸结构．研究了其上的Ｓｃｈａｕｄｅｒ不动点定理及其它类型的不动点定理．其Ｓｃｈａｕｄｅｒ不动点定理部分回答了文献［９］中Ｓｃｈａｕｄｅｒ提出的著名猜想．并研究了随机微分方程解的存在性．