查询词典 theorems

In the rest of this dissertation, we apply our above abstract results,"global Morse theory"and other critical point theorems to some semilinear resonant elliptic boundary value problems as well as some asymptotically"linear"or super"linear"p-Laplacian equations, and obtain the existence or multiplicity of solutions.

在后半部分，我们运用上面的抽象结果，以及大范围Morse理论和其他临界点理论，研究一些半线性椭圆共振问题的多重解的存在性，以及一些渐近线性或超线性p-Laplacian方程的解的存在性或多重性。

On the basic theory, some concepts are proposed, such as partial derivative of waveform polynomial, waveform polynomial vector, delay matrix, multiple valued Boolean process, conditional sensitization, waveform distance with crosstalk and three-dimentional Boolean process. And based on these concepts, a sensitization theorem for sequential circuits and the transition numbers theorems for waveform polynomial are proposed; the model and data structure for the representation and manipulation of waveform polynomial are proposed.

基础理论方面，提出波形多项式偏导、波形多项式向量、延时矩阵、多值Boolean过程、条件可敏化、考虑串绕的波形距离及三维Boolean过程等概念，并在此基础上提出时序电路的敏化定理、波形多项式描述跳变数的定理以及波形多项式的多项式符号表示与运算的模型和数据结构。

On the design of algorithms, a novel exact hierarchical delay analysis method for general circuits is proposed; based on the sensitization theorem for sequential circuits, an exact minimizing clocking method is proposed; based on Boolean process, a waveform simulation method considering interconnecting delay for logic circuit and a parallel waveform simulation method are proposed; a new method that transforms bit-level waveform polynomial to word-level polynomial model is proposed; a multiple valued synthesis algorithm based on multiple valued Boolean process and a wire-centered delay synthesis policy are proposed, in which timing planning, floorplanning, wire planning and optimal clock skew in early design are considered; a two-layers channel routing method for minimizing crosstalk under grid mode is proposed; based on the transition numbers theorems for waveform polynomial, a new method for generation of test with noise effects is proposed.

算法设计方面，提出了一种精确的通用电路层次化延时分析方法；基于时序电路的敏化定理提出时序电路最小时钟周期精确确定方法；提出基于Boolean过程论的考虑互连延迟的逻辑电路波形模拟方法，在分析了波形模拟适合并行化基础上，进一步提出一种并行波形模拟算法；提出一种将位级电路波形多项式描述转化成字级多项式描述的新方法；提出一种基于多值Boolean过程的多值电路综合算法以及一种将前期设计定时规划、前期设计的布局规划和线网结构化方法及低偏移的时钟分配等技术相结合的面向互连延时的综合策略；提出一种串绕最小化的网格模式下的双层通道布线方法；从波形多项式描述跳变数的定理出发提出了一种考虑噪声效应的测试生成新方法。

Then several structural theorems of regular power rings and uniform power rings are established respectively and the uniqueness of the multiplication of a regular power ring is proved.

建立了正则幂环与一致幂环的结构定理，并证明了正则幂环的乘法运算的唯一性。

Are also given by constructing Lyapunov function. Finally, by applying the energy methods, Sobolev embedding theorems and bootstrap arguments, the global existence of nonnegative classical solutions to equations with homogeneous Neumann boundary value condition is proved when the space dimension is at most 5. Under certain conditions for the coefficients of the reaction functions, the convergence of the solutions is established for the system with large diffusion coefficients by constructing Lyapunov function.

的正平衡点全局渐近稳定的充分条件；最后，当空间维数不超过5时，应用能量估计、Sobolev嵌入定理和bootstrap技巧证明在齐次Neumann边值条件下非负古典解的整体存在性，并通过构造Lyapunov函数给出当反应函数的系数满足一定条件、扩散系数较大时该模型解的收敛性。

In the end of this chapter,weprove a local nilpotency property of operators on modules(Theorem 2.3.3)whichis one of the main theorems of this work.

这一章的最后主要证明算子作用在模上的一个局部幂零性质（定理2.3.3），它是本工作的主要结果之一。

The reader will need to know some basic finite group theory: the Sylow theorems and how to use them and some elementary properties of permutation groups and solvable and nilpotent groups.

读这本书之前，读者需要一些有限群论的基本知识，如Sylow定理及其应用，置换群，可解群和幂零群的基本性质等等。

WA mathematical model so called "Poincaré Model" is introduced to solve these problems by using the theorems of Euclidean geometry stead of Non Euclidean geometry.

提供一种用模型法证明非欧几何定理的证明方法，在证明中可以使用欧氏几何的定理，从而使学生对非欧几何有更深刻的认

Fixed point theorems act as very important roles in nonlinear functional analysis theory.

不动点理论是非线性泛函分析理论的一个重要组成部分。

The purpose of Chapter 4 is to study the solvability of multi-point boundary value problems at resonance, and establishs some existence theorems under nonlinear growth restriction. Our method is based upon the coincidence degree theory. In Section 1, we consider the same sign case, and in Section 2, discuss the non-same sign case.

第四章研究了具共振条件下二阶非线性微分方程多点边值问题解的存在性，通过使用重合度理论和一些分析技巧，建立了一系列解存在的充分条件，其中在第一节考虑了同号情形，在第二节考虑了异号情形。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了