查询词典 finiteness theorem

Moreover, existence of analytic solutions for a linear iterative equation with variable coefficients is given by reducing to an auxiliary equation and using Schauders fixed point theorem.

此外，、本章还使用Sehauder不动点定理，通过建立辅助方程，研究了变系数的线性型迭代方程解析解的存在性。

In this paper, using different geometric means, the introduction of the corresponding auxiliary function of the Lagrange theorem proof explored.

本文首先采用不同的几何手段，引进相应的辅助函数，对拉格朗日定理的证明进行了探索。

A corresponding theorem is obtained by using an auxiliary function and two main theorems.

定理的证明主要利用p-adic亚纯函数论中的两个基本定理和一个辅助函数。

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

Applying the law of conservation of mass,movement theorem of steady flow , and applying the mathematical method of stream function with the consideration of the axis symmetry,the three components of velocity quantum of the flow are deduced in detail.

本文详细阐述了旋风分离器内流动在球坐标系中的数学表述和结果，应用质量守恒定律和定常流动的运动定律，在轴对称的考虑下，用流函数方法详尽推导了流动的三个速度分量。

In the fourth chapter,first of all,a metric space is derived by the Loeb measure space which is a standard measure space,follow that the Completeness,separability and the Baire theorem are expressed.

第四章中，首先由Loeb测度这个标准测度空间导出度量空间，接着讨论了该度量空间的完备性和可分性以及其Baire定理(来源：A8525B52C论文网www.abclunwen.com)。

By constructing suitable Banach space and applying integral equation, an existence theorem is established.

通过构造适当的Banach空间并且利用相应的积分方程我们对于边值问题建立了一个解的存在定理。

The changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。