NE系统与完备的初等系统

在文献中我們引入了关於(第一型与第二型)初等系統的概念,初等系統的半完备性与完备性的概念,並且研究了关於函数xNy,x+y与x·y的各种第一型半完备的初等系統。本文研究关於函数xNy与xEy(当x=y时其值为0,当x≠y时其值为1)的第一型完备初等系統。本文还指出,在一个半完备的初等系統中有了函数xNy与xEy后,它就成为完备的初等系統了。     

关于完备色数（Ⅰ）

平面图Ｇ（Ｖ，Ｅ，Ｆ）的完备色数ｘ＿ｃ（Ｇ）是使得集合Ｖ∪Ｅ∪Ｆ中相邻和相关联的元素均染为不同颜色的最少颜色数．本文证明了：若Ｇ为△（Ｇ）＝６的无割点外平面图，且还满足性质Ａ或性质Ｂ，则ｘ＿ｃ（Ｇ）＝７，其中△（Ｇ）为Ｇ的顶点最大度．     

群的部分初等等价性(Ⅰ)

两个群当适合形式语言■={·,1}中完全相同的形状为(■x_1…x_n)Ψ(x_1…x_n)(ψ中无量词)的语句时,称为■_n-等价的。其他“部分初等等价性”可仿此定义。本文给出了两个群为■_n-等价的代数条件。讨论了一些常见的由二元生成的群,证明它们每一个都只与自身为■_2-等价,(其中包括dihedral群,dicyclic群,quaternion群等)。     

上连续完备模格的半单性

对于上连续完备模格L,证明了L是局部原子格等价于1是原子的并,也等价于1是独立原子的并,并进一步给出了1可分解为有限个原子并的若干等价条件.     

初等交换群凯莱图的完备码与完全图的正则覆盖

LEE证明了超立方体图Q_n存在完备码当且仅当n=2~m-1(m≥2是自然数),当且仅当它是完全图K_(n+1)的正则覆盖.本文中,给出了这个结论的一个简单证明,并把这个结论推广到了初等交换群的凯莱图中.证明了初等交换p-群Z_p~n(这里p是奇素数)的凯莱图有完备码当且仅当n=(p~m-1)/2 (这里m是自然数且n≥2),当且仅当它是完全图K_(2n+1)的正则覆盖.     

公理系统的完备性

本文首先给出公理系统完备的定义,公理系统的两个模型同构的定义,然后证明定理:下述性质     

技术系统完备性分析

技术系统进化法则是TRIZ的核心内容之一,但传统TRIZ进化法则工具化水平较低,不易于操作。该文对两个相关法则＂完备性法则＂和＂能量传递法则＂的工具化应用模式进行了探讨,分别给出了系统创建阶段和系统进化阶段完备性分析的方法步骤,并用实例加以说明。     

基于半半序关系的集值不完备信息系统的属性约简

将粗糙集模型扩展后应用于属性值为集合值的不完备信息系统,并由属性值集合间的关系导出集值不完备信息系统下的半半序关系,提出基于这种二元关系的可辨识属性矩阵构造方法,研究了集值不完备信息系统的属性约简方法,并给出属性约简判定定理,从而为不完备信息系统的处理提供了一种新的思路和方法.     

复指数多项式在半带形中的完备性

给出了复指数多项式系在Banach空间Mpα (1≤p<∞)中完备的充要条件, 其中Mpα是由在Iα中解析,且sups>0, 0s,|y|相似文献   

复指数多项式在半带形中的完备性

对复指数多项式在Banach空间Hα中的完备性给出了充分必要条件,其中Hα为在半带形Iα={z=x iy: x≥0,|y|≤α} (α>0)中连续, 在Iα的内部解析且当x→∞时,f(x iy)在Iα中关于y一致地趋向0的函数f(x iy)全体, 其范数为上确界范数.     

基于差分代换的正半定型判定完备方法

研究并发展逐次差分代换方法, 得到Rⁿ₊上正半定型差分代换次数的一个上界。 由此获得判定Rⁿ₊上 正半定型的充要条件。根据此充要条件建立的算法是必定能终止的。同时提出一类新的差分代换矩阵。     

在半局部环上表矩阵为初等阵之积

该文将半局部环上的矩阵表为初等阵之乘积.     

不可满足公式的完备证明系统

合取范式(CNF)公式H到F的同态是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句。同态映射保持一个公式的不可满足性。一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。MU(1)是子句数与变元数的差等于1的极小不可满足公式类。S．Szeider证明了：每个不可满足公式F是MU(1)中某个公式日的同态像。从而，基于MU(1)的同态证明系统与树消解证明系统是p-等价的。MU(1)中的公式可以用基础矩阵表示，本文用基础矩阵的方法证了同态证明系统ПMU（1）的完备性。     

完备半格范畴的反射与余反射子范畴

构造性地证明了以有左（右）伴随的Ｓｃｏｔｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｔｄｏｍａｉｎ范围,是完备半格范畴的余反射（反射）子范畴。     

关于左半完备富足半群的Fuzzy同余注记

半群S称为富足的,若它的所有L*类及R*类都含幂等元.富足半群S称为左半完备的,若它的幂等元集为左拟正规带.利用富足半群上Fuzzy好同余和Fuzzy消去同余的概念,给出了左半完备富足半群上Fuzzy好同余和Fuzzy消去同余的性质,得到了此类半群的刻画,并证明了富足半群为左半完备富足半群的充要条件.以上结论是对El-Qallali和Fountain关于拟适当半群研究结果的推广和补充.     

半范的Gteaux可微性和半范空间的完备性

在局部凸空间上考虑半范的性质,得到了半范的G teaux可微等价条件,并在由局部凸空间上的所有半范构成的集合上赋予一个完备的度量,且证明了等价半范集在此度量空间中的开性.     

关于半正定矩阵初等和完全对称函数的一些不等式

对于n阶半正定矩阵A,B的初等和完全对称函数,得到如下的不等式Er[(AB)m]≤Er(AmBm),hr[(AB)m]≤hr(AmBm),Er[AαB1-α]≤[Er(A)]α[Er(B)]1-α,hr[AαB1-α]≤[hr(A)]α[hr(B)]1-α.其中,m是任意正整数,0≤α≤1,Er(A),hr(A)分别为半正定矩阵A的r阶初等和完全对称函数.当A,B都是正定矩阵时,有E2r(A#B)≤Er(A)Er(B),h2r(A#B)≤hr(A)hr(B).其中,A#B=A1/2(A-1/2BA-1/2)1/2A1/2称为A与B的几何平均矩阵.     

关于半正定矩阵初等和完全对称函数的一些不等式

对于n阶半正定矩阵A ,B的初等和完全对称函数 ,得到如下的不等式 :　Er[(AB) m]≤Er(AmBm) ,　hr[(AB) m]≤hr(AmBm) ,　Er[AαB1-α]≤ [Er(A) ]α[Er(B) ]1-α,　hr[AαB1-α]≤ [hr(A) ]α[hr(B) ]1-α.其中 ,m是任意正整数 ,0≤α≤ 1,Er(A) ,hr(A)分别为半正定矩阵A的r阶初等和完全对称函数。当A ,B都是正定矩阵时 ,有　E2 r(A B)≤Er(A)Er(B) ,　h2 r(A B)≤hr(A)hr(B) .其中 ,A B =A1/ 2 (A-1/ 2 BA-1/ 2 ) 1/ 2 A1/ 2 称为A与B的几何平均矩阵     

Pascal定理的初等证明及初等推论

给出了高等几何中的Ｐａｓｃａｌ定理的初等证明及５个初等推论。     

不完备系统中的邻域多粒度粗糙集

以不完备信息系统为研究对象,提出了基于邻域容差关系的乐观多粒度粗糙集和悲观多粒度粗糙集模型,它融合了邻域粗糙集与多粒度粗糙集的方法,亦称为邻域多粒度粗糙集.进一步,对邻域多粒度粗糙集的基本性质进行了讨论,这为采用粗糙集方法处理不完备信息系统提供了新的技术手段.