查询词典 sum theorem

1 After comparison of sum fusion and optimal fusion, sum fusion was selected as the fusion scheme for local test statistics. For the distributed CFAR detection based on the above three local statistics and sum fusion: CA-R-SUM and OS-R-SUM, CA-S- SUM and OS-S-SUM, Max-OS and Min-OS, Max-CA and Min-CA, their analytic expressions of detection performance were derived for and in nonhomogenous background.

2.1 通过求和融合与最优融合的性能对比，确定了以求和融合做为对局部检测统计量的融合方案；推导出了基于上述三种新的局部检测统计量和求和融合的分布式 CFAR 检测方案： CA-R-SUM 和 OS-R-SUM 、 CA-S-SUM 和 OS-S-SUM 以及 Max-OS 和 Min-OS 、 Max-CA 和 Min-CA 在、条件下在非均匀杂波背景中检测性能的解析表达式。

this article discusses the integral theorem of mean the promoted question, mainly has two aspects: On the one hand in analyzes in the teaching material under the first integral theorem of mean condition, had proven lies between the value spot to have to be possible to obtain in the open-interval, further discusses this knot promotes to the generalized Riemann integral, and further proved the conclusion also establishes to the promoted first integral theorem of mean; Promotes on the one hand in addition the integral theorem of mean to in the curve and the curved surface, and has proven the curvilinear integral theorem of mean and the surface integral theorem of mean.

本文讨论积分中值定理的推广问题，主要有二个方面：一方面在分析教材中第一积分中值定理的条件下，证明了介值点必可在开区间内取得，进一步将这个结论推广到广义Riemann积分，并进一步证明结论对推广的第一积分中值定理也成立；另一方面，将积分中值定理推广到曲线和曲面中，并证明了曲线积分中值定理和曲面积分中值定理。

The thesis will introduce, respectively, relevant concepts of residue theorem and its promotion and application in two parts In the basic concepts of chapter II, the definition, classification and relationship between function zero and pole of the isolated singular point are given to lead out relevant definition, theorem and solving method, while the core content of this paper is promotion and application of residue theorem, including calculation of integration by using residues, application in diagonal theorem and argument theorem, application in electromagnetism and theorem promotion and relevant application of extension theorems

本文将从两大部分分别引入和浅析了留数定理的相关概念及其推广和应用在第二章的基本概念部分中，给出了孤立奇点的定义和分类、函数零点与极点的关系，从而引出留数定理的相关定义与定理及其求法而本文的核心内容也就是留数定理的推广和应用，包括运用留数来计算积分、体现在对角定理与辐角定理中的应用、在电磁学中的应用及其定理的推广和推广定理的相关应用

Differential intermediate value theorem and the Taylor formula In this paper, leads to Fermat's theorem Rolle Mean Value Theorem, and then constructing auxiliary function of the Lagrange mean value theorem and Cauchy's Mean Value Theorem to prove that.

微分中值定理和泰勒公式本文通过费马定理引出罗尔中值定理，再构造辅助函数对拉格朗日中值定理和柯西中值定理进行证明。

Where two or more policies are effected by or on behalf of the assured on the same adventure and interest or any part thereof, and the sums insured exceed the indemnity allowed by this Act, the assured is said to be over-insured by double insurance (2) Where the assured is over-insured by double insurance The assured, unless the policy otherwise provides, may claim payment from the insurers in such order as he may think fit, provided that he is not entitled to receive any sum in excess of the indemnity allowed by this Act; Where the policy under which the assured claims is a valued policy, the assured must give credit as against the valuation for any sum received by him under any other policy without regard to the actual value of the subject-matter insured; Where the policy under which the assured claims is an unvalued policy he must give credit, as against the full insurable value, for any sum received by him under any other policy; Where the assured receives any sum in excess of the indemnity allowed by this Act, he is deemed to hold such sum in trust for the insurers according to their right of contribution among themselves.

当被保险人或其代表，(1)就同一冒险和利益或其中的一部分订立了两份以上的保险单，且保险金额超过本法所允许的赔偿限额时，被保险人即被视为因重复保险而超额保险。(2)在被保险人因重复保险而超额保险之场合：除非保险单另有规定，被保险人可根据自已认为合适的顺序，依次向其保险人索赔，但他所得金额不得超过本法允许的赔偿限额；如果被保险人凭以索赔的保险单是一份定值保险单，被保险人必须将其他保险单项下他已收取的任何数额从约定保险价值中扣除，无需考虑保险标的的实际价值；如果被保险人据以索赔的保险单是一份不定值保险单，被保险人必须将其他保险单项下他已收取的数额从全部保险价值中扣除；若被保险人得到的金额超过本法所允许的赔偿额，则此种超出金额即被视为由被保险人代各保险人托管，由保险人按他们之间的分摊权利摊回。

Where two or more policies are effected by or on behalf o f the assured on the same adventure and interest or any part thereof, and the sums insured exceed the indemnity allowed by this Act, the assured is said to be over-ins ured by double insurance (2)Where the assured is over-insured by double insurance The assured, unless the policy otherwise provides, may claim payment from the insurers in such order as he may think fit, provided that he is n ot entitled to receive any sum in excess of the indemnity allowed by this Act;Where the policy under which the assured claims is a valued policy, the assured must give credit as against the valuation for any sum rec eived by him under any other policy without regard to the actual value of the subject-ma tter insured;Where the policy under which the assured claims is an unvalu ed policy he must give credit, as against the full insurable value, for any sum rec eived by him under any other policy; Where the assured receives any sum in excess of the indemnit y allowed by this Act, he is deemed to hold such sum in trust for the insurers acco rding to their right of contribution among themselves.

1当被保险人或其代表，就同一冒险和利益或其中的一部分订立了两 32。份以上的保险单，且保险金额超过本法所允许的赔偿限额时，被保险人即被视为因重复保险而超额保险。(2)在被保险人因重复保险而超额保险之场合：除非保险单另有规定，被保险人可根据自己认为合适的顺序，依次向其保险人索赔，但他所得金额不得超过本法允许的赔偿限额；如果被保险人凭以索赔的保险单是一份定值保险单，被保险人必须将其他保险单项下他已收取的任何数额从约定保险价值中扣除，无需考虑保险标的的实际价值；如果被保险人据以索赔的保险单是一份不定值保险单，被保险人必须将其他保险单项下他已收取的数额从全部保险价值中扣除；若被保险人得到的金额超过本法所允许的赔偿额，则此种超出金额即被视为由被保险人代各保险人托管，由保险人按他们之间的分摊权利摊回。

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.

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

By using the partition theorem of unity, a continuous selection theorem for a multimap from a compact Hausdorff topological space to a finitely continuous topological spaces (simply, FC-spaces) without any convexity structure was obtained, and from which and Tychonoff fixed point theorem, a collectively fixed point theorem for a family of multimaps on the product space of compact FC-spaces and several collectively fixed point theorems for a family of multimaps on the product space of non-compact FC-spaces were given.

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间的集值映射的连续选择定理，并从该结果和Tychonoff不动点定理，得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理，对文献中的相应结果进行了改进和一般化。

Researches reveal that students who suffer from corporal punishment tend to resort to violence in their future life.

研究表明遭受过肉体惩罚的孩子倾向于在他们今后的人生中使用暴力。

Total sugar of sarcocarp and chlorophyll of pericarp increased firstly, and then decreased afterward along with altitude; Titratable acidity, ascorbicacid and anthocyanin of pericarp were increased along with altitude; The content of protein increased firstly and decreased afterward along with altitude; Carotenoid of pericarp were decreased along with altitude.

果肉总糖和果皮叶绿素含量随海拔高度升高先升高后降低；可滴定酸、维生素C和果皮花青苷含量均随海拔升高而升高；蛋白质在1720m处最大，1420m处最小；果皮类胡萝卜素随海拔升高而降低。