逻辑上

Travelling wave theory, its propagation on transmission lines and main factors impacting the correct recognition of the arrival of travelling wave is also discussed.

在此基础上，选择了用于实现距离保护的各个逻辑模块的算法，给出整体优化的保护算法方案。

The theoretical study shows that the continuous variability of non-operator, and operation, and or operation can be realized in mathematics, and can use a variety of forms such as mathematical index, polynomial and trigonometric. This paper introduces several and/or operations models, and the comparison by the simulation experiment shows that the model I is a more ideal model.

理论研究表明泛逻辑中泛非、泛与／或运算的连续可控性在数学上是完全可以实现的，并可以用多种数学形式如指数、多项式和三角函数等形式来实现，本文介绍的泛与／或运算的几个模型，通过仿真实验比较可以得出模型一就是一个比较理想的模型。

By inheriting from works done by others, we introduce Turing machine model, which is of most importance to the computational complexity theory, high level synthesis and logic synthesis.

本文在继承前人工作的基础上，将最基本也是最重要的图灵机模型及其依据于此的计算复杂性理论的若干重要概念与思想引入到EDA中的高层次综合和逻辑综合环节中。

In the SWF format, a twip is 1/20th of a logical pixel.

在没有缩放的情况下，就是100%播放时，swf中的一个逻辑像素和屏幕上的一个像素是对应的。

The main research of the thesis is the implementation of batch data interchange function based on ETL. UDI has two main characteristics. First, by the separation of source systems and target systems, the platform provides data exchange among the systems to avoid point to point communication. Second, the data process of source systems is consolidated by platform based on the systems common requirements. The data extraction is implementated from the simple data exchange to the more complicated view of business logic.

平台的最大特点体现在，一是在源系统和目标系统之间实现了批量数据交换，避免多个系统之间批量数据交换时的点点沟通，在源系统和目标系统之间进行隔离；二是将源系统数据加工处理时的共性需求，集中于平台内部统一实现，这一共性需求的统一处理，从简单的数据接口转换深入到更复杂的业务逻辑展现，实现了真正意义上的数据处理功能。

The undistinguishable relationship, the attribute -oriented generalization and the reduced operation algorithm are discussed. The n a tapping method for attribute-oriented RST data is presented. Applying the b est reduction and kernel operation to the differential matrix, the decision rule s in logical meaning are given.

在此基础上，提出了一个面向属性的RST的数据挖掘方法，即基于系统的关系数据库形成差别矩阵，并对差别矩阵施行最佳约简和核操作，给出在逻辑意义下的决策规则，从而完成领域的知识发现。

A novel butterfly-shaped fullerene-diporphyrin triad was designed and synthesized,in which 〓 is in the mid of two porphyrin rings and this structure feature enables it to be apotential candidate for the manufacture of Gr〓tzel solar cell and unimolecular logicalcircuit.

设计并合成了一个新的蝴蝶形富勒烯-双卟啉三元分子并确定了结构，两个卟啉环将〓夹在中间，这样的结构有利于探索增加电子／能量给体数目对电荷／能量向富勒烯传递速率的影响，并且这个分子可望被用于太阳能电池制造和单分子逻辑电路的设计上。

In the base of regularity of fuzzy logic s, combining triangular norms and logic s, it has lead proposition universal logic .

在分析模糊逻辑规律的基础上，把三角范数理论和逻辑学紧密结合起来，利用三角范数理论提出命题泛逻辑学。

The advocacy has confused the essential distinction between morality and laws, which ,in the logical prerequisite, exists unremedied loopholes.

这种主张混淆了道德与法律的本质区别，在逻辑前提上存在着无法弥补的漏洞。

The advocacy has confused the essential distinction between morality and laws, whic h ,in the logical prerequisite, exists unremedied loopholes.

这种主张混淆了道德与法律的本质区别，在逻辑前提上存在着无法弥补的漏洞。

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％。