三值乘积逻辑系统中公式关于有限理论的Γ-绝对真度

借助逻辑公式所诱导出的函数,在系统π_(3)中给出了公式关于有限理论的Γ-绝对真度、Γ-绝对相似度和Γ-伪距离的定义,并探讨了Γ-绝对真度的MP规则、HS规则及相关性质。从而丰富了乘积逻辑系统中真度的研究成果。

三值乘积逻辑系统中绝对真度的理论研究

在三值乘积逻辑系统π3中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念.利用绝对真度定义了公式间的绝对相似度和伪距离,并讨论了绝对相似度和伪距离的性质以及绝对真度与绝对相似度,伪距离的关系.

乘积模糊系统的发散度和相容度

为了研究乘积代数的相容理性,通过在乘积模糊系统中理论的相容度的研究,给出了理论的发散度和用以区分理论相容与否的级指标,得到了一种适应任一有限或无限理论且表达相对简单的相容函数.

三值乘积逻辑系统中公式关于有限理论的Σ_(Γ)-真度理论

在三值乘积逻辑系统π;中,利用真度定义的均值表示形式给出了公式相对于有限理论Γ的Σ;-真度概念,并讨论了它的一些重要性质,丰富了真度理论的研究成果。

ispMACH4000超快复杂可编程器件

ispMACH4000器件以最低的功耗实现了在工业界领先的速度性能。本文对器件的基本结构和优越的性能作了介绍。