学科分类
/ 1
7 个结果
  • 简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:令C为复数域,G为有限群。由于每个CG-模可以写成不可约CG-模的直和,于是对表示的研究实际转化成了对不可约表示的研究。而群的忠实表示可以比较好地体现原有群的性质,所以,对于给定的群,找出该群所有不可约忠实表示是很有意义的。而对于一般有限群来说,找出其所有不可约忠实表示并不容易。本文我们给出了有限阿贝尔群G的所有不可约忠实表示。

  • 标签: 有限阿贝尔群 不可约表示 忠实表示 循环群
  • 简介:设G是有限群,为复数域。要想找到所有不可约CG-模,一种方法是把正则CG-模CG进行直和分解,这在G的阶数比较小时不难做到,但当G的阶数比较大时计算起来比较繁琐。对于任意自然数n,本文给出了循环群Cn和二面体群D2。的正则CG-模CG的不可约模的直和分解,和这些不可约模间的同构关系。我们的方法是先构造出不可约的CG-子模,满足直和条件,从而得到正则CG-模CG的不可约模的直和分解。再运用模论知识得到这些不可约模间的同构关系。

  • 标签: 不可约CG-模 正则CG-模 范德蒙矩阵 直和分解
  • 简介:在不等精度测量传感器的测量数据处理中,选择合理的权重对处理结果的影响十分明显。本文对目前的靶场数据处理中采用的两种加权方法进行了分析,提出了一种新的精度加权方法。通过对各种加权方法的特点及合理的比较,给出了各种加权方法的使用条件和原则

  • 标签: 传感器 数据处理 精度 不等精度测量 数据处理
  • 简介:一、填空:(每小题2分,共14分)1、表示关系的式子叫做等式,举出一个等式的例子。2、举出一个一元一次方程的例子,它的解是。3、等式两边都乘以(或除以)(除数),所得结果仍是等式。它在解一元一次方程的步骤中的应用是去分母和。4、一元一次方程的定义是,...

  • 标签: 一次方程 自我检测 列方程 车间 盐水溶液 标准形式