完备集环是理想格的充分必要条件

证明了如下结果：设L是完备格，L是完备集环←→L同构到L的完全并既约元有限生成的分配并半格F上的理想格I(F)，完备格L同构到一个格K的理想格I(K)，L是完备集环←→K是强Sober格。     

C—格

完备格L称为C-格当且仅当L是分配的并且存在不可约元组成的基,该文探讨了C-格的一些性质。     

局部格群

本文首次提出局部格群这一概念，并讨论了这一代数结构的性质，得到了许多结果。例如，在局部格群中，不存在最大元及最小，无限分配律成立等，明显地，这些结果为研究Ｌ－Ｆ群提供了较好的工具。     

完备格上的完全素滤子

讨论了完备格上完全素滤子的性质，借助于完全素滤子，给出完全分配格的刻划。     

完全分配格和完备集环

设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))是完全不连通的.     

完备格上的超分子理论

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

既约剩余系中同阶元的对称函数（Ⅰ）

证明了既约剩余系中同阶元的等幂和函数与乘积函数的３条性质。     

既约剩余系的一个性质及其推论

给出了既约剩余系的一条性质，从而得到一个乔拉（Ｃｈｏｗｌａ）型结论。     

完备格的一种表示

Ｍ．Ｈ．ｓｔｏｎｅ 已证明：对于分配格,存在一个集合,使得它格同构于这个集的幂集格的一个子格．对于完全分配格,可知它格同构于［０ ,１］ 的某个幂的子完备格．本文探讨完备格的表示,给出了它的一种表示     

完全交代数簇的陈类

代数簇的陈省身类不等式研究(也称为代数簇的地理学问题)是代数几何中的一个重要研究课题, 其中重要的不等式包括著名的Miyaoka-Yau不等式和Noether不等式等.主要研究完全交代数簇的陈类不等式, 通过余切丛的正合列计算得到完全交代数簇陈类的公式, 具体给出了四维完全交代数簇的陈类计算公式,并建立了四维完全交代数簇陈类的一些不等式.     

完备格上的广义Pawlak近似算子

波兰学者Z.Pawlak引入的Rough集理论,在计算机科学和信息科学等方面有着广泛的应用。但它只是在一般论域上利用等价关系,对集合引入上、下近似算子。我们将这种算子推广到具有逆对合对应的完备格上。证明推广后的算子与Z.Pawlak原先的算子理论,具有完全类似的特性。对Pawlak的Rough集理论,进行了实质性的改进与推广,应用范围更广。     

格序半群的一些性质

主要利用格序半群的对偶同构这一工具，研究格序半群的一些性质，并给出格半群构成格序群的一个充分必要条件．     

A complete set of addition laws for twisted jacobi intersection curves

A complete system of addition laws on an elliptic curve E is a collection of addition laws with the property that for any pair of points P1,P2 on E at least one of the addition laws in the collection can be used to compute P1+P2.This paper proposes a complete set of the addition laws for arbitrary twisted Jacobi intersection curve.     

区间空间中非空交定理及其在经济平衡问题上的应用

在一类不具线性结构的拓扑空间——区间空间——中建立了拓扑型非空交定理．作为应用，我们研究了抽象经济Shafer-Sonneinsche平衡问题。     

基于一类完备格诱导的直觉模糊集的多元扩展运算

基于一种二元序完备格引入了直觉模糊集的截集的概念,给出了直觉模糊集的加、减和乘法等算术运算,获得了这种截集的算术运算性质,并通过实例说明这些包含关系可以严格成立.此外,在完备格诱导的直觉模糊集的截集基础上,得到了直觉模糊集的多元扩展原理,进而讨论了多元扩展运算的2个基本性质.     

剩余格上逻辑度量空间的拓扑性质

首先研究了逻辑度量空间(［0,1］, ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了［0,1］剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。     

B值随机元序列的矩完全收敛性

文章在随机元序列随机有界于某非负随机变量的条件下,引入慢变化函数l和选定的函数类S,在一定的概率性条件下,得到B值独立不同分布随机元序列矩完全收敛性的充分条件,推广了有关文献的结果。     

一类图构形的模元素

证明了有n个顶点的图构形中所含的m个顶点的团（clique）对应的超平面的交是模元。然后利用Stanley定理给出了此类图构形的Poincaré多项式的一个因式分解。并举例说明图G的一个弦子图所决定的m个顶点的超平面的交不一定是L(A (G))的模元。