查询词典 algebra of logic

The Research of the Logic Algebra Decoding Method of (2, 1, 4) Convolutional Code

论文标题：（2，1，4）卷积码的逻辑代数译码方法研究

Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section.

莱布尼茨发现的也与数学相关的布尔代数和符号逻辑，如前所述。

We also get a representation theorem for Bi-difference sets.2. Ideal and filter are two important concepts in quantum logic. From the order structure and algebraic structures of effect algebra, there are many definitions of ideals and filters.

理想和滤子是量子逻辑中的两个重要概念，由于量子逻辑有自身的代数结构和序结构，因此有多种意义下的理想和滤子概念。

We shall have occasion to deal with geometry, both Euclidean and non-Euclidean, with arithmetic, algebra, analytic geometry, the theory of irrationals, set-theory, calculus of probability, and mathematical logic.

我们将与算术，代数，解析几何机会几何处理，包括欧几里德和非欧几里德，是无理的理论，集理论，概率演算，和数学逻辑。

He is leading a research group 'Algebra and Coalgebra: the mathematical environments of modal logic'.

他当前正主持研究项目"代数和余代数：模态代数的数学环境"。

A new type of ternary edge-triggered flip--flop based on modular algebra is proposed and applied to thedesign of timing logic circuits.

本文给出了基于模代数理论的三值维持阻塞触发器，并将其应用到时序逻辑电路设H中。

As a logic optimization method,the Boolean algebra was introduced for the analysis and simplification of complicated logic diagram and on-off control system.

本文通过火电厂开关量控制系统优化设计的分析，对逻辑优化的基本方法进行初步探讨。1容错逻辑设计方法仅根据被控设备的工艺要求设计逻辑，往往经不起实际运行的考验。

Methodology of implementing the technique of PDM and Method of applying and developing PDM system in furniture enterprises are studied. Moreover, making an example as typical board structure products, the research analyses E-R diagram of furniture PDM and optimizes its data models. Furthermore, it dedicates to study logic organization mode of furniture product data management with the center of product structure, and provides theoretical basis of relational algebra for the design and development of the database of furniture PDM system.

探讨了PDM技术在家具企业中应用实施以及系统开发的方法学；并且，采用E-R图分析和优化了家具PDM的数据模型，以办公家具中的典型板式结构产品为实例，针对性地探讨了以产品结构为中心的家具产品数据管理的逻辑组织模式，为家具PDM系统数据库的设计开发提供了关系代数理论依据。

Tautologies and F-Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed. As examples,α-Tautologies and F-Tautologies in lattice valued logic systems L〓P and L〓P are discussed in detail.

本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式，作为两个实例，详细讨论了两个格值逻辑系统L〓P和L〓P中的重言式和F-重言式的结构。

A dangerous signal recognition logic based on Boolean algebra with fuzzy shell and re- vised Gaines-Rescher implication operator is established,and the semantic properties of this logic are investigated,some interesting results are obtained.

建立了一种基于带Fuzzy壳Boole代数和修正的Gaines-Rescher 蕴涵算子的险象识别逻辑，并对这种逻辑进行了语义方面的研究，获得若干结果。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。