查询词典 recurrence theorem

The main topics include entropy and mutual information, data compression, noiseless coding, Shannon theorem, noiseless coding, Shannon Theorem, linear codes, cyclic codes.

本课程宗旨是简介基础的资讯理论，主要课程含嫡及相互信息、资料压缩、无杂讯编码及Shannon定理、线性码、循环码等。

The topics covered include the basic concepts of information theory--entropy, mutual information, channel capacity, information rate, Shannon's noiseless coding theorem and Shannon's fundamental coding theorem; modeling of information sources--zero-memory and Markov models; modeling of information channels--BSC and BEC channels, additivity of information and cascaded channels; construction of compact source codes--Kraft inequality, compact codes, Huffman and LZW compression codes; and analysis and design of error-control channel codes--Hamming distance, binary linear codes and the parity-check matrix, Hamming codes, checksum codes, cyclic codes and the generator polynomial and CRC codes.

课程的内容包括：信息论的基本概念（熵、交互信息、信道容量、信息率、 Shannon无噪声编码定理和Shannon基本编码定理）、信源模型（无记忆模型和Markov模型）、信息信道模型（BSC 和 BEC模型、信息的可加性和级联信道），紧致信源编码设计（Kraft不等式，紧致编码，Huffman 和LZW压缩编码）以及差错控制信道码的设计与分析（海明距离，二元线性码，奇偶校验矩阵，海明码，校验和，循环码，生成多项式和CRC码）。

As applications of the imbedding theorem, a fuzzy version of the well-known Urysohn metrizable theorem and the general theory of the fuzzy Stone-Cech compactification are given.

最后作为嵌入定理的应用，得到了不分明Urysohn度量化定理并完成了不分明Stone-Cech紧化的一般理论。

As a particular of Rado's theorem and the compactness theorem one obtains the following result.

作为Rado定理和紧致性定理的一种特殊情形，我们得到下面的结果。

First,we show a compactness theorem in SBH,then byusing this compactness theorem,we discuss variational problems for two different func-tionals.

首先给出了SBH空间的一个紧性定理，然后利用这个定理讨论了两个不同泛函的变分问题。

Finally, we study the equivalence theorem and the comparison theorem of semiconvergence for the second quasi-nonnegative splitting.

最后讨论了第二型quasi非负分裂半收敛的等价定理和比较定理。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Secondly in§3.2 ,firstly we prove a new fixed point theorem on Banach space,and study the Sturm-Liourille boundary value problem with the theorem and some properities of concave function, then the existence of three positive solutions is gotten.

第二节，先证明一个新的锥上不动点定理，再利用此定理及凹函数的性质来研究边值问题，得到了三个正解的存在性。

By giving the example, explains that theorem 4 in the refuted paper is not the necessary condition of the continued fraction convergences, by discussing the indeterminacy of the lever function and citing the counterexamples, expounds that the theorem 4 is not sufficient condition of the parameters W and W -1 neutralizing each other, and so shows algorithm 1 and 2 in the refuted paper to be incorrect.

通过举例说明了"攻文"定理4不是连分式收敛项的必要条件，并通过对杠杆函数不确定性的讨论和反例的举证说明了"攻文"定理4不是W与W –1相互抵消的充分条件，从而证明了"攻文"算法1和2及其衍生方法是错误的。

A historical region of southwest France between the Pyrenees and the Garonne River. The duchy of Aquitaine was joined with France after the marriage of Eleanor of Aquitaine to King Louis VII in1137, but its possession was disputed after her subsequent marriage to Henry II of England.

阿基坦法国西南部一个历史地区，位于比利牛斯山和加隆河之间，在1137年阿基坦的埃莉诺与国王路易斯七世结婚之后阿基坦公国加入法国，但当她再嫁英国亨利二世后，其归属权便受到争议

There are moments when I look at the smiling , happy faces of my expectant staff and wonder how they will cope when confronted by an outraged housemaster along with an unrepentant and recalcitrant bleached blond teenager in 18 years ' time .

有时候，我看着那些满怀期待的员工微笑，幸福的脸，想着当他们遇到一位愤怒的宿舍管理员和一位不知悔改，叛逆，而且将头发染成白色的18岁少年时，他们会如何处理。