查询词典 logic

I don't,we don't have such a logic that in a cabinet if one member or several members have been studied in former Soviet Union or in any other countries,then this cabinet will be pro-Soviet Union or pro-any coutry.We don't have this logic.

钱其琛：任何一个内阁里面有人在前苏联留过学或者是在其他国家留过学，就认为这个内阁一定是对哪个国家怎么样，我看这个逻辑不存在。

The philosophical dimension of metaphor Traditional and classical logic is a rigid dual value- logic/dialectic based on Aristotelian syllogisms– major premises, minor premises, and conclusions.

英汉两个民族在认识自身的基础上，通过隐喻机制，经过英汉这两种不同语言的过虑，去认识世界时，便对世界做出了不完全相同的切割和处理。2隐喻的哲学纬度。

The traditional synthesis tools succeed is because of the high quality timing engine, which can compute the delay and area of the different implement style of the same logic function and help the synthesis engine to choose the most suitable circuit, deal with the timing borrow, register retiming, logic duplication, etc for the design engineers.

目前的迭代式方法将综合后的设计进行初步的布局，根据布局信息计算延时，然后用于指导综合工具进行综合修正。还有一部分厂商致力于提供统一的工艺信息数据库，使综合工具和布局布线工具使用相同的模型数据库，根据各个阶段提供的信息实时更新模型。

The model is called the Default Logic for GCI Inference, or DLg, an adapted version of Reiters (1980) default logic and its refinements.

根据一般会话含义非单调性推理的特点，本文在Reiter的缺省逻辑理论的基础上创制了一般会话含义推理的缺省逻辑方案。

Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc.

然后，调用现有逻辑程序求解器与描述逻辑推理机来实现查询等推理任务。

The power- plant alarm system is very complex as it generally involves a number of interconnected logic circuits com prising multiple AND,OR and NOT gates,flip- flops,time delay and other logic elements.

发电厂警报系统的特点是其逻辑线路中包含了延时元件，从而引入了时间因素，要对这样的系统进行故障诊断，必须计及警报信息的时间特性。

Historical thinking has been considered as the core in the middle school history teaching. Logic thinking, as one of the abilities of historic thinking, is right the basis of the accuracy of it. Without rigorous logic pattens, thinking would be in a chaotic and ridiculous state.

在中学历史学科教学中，历史思维能力是历史学科能力的核心，而作为历史思维能力之一的逻辑思维是历史思维正确性的基础，没有严密的逻辑基础，思维将是混乱的，乃至是荒谬的。

The merits and shortcomes of the two kind methods to develop the real time risk model of nuclear power plant, using outsets equation and using master logic fault tree, are carefully evaluated, especially for the possibility to underestimate the risk when the method of cutsets equation is adopted. At the same time, the necessity and advantage of master logic fault tree is pointed out.

本文详细分析了两类建立核电站实时风险模型的方法-割集方程法与大故障树法各自的不足之处，尤其是对割集方程法造成风险评价结果精确性的不足进行了细致的分析，指出采用大故障树法建立核电站风险模型的必要性和优越性。

Taking the description logic ALCQO (attributive language with complements, qualified number restrictions and nominals) as an example of the X of EDDL, this paper proposes a tableau decision algorithm for the logic EDDL and proves that this algorithm is terminating, sound and complete.

以 X 为描述逻辑ALCQO(attributive language with complements，qualified number restrictions and nominals)的情况为例，给出了EDDL的表判定算法，并证明了算法的可终止性、可靠性和完备性。

In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham s temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case.

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Shoham的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和时间区间的时态逻辑。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。