逻辑上的

The experimental results show that controlling the pulse width of monostable trigger with CPLD on the basis of full digital ciruits effectively helps the realization of mi...

实验结果表明在全数字电路的基础上，用可编程逻辑器件实现的单稳态触发器脉宽控制能有效地实现激光引信电路系统小型化，提高电路的可靠性

All four are on the order of culture, and ostensibly, parts of the same culture and products of the same society.

这四样东西都符合文化的逻辑，而且表面上看都是同一种文化的组成部分和同一个社会的产物。

It is a repeating sequence of steps or actions which are executed in a timely and efficient manner, parceling out CPU time to all of the myriad tasks the game engine is required to perform: logic, physics, animation, rendering, handling of input.

在这个不断重复执行的过程中，我们需要把CPU时间按照一定的规则分配到不同的任务上，这些任务包括：逻辑、物理、动画、渲染、输入处理等等。

The type system is one of the language's features. The language is polymorphic.

觟del语言的类型系统独特于通常的逻辑程序设计语言，语义上已初步形成了相应的描述方法，建立了严格的理论基础。

Based on the analysis of existing XOR gate circuits, a pass transistor based low power XOR gate was proposed.

在分析了现有典型的异或门电路的基础上，提出了基于传输管逻辑的低功耗异或门的设计。

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

In methodology,to such problems as follows attention should be paid:compling with the rules of dialectical logic,laying stress on the integration history with logic,insisting on the principle of distilling abstraction from concrete.

在方法论上，遵循辩证逻辑的要求，强调历史和逻辑的统一、从抽象上升到具体的原则。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

The cryptoki rasied a common logical model. Users can use device even if they don't know the technology details about device.

Cryptoki给出了一个通用的逻辑模型，用户不需要知道详细的技术细节就可以在可移植的设备上完成加密操作。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。