拟极小集及其对于连续偏序集理论的应用

本文以拟极小集概念为基础,论述了连续偏序集的刻划问题,对于连续偏序集之间的余态射作了详细的分析。对J.D.Lawson和R.E.Hoffmann所确立的完全分配格与连续偏序集间的对应关系给出了一种新的处理。     

关于完全分配格的构造及余拓扑刻划

本文用ψ极小集理论给出完全分配格的一些刻划,作为应用,论述了广义序同态的一些性质。     

极小T3LF拓扑空间

对任意完全分配格Ｌ和非空集Ｘ,本文证明了Ｌ＾Ｘ上极小Ｔ３ＬＦ余拓扑的存在性以及这种余拓扑的特征定理,并给出了构造Ｌ＾Ｘ上比给定的非极小Ｔ３ＬＦ余拓扑δ严格弱的Ｔ３ＬＦ余拓扑的一种方法。     

关于极小CH空间

给出了CH空间和CH－闭空间的刻划,并研究了这类空间的性质,主要结果如下：（1）设X是拓扑空间,下面命题等价;（1）X是CGH空间;（2）（X,Tw)是T1空间;（3）（X,Tw)是T2空间;（2）拓扑空间是极小CH空间,当且仅当该空间中有唯一聚 的开CH滤基收敛,（3）极小CH空间是CH－空间。（4）拓扑空间X是极小CH空间,当且仅当对任意的x∈X和任意开CH滤基μ,若{x}=U∈μU＝U∈μClU,则μ是X的一个邻域基,（5）拓扑空间X是极小CH空间,当且仅当是极小Tychonoff空间。     

有限集上两极拓扑个数的探讨

本文对有限集上满足一定性质的拓扑的个数进行研究，得到如下结论：有限集Xa上使maxacT为平凡拓扑，minacT为离散拓扑的拓扑T至少有n-1∑m=1Cn^m（2^n-2^m＋1-2^n-m＋1＋5）个．     

关于拓扑型极大极小定理

近年来，著名的ＶｏｎＮｅｗｍａｍｍ极大极小定理被许多学者加以推广，其中最好的结果为Ｋｏｎｉｇ定理（１９９２）和张石生－张宪定理（１９９５）本文证明一个拓扑型极大小定理，它是张石生－张宪中主要结果的统一与改进，从而使极大极小定理的应用范围得到了进一步的扩充。     

完全分配格和完备集环

设L是完备格,S(*)L称为L的基,若(*)x∈L,Sx(*)S使得∨Sx=x.称L是基拟原子的,若(*)x∈S且x≠1,(*)y∈L,使得x(*)y因而x(*)y.该文使用the wedge below relation (*)证明完全分配格是完备集环当且仅当L有一个基S(*)L使得L是基拟原子格.又得到使用拓扑方法的如下刻划定理完全分配格是完备集环(*)L的区间拓扑θ(L)(Lawson拓扑λ(L)或双Scott拓扑σω(L))是完全不连通的.     

基于模型诊断中用逻辑数组计算最小碰集

在基于模型诊断中 ,冲突集的最小碰集就是诊断目标 .提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法 .     

A method of combining SE-tree to compute all minimal hitting sets

In model-based diagnosis, the candidate diagnostic results are generally characterized by all minimal hitting sets for the collection of all conflict sets. In this paper, a new method is proposed to judge a hitting set by the number of conflict sets corresponding to components, and the computing procedure is formalized by combining revised SE-tree (set enumeration tree) with closed nodes to generate all minimal hitting sets. Results show that because closed nodes are added into SE-tree, the search efficiency is highly improved. Furthermore, the proposed method is easy to be understood and implemented. Compared with other effective algorithms with completeness in some experimental tests, the diagnosis efficiency of our proposed method is higher, particularly for single- and double-fault diagnosis.     

三角矩阵余代数上的有限Gorenstein余表现余模

利用范畴的等价定理和范畴之间的正合函子,给出了三角矩阵余代数Γ=(T _TM_U0 U)上的有限Gorenstein余表现余模的具体形式,并且得到三角矩阵余代数Γ与余代数T及U之间的有限Gorenstein余表现维数的关系Max{G.cp.dimT,G.cp.dimU}≤G.cp.dimΓ≤G.cp.dimT+G.cp.dimU+1。     

完全分配格的刻划

在完备格上引入了“超分子”的概念,讨论了它的有关性质,并在此基础上利用它刻划完全分配格,给出了完全分配格的一个比较直观的表达形式。     

有限拟内射模

设R为一个环, 称一个右R-模M是有限拟内射的, 如果M的每一有限生成子模到M的同态都可扩张为M的自同态。给出了有限拟内射模的一些特征和性质,并研究了一些有限生成的 有限拟内射模。     

符号空间转移自映射的有限型浑沌集合的Hausdorff测定

本文讨论了（单边）符号空间ΣN的转移自映射σ引起的有限型浑沌,得到了如下结果：设｛mi｝是一个严格递增的正整数序列,则存在一个相对于序列｛mi｝而言的有限型浑沌集合,其1-维Hausdorff测度为1,等于ΣN的1-维Hausdorff测度;且若,其中为x的ω-极限集,则F中包含一个Borel集B,其1-维Hausdoer测度为1,从而F的1-维Hausdorff测度为1．     

完全分配格的二个刻划定理

设L为完备格,记(?)_0={L\↑a:a∈L且a≠0},(?)_0={L\↓b:b∈L且b≠1}.基于(?)_0与ψ_0,本文将给出完全分配格的两个刻划定理.     

完备格上的超分子理论

研究定义在完备格上的“超分子”的有关性质,并讨论它和分子、强分子之间的关系,并在此基础上证明了在｜L｜＝2^n时,SM（L）＝M（L）。     

On the thinness of non-tangential sets

Let Ω⊄R ^d and ξ∈∂Ω. LetE be any non-tangential subset of Ω. we prove that ifE is internal thin at ξ, then it is minimal thin at any minimal Martin boundary point of Ω. Supported by the National Natural Science Foundation of China Zhang Yiping: born in Dec. 1962. Professor     

有限表现型模与w-凝聚环(英文)

引进了有限型模与w-凝聚环的概念,进行了相关刻划.还证明了R是w-Noether环当且仅当每个有限型模是有限表现型的.由此得到w-Neother环是w-凝聚环.