学科分类
/ 1
13 个结果
  • 简介:本文研究IMTL代数M上的索布尔子的运算性质。令FB(M)为膨上全体素布尔子集,FB(M)=FB(M)∪{φ},通过在集合FB(M)引进格并、交运算和逆序对合对应,证明了FB(M)构成一个拟布黎代数。进一步在FB(M)可定义一个伴随对,证明FB(M)也构成一个剩余格。

  • 标签: 剩余格 IMTL代数 素滤子 布尔滤子 拟布尔代数
  • 简介:在蕴涵格中引和了蕴涵子的概念,讨论了蕴涵子的一些基本性质,并由此建立了由素蕴涵子决定的同余关系及其商蕴涵格,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:格蕴涵代数中的子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有子的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:Inthispaper,thevariablecoefficientSine-Gordontypeequationuxt=a(t)sinu+β(t)uxx+k(t)(xux)xisdiscussed.ItisrelatedtotheeigenvalueproblemVx=QV.Thestructureequationandtheevolutionlawsofscatteringdataforthesecondequationarederivedandtheinversescatteringsolutionofthefirstequationisobtained.

  • 标签: 变系数Sine-Gordon方程 反散射变换 偏微分 特征值问题
  • 简介:在本文中,我们证明了对一个Krylov矩阵作QR分解后,利用得到的正交矩阵可以将一个具有互异特征值的对称矩阵转化为一个半可分矩阵的形式,这个结果表明了Krylov矩阵与半可分矩阵之间的联系.另外,我们还证明了这类对称半可分矩阵在QR达代下矩阵结构保持不变性.

  • 标签: 反Krylov矩阵 半可分矩阵 特征值 QR分解
  • 简介:知识要点]本章内容可分为四块:一是三角函数的定义及基本关系,包括角的概念推广、三角函数定义、同角三角函数关系及诱导公式;二是三角函数图象及性质,包括三角函数线、三角函数图象及单调性、奇偶性、周期性;三是三角变换,包括和、差、倍、半公式应用、和积互化、...

  • 标签: 同角三角函数 反三角函数 能力培养 最小值 最小正周期 自我评估
  • 简介:(二)三角函数和简单三角方程蜀光中学张维雄一、主要内容和考试要求:考试内容:反正弦函数,余弦函数,反正切函数与余切函数。最简单的三角方程,简单的三角方程。考试要求:(1)理解三角函数的概念,能由三角函数的图象得出三角函数的性质,能运用三...

  • 标签: 反三角函数 三角方程 选择题 周期函数 余弦函数 余切函数
  • 简介:一、选择题(每小题4分,共40分)1.集合P={x|x=coskπ6,k∈Z}中元素的个数为().(A)9个(B)8个(C)7个(D)6个2.若sinθ=35,cosθ=-45,则2θ的终边在().(A)第二、四象限(B)第三、四象限(C)第三象限(...

  • 标签: 反三角函数 单元测试 最小正周期 四象限 左平移 右平移