查询词典 converse theorem

Theorem, Implicit Function Theorem and its Applications.

分函数，可积分函数，反函数，隐函数定理及其应用，向量微积分基本定理

By using implicit function theorem, Taylor's formula and mean theorem, the form of the non-affine nonlinear systems is transformed into the form of affine nonlinear systems.

利用隐函数定理和泰勒公式及中值定理，将非仿射非线性系统转变为仿射型非线性系统。

The unique existence theorem for minimal determining set of completerational choice function is obtained,and the sufficient condition is used to show avery simple proof of Arrow Impossibility Theorem.

构造并证明了完全理性选择函数的最小决定集的存在惟一性定理，同时应用该定理的充分性条件给出了Arrow不可能性定理的一个简单证明。

This article discusses the use of the theorem of the residues to calculate Cauchy's Principal values of the improper integral, where auxiliary function has poles of higher order on the real axis and proposes a new theorem of culcuation.

在复函中应用留数定理计算广义积分的科希主值时，许多著作仅讨论了辅助函数在实轴上有一阶极点的情形[1-3]，有的则认为：辅助函数"在实轴上的奇点不能是二阶或二阶以上的极点["4，5]。

Applying this new theorem, one can easily find the auxiliary function and solve many problems of Cauchy's principal values of improper integral as well, the original theorem being unable to do so.

由于这个条件的限制，在寻找辅助函数时往往碰到困难，甚至找不到在实轴上只有一阶极点的辅助函数。

In the first chapter (1.1.1)-(1.1.4) is studied by means of fixed point index theorem, not only the existence theorem is obtained, but the multiplicity is also obtained.

本文第一章利用这一理论研究方程(1.1.1)-(1.1.4)的正周期解问题，与已有研究成果相比，本章不仅获得了该类方程的正周期解的存在性定理又获得了正周期解的多解性定理，并将所取得的结论应用于一些具有实际背景的方程。

Motivated by this, we consider the global behavior of positive solutions of three-point boundary-value problems for second-order differential equations, under two different kinds of boundary-value problems, using fixed point theorem, fixed point index theorem and cone theory.

本文受到文献[7]的启发，运用不动点定理、不动点指数定理以及锥理论，分别研究了两种不同边值条件下二阶微分方程三点边值问题正解的整体性。

Based on the minimizing vector theorem of the fuzzy inner product space ,the pseudo fuzzy orthogonal vector is defined and the projected theorem of the fuzzy inner product space is testified.

在模糊内积空间的极小化向量定理基础上，给出了向量拟模糊正交定义，并在模糊内积空间中证明了投影定理。

In this paper we have obtained the sufficient and necessary condition concerning the passage to the limit under the integral sign, and have given some examples of the problems which can be solved by the theorem of this paper but cannot be solved by the familiar Vitali's theorem.

关于积分号下取极限的问题，有著名的Lebesgue定理及Vitali定理。本文作者进一步研究了这一问题，得到了积分号下取极限的充分和必要条件，并给出了几个能用本文结果解决而不能用Vitali定理解决的例子。

Third, the use of Lagrange's theorem proving the points of the study on some conclusions, that the Lagrange theorem in the integral study also has a wide range of applications.

再次，利用拉格朗日定理证明了积分学上的几个结论，说明拉格朗日定理在积分学中也有广泛的应用。

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