查询词典 theorem

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 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按序单调特性、连续映射定理以及非函数一致逼近定理。

In this paper,we presented a succinct method to obtain the unitary matrix in the representation transformation by the theorem form,gave the reasonable demonstration,and simultaneously confirmed the theorem accuracy by a concrete example.

以定理的形式给出了表象变换中获得幺正矩阵的一种简洁方法，并给予了合理的证明，同时结合具体实例验证了定理的正确性。

As applications, a Fan-Browder coincidence theorem and a maximal element theorem are obtained.

作为应用，获得了Fan-Browder重合定理和极大元定理。

Rolle's theorem is a special case of the mean value theorem.

罗尔定理是中值定理的一种特殊形式。

In this paper, applying local mean value theorem ,we prove some theorem of complex analysis.

运用局部复中值定理，我们重新证明了复分析中的几个定理。

This mean value theorem of the introduction and in the example on the other the application of proven methods to illustrate the mean value theorem to prove some of the infinitive is very simple.

本文将通过对中值定理的介绍和在例题上的与其他证明方法的比较应用，来说明中值定理对一些不定式的证明是相当简单的。

Based on the existence of the " mean point s"in Differential mean value Theorem,This paper futher studies the problem of the number of the " mean point s" in Differential mean value Theorem.

在微分中值定理"中值点"存在的基础上，进一步研究微分中值定理"中值点"的个数问题。

This paper, by means of Rolle theorem, introduces constant method to demonstrate mean value theorem for differential calculus and attains the corresponding supplementary function of the demonstrating method.

借助于Rolle定理，用待定常数法证明了微分中值定理，得到了该证明方法的辅助函数簇，这种证明方法对解决同类问题有很好的推广应用价值。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。