可迁格序置换群

给出了可迁置换群是单可迁的等价条件，证明了可数自由群及其直积可以嵌入到有理数集Ｑ的格序置换群Ａ（Ｑ）中。     

格等式类格的对偶紧元

本文的结果归纳成两个定理。阐明了格的有穷个元生成的子格至多是可数的；给出格等式类格的对偶紧元的一个特征性质。这些对于研究格等式类格具有重要意义。     

可数连续格与局部Lindel(o)f空间

引入可数连续格概念,证明了可数连续格在许多方面类似于连续格,并证明了可数连续的素frame范畴对偶于强Sober的局部Lindelof拓扑空间范畴．     

σ-Boole格可以是没有支柱的

所谓某个Boole格有支柱指的是这个Boole格可以和某个集的子集的全体按包含关系组成的Boole格同构,由于可数Boole格的引入,知道一个任意的Boole格可以是没有支柱的·中山正在[1]中猜测,即使对于备Boole格,也未必是有支柱的。据作者所知,这是一个迄尚未解决的问题。本文就Boole格在比备性较弱的σ-性的情况证明了上述猜测。引理1 某集M的所有子集的集按包含关系构成的Boole格B中,任一极大全序子集的势都大于或等于B的原子元的集的势。证:对B的住一极大全序子集A,M的任一元P,记S_p为A中一切含有P的元的交,     

可数连续格的序同态

文章给出可数定向极小集的概念,并由此得到可数连续格序同态的一个刻画.     

可数半连续格的序同态扩张

本文借助于半素可数极小集得到可数半连续格序同态的扩张定理.     

可数半连续格的序同态

引入半素可数极小集的概念,并研究它的若干性质及内部刻画.此外,借助半素可数极小集给出可数半连续格序同态的一个内部刻画,推广了相关文献的结果.     

对称拓扑分子格中的可数S—闭性

对称拓扑分子格（Ｌ,η）称为可数Ｓ闭的,如果其最大元１的由可数半开元组成的覆盖都有有限子族,它们的闭包构成１的覆盖．在上述定义中,若分别将“闭包”换成“半闭包”、将“半开元”换成“强半开元”,就另外得出可数强Ｓ闭的与可数弱Ｓ闭的定义．研究了三种可数Ｓ闭性各自的等价刻划与特征性质,给出它们之间的内在联系．１°（Ｌ,η）是可数Ｓ闭的当且仅当１的每个可数正则闭覆盖都有有限子覆盖．２°在对称拓扑分子格的框架下,可数强Ｓ闭性蕴涵可数Ｓ闭性,可数Ｓ闭性蕴涵可数弱Ｓ闭性．３°在极不连通的对称拓扑分子格中,可数强Ｓ闭性,可数Ｓ闭性与可数弱Ｓ闭性等价．     

可数连续格上的两个扩张定理

给出了可数定向极小集的概念,并由此得到了可数连续格序同态的两个扩张定理.     

分式半环上的同余格

讨论了半环R上的同余格与分式半环ST-1R上的同余格之间的关系,得到R上的同余格可嵌入到ST-1R上的同余格中的结论.     

复杂性集类中的完全集问题

本文针对多项式时间多一归约、图灵归约及强图灵归约,探讨了一些复杂性集类存在完全集的充要条件,指出了此三种归约有表现在完全集上的差别.     

K-n-度

本文基于K-算子提出了K-n-度的概念,得到了NP集类的K-n-度结构的一些初步结果。     

线性规划的Karmarkar方法(续)

线性规划的多项式算法——Karmarkar方法，是近期国际运筹学界的著名成果，它在理论与实用上都有重要意义，本文希望用比较通俗的方式介绍它，以便让更多的人们了解这一方法并将它应用于实际，产生更多的经济效益。     

一类新图族及其分类

本文按递归构造法给出了一类新图族，研究了其伴随多项式第四项系数的规律，由此得到了一种分类方法，其结果有助于我们进一步研究此类图族补图的色唯一性及色等价划分。     

一类带有参数的线性拟周期微分方程系统的可约化性

考虑一类带有参数的拟周期系数线性微分方程系统.x=(A(ξ) Q(t,ξ))x,x∈Rn的可约化性问题,其中ξ为参数,A(ξ)是常系数矩阵,Q(t,ξ)是依赖于ξ的拟周期矩阵.设拟周期矩阵Q(t,ξ)的频率关于参数ξ满足Rüssmann非退化条件,且与A(ξ)的特征值满足一定的非共振条件.证明了当Q(t,ξ)充分小时,在测度意义下对大多数的ξ,微分方程系统是可约化的.     

H_n~′中的多项式极性和系数估值

有关H_n′中的多项式的极性和系数估计的一些结果,即是本文第三部分中之定理4～定理6。这些结果在所著之“函数构造论”中,证而不严,或只提而不证(并非显然的结果)。本文首先证明在H_n′中,在[-1,1]上与“0”最小偏差的多项式之唯一性定理,并通过建立多项式的显式加以变形,然后论证它们。     

两类图的伴随多项式

本文运用伴随多项式的递归公式,求出了两类图的伴随多项式。     

线性分式规划的多项式时间算法

线性规划（ＬＰ）各种形式的多项式时间算法的研究和成果已相当成熟，但对线性分式规划（ＬＦＰ）的研究甚少．在理论上，ＬＦＰ可转换为ＬＰ，但ＬＰ的多项式时间算法求得的多半为近似解，且ＬＦＰ转换为ＬＰ是通过一个非线性分式映射实现的．因此研究和分析ＬＰ的各种多项式时间算法对ＬＦＰ的稳定性具有理论和实际意义．本文首先系统地分析了从ＬＦＰ到ＬＰ的转换及各种性质．然后，将ＬＰ的一些多项式时间算法推广到ＬＦＰ，最后证明它们仍可在多项式时间内求得满足精度的近似解．     

一类特殊方程的可约性

应用压缩映射原理 ,讲述了一类特殊微分方程的可约性问题 ,给出了此类方程可约的一个充分条件 ,改进了文献 [1]中的结果     

仿射构形的可约性

用矩阵方法讨论仿射超平面构形的可约性。通过证明仿射构形可约等价于对应的中心构形可约,把仿射构形因子分解存在惟一性归结为中心构形相应的已知结论,得到仿射超平面构形因子分解的存在惟一性。