说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 逻辑代数译码
1)  Logic Algebra Decoding
逻辑代数译码
1.
The Research of the Logic Algebra Decoding Method of (2, 1, 4) Convolutional Code;
(2,1,4)卷积码的逻辑代数译码方法研究
2)  majority logic decoding method
大数逻辑译码法
3)  majority logic decoding
多数逻辑译码
4)  majority-logic decoding
大数逻辑译码
1.
Variable-threshold majority-logic decoding based on the SNR
基于信噪比的变门限大数逻辑译码
2.
After studing the normal mode codes and classical majority-logic decoding algorithm,an improved decoding algorithm,which integrated max correlation and majority-logic decoding,was given based on the characteristics of TFCI coding.
文章对正常模式码字的编码和经典大数逻辑译码算法进行研究,根据TFCI编码特点,给出一种最大相关和大数逻辑译码相结合的译码算法,该算法能降低TFCI的误码率,是一种简单有效的方法。
5)  decode logic; decoding logic
译码逻辑
6)  majority-logic decodable code
大数逻辑可译码,多数逻辑可译码
补充资料:逻辑代数
      数理逻辑中较早形成的一个分支,指一种代数化的逻辑。 它是用代数公式表示逻辑关系, 把代数方法应用于逻辑研究的结果。逻辑代数由英国数学家G.布尔于1850年前后首创,后经W.S.耶方思和C.S.皮尔士改进,主要是用可兼的逻辑和代替原来的不可兼的逻辑和,同时删去没有确定的逻辑意义的符号组合如除法等等,并改掉某些不严格的表达方式,引进不等式。19世纪后期,德国数学家E.施罗德总结前人研究成果,构成了一个演绎系统。20世纪早期,美国的E.V.韩廷顿和A.塔尔斯基广泛地研究并建立了逻辑代数的公理学基础。就其抽象的数学形式说,逻辑代数已发展成一门作为格论的分支的代数理论,通称布尔代数。逻辑代数实际上是抽象的布尔代数的逻辑解释或在逻辑上的应用。因对其所作解释的不同,主要又有类代数和命题代数之分。布尔代数还在其他领域如开关理论和计算机设计中得到解释。
  
  类代数  类代数是类逻辑的代数化。所谓类逻辑是从外延上理解的一阶一元谓词的逻辑。一元谓词的外延指称该谓词所适用的个体的类。由论域中所有个体组成的类叫全类,记作 1。不含有任何事物的类叫空类,记作0。考虑全类的所有子类,即包含于其中的类(包括1和0),令a,b,с,...为这样的类变元。由论域中不属于a类的个体组成的类叫做a的补,记作a'。由或属于a类或属于b类的个体组成的类叫做a与b的逻辑和(并类),记作a∪b。由既属于 a类又属于 b类的个体组成的类叫做a与b的逻辑积(交类),记作a∩b,简记作ab。如果a类与b类所含的个体相同,则称a与b等同,记作a=b。a与b不等同记作a≠b。1和0是两个特定的类常元。',∪和∩是三种逻辑运算,分别叫类的取补、求和(加法)和求积(乘法)。此外,还可以通过定义引入包含于关系吇,例如把a吇b定义为a∩b' =0。于是自然有:对于任何类a,0吇a吇1。
  
  在类代数中,不带有主词存在断定的直言命题aAb、aEb、aIb和aOb,可表示为a∩b'=0、a∩b=0、a∩b≠0和a∩b' ≠0。传统逻辑中三段论第1格 AAA式可表示为:
  
  如果с∩b' =0且a∩с' =0,则a∩b' =0。第3格EIO式可表示为:
  
  如果с∩b=0且с∩a≠0,则a∩b' ≠0。类代数的运算满足下表中列出的基本定律。
  
  类代数的基本定律
  
  幂等律
  a∪a=a
  
  
  
   a∩a=a
  
  交换律
  a∪b=b∪a
  
  
  
   a∩b=b∩a
  
  结合律
  a∪(b∪с)=(a∪b)∪с
  
  
  
   a∩(b∩с)=(a∩b)∩с
  
  吸收律
  a∪(a∩b)=a
  
  
  
   a∩(a∪b)=a
  
  分配律
  a∪(b∩с)=(a∪b)∩(a∪с)
  
  
  
   a∩(b∪с)=(a∩b)∪(a∩с)
  
  幺元律
  0∪a =a
  
  
  
   0∩a =a
  
  
  
   1∪a =1
  
  
  
   0∩a =0
  
  补余律
  a∪a' =1
  
  
  
   a∩a' =0
  从这些定律出发,特别是只需以其中的交换律、分配律、前两个幺元律和补余律作为初始定律即公理,就可以推导出类逻辑的所有定律(定理)。类逻辑的内容比传统的三段论理论要丰富得多,大致相当于只包含一元谓词的一阶谓词逻辑(见谓词逻辑)。一般的谓词逻辑也可以用更进一步的代数方法处理,但已超出通常所谓的逻辑代数的范围。
  
  命题代数  命题代数在结构上与类代数完全相同。只要对类代数中的符号另作命题逻辑的解释,或者干脆改为相应的命题逻辑符号,就得到命题代数。即把类变元改为命题变元p,q,r,...;改为否定词塡("并非");∪改为析取词∨("或者");∩改为合取词∨("并且")。1和0分别解释为特定的逻辑上真的命题和逻辑上假的命题,或称有效命题和矛盾命题;=表示两命题逻辑上等值。这时,塡、∨和∧作为命题运算正好满足形式上与类代数的基本定律相对应的定律,而整个命题代数可包括命题逻辑的全部内容。命题代数和类代数可以有各种形式的公理系统,尤其是都可以有关于布尔展开式的定理,它相当于命题逻辑中的优析取范式和优合取范式的定理。
  
  逻辑代数与命题代数有所不同。它还可以把1和0分别解释为命题的真和假,令变元只取1和0为值,即令其为二值的真值变元,并把塡、∨和∧解释为真值运算,从而得到一种提供命题真值运算定律的真值代数。而且,在二值的真值代数中特别可以有定理"p=1或p=0",但在一般的命题代数和类代数中却没有与此相应的定理。
  
  文恩图  布尔代数还可以作几何或拓扑的解释,这就使得人们有可能用画图的办法解说和验证类代数以及命题代数的定律。英国逻辑学家J.文恩(1834~1923)于1880年创造了一种图解方法,通称文恩图或文恩图解。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形,通常是用2、3个圆圈,如图 1所示。文恩图不同于欧拉图之处在于它用不同的区域表示各变元及其补的所有可能的组合,并可表示某一区域是否空类。其矩形表示论域,常可省去。文恩图的图2中有影线的区域正好是图3中有双重影线的区域,这就表明第一个分配律是正确的。为检验类逻辑推理的有效性,文恩图特规定在前提断定其为空的区域涂阴线;在前提断定其不空的区域中标"+"号, 如果此区域分成几部分,则在其每一部分中标+号,并用虚线将这些+号连起来,表示其中至少有一部分不空,由图4可以看出三段论第1格AAA式是有效的。因为,с∩b'=0和a∩с'=0,这两个前提断定:属于с但在b之外的区域和属于a但在с之外的区域都是空的,因而都要涂阴线,而这就使得属于a但在b之外的区域也全有阴线,即这个区域也是空的。这表明两个前提合起来在逻辑上蕴涵结论(a∩b'=0)。三段论第3格EIO式可以用图5证明如下:由于大前提是"с∩b=0",须在с与b交叉区域涂阴线;小前提с∩a≠0要求在с与a交叉的区域标+号,由于此区域有一部分已涂有阴线,因此只能在下剩的空白部分标+号;结论a∩b' ≠0断定属于a但在b之外的区域不空。现在,这个区域中果然已经有+号。这就表明这个格式是有效的。图6是用 4个椭圆表示的含有4个变元的文恩图。
  
  
  
  
  
  含有更多变元的文恩图更为复杂,而且它的各个变元只能用非凸闭曲线表示。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条