查询词典 mapping theorem

After introducing the concepts of M-mapping, conform mapping and output mapping, auto update prototype theorem is justified and the whole process of auto update is formalized.

在引入了M映射，整合映射和输出映射等概念后，本文证明了自动更新原型定理，形式化了自动更新的全过程。

Meanwhile, important random acute angle principle、theorem of random full mapping and theorem of random one-one mapping are proved.

同时我们证明了重要的随机锐角原理、随机满射定理和随机一一映射定理。

The content of this course is: analytic function (the definition of analytic function, elementary functions, etc.), conformal mapping (the definition if conformal mapping, fractional linear functions, elementary mappings, etc.), complex integration (Cauchy's integral formula, Cauchy's theorem, etc.), Series (Laurent Series, singularities, local property, etc.), residues and its applications (the Residues Theorem, integration by residues, the Argument Principle, the Maximum Principle, Schwarz's Lemma, etc.), analytic continuation and harmonic functions, etc.

本课程内容主要包括：解析函数(解析函数的定义、初等函数等)、共形映射(共形映射的定义、分式线性变换及初等映射等)、复积分(Cauchy 积分公式、 Cauchy 定理等)、级数(Laurent 级数、孤立奇点、局部映射等)、留数及其应用(留数定理、利用留数计算积分、幅角原理、最大模原理、 Schwarz 引理等)、解析开拓和调和函数等内容。

Moreover, we also get a fixed point theorem of uniform partial extension mapping and a fixed point theorem of quasi- extension mapping.

另外，我们还得一个一致局部扩张映射不动点定理与一个准扩张映射不动点定理。

The theoretic results on conventional theorems are far from the experiment results. Through discussing on ABA mapping, we obtain the general collage theorem and local collage theorem for ABA mapping.

本文从分析ABA映射的Collage定理入手，导出了ABA映射的广义Collage定理和ABA映射的局部Collage定理，并提出了符合实际情况的概率模型。

The existence theorem of generalized weak efficient solutions with respect to variable, cone for a linear G〓teaux differentiable mapping is proved with set valued mapping fixed-point theorem and the relation between a vector optimization and a variational inequality problem. The existence of weak efficient solutions for multi-objective convex vector optimization is characterized.

建立映射在线性G〓teaux可微条件下关于可变锥的广义弱有效解的存在性及多目标凸向量优化问题在G〓teaux可微条件下弱有效解的特征，利用集值映射不动点定理及向量优化与变分不等式的关系证明线性G〓teaux可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

Moreover, the semiopen mapping theorem, the semiclosed graph theorem and the semibounded inverse theorem are established under some conditions of weaker t-norms.

对MengerPN空间上的线性算子引入β-半有界，β-半开及β-半闭等概念，讨论了它们间的关系，并在较弱的t-模条件下建立了半开射定理，半闭图定理和半有界逆定理。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

To the problem of unbiasedness of L 1 estimation,basing on uniqueness of solution,Zhou Shijiang proved it according to dual theorem of linear programming; and Wang Zhizhong proved it according to probability statistics theorem by using the method from special to general; also,basing on error distribution theorem and probability statistics theorem,the authors proved it.

对于L1 估计的无偏性问题，周世健基于解法的惟一性，根据线性规划的对偶理论，证明了L1 估计的无偏性[5] ；王志忠根据数理统计理论，采用由特殊情形推广到一般情形的方法，证明了L1 估计的无偏性[6] 。

Based on much knowledge, contrasting to linear programming; we extend duality theorem (including weak duality theorem and strong duality theorem), complementary slack theorem to conic optimization. Hence we find out some significative conclusions and existing conditions under which their duality gap is zero of two optimizations.

在此基础上，通过与线性规划作对比，将对偶定理、互补松弛定理等推广到锥规划问题中，得到了一些有意义的结论，并且得到了这两个规划的零对偶间隙的存在条件。

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.

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