查询词典 algebra of logic

MV-algebra is a kind of logic algebra, which has been introduced by the international famous model expert C.

MV-代数是一种逻辑代数，它是国际著名模型论专家C.C。

In this paper, we discuss some kinds of special filters and congruence relation in fuzzy algebraic system MTL which is used extensively. The conceptions of the special filter are fuzzified in terms of the fuzzy set of Zadehs theories and further study them by way of logic algebra of n-value.

本文在具有广泛应用的模糊逻辑代数系统MTL-代数中，讨论了几类特殊滤子和同余关系，并且进一步用多值逻辑代数的方法研究它们。

The fundamental of Logic Algebra Decoding is analyzed at first. Then the bit error types of (2, 1, 4) convolutional code are discussed, and 19 bit error types in a constraint length including 10 bits are found, if one or two bit errors are considered.

之后研究了误码判定的规则，证明了伴随式只与错误图样有关，而与编码器输入的信息序列无关，通过分析错误图样，得出了19种误码类型所对应的伴随式。

The context started from the properties of the logic algebra which based onResiduated lattic, studied the relationships between all kind of logic algebras andits corresponding logic systems.

本文便从研究建立在剩余格之上的各种逻辑代数的性质入手，研究了各种逻辑代数，以及与其相应的逻辑系统之间的关系。

The content of this course includes: fundamentals of logic algebra analysis and design of the combinational logic circuit and sequence circuit common applications of the combinational logic circuit and sequence circuit programmable logic devices Hardware Design Description Language A/D (Analog/Digital) and D/A conversion.

课程的主要内容有：逻辑代数基础、组合逻辑电路及时序电路分析与设计、常用中规模组合逻辑及时序逻辑电路应用、可编程逻辑器件、硬件设计描述语言VHDL、数模、模数转换等。

Peirce ; quantifier ; semiotics ; index ; algebra of logic ; existential graphs ; line of identity

皮尔士；量词；指号学；索引；逻辑代数；存在图表；等值线

A new network routing algorithm is proposed, which follows calculation rues of logic algebra and calculates routes with depression of order transformation of incidence martrix. For network with m nodes, m-2 times depression of order transformation operations can get all routes between two nodes. Furthermore, it accords with the communication transmission rules and avoids the close loop routes.

提出一种网络路由新算法，是按照逻辑代数运算规则，以关联矩阵降阶变换方式计算，对于有m个节点的网络，只需m-2次距阵降阶变换运算，就能够算得网络两节点间全部路由，且不会出现闭环路由问题，完全符合通信传输规则。

English Description It aim at: developing comprehension of algebra, trigonometry, analytical geometry, derivation and integral, activating capabilities of logic inference and induction, enlightening confidence and independence, strengthening calculating abilities with an emphasis on its application and graph, furnishing a sound basis for future specialty.

Chinese Description 本课程希望在二学年中，能使学生对代数、三角、解析几何、微分及积分有充分的了解、培养逻辑推理、启发思考创造、强化计算演绎并注重应用与作图，以建立同学未来学习工程数学及相关专业课程之数学基础，充分达到学以致用的目的。

Building on Turing's contribution, Shannon had demonstrated how Boolean algebra and logic could be used in the analysis and synthesis of switching and computer circuits.

在图灵理论的基础之上，香农演示了布尔代数与逻辑如何用于开关与计算机电路的分析与综合。

Using the theories of probability, algebra and spectral theory comprehensively, we investigate some related characteristics of logic functions in cryptography: Firstly, we introduce m order generalized s - correlation immunity of Boolean vector functions and prove that the higher order generalized ε- correlation immunity can guarantee the lower order generalized ε- correlation immunity. Then by applying decomposition formula of joint distribution of Boolean random vectors, we give a spectrum criterion of m order generalized e - correlation immunity of Boolean vector functions. Furthermore, we show that the algebraic degree of m order generalized e - correlation immune Boolean vector functions is not restricted by the correlation immune orders.

本文主要运用概率论的思想和方法，并结合代数学和频谱理论的相关知识，对密码学中逻辑函数的有关性质进行了研究，主要包括以下三个方面的内容：首先，对布尔向量函数的相关免疫性进行了拓展，给出了k维布尔向量函数m阶广义ε-相关免疫的概念，证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性，并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件，还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。