逻辑上的

At last, the design is simulated with an assembler program.

在完成子模块的设计后，使用汇编语言程序的数据对整个设计的模型进行了功能仿真，最后在逻辑上得到了正确的结果。

We put forward a kind of new form that has more outstanding network courseware demonstration in independence and asynchronism distance education based on WWW.

为了降低课件开发的难度和复杂度以及方便教学资源的共享，一个完整的教学课件被分割成若干个逻辑上独立而完整的教学素材。

Parallel to these developments in psychology, a philosophical behaviorism (sometimes called logical behaviorism) was developed.

和这些心理学的发展并行的，一个哲学上的行为主义（有时被叫做逻辑行为主义）发展了起来。

All of these are done by means of the classic logic, and hence have a solid foundation.

所有这些都是建立在经典的二值逻辑的基础上的，因而具有较牢固的基础。

The logical negation is also used in the precondition of the prototype action.Based on the set of prototype actions and the complementary abstract state space,the applicable abstract actions of certain abstract state can be obtained easily.

原型行动中同样引入了逻辑否定表示行动的执行条件，根据原型行动和互补的抽象状态空间，可以很容易得到抽象状态上的可执行抽象行动。

The formal definition of evolution rules and consistency conditions can help the understanding and reuse of the evolution process.

开发系统的一致性条件定义为具体图上的性质，用带等词的一阶逻辑表示。

A contiguously addressed range of logical blocks on a physical media that is identifiable by an operating system via the partition's type and subtype fields.

分区是能够被操作系统通过分区的类型和子类型域而识别出的物理介质上的一个连续编址的逻辑块区间。

The dative and the preposition dia represent faith as the instrumental means whereby Christ and his righteousness are appropriated; the preposition ek shows that faith occasions, and logically precedes, our personal justification.

该格和介词直径代表信仰作为乐器的途径，基督和他的义正核拨；介词18.3.2000说明：信仰场合，并在逻辑上先于我们个人的理由。

However, when a proposition P is determinately specified for our consideration and then found, for principled reasons, to be not conceivably true, that is surely some kind of strong evidence against the claim that P is logically possible.

无论如何，当一个命题P是对我们的设想是确定地特定的，那么原则上说，发现不是可设想为真的，这是一类强证据反对P是逻辑可能的。

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

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

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.

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