查询词典 complele induction

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

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

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逻辑的"头等公民"，可以直接采用归纳、化简和等式推导等方法证明。

First, based on double-fed induction generator fundamental equation, the equivalent circuit and internal power relationship are analyzed in this dissertation, which establishes the theoretical base for study.

本文首先从双馈感应发电机的基本原理出发，分析了其等效电路和功率平衡关系，为双馈感应风力发电系统的研究奠定了理论基础。

Objective To investigate effect of erythrocyte immunization on induction of gastric cancer cell apoptosis and the synergistic action of lymphocytes.

目的 探讨红细胞免疫作用对胃癌BGC-823细胞凋亡的影响，以及淋巴细胞的协同作用。

This paper uses FFT to analyze the harmonic of equivalent model of induction heating. Simulation model are esta...

通过分析和仿真得到感应加热设备运行时的各次谐波含量及变化规律，为抑制其谐波奠定基础。

Crescent euphorbia can inhibit the growth of Lewis lung cancer, no side effection of the mices blood system was found,the underlying mechanism of which was associated with induction of apoptosis and inhibition on cancer cells.

猫眼草可抑制Lewis肺癌生长，对小鼠血液系统无明显毒副作用，其抗肿瘤作用与诱导细胞凋亡及引起肿瘤细胞的生长抑制有关。

Crescent euphorbia can inhibit the growth of Lewis lung cancer in mice,no side effection for the mice blood system and the effect might be associated with induction of apoptosis on cancer cells.

猫眼草可抑制Lewis肺癌生长，对小鼠血液系统无明显毒副作用，其抗肿瘤作用与诱导细胞凋亡有关。

The presented paper uses some methods to analyze contents, terms and methodology on "meanings from sound" of Annotation of Rites, such as statistics, induction, comparison and description, and at last concludes its achievement in the history of Exegetics.

本文运用统计、归纳、对比及描写等方法，全面而系统地分析了《礼记注》的训诂体例、术语体系及其因声求义的训诂方法，在此基础上指出《礼记注》在传统训诂学史上所取得的巨大成就。

High temperature extensometer for testing metals, ceramics and composites at the high temperatures produced by furnaces and induction heating systems.

适用于在高温炉和感应加热系统产生的高温下测量金属、陶瓷和复合材料的变形。比其它高温引伸计更便于使用，性能更加优良。

Drive the car accident never, because there are a kind of automatic induction device, in a certain distance outside, it can be induced to eyewinker, Then active avoid.

开这种汽车永远不会出车祸，因为车上有一种自动感应装置，在一定的距离外它就能感应到异物，然后主动避开。

You can buy sweetened beverages, if that suits you.

你若喜欢的话，可以买些含有糖精的混合饮料。

As many of you are probably aware, Nick and Vanessa were recently faced with an embarrasing sex scandal after naked pictures of the two getting jiggy with it in a hot tub surfaced the net.

正如很多你可能知道，尼克和 Vanessa 最近面临一个尴尬的绯闻事件后，赤裸裸的图片两个越来越jiggy与它在浴缸中的一个热点浮现净。