查询词典 mapping theorem

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.

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

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°渐开线包络蜗杆传动进行了系统的理论分析与实验研究。

Application of contraction mapping principle to recursion sequence of number;2. With the Banach contraction mapping principle and Schauder fixed-point theorem, on the consistent condition of nonlinear term, we get .

用压缩映像原理和Schauder不动点定理对带有不跨特征值扰动项的梁方程边值问题进行了研究，在非线性项满足渐进一致性条件下，得到了相应的解的存在唯一性结论。

In order to get the stress analytic solution, the stress equations are deduced with conformal mapping method and residue theorem, the defaults of equations in the reference are corrected. This method overthrows the obstacle in the engineering stress calculation for the flat receptacle with conformal mapping.

为了建立有实际意义的扁挤压筒应力解析解，本文结合单连体复变函数保角映射法和留数定理推导出受内压力作用的扁挤压筒的应力求解公式，更正了国外文献中相应公式的错误，开发了受内压扁挤压筒的应力计算程序，实现了应力计算的程序化。

Based on the study of the relation between meromorphic mapping and moving targets,a new truncated second main theorem is proved for meromorphic mapping in several complex variables with moving targets.

通过对亚纯映射与小映射之间关系的研究，给出了一个涉及小映射的亚纯映射精简密指量形式的第二基本定理，并由此得到相应的亚纯映射唯一性定理。

Proposed in the paper are the ordered monotony property of MFNNs when the transfer function is monotone, the continuous mapping theorem, and non approximation theorem to function.

给出了单调传递函数的 MFNNs按序单调特性、连续映射定理以及非函数一致逼近定理。

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过程共同驱动的多维倒向随机微分方程适应解的存在唯一性及其相应的比较定理。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The main work and innovation1 In general , a image compression method has different effect to different image . Some are fit for image which has much high frequency . Some are fit for image which has much low frequency .This paper analysis the applicability of fractal algorithm . In this dissertation , an improved algorithum is given . The basic algorithum without eight change and the joint use of quantitative coding , The compression ratio and PSNR can be adjusted , and it can get more quickly speed of coding .2 To a group of exact fractal code , the decoding image can be any resolution .With this characteristic ,choose the proper domain block and range block,this paper get an algorithum which can get higher decoding PSNR and speed than the basic fractal algorithum.3 Give a new method to calculate the scale factor . The calculation of basic algorithum is complex and enormous . The factor of scale is an important variable of the basic algorithm. Now there are two methods to calculate the factor of scale .A new method was given to calculate the factor of scale. The calculation load and complexity are reduced by the new method. Compared with the basic algorithm , the method can reduce coding time.4 The basic fractal algorithum is based on the Collage theorem and contraction mapping theorem . A mathematic model based on basic fractal algorithum is given .

本文的主要工作及创新点主要包括以下几点：1一般情况下，一种图像压缩的方法对不同特点的图像，压缩效果会有所不同，本文利用分形压缩编码对不同特点的图像进行编码，分析了分形编码对不同图像的编码适用性，利用去掉8种变换的分形编码算法与简单的均匀量化编码方案相结合，得到了一种可以调节压缩比与解码质量的分形编码方案，该提高编码速度6倍以上。2分形编码的特点之一是分形解码的分辨率无关性，即对于一组分形编码可以将其解码到任意分辨率下，本文利用分形编码的这一特点，结合不同的量化编码方案，选择合适的定义域块与值域块及适当的编解码分辨率，得到了一种提高解码质量，编码速度提高12倍以上的加速算法。3比例因子是基本分形算法中的一个重要变量，目前有两种计算比例因子的方法，文中给出了一种新的求比例因子的方法，该方法简化了求比例因子的计算，从整体上减小了基本分形算法的计算量，简化了算法4分形压缩的数学基础是不动点定理与拼贴定理，本文根据基本的自动分形编码方法，建立数学模型对其进行推导，得到了用普通数学的极限理论解释分形编码的数学表达式，从而对由基本分形编码得到的解码图像中的像素点的值给出了确定的表达式。

Proposed in the p aper are the ordered monotony property of MFNNs when the transfer function is mo notone, the continuous mapping theorem, and non-approximation theorem to functi on.

给出了单调传递函数的MFNNs按序单调特性、连续映射定理以及非函数一致逼近定理。

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.

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