查询词典 imbedding theorem

Moreover, the more deep research has been given, such as introduction to working mechanism and design principle, kinematics analysis of planet gear transmission system by the method of theorem of finite distance.

运用点的复合运动和刚体空间运动的有限位移定理对行星轮传动系统进行了运动学分析，并进一步探讨了搅拌螺杆的工作机理与设计原则。

It presents a new method for designing automated theorem provers for Pointer Logic.

提出了一种为指针逻辑设计自动定理证明器的新方法。

Despite these theoretical limits, practical theorem provers can solve many hard problems in these logics.

尽管取得了这些理论的限制，实际定理provers可以解决许多困难问题，在这些逻辑。

Interactive theorem provers require a human user to give hints to the system.

互动定理provers需要人类给予提示用户的系统。

Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.

象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。

Model checkers and theorem provers are all used to verify specifications of protocols. However, they are different. The former verify specifications in finite space, while the later prove some conclusions in infinite space.

模型检查和定理证明都是对协议的规格说明进行验证，不同的是，前者是在有限的空间中进行检查，而后者是在无限的空间证明结论。

In this paper,a mathematical model of sampling process is presented,based on stochastic processes theorem,then using this model,we establish a fire\|new equivalent sam pling theory.

在随机过程理论基础上建立了采样过程的数学模型，并利用该模型建立了一种全新的等效采样理论。

In this paper a new proof of Tehebyeheff theorem in several variables has been given.

在这篇文章中我們給出了多元逼近的定理一个新的証明。

This paper introduces the proof and application of Cauchy mean-value theorem from many angles.

本文多角度介绍了柯西中值定理的证明方法和应用。

This paper introduces the proof and application of Cauchy mean-value theorem from many angles in every aspect.

本文介绍了柯西中值定理的多种证明方法及其应用。

The work of this paper is as follows: 1. Looking back the progressing history of the linear motor, introducing the features of the elevator driven by linear induction motor, radicating the topic of this paper "the digital frequency variable control of the elevator bi-side direct driven by linear induction motor". The research of this paper covers the conventional VVVF control, space vector based VVVF control, vector control and DTC.

本文主要开展了以下几个方面的工作： 1 回顾了直线电机发展历史，电机的驱动技术演变，特别是针对直线电机的驱动，简要介绍了直线感应电机驱动电梯的优点和不同结构类型，对传统的v／f控制，基于空间矢量法的v／f控制，矢量控制，和基于电压空间矢量的直接转矩控制进行了比较，确立了本课题的研究主题：直线感应电机双边直推式驱动电梯的全数字变频控制。

The article combines with the treatment of a superficial civil air defense work to introduce how the grouting method to improve the performance of the backfill soil.

文章从治理漂浮人防工事的角度提出了注浆技术在改善回填土性质方面的应用，并详细阐述了注浆技术的施工流程。