查询词典 unique factorization 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 定理，鞅，最优停步理论。泊松过程，布朗运动，强马尔可夫性和不变原则。

By using the theory of factor theorem and determinant in higher Alge-bra, the factorization method of Circulant Symmetric function is given.

本文利用高等代数的因式定理理论和行列式理论，给出了轮换对称函数的因式分解方法。

In this paper, we introduce the algorithm of Schoof-Elkies-Atkin to compute the order of elliptic curves over finite fields. We give out a fast algorithm to compute the division polynomial f〓 and a primitive point of order 2〓. This paper also gives an improved algorithm in computing elliptic curve scalar multiplication. Using the method of complex multiplication, we find good elliptic curves for use in cryptosystems, and implemented ElGamal public-key scheme based on elliptic curves. As a co-product, we also realized the algorithm to determine primes using Goldwasser-Kilian's theorem. Lastly, the elliptic curve method of integer factorization is discussed. By making some improvement and through properly selected parameters, we successfully factored an integer of 55 digits, which is the product of two 28-digit primes.

本文介绍了计算有限域上椭圆曲线群的阶的Schoof-Elkies-Atkin算法，在具体处理算法过程中，我们给出了计算除多项式f〓的快速算法和寻找2〓阶本原点的快速算法；标量乘法是有关椭圆曲线算法中的最基本运算，本文对[Koe96]中的椭圆曲线标量乘法作了改进，提高了其运算速度；椭圆曲线的参数的选择直接影向到椭圆曲线密码体的安全性，文中利用复乘方法构造了具有良好密码特性的椭圆曲线，并实现了椭圆曲线上ElGamal公钥体制；文中还给出了利用Goldwasser-Kilian定理和椭圆曲线的复乘方法进行素数的确定判别算法；最后讨论了利用椭圆曲线分解整数的方法并进行了某些改进，在PC机上分解了两个28位素数之积的55位整数。

Given the language of section 102(2), the Supreme Court's rejection of substantive review under NEPA seems unjustifiable in principle

按照第102条的规定，最高法院否决《国家环境政策法》所规定的实质性复审在原则上似乎是不正当的。

ObjectiveTo explore the effect of variable hip abduction orthosis on children spastic cerebral palsy.

目的探讨髋关节矫形器在儿童痉挛型脑性瘫痪康复中的作用。