逻辑上

As an experiment of basic course in electronic technology,the project is based on domination principle of digital music player and integrates with the elementary application of multiplexer,flip-flop,counter and ROM,which enables students to comprehend these knowledge fully along with acquaintance of technical application and promotes systematic understanding of basic notions,course content and advances the transformation from knowledge to ability.

实验教学是学生综合素质和实践能力培养的重要环节。实验教学内容应该与科研、工程、社会应用实践密切联系，形成良性互动[1]。超大规模可编程逻辑器件的应用是目前电子技术发展的一个新领域，它依赖于计算机技术的辅助实现数字系统的设计和仿真，不需连线即可实现资源庞大的片上系统[2]。

Double negation in language may be not consistent with mathematically logical rule"minus number multiply minus number is postive" In some sentences, especially whose verb has possible or willing meaning, double negation can change its original affirmative meaning.

自然语言中的双重否定，不像数学上负负得正那样互相抵消，可能会出现一种跟逻辑不一致的现象。

The virtual object storage is upwardly independent of language constructs and downwardly of physical storage management.

本文提出了表示和描述对象持久性语义的直观工具引用可达图；研究了持久程序设计语言的存贮管理问题，提出了虚拟对象存贮空间的思想并在双拷贝模型的基础上实现了一个虚拟对象存贮管理系统，从而形成了一个向上独立于语言设计与实现、向下独立于物理存贮管理的单一层次的逻辑存贮器。

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)中自然基和对偶基下比特并行乘法器。

Control logic of the developed ASR ECU is validated in the system,and parameters are optimized.

在该系统上验证了所开发ASRECU的控制逻辑并对其参数进行了优化。

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的第十问题。

On this basis, the thesis analyzed Epicurus's thoughts of the intrinsic logic and substance about the formation of political society.

在此基础上文章分析了伊壁鸠鲁的视域中政治社会的本质和形成的内在逻辑。

In order to interpret Epicurus in a new way, this thesis,which is based on Epicuruss unique perspective of political philosophy, analyzed all his logic and re-evaluates him.

本文试图以新的方式解读伊壁鸠鲁，故选取了伊壁鸠鲁构建政治哲学的独特视角为原点，宏观上剖析其整个逻辑，并对他进行重新评价。

To do so, we define an equivalence relation with finite equivalence classes over state spaces of DTITL models.

通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系，把DTITL的连续状态模型离散化为一阶区间时序逻辑模型。

This paper proposed an issue on existing heterogeneous knowledge reuse based on the solution of knowledge reuse of knowledge equivalent mapping from knowledge representation level, since existing knowledge representation and ontology knowledge representation weren't on the same base of logic system.

由于已有知识表示和本体知识表示并不在同一逻辑体系基础上，从知识表示层面提出了一种基于知识等价映射的知识重用方法解决对已有异构知识的重用问题。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。