查询词典 elimination theorem

The deficiency of direct connection theorem is analyzed, and a novel algorithm based on both simple connection theorem and root search theorem is presented. Since standard information in Management Information Base is only used, the algorithm is independent of any special product families.

分析了直接连接定理的不足，给出了一种新的基於简单连接定理和根搜索定理的算法，由於只利用标准的管理信息库，所以该算法不依赖於特定产品类别。

By means of a nonlinear alternative theorem of Leray-Schauder type and Guo-Krasnoselskiis fixed point theorem in a cone, we establish the existence theorem of a positive solution to a singular coupled system of nonlinear fractional differential equations.

借助于锥上的非线性Leray-Schauder择一型定理和郭-Krasnoselskiis不动点定理，我们建立了非线性奇异耦合分数次微分方程组正解的存在性定理。

By means of a nonlinear alternative theorem of Leray-Schauder type and Guo-Krasnoselskii's fixed point theorem in a cone, we establish the existence theorem of a positive solution to a singular coupled system of nonlinear fractional differential equations.

借助于锥上的非线性Leray-Schauder择一型定理和郭-Krasnoselskii's不动点定理，我们建立了非线性奇异耦合分数次微分方程组正解的存在性定理。

New properties and improvements on VSI. Combining the density processof local absolute continuous measure, properties of the martingale space H1 and semi-martingale space, and the closed image theorem of functional analysis (see the proofs ofTheorem 2.4.5 and Theorem 2.4.10), we obtain the general form of Girsanov Theorem forsemi-martingale vector stochastic integral .

特别是利用局部绝对连续测度的密度过程、鞅空间H1与半鞅空间的性质以及泛函分析中的闭图像定理(见定理2.4.5与定理2.4.10的证明)获得了一般形式的半鞅向(来源：Ab6BC论a1文网www.abclunwen.com)量随机积分的Girsa-nov定理，它对于随机分析的理论与随机积分的应用都具有重要价值。

In this thesis, we mainly study problems on global geometry and geometricanalysis of Riemannian submanifolds, including vanishing theorem for homologygroups, topological sphere theorem, L~2 harmonic 1-forms, finiteness of end andthe spectrum of the Laplacian. In 1973, by using the Federer-Fleming existence theorem and the techniquesfrom the calculus of variations in the geometric measure theory, H.

本文着重研究黎曼子流形上整体几何与几何分析的若干问题，主要内容包括子流形的同调群消没定理、拓扑球面定理、L~2调和1-形式、端的有限性和Laplace算子谱等问题。

The process of our study links some of the most basic questions about C〓 with beautiful classical results from analyticfunction theory. For instance, it is essential Littlewood subordination theorem that assures that composition operators act boundedly on many analytic function spaces. And there are close connections between the compactness of C〓 and the existence of angular derivatives of ψ at points of 〓D. It involves the classical Julia-Careatheodory theorem, Denjoy-Wolff theorem and Nevanlinna counting functions and so on. It makes many old theorems in analytic-function theory getting some new meanings, and bestows upon functional analysis an interesting class of linear operators. This thesis consists of six chapters as follows: Chapter 1 is a preparatory in nature.

从而建立了C〓的算子性质与解析函数论中许多漂亮的经典结果之间的联系，如许多解析函数空间上复合算子的有界性本质上往往是著名的Littlewood从属原理，复合算子的紧性与其诱导映射在边界〓D上的角导数之间有着紧密的联系等等，这样自然而然地涉及到经典函数论中的Julia-Caratheodory定理，Denjoy-Wolff定理及Nevanlinna计数函数等等一些结果，并以此赋予函数论中许多古老问题以新意，同时也为泛函分析提供了一类十分具体的线性算子。

Introduced in the third chapter with 区间套 theprinciple, the true principle, the fluxionary calculus proved threemethods have carried on the proof to a zero theorem; Then introduces azero theorem the promotion; Finally introduced the zero theorem twoapplications.

在第三章中介绍了用区间套原理、确界原理、微积分证明三种方法对零点定理进行了证明；接着介绍零点定理的推广；最后介绍了零点定理的两个应用。

Also: the renewal theorem, conditional probability and expectation, regular conditional distributions, stationary sequences aud the bergodic theorem, martingales, and the optimal stopping theorem.

更新理论，条件概率和期望，规则的条件分布，平稳序列和 bergodic 定理，鞅，最优停步理论。泊松过程，布朗运动，强马尔可夫性和不变原则。

Using the substitution-elimination method affine algebraic variety can be resolved to pure d-dimensional subvariety and expressed by an algebraic hypersurface on d+1-dimensional space with a sequence of elimination-polynomial systems. All 0-dimensional solution can be found, too.

利用变换消元法可以把代数簇分解成纯d维的子簇，并把代数簇表示为d+1维子空间上的超曲面形式和一系列的消元多项式组，且能求出全部孤立解，同时给出了算法及其在多项式因式分解中的应用。

The conversion of the cyclobutanes to the corresponding annulation products was achieved by a reaction sequence of [elimination of HCl in the cyclobutanes-4 electron electrocyclic ring opening-6 electron electrocyclic ring closure-elimination of another HCl molecule] .

这些环丁烷产物向增环产物的转化是经一个[脱除－分子HCl得环丁烯－环丁烯电环开环为丁二烯－6电子电环闭环－脱除另一分子HCl]这一连续反应进行的。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。