查询词典 theorem of implicit functions

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

For a general parametric curve/surface, we usually cannot compute its exact implicit form. Even though its exact implicit form can be computed, the curve/surface implicitization involves relatively complicated computation and the degree is higher. Moreover, it may have unexpected components and self-intersections. All these unsatisfied properties limit the applications of the exact implicitization. So finding curve/surface approximate implicitization has become a practical problem. In this paper, we present an algorithm to solve the approximate implicitization of a given parametric curve by using a quadratic algebraic spline curve.

由于精确隐式化过程不一定可以实现，即使可以实现隐式曲线曲面的阶数高计算复杂，并且具有不希望的自交点和奇异分支，从而限制了隐式化的运用，所以寻求参数曲线曲面的近似隐式化问题成为很实际又重要的问题，提出利用二次代数样条曲线来实现一般平面参数曲线近似隐式化的一种算法。

In the light of the complex, high-level and non-linear feature of the mathematical model which describe the transport of the coalbed methane, this paper study the fully-implicit solving method of the mathematical model in detail. Based on the complexity of the algebraic equations which are formed eventually, according to the alternating direction implicit difference pattern, this paper use the iterative method and the fully main element Gauss-Jordan eliminating method to solve equations, which is to use the iterative method to determine coefficient matrix and use the fully main element Gauss-Jordan method to solve th linear algebraic equation group, at the same time of studying the solving method of the mathematical model, according to the devising requirement of FORTRAN77 program structure, this paper draw up computer program and form the corresponding computer model, and verify the validity and reliability of the model in theory by operating the model.

重点研究了模型内、外边界及有关参数的处理，针对描述煤层甲烷运移的数学模型是一个复杂、高阶非线性数学模型的特点，详细研究了模型的全隐式求解方法，根据最后形成的代数方程组的复杂性，按交替方向隐式差分格式，采用迭代与全选主元高斯约当消去法相结合的方法求解方程：即确定系数矩阵采用迭代法，求解线性方程组时采用全选主元高斯约当消去法，在研究模型解法的同时按FORTRAN结构化程序设计的要求，编制计算机程序，形成相应的CBMRS计算机模型，并通过模型的运行从理论上证明了模型的正确性与可靠性。

Since the visualization of implicit algebraic surface is still a difficult problem, it is doubtlessly meaningful to construct some convenient and effective parameterization method for some kind of concrete implicit surfaces.

由于隐式代数曲面的显示问题始终是困扰人们的一个关键性难题，从而针对具体形式的代数曲面，能给出方便有效的参数化方法无疑是有意义的。

By using very general implicit shape primitive—algebraic surface, our scheme can represent more general 3D surfaces than other implicit surface reconstruction techniques.

同其它隐曲面重建方法相比，我们的方法通过使用很具一般性的隐式形状单元—代数曲面—可以表示更一般的三维表面。

Based on wave propagation feature, this paper analyses 3D seismic migration algorithms such as alternating direction implicit method, LU decomposition method, and inverse operator approach method. The result shows that the alternating direction implicit method is fast but causes distortion in wave field extrapolation and affects image accuracy; however LU decomposition and inverse operator approach methods are fast while holding circular symmetry of wave field, and are promising in oilfield exploration and development.

在波的传播特征分析基础上，对交替方向隐式法、LU分解法、逆算子逼近法等三维地震偏移算法进行了分析研究，结果表明，交替方向隐式法虽然快捷但是在波场外推中明显产生畸变并影响成像的准确性，而LU分解和逆算子逼近法是保持波场圆对称特征前提下的快速算法，在油田勘探开发中具有较好的应用前景。

The Implicit Pension Debt is calculated by terminate hypothesis method: assumed that the "pay-as-you-go" pension system terminated immediately, computing all annuitant and employees pension rights, but not take account of the possible new obligation or income from pay or interest in the future, and then an actuarial model of Implicit Pension Debt is constructed.

本文采用了终止假定法计算养老金隐性债务：假定现收现付制度立即终止，计算所有养老金领取者和职工在原制度下积累起来的养老金权益数量，而不考虑可能的新债务或者来自未来的缴费或利息收入。

The design of the messaging services should not result in implicit tight coupling between the supposed to be loose coupling components, e.g. a straight forward use of imperative delegate/event have no chance of preventing implicit tight coupling and the formation of potential deadlock or infinite loop due to bad design or the lack of implementation details of other components.

该信息服务的设计不应导致隐含之间应该是松耦合组件，例如：紧耦合一个简单的使用必须委托/事件有没有防止隐紧耦合，以及潜在的死锁或无限循环，由于恶劣的设计或其他组件的实施细节没有形成机会。

We shall first apply the technique ofμ-bases and local cohomology to study the minimal generators for the moving surface ideals of rational cubic space curves and rational quartic space curves,and then study the implicit equations of rational space curves under different definitions of implicit equations.

在第五章中，我们将同调代数理论与μ基理论相结合，详细分析三次及四次空间有理曲线的动曲面理想生成元，为一般空间有理曲线的动曲面理想生成元的(来源：A21B12ceC论文网www.abclunwen.com)研究开辟可能的道路。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。