可连通逼近locale及其在Frm中的反射

对一个ｌｏｃａｌｅＡ，若Ａ中最大元恰可表示为一簇连通元之并，则定义Ａ为可连通逼近ｌｏｃａｌｅ。文中证明了可连通逼近ｌｏｃａｌｅ恰能表示成连通ｌｏｃａｌｅ的真积，由此结构定理进一步证明了由可连通逼近ｌｃａｌｅ组成的Ｆｆｍ的满子范畴是反射的。Ａ     

子locale与子空间的关系

讨论了空间式子ｌｏｃａｌｅ与空间的关系以及间式子ｌｏｃａｌｅ的交的空间式问题,证明了拓扑空间的空间式子ｌｏｃａｌｅ与该空间的Ｓｏｂｅｒ化空间的子空间是一一对应的,并且给出了空间式子ｌｏｃａｌｅ的交是空间式的充分条件。     

子locale与子空间的关系

讨论了空间式子ｌｏｃａｌｅ与子空间的关系以及空间式子ｌｏｃａｌｅ的交的空间式问题,证明了拓扑空间的空间式子ｌｏｃａｌｅ与该空间的Ｓｏｂｅｒ化空间的子空间是一一对应的,并且给出了空间式子ｌｏｃａｌｅ的交是空间式的充分条件．     

可数locale乘积上的直径

不用选择公理,对于可数个具有度量直径ｌｏｃａｌｅ,可在它们的ｌｏｃａｌｅ乘积上相关地构造了一个度量直径。     

关于Component核映射几点注解

在ｓｔａｂｌｅ连续ｌｏｃａｌｅ上给出ｃｏｍｐ９ｏｎｅｎｔ核映射的一个刻划定理，从而推广了已有结果。     

Locale的拟紧性

在ｌｏｃａｌｅ范畴上建立并详细讨论了拟紧性及遗传紧（拟紧）性，并且给出了开核映射（ｏｐｅｎｎｕｃｌｅｕｓ）与闭核映射（ｃｌｏｓｅｄｎｕｃｌｅｕｓ）上确界一个完满刻划。     

关于连通控制数的一个猜想

设γｃ（Ｇ）和ｄｃ（Ｇ）分别表示连通图Ｇ的连通控制数和连通控制划分数，本文证实了有提出的一个猜想：γｃ（Ｇ）＜３ｄｃ（Ｇ）     

具有二分划(A_1;A_2)的二连通偶图的(A_1;A_2)Hamilton连通性

给出了具有二分划(Ａ１,Ａ２)ｎ阶２连通偶图Ｇ(Ａ１,Ａ２),当Ａ１＝Ａ２时为(Ａ１,Ａ２)Ｈａｍｉｌｔｏｎ连通的定义·采用反证法,将图Ｇ(Ａ１,Ａ２)分为若干情况,利用图Ｇ(Ａ１,Ａ２)的２连通性及Ａ１＝Ａ２,证明了若ｎ≤４δ－２,则Ｇ(Ａ１,Ａ２)是(Ａ１,Ａ２)Ｈａｍｉｌｔｏｎ连通的·     

关于图的控制数

设Ｇ是ｎ阶连通图γｃ（Ｇ）ｄｃ（Ｇ）ｉ（Ｇ）和ｉｒ（Ｇ）分别表示图Ｇ的连通控制数，边通控制划分数，独立控制数和无赘数，本文证明了此结构。     

关于Bloch－Landau常数

设Ｂ表示Ｂｌｏｃｈ－Ｌａｎｄａｕ常数，本文证明了Ｂ＞０．５７０８８３。     

Locale连通性（Ⅰ）

引进 Locale 连通性的合适定义,证明了一个拓扑空间 X 的开集格是连通 Locale 当且仅当 X 是连通空间,同时还给出了连通 Locale 的一些性质。     

从词汇手册看词汇习得

英语学习中词汇习得是非常重要的,但词汇习得的方法应当科学合理。英语学习中词汇习得应以语境为基础,学习作为语言而存在的生动具体的词汇,并在语境学习的基础上进行词汇的联想式集中学习,而且还要通过多感官来进行词汇习得。     

Locale P（X）的两种理想

引进作为特殊locale的离散拓扑P（X）的2种理想：主理想与WB理想，并研究了其对交运算的封闭性，对并运算的某些性质，同时在一定的条件下得出2种理想的一致性。     

一类扩展结构大系统分散关联镇定的LMI方法

研究一类扩展结构大系统的分散关联镇定问题.假设大系统是在原系统结构上一个个地增加新的子系统而构成,即所谓扩展结构系统,则扩展结构系统的分散镇定问题就是在不改变原结构分散控制律的基础上设计新加入子系统的分散控制律,使加入新子系统后的整个大系统仍能保持稳定且关联稳定.基于Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,推导了一类扩展结构大系统分散关联镇定的充分条件,并给出扩展结构的分散镇定控制器的设计方法.通过算例说明了所提出方法的有效性.     

Locale的紧正则极不连通反射

本文从任一给定LocaleA,构造出一个紧正则极不连通Locale J(A),且证明了:(1)A是J(A)的稠子locale当且仅当A是正则极不连通(2)对是范畴Loc到子范畴KREDLOC的函子(3)J是子范畴KREDLOC到范畴EDLOC的包含函子的左伴随函子,(即KREDLOC是范畴EDLOC的可反射子范畴。     

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

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

超图嵌入图的最小拥挤问题展望

We consider the problem of embedding hyperedges of a hypergraph as paths in a cycle such that the maximum congestion,the maximum number of paths that use any single edge in a cycle,is minimized. The Minimum Congestion Hypergraph Embedding in a Cycle problem is known to be NP-hard and its graph version,the Minimum Congestion Graph Embedding in a Cycle,is solvable in polynomial time. Furthermore,for the graph problem,a polynomial time approxima-tion scheme for the weighted version is known. For the hypergraphmodel, several approximation algorithms with a ratio of two have been previously published. A recent works on this problem reduced the approximation ratio to 1.5. We present a polynomial time approximation scheme in this paper,settling the debate regarding if the problem is polynomial time approximable