查询词典 leibniz theorem

The 3D wavelet sampling theorem has been obtained from 1D wavelet sampling theorem using scalar product method and then it is used to improve ART in direct volume reconstruction. In the other hand, the 1D wavelet sampling theorem is applied for the analytic direct reconstruction algorithm too.

7将一维小波取样定理推广到高维情形，并以此给出了一种改进的直接体积重建的ART方法，并进行了计算机模拟；将一维小波取样定理应用到了解析类的直接体积重建算法之中。

This paper has further extended these conclusions on the foundations of them and obtained some new results with the method of Hulwize Theorem, Schauder Fixpoint Theorem and Tapered Fixpoint Theorem.

本文主要是在这些结果的基础上将已有的结论作了进一步的推广，利用了霍维茨定理、Schaudr不动点定理、锥上不动点定理等得到一些新的理论。

In fifth chapter,as applications of the existence theorem of〓-optimalcoupling operator for the jump processes,the estimate of the varied expontialconvergence rate for the jump processes and the existence of an order-preservingMarkov coupling for the jump processes are investigated,where,the obtained theexistence theorem of an order-preserving Markov coupling is a general theorem onPolish space endowed with semiorder,it includes the results that existence theoremon countable state apace endowed with total order or finite state space endow withsemiorder have been obtained by the internal and external mathematicians in recentten years.

第五章作为跳过程〓最优耦合算子存在性定理的应用，讨论了跳过程各种指数收敛速度的估计和保序Markov耦合的存在性。其中保序Markov耦合存在定理是具有偏序关系波兰空间上的跳过程最一般的定理，它包括了近10年来国内外对具有全序关系可数状态空间或具有偏序关系有限状态空间上的跳过程关于保序Markov耦合存在定理的研究成果。

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.

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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。