逻辑上的

ETS consists of simulation test panel, operation instruction panel, turbine head test module and control cabinet.

该控制器是在逻辑程序控制技术和计算机技术的基础上发展起来的工业控制装置。

On the base of the right of subrogation in marine insurance, this paper will do the research from the point of view of action;on the base of existing stipulations and legal theories of the action of subrogation in marine insurance, maritime action and civil action, this paper will consult the foreign correlative theories;not only from the point of view of the legal theories, but also by consulting the cases and usual ways in judicature of our country, this paper will make the research more practical;this paper will also do the research by induction, organon and interests-comparing, etc.

本文将在海上保险代位求偿权制度的基础上，从诉讼角度展开较为系统的研究；在我国现有的海上保险代位求偿诉讼、海事诉讼以及民事诉讼的法律规定和法律理论的基础上，参考国外相关的法律理论，对海上保险代位求偿诉讼的法律问题进行较为系统的研究；不仅从理论的角度，还要参考我国司法实践中的相关案例和通常做法，使得对海上保险代位求偿诉讼的法律问题的研究更贴近实务，更具有实际操作性；运用归纳、推理的逻辑方法，采用利益比较等具体方法，对海上保险代位求偿诉讼的法律问题进行了较为全面的研究。

Based on the research on the min-cut partition problem, the author presents an improved KLFM partition algorithm and a graph partition algorithm based on simulated annealing.

在此基础上，本文对最小割划分算法进行深入研究，提出了改进的KLFM划分算法和基于模拟退火的逻辑图划分算法。

Considering strict and complex phase requirement, phase locked loop was used for precise phase shifting. Through Embedded logic analyzer the timing was sampled and verified. The driving timing generator of CCD camera with adjustable integral time was implemented on the CCD circuit board.Frame transfer CCD; Integral time ; Phase locked loop ; Embedded logic analyzer

考虑到CCD驱动时序复杂、相位要求严格，提出运用锁相环技术进行高频信号的精确移相，用嵌入式逻辑分析仪对时序进行采样验证，在CCD电路板上实现了积分时间可调的CCD空间相机驱动时序。

The theory of maximum relative velocity distance is provided, and the fuzzy logic is used to control the time margin.

在采用最大相对速度－距离法的基础上，引入模糊逻辑控制时间裕度，使任意两次检测间的时间间隔适当增大。

In the guidance of humanism, Scientific Development Ideology is just the result of reflection and transcendence of scientism.

在逻辑的维度上，文章主要阐发了科学主义与中国社会诸领域的激荡与渗透。

There is self-contradiction between logic and realistic in the nominal word virtual enterprise while the verbal word virtual enterprise, the virtual management of the enterprise,turns energetic.

名词性的虚拟企业逻辑和现实上存在矛盾，而动词的虚拟企业，即企业虚拟化运营则充满活力。

But this logical possibility couldn't change the fact that my heart somehow knew that I was stranding at a great turning point in my life.

但是这种符合逻辑的可能性不能改变一个事实，不管怎样我知道自己正站在人生的转折点上。

On the basis of the many-valued logics tableau reasoning,an automated reasoning expansion method based on set sign is presented.

在多值逻辑Tableau推理的基础上，提出了一种基于集合符号的自动推理扩展方法。

But if the nature of language is partly the nature of man, as is suggested in the present thesis, these assertions become tautological.

但是，倘若语言的本质如同本文所提议，在一定程度上也是人类的本质，那麼，这些主张就会变成套套逻辑。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。