查询词典 reasoning

The University of the West entrance examinations are to test the skills of reasoning imagination capability.

西方大学的入学考试，都是以测试学生的推理想象能力为主。

So the core of philosophy is technology epistemology and reasoning and logic of technology.

技术哲学的核心问题应该是技术认识论和技术推理逻辑问题。

Equational reasoning is particularly powerful when combined with the use of "induction" to reason about functions that are defined using recursion.

等式证明是尤其有用的，当同关于那些用递归定义的函数组合使用"推导"到原由的时候。

Because programs in haskell are pure functions, simple equational reasoning can be used to execute programs, to transform programs, to prove properties of programs, and even to derive programs directly from specifications of their behavior.

因为Haskell程序是纯函数，简单的等式证明能用于执行程序，转换程序，说明程序的属性，甚至直接从程序行为的规格说明中得到程序。

The Coq functions implementing the compiler are first-class citizens of Coq's logic and can be reasoned on directly by induction, simplifications, and equational reasoning.

实现编译器的Coq函数是Coq逻辑的"头等公民"，可以直接采用归纳、化简和等式推导等方法证明。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

Around TLDM, we discuss the definition, representation, calculation and reasoning of their relationships in two-dimensional space. TLDM also considers map design and spatial analysis based on equivalence class.

为此，本文提出并实现了一个面向对象的三级地图数据模型TLDM，并围绕该模型讨论了二维平面上地图对象以及空间关系的定义、表示、计算和推理、地图的构造和输出以及基于等价类的空间分析等。

For example, the Maximum Membership Function Principle is proposed in Chapter 2 on which the presently"scattered" ones among fuzzy mathematical operations for fuzzy control methods such as the acquisition of fuzzy relation, the composition of fuzzy relations and the fuzzy set projection algorithms can be unified to within a common theoretic frame; the geometric criterion for the redundant design parameters is developed for a class of fuzzy supervisory control algorithm in Chapter 4; such concepts as the metric equivalent distance between fuzzy rules are defined to realize the highly efficient reasoning process; consequently the strategy and algorithm for a dynamically commissioned fuzzy controller is given.

如在第二章中，提出了最大隶属度原则，从而将现有模糊控制方法中诸如模糊关系的获得、模糊关系的合成、模糊集的投影等"零碎"模糊数学运算统一到一个共同的理论框架之中；在第四章中，还针对一类模糊监督控制算法推导了其冗余设计参数的几何选取准则；为实现高效推理过程而定义了模糊规则间的距离当量等概念，在此基础上，提出了动态构造模糊控制器的策略和算法。

How many times, after an equivoque, after the specious and treacherous reasoning of egotism, had he heard his irritated conscience cry in his ear: A trip!

多少次，他在斗争中重新站起来，抓住岩石，依仗诡辩，在尘埃里打滚，有时他把良心压在身下，有时又被良心打翻！

Incorrectness of reasoning or belief; erroneousness.

推理或信仰上错误；错误

Molecular Distillation is a kind of high vacuum distillation method, which is suitable for the separation of high boiling, heat sensitivity and viscidity products.

分子蒸馏技术是一种在高真空条件下进行的连续蒸馏过程，适合于分离高沸点、热敏性及具有生物活性的混合物。

They are to the Noughties what yuppies were to the Eighties .

那在六十年代是时髦的，但在八十年代肯定是过时了