查询词典 logic

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.

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

Main products: 1: Japan OMRON (between relays, time relays, temperature controller, photoelectric switch, proximity switches, trip switches, programmable logic controller) 2: Korea LG motor (air switch, contactors, thermal relays, magnetic starter, programmable logic controller) 3: Japan's Fuji motor (air switch, contactor, thermal relay, temperature controller, time relay, inverter, programmable controller, button, indicator light) 4: Japan's Mitsubishi Electric (air switch, contactors, thermal relays, Inverter, programmable controllers, servo series) 5: Korea AUTONICS (Photoelectric switch, close to-day clearance, temperature controller) 6: Taiwan CKC (time relay, the water level controller, solid state relays, counters) I Division otherwise operating Siemens, Schneider, and Stephen, RKC, days too, Hanyoung brands, such as industrial automation components, category range.

1：日本OMRON（中间继电器，时间继电器，温控器，光电开关，接近开关，行程开关，可编程控制器）2：韩国LG电机(空气开关，接触器，热继电器，磁力起动器，可编程控制器)3：日本富士电机（空气开关，接触器，热继电器，温控器，时间继电器，变频器，可编程控制器，按钮，指示灯）4：日本三菱电机（空气开关，接触器，热继电器，变频器，可编程控制器，伺服系列）5：韩国AUTONICS（光电开关，接近天关，温控器）6：台湾CKC（时间继电器，水位控制器，固态继电器，计数器）我司另有经营西门子、施耐德、和泉、RKC、天得、韩荣等品牌的自动化工控元件，品类繁多。

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...

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

Diabetes is a social disease that affects several million people worldwide.

糖尿病是一个社会性疾病，全世界有数百万人罹患此病。

I'll call you on Friday to see if we can reschedule our luncheon meeting at your convenience.

我星期五会给您打电话在您方便的时候我们重新安排我们的午餐约会。