一类完备格的商集的讨论

介绍了完全分配格、交连续格的商集、子代数、同态的概念．证明了完全分配格的笛卡儿乘积仍然是笛卡儿乘积，完全分配格的子代数仍为完全分配格，完全分配格在满同态作用下象为完全分配格，最后得出了关于商集的重要结论，类似地给出了交连续格的结论．     

完全分配格上的关系方程的解

本文作者通过对完全分配格上的伪补的性质的研究 ,得到了完全分配格上关系方程有解的充分必要条件 ,并给出了最大解     

完全分配格上的关系方程的解

本文作者通过对完全分配格上的伪补的性质的研究，得到了完全分配格上关系方程有解的充分必要条件，并给出了最大解。     

完全分配格上的特殊矩阵

研究了完全分配格上的矩阵A的{1}-广义逆和方程组AX=b的关系．给出了完全分配格上的正定矩阵的概念，并研究了格矩阵正定的若干等价条件．     

模糊完备格中的逼近元（英文）

由于逼近元在刻画分明完全分配格中所起的重要作用,基于完备剩余格,在模糊完备格中引入了逼近元概念,它是分明情形之推广;为研究模糊完全分配格提供了另外一种方法.借助于逼近元,得到了模糊完全分配格和插入性质的一个等价刻画定理.     

完全分配格上半拓扑生成序的象和逆象

本文给出了完全分配格上半拓扑生成序在序同态下的象和逆象的定义,分别研究了象和逆象的性质,为进一步研究完全分配格上拓扑共生结构的象结构和逆象结构奠定了基础。     

由正则子半群所决定的半群上子半群格的结构

本文中提出了半群上的正则子半群的概念,通过半群上的正则子半群给出了半群上的一般子半群的表示,进而研究了半群上的子半群格成为完全分配格的几个充要条件。同时,对比正则性更为广义的紧致性也作了一般探讨。     

完全分配格上的矩阵的行列式

研究了完全分配格上的矩阵其行列式的性质，给出了格矩阵的行列式的“拉普拉斯展开”计算式，研究了格矩阵及其伴随矩阵与行列式的关系，并用格矩阵的行列式给出了以格元素为系数的线性方程组的“克兰姆法则”。     

一类幂等半环对分配格的刻画

研究了一类可表示为分配格的幂等半环,即加法半群为半格的乘法带半环;通过Green-D关系,得到了加法群为半格的乘法带半环的若干性质;证明了如果半环S的加法半群是半格,则S是乘法带半环当且仅当S是分配格;从而获得分配格结构的一种刻画。     

完全分配格上的极小族拓扑

采用极小族理论建立了完全分配格上的另外一种拓扑——极小族拓扑,使得最大标准极小族是该拓扑仅有的非平凡开集。给出了极小族拓扑的一些性质及该拓扑下函数连续的必要条件,讨论了该拓扑下映射的连续性和广义序同态的关系,证明了完全分配格上的标准极小族映射为广义序同态。     

完备的完全分配格上连续映射的单调插入

探讨对于完备的完全分配格Diendonne’-Hahn-Tong定理的单调插入性质,我们把所有的格值(下)半连续映射的族看作一个拓扑,然后对于一个合适的格得到以下结果:诱导空间是单调正规的当且仅当它的下方空间是单调正规的,也即证明了:拓扑空间是单调正规的当且仅当对于具有可数严格并生成集的完备的完全分配格具有单调插入性质。     

Credulous argumentation with the disjunctive stable semantics

Ｔｈｅｄｉｓｊｕｎｃｔｉｖｅｓｔａｂｌｅｍｏｄｅｌ[1]ｉｓｔｈｅｍｏｓｔｆａｍｏｕｓｓｅｍａｎｔｉｃｓｆｏｒｄｉｓｊｕｎｃｔｉｖｅｌｏｇｉｃｐｒｏｇｒａｍｍｉｎｇａｎｄｉｓｃｌｏｓｅｌｙｒｅｌａｔｅｄｔｏｍａｎｙｆｏｒｍａｌｉｚａｔｉｏｎｓｏｆｃｏｍｍｏｎｓｅｎｓｅｒｅａｓｏｎｉｎｇ,ｓｕｃｈａｓｄｅｆａｕｌｔｒｅａｓｏｎｉｎｇ,ａｕｔｏｅｐｉｓｔｅｍｉｃｒｅａｓｏｎｉｎｇ.Ｏｎｔｈｅｏｔｈｅｒｈａｎｄ,ａｒｇｕｍｅｎｔａｔｉｏｎｉｓｗｉｄｅｌｙｕｓｅｄｉｎｖａｒｉｏｕｓｆｉｅｌｄｓｉｎｃｌｕｄｉｎ…     

Consistency-based abduction with extended disjunctive logic programs

By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disjunctive logic programs, called the typical abductive semantics (TAS), is presented, which is quite simple and highly intuitive. TAS is complete and coincides with the stable semantics for the class of disjunctive programs that possess stable models. By the coherence principle, TAS can be easily generalized to extended disjunctive programs and can properly handle some benchmark problems in commonsense reasoning     

电子设备可靠性的一种通用分配法

针对产品研制需要进行可靠性分析,给出了一种通用的可靠性分配法,该法是均匀分配法,相对失效率分配法、ＡＧＲＥＥ分配加权权分配法的推广,该法适用于串并联系统。     

格及其编码和译码

本文介绍了n维实欧氏空间R~n中格的基本概念、构造与主要的编译码方法,讨论了二元纠错码与格的关系,以及由二元码构造格的方法。格与二元纠错码的软判决译码有着紧密的联系。格的最主要特点是将矢量空间R~n进行划分,在矢量量化和编码理论中具有重要的现实意义。     

麦克斯韦分子速率分布定律的推导

为了描述气体分子按速率分布情况,研究它的定量规律,从伽尔顿板实验出发,并利用概率论知识及分子速率分布满足的归一化条件,推出了平衡状态下的气体分子的麦克斯韦速率分布定律。     

Disjunctive logic and semantics of disjunctive logic programs

In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not is defined as not provable , the disjunctive logic program { a V b, not a, not b} should be consistent because a being not provable and b being nor provable does not imply a V b being riot provable. Such an observation is significant for non-monotonic reasoning, but none of the major current semantics for disjunctive logic programs is able to support it because they are all based on classical first-order logic in which assuming not a and not b implies assuming no: (a V b) A new first-order logic (disjunctive logic ) is developed that fully complies with this observation and new semantics for disjunctive logic programs are established This theory is able to formalize and solve some paradoxical problems, such as the lottery paradox