偏序集生成的K上自由格

本文给出偏序集Ｐ生成的格等式类Ｋ上自由格存在的一个充要条件，由此证明Ｐ生成的自由格存在。     

偏序集基数幂的格性质

讨论偏序集Ｘ、Ｙ及其基数幂Ｙ＾Ｘ的格性质，给出了使Ｙ＾Ｘ成为半模格、模格、分配格，有补格，Ｂｏｏｌｅ格及完备格的充要条件。     

模糊完备格上的模糊同余关系

在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商.     

偏序半环上的半拟序格

给出了偏序半环的半拟序集构成的格,证明了它是完备的分配格,并讨论了偏序半环的两个特殊的半拟序格,即拟序集构成的格与楄序集构成的格的关系。     

一致连续偏序集理论

给出了一致连续偏序集的概念及其性质和等价刻划。利用一致极小集的方法阐述了映射的连续性、保一致小于关系和保一致极小集之间的联系，并证明了完备格是一致连续格当且仅当每个元都存在一致极小集。     

关于广义格半群

引入广义格半群的概念，进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论，指出格半群是广义格半群，反之则不一定，在广义格半群中理想集I(S)是完备格，而sl理想集却不能构成格，在格半群中，sl理想集是格，但是两个sl理想的上确界不等于其并，广义格半群中的理想均能生成sl理想。     

Z—连续偏序集的Z—极小集理论

给出了Ｚ－连续偏序集上Ｚ－极小集的概念及其性质和等价刻划，利用Ｚ－极小集的方法阐述了映射的连续性及保Ｚ－Ｂｅｌｏｗ关系和保Ｚ－极小集之间的联系，并证明了完备格是Ｚ－连续格当且仅当每个元都存在Ｚ－极小集     

两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性，其次通过引入两类新的偏序集即L-偏序集和B-偏序集，构造了范畴LPOSa（由L-偏序集与逼近关系组成）和范畴BPOSA（由B-偏序集与逼近关系组成），并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价．     

偏序集上的蕴涵

首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念，得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画，又从格论的角度出发；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件．     

格半群相关概念的几点注记

引入广义格半群的概念，进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论，指出凡格半群是广义格半群，反之则不一定。在广义格半群中理想集I(S)是完备格，而sl理想集SL(S)却不能构成格。在格半群中，sl理想集是格，但是2个sl理想的上确界不等于其并。广义格半群中的理想均能生成sl理想。     

广义Z-连续偏序集

研究了广义Z连续偏序集在Z连续的闭包算子下的像还是广义z连续偏序集,证明了一个强广义Z连续偏序集在推广的lawson拓扑下是T2的     

偏序集与不同种广义拟阵间的包含关系

众所周知,偏序集理论在研究广义拟阵论中起着重要作用.但是偏序集理论与不同种广义拟阵间的包含关系的直接联系是什么呢?怎样运用偏序集理论的手法去解决该问题呢?为得到答案,首先对于定义在同一集上的全体广义拟阵构造一个偏序关系,运用这种偏序关系讨论不同种的广义拟阵间的包含关系.多数结论是以构造方式给出,因此也使其在理论和运用方面更加简捷明了.     

Dcpo上的辅助序与拓扑

目的讨论Dcpo上的辅助序与拓扑的关系。方法利用映射的复合。结果通过映射建立了Dcop上的辅助序与拓扑之间的联系。结论可以由Dcop上的一个逼近的辅助序通过映射构造出一个拓扑,反过来,通过一个拓扑也可以构造出一个辅助序,从而把辅助序和拓扑联系起来。     

Poset on Dyck paths

Dyck格路径是第一象限中由上升步与下降步构成的格路径.由Dyck格路径的包含关系确定了其为偏序集,且是一个分配格.此偏序集的Whitney数满足一个递归关系式,其生成函数可写成连分数的形式.此偏序集交不可约同构于n-元链的区间构成的偏序集.给出了此偏序集的Mbius函数,并讨论了其应用.利用ECO方法,递归地构造出了此偏序集的Hasse图.最后,还介绍了Dyck格路径上的另外一种类型的偏序集,即其偏序关系由包含关系和峰的个数来确定.     

基于关系矩阵格的快速判定

利用纯代数的方法,构造了一种新的格的判别方法.由于格定义在偏序集上,利用偏序关系与关系矩阵的对应,分析关系矩阵的性质,定义了一个K阶子矩阵,通过K阶子矩阵判断该偏序集是否构成格,并在Matlab7做了实例验证,该方法思路规范、便于计算机程序化.     

自由幺半群X*的两类极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN。对N=1,2,文[1]证明了幺半群C*是自由幺半群X*的极大自由幺子半群。本文证明了:对N≥3,幺半群C*也是自由幺半群X*的极大自由幺子半群。     

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

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

一维Toda晶格中孤立波的自由面反射

给出了一维Toda晶格中单孤立波自由反射的数值计算结果.结果表明,当孤立波的传播接近自由面时,有反射波从自由面处反射回来,自由面处粒子最大速度达到孤立波速度波峰的2倍,自由面处粒子位移由最初的一a变到最后的+a,反射波的传播速度与原孤立波完全相同.     

偏序集拟阵的基和圈

研究了偏序集拟基和圈的一些基本性质，得到了组合概型的一个反链是它的所有圈集的充分必要条件，从而得到了偏序集拟阵的圈公理，同时还纠正了文献[2]中的一个错误。