逻辑上的

In order to make the adjustment and maintenance of the original coal conveyor belt offset compensator of Mudanjiang No.2 Power Plant easy and to improve its waterproofness, a new automatic coal conveyor belt compensator is employed to achieve remote control, automatic adjustment of coal drop point and automatic compensation of conveyor belt offset, thereby improving operational reliability of conveyor belt.

输煤皮带机是火力发电厂运送燃料的主要设备。在输煤皮带长期运行过程中，皮带跑偏是一种经常发生的故障，使皮带机无法正常上煤，影响机组正常运行。因此，输煤皮带系统的皮带纠偏装置比较重要。新型输煤皮带跑偏自动调整装置的应用和改进，可针对输煤皮带的各种跑偏现象进行智能逻辑判断，达到自动调整落煤点和皮带纠偏的目的，确保输煤皮带正常运行。

Generally, Toft's"strategic interaction"is relatively new and explanative. Being an important starting point for this research, Toft's"strategic interaction"perspective still leaves us with some questions: Firstly, Toft's analysis on the four types of strategy is too far-fetched; Secondly, Toft deliberately evades the question of a strategic choice in his theoretical model; thirdly, the argument"time is conducive to the weak rather than the strong side"is not convincing.

总体上看，托夫特的&战略互动论&比较新颖且有相当的解释力，因此也构成了本研究的重要起点，但它也还是给我们留下了几点重要的疑问：首先，托夫特关于四种战略类型划分过于牵强；其次，在其理论模型中，托夫特有意地回避了战略选择的问题；再次，关于&时间有利于弱者而不利于强者&的逻辑解释也并不能令人信服。

This paper proposes a belief multisets formalism for analyzing cryptographic protocols, and the formalism is foundationally different from the previous: a participant's beliefs should depend only on the sent or received fresh messages and the beliefs already possessed by this party.

提出了一种基于逻辑的信任多集方法，它与已有的密码协议安全性分析方法本质上不同：每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身。

In the light of Kant\' s philosophy of reason and symbolism philosophy on culture of his successors-Cassirer and his student Langer, both of which were major representatives of new Kantism, and with an academic framework and logic axis of the interactive relationships between two major literary elements: the reason and the feeling, this paper systemically examines general styles and features of revolutionary war literature of the period 1950-1966so-called the 17-year period after foundation of PRO , its essential laws of the literary text production and commercial circulation as well as the possible controlling mechanism over the literature which may be dominated by the reason.

本文以康德理性哲学及其当代新康德主义的主要代表卡西尔和苏珊·朗格的文化符号哲学为主要理论依据，以理性与情感两大文学创作要素的辩证互作运动关系为学理框架和逻辑主轴，全面系统地考察了建国17年时期的革命战争文学的总体风貌和生产传播规律，在此基础上对制约文学创作的理性因素进行了深刻反思。

The second step is to trace back to the origin of the theory in philosophy and to illustrate the contents and the principled meanings. Focused on glossematics, structural semantics, metapragmatics and the theory of metalinguistic function, the third step is to demonstrate the theory of linguistic metalanguage which inherits and develops the one of philosophy.

由于元语言理论产生于逻辑哲学，语言学界对它的研究在整体上显得比较薄弱，尚未对之作出系统而深入的阐述，并由于不同的语言学传统及为文献所限制，许多重要的现代西方语言学家关于语言学的元语言研究也未能得到阐释与继承。

This paper bases its analysis of relationships between technologies and self presentation on describing related technologies, self presentation in cyberspace.And the paper puts forward that technologies on one hand, have brought multiple choices to self presentation, and on the other hand, made self get rid of a lot of social constraints which may cause misrecognition of self and irrational reactions from individuals.

在讨论赛博空间技术与&自我&展示关系的基础上，阐述了赛博空间的技术特点、自我在赛博空间中的延伸——视觉化逻辑、赛博空间给&自我&展示带来的新图景，以及赛博空间技术对网络&自我&展示这一文化现象的影响；提出了技术给&自我&展示提供了多样的选择，但同时也让&自我&脱离具体社会场景，由于不受社会约束，容易造成误认和非理性行为。

It is the speculativeness of the scientific hypothesis that brings about more uncertainty to the scientific knowledge obtained through hypothesis,reasoning and argumentation.

显然，在结论与支持结论的假说之间要求演绎的逻辑关系，即它们之间必须符合正确推理的原则，但科学假设毕竟有猜测和信念的成分，那么，由它演绎出的结论在什么意义上是真的、确定的呢？

Ji: :: The current thesis adopts a movement analysis on the Binding Principles. The feature determines the clitic zi observing Binding Principle A. It undergoes CliticizationLF that is it adjoins to I in its local domain. Thus zi gets adjacent to the specifier of I, which values the unvalued person feature of zi through Feature Copying and checks against the person feature of zi.

接语词&自&的特征决定其执行约束原则A，进行接语词化Cliticization_(LF，即在逻辑式里隐性移位到其局部管辖语域内的功能语类上I，这样就与I的标语词形成相邻关系，通过&特征复制&，I的标语词为&自&的人称特征赋值，并相核查。

If you are going to say, as theologians do, that God is good, you must then say that right and wrong have some meaning which is independent of God's fiat, because God's fiats are good and not bad independently of the mere fact that he made them.

因为神的法谕都是对的并且很好的独立于上帝所创造的现实世界。假如你不得不说是非差异不单单经由上帝来形成，并且在它的逻辑根源上先于上帝。

Advocates for literary revolution expounded their texts and then practiced their imagination on western cultures as well as the foresights on China's future, which on the whole composes the logical frame of 'coexistence with difference' in literary revolution.

文学革命的首倡者们通过各自的文本进行理论阐释进而推行自己关于西方的文化想象和对中国未来的预言与规划，从而在整体上构成了文学革命的&和而不同&逻辑建构框架。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了