查询词典 imbedding theorem

Does the Pythagorean Theorem "participate" in this event?

勾股律&参与&了这个事件吗？

To win the grade competition in high school, most of these "winners" learned to ask what was expected of them and then do just that. They had to make sure they got high SAT scores by memorizing endless vocabulary words and by practicing a 1001 uses of the Pythagorean Theorem.

在高中阶段，为了在分数的竞争中取胜，大多数&胜利者&仅仅学会了去询问别人期待自己做什么，然后就照着这些目标和他们通过没完没了地背诵单词、做1001勾股定理的练习题来确保自己在学业能力测试中取得好成绩。

So the important question to be asked, in light of Arrow's theorem is: which condition should be relaxed?

因此，重要的问题要问，根据阿罗定理是：这些条件应该放松？

Again, for antiquarians (I include myself in this harmless avocation), Morishima provides as a Class B theorem his useful generalization of my equal-internal-composition sufficiency condition to a wider "linear dependence" sufficiency condition.

再次，对于文献研究者（包括我自己也有这个无害的嗜好），作为等级B定理森岛通夫为他关于我的相同内部构成的充分条件到更广的&线性相关&的有用的总结提供了充分条件。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

In particular, we given an infinite-dimensional version of Gerschgorin's Theorem and derive a concept of -extendability to determine whether two local-defect patterns can be glued together.

特别地，我们给予一个无穷维观点的Gerschgorin 定理并且导出一个-extendability的概念来决定两个局部花样是否可以接合在一起。

The separating axis theorem is simplified to accelerate the OBB trees continuous overlap.

通过对分离轴定理的简化，加快了OBB包围体树的连续求交测试。

In this paper, the author queried a few conclusions in [1] , and elaborated different views on several problems, such as relations between non-Euclidean geometry and real space, relations between mathematical logic and thinking, the significance of Godel s second incompleteness theorem, and so on.

本文对文〔1〕的几个论断提出一些疑问，并在&非欧几何与现实空间&、&数理逻辑与思维&、&哥德尔不完备性定理的意义&等若干问题上表述了与《数学是什么》一文中不同的观点。

As a consequence of an important theorem of algebraic topology, the invariants constructed by those diversity ways can be considered as identified via their unique isomorphisms. This concludes that the procedure of invariant construction gains a virtue of the model presented in this paper as being unrelated to whether there exists a symbolic represantation of images.

根据代数拓扑的重要定理，这些不同的构造方法所得的不变量在同构意义下是等价的，因此我们推论这种不变量的构造过程与图象是否有符号表示无关。

By Ricceri's three critical points theorem, the existence of solutions for a class of quasilinear elliptic systems with variational structure was proved and the location of the solutions was also determined.

通过运用Ricceri的一个三临界点定理，讨论了一类具变分结构的拟线性椭圆方程组，获得了多解的存在性，并且给出了解的位置。

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.

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