查询词典 imbedding theorem

Most of the traditional maximum flow problems are based on "Augmented chain theorem".

传统的最大流问题大多都是基于"增广链定理"。

By studying the generalized automorphism groups,we obtain some results which generalize some related classical theorems,including a theorem of P.

通过研究群的广义自同构群，该文得到了若干结果，推广了一些相关的经典定理，包括P。

The fundamental problem of the geometry of matrices can be interpreted as a theorem on graph automorphism of the graph on a certain kind of matrices, and it also has practical application in the linear preserver problems which are the research area in matrix and operator theory.

矩阵几何的基本定理也可以叙述为图论中的图的自同构定理；并且它在矩阵和算子的保持问题中有很好的应用。

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

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

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.

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

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。