关于Scott拓扑的core紧性

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

内蒙古盲蝽科中国一新纪录属记述(半翅目:盲蝽科)

本文记述了内蒙古半翅目异翅亚目Hemiptera-Heteroptera盲蝽科Miridae畸角盲蝽属Teratocoris Fieber中国新纪录属和本属的萨氏畸角盲蝽T.saundersiDouglas et Scott,为中国新纪录种。     

交连续dcpo的遗传性和不变性

讨论了交连续dcpo的遗传性和不变性,证明了如下结论:(1)交连续dcpo对于开子空间和闭子空间都是可遗传的;(2)交连续dcpo在加最大元和去最小元运算下保持交连续性;(3)交连续dcpo的收缩核为交连续dcpo.另外,给出了交连续的主理想刻画的一个直接证明;构造了反例说明交连续dcpo对于主滤子是不可遗传的;也构造了反例说明所有主滤子都交连续的一个dcpo,自身不必是交连续的.     

Z-广义连续格

利用Ｚ－子集系统引入Ｚ－广义连续格的概念，并研究了这类格的映射及拓扑性质。     

Scott开滤子拓扑的连续性巩(英文)

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

测度拓扑和连续偏序集的刻画

研究偏序集上的测度拓扑以及与其它内蕴拓扑间的关系,利用测度拓扑刻画了偏序集的连续性.构造了反例说明存在完全分配格,其上的测度拓扑不是连续格从而不是局部紧拓扑.     

Complexity spaces as quantitative domains of computation

We study domain theoretic properties of complexity spaces. Although the so-called complexity space is not a domain for the usual pointwise order, we show that, however, each pointed complexity space is an ω-continuous domain for which the complexity quasi-metric induces the Scott topology, and the supremum metric induces the Lawson topology. Hence, each pointed complexity space is both a quantifiable domain in the sense of M. Schellekens and a quantitative domain in the sense of P. Waszkiewicz, via the partial metric induced by the complexity quasi-metric.     

Global synchronization of fractional‐order and integer‐order N component reaction diffusion systems: Application to biochemical models

This study considers the problem of control and synchronization between fractional‐order and integer‐order, N‐components reaction‐diffusion systems with nonidentical coefficients and different nonlinear parts. The control scheme is designed using the Lyapunov direct method. The results are exemplified by two significant biochemical models, namely, the fractional‐order Lengyel‐Epstein model and the Gray‐Scott model. To illustrate the effectiveness of the proposed scheme, numerical simulations are performed in one and two space dimensions using Homotopy Analysis Method (HAM).     

Hierarchies in φ‐spaces and applications

We establish some results on the Borel and difference hierarchies in φ‐spaces. Such spaces are the topological counterpart of the algebraic directed‐complete partial orderings. E.g., we prove analogs of the Hausdorff Theorem relating the difference and Borel hierarchies and of the Lavrentyev Theorem on the non‐collapse of the difference hierarchy. Some of our results generalize results of A. Tang for the space Pω. We also sketch some older applications of these hierarchies and present a new application to the question of characterizing the ω‐ary Boolean operations generating a given level of the Wadge hierarchy from the open sets. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Meet continuous lattices, limit spaces, and L-topological spaces

In this paper, a systematic investigation of the relationship between meet continuous lattices, limit spaces, and L-topological spaces is given. It is a continuation of the investigation on this topic by Höhle (2000, 2001). The relationship between the Lowen functors and the functors introduced by Höhle (2000, 2001) is made clear.