查询词典 logic level

The main results are:In logic system r,G r, tautologies can not be get by using upgrade algorithm to non tautologies within finite many times; In logic system S n , tautologies can be get by using upgrade algorithm to an arbitrary formula of F at most n times; Congruence partitions about ...

主要结果是：在逻辑系统 Gr，Gr 中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Sn 中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和α矛盾式概念分别在 Gr，Gr，Sn 中给出了F的一个关于同余的分划。

A good point of departure for doing so would be to develop a conscious awareness that there is something incompatible between translation and logic, that to translate is, in a sense, to subvert logic's totalizing claim as the one and only legitimate mode of thinking, and that in the resistance to such a claim, one finds no less than a condition of possibility for the practice of translation.

在这种思想背景下，翻译研究有必要有针对性地探讨逻辑问题。实际上，翻译历来都在拒斥逻辑的大一统作用。不这样，它存在者的地位早就岌岌可危了。

A dangerous signal recognition logic based on Boolean algebra with fuzzy shell and re- vised Gaines-Rescher implication operator is established,and the semantic properties of this logic are investigated,some interesting results are obtained.

建立了一种基于带Fuzzy壳Boole代数和修正的Gaines-Rescher 蕴涵算子的险象识别逻辑，并对这种逻辑进行了语义方面的研究，获得若干结果。

The problems in the start stop logic of band screen and the tripping logic of recycle water pump are analyzed in this paper, and improvement measures are given as well.

为此 ，分析了旋转滤网控制逻辑和循环水泵的跳闸逻辑存在的问题，并提出了相应的改进方

The slip ratio fuzzy logic controller can assure wheels work with optimal wheel slip ratio and the braking torque distribution fuzzy logic controller can dynamic adjust the braking torque based on the braking system requirement.

针对不同的路面附着情况，建立了不同的模糊控制规则库，并对CBCS控制策略和FCS策略的仿真结果进行了对比分析。

It's an effective measure of fast valving in improving the dynamic stabilities of power system and preventing the overspeed of steam turbines, but the fast valving technique available can satisfy the need of modern steam turbines no more. On the basis of the new type fluid logic valve, which combines the regulating systems and safety systems happily, the steam turbine EHC based on new principle is put forward, one of its outstanding characteritics is, the fast valving is operating in a closed control loop. For the implementation of control for steam generator regulation and safety systems with nonlinear mult-operating modes, a new methodology for designing a fuzzy logic controller is proposed, which is based on the combination of"error phase plane"and"variable universe of discourse". Application of a double-mode FLC with the new methodology is presented, the validity of the design methodolody is desmonstrated by test; A new methodolody is also presented to improve the design and tuning of a FLC using variable structure control theory.

本文还详细讨论了快关控制在提高电力系统暂态稳定性及超速保护中的应用，分析了现有的快关控制规律的局限性，研究出一种基于新型快关阀的汽轮机电液控制系统，其突出特点是使汽轮机闭环快关成为现实，指出这种基于新的组成原理与设计方法的汽轮机电液控制系统对不同工况下的适应能力；针对汽轮发电机组多工况、非线性的特点，提出一种把&误差相平面&方法与&可变论域&思想有机结合的双模FLC设计与调整的新方法，试验结果表明该系统具有良好的动、静态特性；为改善FLC控制规则的设计与调整，作者还介绍了一种把滑模变结构理论成功应用于模糊系统设计的新方法。

This paper chiefly studies commodity sale character's deep roots logic and function, and indicating that capital logic is its causes, ideology is its participation in society and the role of purpose.

本文从商品销售性格的具体表现生发出去，探讨了它的深层逻辑根基和功能表现，指出了资本逻辑是它的根源，意识形态是它参与社会的方式，是它的作用目的。

Deontic logic established by Von Wright in 1950's is firstly named as logic about action name.

20世纪 5 0年代由冯赖特创建的道义逻辑，首先是作为行动名称的逻辑而建立的。

This deontic logic should be logic about normal propositions ra...

但是 ，在行动逻辑基础上构建的道义逻辑是一个有关规范命题的逻辑，而不是规范的逻辑，在相当程度上也可以看成是一个规范命题逻辑和规范逻辑的混成物。

As far as Aristotle, philosophers have studied deontic logic, but the modern deontic logic began with GH.

从亚里士多德开始，哲学家们就开始对道义问题进行不断的探讨，但道义逻辑的最新发展则是从芬兰哲学家G.H。

Mr. Putin said there were signs of genocide against the Ossetian people.

普京说，有迹象表明对南奥塞梯人进行了种族清洗。

What I'm trying to say, Tristan is...

特瑞斯坦。我想说的是。