查询词典 mapping theorem

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 引理等)、解析开拓和调和函数等内容。

Firstly, we prove the existence and uniqueness of the adapted solution of multi-dimensional backward stochastic differential equations driven by Brownian motion and Lévy process by using predictable representation theorem and the fixed point theorem about contract mapping, and also prove the comparison theory.

第一部分运用可料表示定理和压缩映射原理证明由布朗运动和Lévy过程共同驱动的多维倒向随机微分方程适应解的存在唯一性及其相应的比较定理。

Erent. In this chapter, under theenvironment of complete lattice, it gives some new solving methods of the threepublic problems. The tool is the representation theorem which based on union-intersection-preserving mapping and intersection-union-preserving mapping.

本章在值格仅为完备格环境下，给出了这些公开问题的新解决办法，主要工具是基于保并交映射和交并映射的模糊集表现定理。

In this paper, the author estimated the module of quasiconformal mapping in curved fan, by the expression of local maximal dilatation function of quasiconformal mapping, Riemann′ s existence theorem and extremal length method, the author obtained a result of moduler deviation on curved fan.

本文对曲边扇形内的拟共形映照的模进行估计。借助拟共形映照的局部最大伸张函数来表达，利用黎曼存在定理和极值长度方法，得到关于曲边扇形的一个模偏差定理。

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

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

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

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映射，整合映射和输出映射等概念后，本文证明了自动更新原型定理，形式化了自动更新的全过程。

By giving the definition of mapping space, some abstract and basic conjugation elements can be impressed by direct geometric graphics. Also, resort to the mapping space, the fundamental theorem of singular conjugation is proved.

本文研究了共轭曲面原理的奇点共轭理论，并在此理论指导下对新型奇点共轭传动——0°渐开线包络蜗杆传动进行了系统的理论分析与实验研究。

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可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。