逻辑运算

We can therefore conclude that to more accurately and logically verify the numerical dispersion relations of any kinds of FDTD-related algorithms, the plane wave excitation has to be employed.

我们能因此得出结论到更正确而且合乎逻辑地查证任何类型 FDTD-相关的运算法则的数字散布关系，平的波刺激必须被雇用。

Based on the analyzing of finite field multiply operation, Matlab was used to simplify the sections which were complex and resource-consumed. As a result, a simple form of combinational logic was obtained. And bit-parallel multipliers under nature or dual basis were designed separately in finite-field with VHDL language.

在分析有限域乘法运算法则的基础上，用Matlab简化其复杂而消耗资源的部分，得到形式简单的组合逻辑，并用VHDL语言分别设计了有限域GF(2m)中自然基和对偶基下比特并行乘法器。

PLC is one kind on the basis of technology of digital computer, electronic control device designed to use under the environment of industry specially, adopt it by memory that can programme, it is last user order not to used for,through figure or introductions of simulation /export, finish such functions confirmed as a series of logic , order , timing , counting , operation ,etc., to control all kinds of integrated equipment of electromechanics and production process.

PLC是一种基于数字计算机技术、专为在工业环境下应用而设计的电子控制装置，它采用可编程序的存储器，用来存储用户指令，通过数字或模拟的输入/输出，完成一系列逻辑、顺序、定时、记数、运算等确定的功能，来控制各种类型的机电一体化设备和生产过程。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

It includes the definition of two basic operations, logical functions expansion and matrix formulation in OR-Coincidence algebra system, and the introduction of map expression--dj map, the complete research of the relations among CRM expansion^ maxteim expansion and RM expansion, iiamely tie relations among dj map, K-map and bj map, also includes the minimization of CRM expansion in fixed and mixed polarities-Meanwhile this dissertation points out the form and properties of basic symmetric function, simple symmetric function and basic CRM symmetric function in OR-Coincidence algebra system, discusses the relations and transform methods among the coefficients of the three kinds of symmetric functions.

包括连和与加合两种基本运算的定义，逻辑函数在或、符合代数系统里的展开式及矩阵表示式，展开式图形表示--d_i图的引入，对CRM展开式和最大项展开式、RM展开式，d_i图和K图、b_i图之间的关系及转换方法进行了较为全面的研究，以及CRM展开式在固定极性和混合极性下的最小化问题。

In chapter 2, the principle of neural network and fuzzy logic control are introduced briefly.

在第二章，简要介绍了神经网络和模糊控制的基本理论，包括神经元的结构，网络连接方法及其相应的学习算法，模糊集合与模糊逻辑的基本概念及运算关系，模糊控制器的结构，模糊推理的基本方法。

Computer with high speed, accurate and can be designed in accordance with the logic of dealing with problems.

计算机具有运算速度快、准确、能按照设计逻辑处理问题等特性。

It USES a programmable memory, used in its internal storage execution sequence control and logic element, timing, and arithmetic operation instruction, and through digital and analog input and output of various types of machinery, control of the production process.

它采用了可编程序的存储器，用来在其内部存储执行逻辑元素、顺序控制、定时、计数和算术运算等操作的指令，并通过数字式和模拟式的输入和输出，控制各种类型机械的生产过程。

This is exactly what happens in a conventional logic gate as well.

这和在传统逻辑闸内的运算是完全相同的。

Similarly, the output terminals and the corresponding output logic level are Q and Q .

通过这种表示方式，我们已经明显考虑这样的事实：在通常的运算中，输出的逻辑电平是互补的。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失