关于Boole格同态的扩张

本文主要证明了下面的结果: 定理1 如果垂是备Boole格(?)到格(?)上的同态,则下面的条件是等价的: 1) Φ是备的。 2) Φ的核是单项幻。 3) Φ是可逆的。 定理2 如果Φ是Boole格(?)到格国(?)上的同态,它的核是一个分划,那末存在一个且只有一个从(?)的完备化(?)到(?)的完备化(?)上的备同态(?),     

一般Boole格受它的凸子格的制约与影响

本文主要证明了下面的结果: 定理1 设a是一般Boole格L的元,则L的合同的格同构于含a的非空凸子格的格。 系1 一般Boole格的合同的格同构于非空幻的格。     

格的半同态的若干结果

本文讨论了格的交同态与并同态之间的联系,给出了格的交(并)同态是并(交)同态(从而是同态)的充要条件.作为格的同态基本定理的推广,建立了格的半同态基本定理。 定义1 设,厂为格L到格L的映射,若使则称f为交(并)次同态.若f既为交次同态又为并次同态,则称f为次同态。     

一类Boole函数的若干性质

Boole函数是研究数字系统的有力工具,对某变量无关的函数和对某变量线性的函数广泛地应用于数字系统故障诊断。前者已有一定研究,而对于后者似乎还缺少研究。本文研究对某变量线性的函数,先给出这类函数的若干性质并指出重量为2~(n-1)的n元Boole函数不一定属于这类函数,其次给出n元Boole函数重量为2~(n-1)的一个充要条件。最后给出对某变     

关于一类缺插值样条的一般结果

设△:0=x_0相似文献   

关于有限单群的若干结果

Ⅰ.关于有限单群的阶 定理 有限单群G的阶不为k(≥3)次幂。G的阶为平方的充要条件是,G为Lic型单群B_2(p),其中p为满足下式的素数:     

自由格的若干定理

格的一个等式类K上由一个弱偏格生成的自由格的定义可以按自由代数的理论或仿照K上由偏格生成的自由格的定义来给出。 定理1(存在定理) 设u=相似文献   

关于“一般系统论”若干术语的翻译问题

八十年代以来,“系统论”成为我国学术界研究工作的一个热点。但从有关翻译和介绍贝塔兰菲“一般系统论”的作品来看,该学说的某些重要术语的翻译仍有很大歧义,不便于读者领会这些术语的含义,也不便于学术交流。因此,进一步斟酌有关术语的译法,尽可能使之规范化,对于深入研究和广泛传播系统思想是必要的。本文试图在这方面做点努力,其中不妥之处,盼学术界同事指正。     

关于图的垂-平可嵌入性的一般理论结果

在一些类型的电路设计中,提出这样的问题:给定一个非负整数k,是否可以将一个电路布置在一个平板上使得元件作为节点,两个节点间之导线只能沿水平和铅垂的走向连接并且至多有k个折,所谓折即指出现在一条连线上的一个垂角的顶点。事实上,希望这样的k尽量小。 在数学上,就是将一个图嵌入到平面上     

关于格的同构准则

本文建立了两个更简易的格的同构准则,并且讨论了格和半格的同态与保偏序映射之间的关系。 定义 从一个偏序集P到一个偏序集P_1的映射f称为保偏序的,如果f是保序映射并且,b∈P     

关于格的凸子格格

1 引言与准备对于格L,以CS(L)表示L的一切凸子格加上空集所构成的集合,它在集的合包含关系下作成一个原子的代数格。在文献[1]中Kob讨论了CS(L)的一些性质,提出了问题1 是否存在一个非链的格L使CS(L)是下半模格? Gratzer在他的名著中提出了     

算子拟相似的若干结果

自1967年B.Sz-Nagy和C.Foias引入拟相似概念以来,算子的拟相似已成为算子理论的一个重要研究课题,经过众多学者的努力,已得到许多较好的结果。但其中对一般的两个拟相似算子A、B,探讨谱σ(A)的某些子集与σ(B)的某些子集的相交关系,目前已得到的结果还不多.设算子A、B拟相似,Fialkow证明了σ_(re)(A)∩σ_(le)(B)(?)φ,本文证     

关于最小距离下限的一般定理

在纠错编码理论中,求给定线性分组码的最小距离是非常重要和非常困难的,这个问题至今没有解决。因此,许多研究者提出求最小距离下限的方法。本文给出求最小距离下限的一般定理。这定理包括并改进关于最小距离下限的许多定理。设任意域F上的矩阵A和B为:     

判别Boole函数组的独立性的一个充要条件

文献[1]中给出了Boole函数组相互独立的定义,研究了独立平衡Boole函数组的性质和构造方法,讨论了它们在密码学中的应用.本文给出了判别平衡Boole函数组的独立性的一种方法,这种判别方法将判别平衡Boole函数组的独立性问题转化为判别Boole函数的平衡性问题,在某些应用场合十分方便.置换可视作一种特殊的独立平衡Boole函数组,由本文的结果不难推出文献[2]和[3]中的主要结果.文中的结果可推广到剩余类环和任意有限域上,这将对剩余类环和任意有限域上的函数组的独立性、平衡性、正交性的讨论带来更多的方便.     

关于可达全序格的一个问题

设A是可分无限维复Hilbert空间■上的(有界线性)算子,记为A∈■■,用LatA表示A的不变子空间格。如果LatA还是全序的,称A为单胞算子。一个抽象完全格■称为可达格,如果存在A∈■■使得■与LatA序同构(记为■≈LatA)。用格的术语,著名     

俄勒冈振子:正定态及其稳定性的一般结果

俄勒冈振子(Oregonator)来源于著名的Belousov-Zhabotinsky(BZ)反应的FKN机制.它有Field,Noyes和Tyson等版本之分.本文是研究Tyson版本的平面系统.过去陆续发表的一些结果都是假定系统中所包含的参数:μ和ε是趋于零的小参数,f是接近1的常数.本文的结果是假定:0<μ<1,0<ε<1和0相似文献   

关于搜索引擎的结果优化

<正>创新离不开实际生活,比如这次针对搜索引擎的研究。建立一个搜索引擎的构想来自于我初三时开始参加的模拟联合国活动。在我的母校——杭州外国语学校,模拟联合国会议的活动在师生间非常流行。参与这个活动时,每个人都需要查阅大量的文献资料,比如本国关于某个国际问题的立场等信息。我发现一般通过百度、谷歌等日常通用的搜索引擎很难找到相关资料。为了解决这个问题,我和几位同学开始研究普通搜索引擎存在的漏洞及其功能缺失。作为电脑爱     

宇宙生物学研究的若干结果和远景

火箭飞行技术的卓越成就不仅实际上抹去了地球上距离的概念,提供了获得超过声速很多倍的空中飞行速度的可能性,而且引导人类进入了新的规律的世界,赋予人类以巨大力量,它能够把人的双手和大脑所创造的复杂机械送到宇宙空间的无限遥远的地方去。     

关于事实反驳与一般假说的开放逻辑

最近李未给出了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论.开放逻辑的一个重要概念就是假说重构.开放逻辑的其它重要概念如认识进程等的定义及其有关性质都可依赖于假说重构的概念而得到.假说重构有两种:N-重构和R-重构,从构造上说,N-重构较为简单,R-重构较为复杂.故R-重构可以说是建立开放逻辑的关键.而R-重构相应的模型论概念是理想事实反驳,因而对事实反驳的进一步研究无论对开放逻辑本身,对开放逻辑在知     

关于可补格的一种分类问题

本文讨论可补格的一种分类问题,它是由于考虑多值逻辑的判定问题而引起的.下面先谈一下它的逻辑来源,但这个问题也可看作是从格论本身自然提出的.在多值逻辑中,命题或谓词的真假值可以是一个格中的元素.在我们所讨论的狭义谓词演算良构式(即合式的公式)中,出现的逻辑符号限于命题连接词∧,∨,～及量词.真假