查询词典 replacement theorem

This paper investigates the converse theorem of rectangular projection theorem in descriptive geometry,and furthermore supplements and confirms another converse theorem,If the projection of two lines intersecting vertically fo rms a rectangle on a certain projecting plane,at least one line of the two lines is parallel to the projecting plane.

通过对《画法几何学》中直角投影定理的逆定理的研究，得出："若垂直相交的两直线在某一投影面上投影成直角，则该两直线至少有一条直线平行于该投影面"的推论。

All the following process was done on the sub image. Second, the morphology gradient theorem and its converse theorem were both proved. And the DGT reverse theorem was used to look for the regional maxima points of the sub image. In the improved region growing method, the seeds were those regional maxima points.

然后证明了数学形态学的膨胀梯度定理(dilation gradient theorem， DGT)及其逆定理，并利用DGT逆定理查找图像的局部极大值点，将灰度值不为0的局部极大值点作为区域生长法的种子点。

In the following, we list the main works in our paper:(1) We introduce briefly the concepts of fuzzy mathematics and three fundamental principles—decomposition theorem, representation theorem and extension theorem. We also present the concepts of fuzzy number and some simple properties.

本文主要内容包括以下几个方面：(1)简要地介绍了模糊数学中基本概念和三大基本定理--分解定理，表现定理和扩展定理，模糊数的概念、性质以及比较两个模糊数的方法。

In fourth chapter of this paper,we mainly investigate the properties of a subclass S_p~* of starlike functions of orderα,including its coefficient estimate,distortion theorem,closure theorem and extreme points theorem.

在第四章中，我们主要研究了α次星形函数一类子族S_p~*的性质，包括系数估计，偏差定理，闭包定理，极值点定理。

In this paper, we give a section theorem of Ky Fan type and its equivalent theorem in hyperconvex metric spaces, and as their applications we obtain some minimax theorems and a coincidence theorem.

赵云河 ，张惠丽文章给出了超凸度量空间中的一个Ky Fan型截口定理及其等价定理，作为它们的应用，得到了一些极大极小定理和一个重合定理。

Some equivalent conditions for unique ergodicity are included in theorem 6 and theorem 7 and the methods of the proof of theorem 7 is from functional analysis.

定理6及定理7给出唯一遍历的等价条件，定理7的证明采用的是泛函分析的方法。

Coase Theorem related to free exchange, Coase Theorem related to transaction cost and Coase Theorem related to complete competition rely on the definitions of" transaction cost"," free exchange" and" efficiency", which are related to logical fallacies.

自由交换版科斯命题、交易成本版科斯命题和完全竞争版科斯命题是否是同义反复或者逻辑谬误在于"交易成本"、"自由交换"和"效率"的定义，实际上属于是否逻辑谬误的问题。

On the basis of the above references, this paper attempts to make use of cone compression and expansion fixed point theorem, Mnch fixed point theorem and fixed point index theorem to discuss a special kind of singular boundary value problem-Lidstone boundary value problem.

主要包括以下三个方面的内容：第一章考虑了Banach空间中2n阶奇异边值问题正解的存在性，其中f在t=0，1处具有奇异性这里θ表示Banach空间E中的(来源：faABC论文网www.abclunwen.com零元。

In recent years, along with the intensive study and extension of residue theorem, the residue theorem has been more intensively used, which illustrates the importance of residue theorem and its use value to a certain extent

近年来随着留数定理的深入研究与推广，留数定理得到了愈加广泛的运用，这在一定的程度上也说明了留数定理的重要性及其运用价值

For example, basic tools from calculus such as Fermat theorem, Rolle theorem and the intermediate value theorem may not necessarily hold and fundamental concepts such as chain and product rules and certain smoothness properties all need to be modified.

例如，微积分中的基本工具诸如Fermat定理、Rolle定理以及介值定理不再成立，一些基本的概念诸如链式法则、乘积公式以及某些光滑性都需要做适当的修正。

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