G‘〈G的内—FC群的几个等价条件

给出了内-IN群和内-IA群的基本分类,并得到了G’相似文献   

格的字典扩张

主要结果如下:(a)若I是格L的非零理想,则下列条件等价:(1)L=LexI;(2)INJ(∪)I;(3)I与L的每一个理想可比较;(4)K=∪{a┸∈L＼I}=(0).(b)L是格,则N∪{0}=∪{M|M是L的极小素理想}.     

一个增算子的不动点定理

在较弱的条件下,推出算子T_x=x_0+xKx的最大与最小不动点的存在性,其中K为增算子。     

可变谓词限定与良基理论

限定是McCarthy为了形式化人工智能中的常识推理的非单调性而提出的一种非单调推理形式。在本文中,我们首先提出了原来McCarthy的谓词限定和并行限定的一种推广形式——可变谓词限定,并描述了它的极小模型语义。然后,在此基础上建立了关于可变谓词限定的正确性、完备性以及相容性的各种结果,分析了可变谓词限定应用于良基理论时推测出新信息的能力。最后,我们为了进一步推广各种限定形式而提出了基于偏序关系的可变谓词限定。     

求二分图所有最小复盖的交的好算法以及由此求所有最小复盖的算法

本文给出了一个求二分图G所有最小复盖的交的好算法,其时间复杂性为O(max{|V(G))|~(1/2)。|E(G)|,|V(G)|~2})。并且在上述基础上再给出求所有最小复盖的算法,其时间复杂性为O(max{|V(G)|~(1/2)·|E(G)|,|V(G)|~2,|C|·|V(G)|})。其中V(G),E(G)分别是G的顶点集,边集,C是G的最小复盖组成的集     

Diagnostic analysis on the northern South China Sea winter counter-wind current

The winter counter-wind current （also named the South China Sea Warm Current （SCSWC）） in the northern South China Sea （SCS） has been known well for decades, but its mass and momentum origination have not be quantitatively evaluated before. In this paper, the high resolution three-dimensional ocean circulation model is adopted to reproduce the circulation in the northern SCS. The diagnostic analyses are performed to investigate the momentum budget in the northern SCS continental shelf/slope and the momentum propulsion of the SCSWC. It is indicated that the across-shelf pressure gradient and the across-shelf transport are responsible for the formation of the SCSWC, while the along-shelf pressure gradient is balanced by the surface stress, bottom stress, and Coriolis force. The magnitude of the terms in the along-shelf momentum equation is smaller than that in the across-shelf one. The analysis on the momentum budget in the northem SCS will benefit the marine environmental prediction in the future.     

一类图的可加边问题

文章主要讨论了在A类割集是割点和A类割集不是割点且不是团两种情况下处处h-可断图的可加边问题，并得出处处h-可断图在这两种情况下存在可加边。依据A类割集及处处h-可断图的性质，文章给出了由处处h-可断图出发构造新的处处h可断图的一种方法。     

BCK-代数的扩张

讨论了BCK-代数的极大元扩张的同构问题，引进了有限BCK-代数的一种新的扩张方法——保型扩张，小原子扩张只是保型扩张的特殊情况，给出了扩张后的代数与原代数之间的保型性质，并且讨论了新代数的一些有关理想的性质。     

关于p-幂零群的几个充分条件

利用极小子群的c-可补性或半正规性，得到有限群成为p-幂零的若干充分条件，推广了已知的几个结果。     

基于粗糙逻辑的增量式属性约简算法

知识约简、决策规则的获取是粗糙集理论研究的核心内容。以粗糙逻辑为基础，首先给出了在新实例加入论域后判断约简变化与否以及判断原极小决策算法中决策规则变化与否的判定依据。在此基础上，提出了一种增量式属性约简算法。该算法能有效地减少计算属性约简与极小决策算法的计算量，提高了计算效率。