查询词典 converse theorem

We discussed the stability of the system balance, used the Poincare-Bendixson's annular region theorem to prove the existence, and used the Zhang Zhifen unicity theorem to prove the uniqueness of limit cycle, at the same time give meaning to the corresponding conclusions on the ecology.

讨论了系统平衡点的稳定性，用Bendixson环域定理证明极限环的存在性，借助张芷芬唯一性定理证明极限环的唯一性，同时对相应结论的生态学意义给予说明。

For the uniqueness problem of generator, by using some new methods (see Theorem 2.2.7), we prove the uniqueness theorem of generator under the assumptions which guarantee that the solution exists and is unique.

对于生成元的唯一性问题，我们采用与已有文献不同的全新的方法(见论文定理2.2.7)，在仅保证方程解存在唯一的假设条件下，证明了生成元的唯一性定理。

The Uniqueness Theorem for electric field and its proof is presented in detail in textbooks, but the Uniqueness Theorem for magnetic isn't given enough infor mation for us.

课本中给出了静电场唯一性定理的表述形式及其严格证明，对于磁场部分则是点到即止。

The existence and uniqueness of the limit cycle are proved by applying Poincare-Bendixson theorem and Zhang Zhifen's Uniqueness theorem.

运用Poincare-Bendixson环域定理，证明了极限环的存在性。这用张芷芬惟一性定理，注明了极限环的惟一性。

This paper focuses on the Schur theorem and the proof of it, the definition of a unitary matrix, Schur theorem given several important inference, and its application in the matrix above few examples.

本文重点研究了Schur定理的内容和它的证明，定义了酉矩阵，给出了Schur定理的几个重要推论，以及其应用在矩阵上面的几个实例。

By applying a Fan-Glicksberg type fixed point theorem for upper semicontinuous set-valued mappings with closed acyclic values and a maximum theorem,several existence theorems of weighted Nath-equilibria and Pareto equilibria for the constrained multiobjective games are proved in noncompact locally convex H-spaces.

应用局部凸H－空间内具有闭零调值的上半连续集值映象的Fan－Glicksberg型不动点定理和极大化定理，对无限最优化总理2和约束对策问题在没有线性结构的局部凸H－空间内证明了解的某些新的存在定理，这些定理改进和推广了最近文献中的许多重要结果。

Weil's theorem on character sums is an important theorem in number theory.

1.Weil定理关于特征和的Weil定理是一个重要的数论定理。

A method using planar antipodal grasp theorem and another theorem from it proposed by Ebert-Uphoff to determine the boundary of force closure workspace for wire-driven parallel manipulators with 1R2T class with 2-2 type has been demonstrated.

利用平面对心抓取定理与Ebert-Uphoff提出的相关定理，确定2-2型1R2T机构的力封闭工作空间边界。

This result is browden to n-dimentional case in chapter 2 first and an existence theorem (theorem 2.1) for linearly increasing solutions is given.

第二章将此结果推广到高维情形，给出了一个线性增长解的存在性定理(定理2.1)；另外，本章还给出了方程存在对数增长解的两个定理(定理2.2—2.3)。

This thesis explains basic financial innovation theorems including "circumventive innovation theorem","transaction cost innovation theorem" and " value chain theory ", etc and the relationship between these theorems and Internet banking; on the basis of analyzing the developing history and current situation of Internet banking business in foreign countries and in china, it points out the major problems existing in our Internet banking innovation, summarizes the experiences in foreign Internet banking which can be referential to our commercial banks, and gets to the conclusion that meeting customer's demands and keeping, maintaining, utilizing the customer relationship effectively are the key points in Internet banking innovation.

阐释了&规避管制理论&、&交易成本理论&、&价值链理论&等金融创新理论的基本内容及其与网络银行业务创新的关系；通过对国内外网络银行业务功能发展历程的简要回顾和对其业务创新现状的介绍，总结了国外发展网络银行业务过程中可供我国商业银行借鉴的经验，探讨了我国网络银行业务创新存在的主要问题，并认为满足客户需求，保持、维护并有效利用银行与客户间的关系是进行网络银行业务创新的关键所在。

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月底。