查询词典 mapping theorem

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 model of relative motion of formation flight was established in the path coordinate frame, the concept of miss distance which is combined to obtain the control law of the wingman with the Lyapunov stability theorem.

建立了以航迹坐标系为参考坐标系的长机与僚机的相对运动模型，根据僚机距离长机最优位置的误差，利用李亚普诺夫稳定性理论设计队形构成中僚机的控制律。

Apllied the data of QuickBird-2——the highest resolution remote sensing,and based on the theory and methodology of fractal geometry,we have quantitatively studied remote sensing lineations in Gaolong gold deposit of Guangxi.

采用Quick Brid-2高分辨率卫星遥感数据，通过分形几何学的盒计维数法，定量研究广西高龙金矿区遥感线性构造。

So, sometimes, to change the color can not be your food (referring to the above-mentioned crustacean) has been a sign of boiling over.

所以，有时，来改变颜色，不能你的食物一直是沸腾了的迹象。