查询词典 theorems

The abstract result contains several concrete results in the literature and can also be used to deal with some new cases for resonant differential equations.In the introduction, we briefly introduce the development process of the variational methods. In Chapter 2, we list some basic knowledges refering to the variational methods, including the Sobobev space,—△ operator, the weak solution and the minimizing sequence methods and some minimax theorems. In Chapter 3, we introduce the research process of Hamiltonian system of second order and the semilinear elliptic problems, using the methods introduced previously. In Chapter 4, we prove the main theorem of the thesis, and apply it to the problems in the previous Chapter, and can also be applied to some new resonant cases.

在前言中，简要介绍了变分法的产生、发展过程，在第二章中我们介绍了有关变分法的一些基本知识，包括Sobolev空间，—△算子，弱解，极小化序列方法和一些极小极大定理，在第三章中我们介绍了非线性项有界或满足次线性条件，以及它满足推广的Ahmad-Lazer-Paul条件时，二阶Hamiltonian系统和半线性椭圆问题的研究历程，最后在第四章中我们证明了本论文的主要定理，并把它应用到第三章的问题中，使得前面的几种共振的情形都可以统一到这个抽象的结果中。

And also,the Holder"s, Minkowski"s,Young-type inequalities and four interpolation theorems,which are hold on the Lebesgue spaces,are established on the homogeneous Morrey-Herz spaces MK_~ and the weak homogeneous Morrey-Herz spaces WMK_~.These results on the cor-responding homogeneous Herz space K_q~and the weak homogeneous Herz spaces WK_q~are also new.

同时把Lebesgue空间上成立的Holder、Minkowski、Young不等式以及四个插值定理推广到了齐次Morrey-Herz空间及弱Morrey-Herz空间WMK_~上，而这些结果在相应的齐次Herz空间K_q~和弱齐次Herz空间WK_q~上也是新的。

Until now, there are many kinds of machine language systemwhich are use to prove mathematical theorems, and several of them are recognized bythe mathematician and computer experts, such as HO1, Mizar, PVS, coq etc.

迄今为止，世界已有多种可用来进行数学命题证明和逻辑推理的机器语言系统，但其中只有少数几种语言可被普遍接受并受到数学家与计算机专家的认可，如HOL、Mizar、PVS、Coq等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

In the point of view of interacting forces among micro-particles in liquid pure substance and according to argon model and theorems and rules in semi-metal structure theory of organic molecules created by one of authors, a new theoretical equation of the liquid molar volume V at the normal boiling point to pure substance is proposed.

从液体纯质中的微观粒子间的相互作用力方面考虑，按照作者创立的氮模型理论和有机分子的半金属结构理论中的定理定则，导出液体纯质在正常沸点下的摩尔体积V理论方程，给出了理论方程成立的数学证明。

In the proof,the tools of the conditional moment generating function and the differentiation on a net for the study on strong limit theorems in the random selection system are applied.

在证明中采用了一种把网微分法与条件矩母函数相结合应用于随机选择系统强极限定理研究的一种途径。

Some limit properties of the multivariate function sequences of the nonnegative integer-valued random variables are studied by using the differentiation of measures on a net and the conditional moment generating function s, and some strong limit theorems related to the conditional expectations are obtained.

利用测度关于网的微分法和条件矩母函数的工具研究非负起值随机变量多元函数序列的极限性质，得到了若干与条件数学期望有关的强极限定理

According to theorems of momentum and moment of momentum and helmholtzs equation, motion quations of the tethered system are obtained.

根据动量定理、动量矩定理和Helmholtz方程建立了系统动力学方程。

In this paper, by using the cone theory and mixed monotone iterative technique, the fixed point theorems for a class of mixed monotone multivalued operators in Banach spaces without continuity and compactness are invetigated. The results presented here develop some known ones.

利用锥理论和混合单调迭代序列技术，在不要求任何紧性和连续性的情况下，证明了Banach空间中的一类混合单调集值算子不动点定理，并应用到一阶集值方程中，推广了某些已知结果。

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过程等概念，并在此基础上提出时序电路的敏化定理、波形多项式描述跳变数的定理以及波形多项式的多项式符号表示与运算的模型和数据结构。

Must have Coordination and negotiation skill, flexible ideas, and be punctilious person.

必须具备较好的协调与谈判能力，头脑灵活，工作认真仔细

Result: 18 patients are all with simple eye.The pigment mole lies in nasal and temple sides of the ball conjunctiva,in which 2 lie in lacrimal caruncle and semilunar plica.

结果：18例患者均为单眼，色素痣大多数位于内外侧睑裂部球结膜面，2例位于泪阜及半月皱襞，经激光治疗后，10例色素痣消失，有5例行再次激光后消失，2例行第三次激光后消失，1例第四次激光后消失。