查询词典 intersection theorems

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

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过程的多值电路综合算法以及一种将前期设计定时规划、前期设计的布局规划和线网结构化方法及低偏移的时钟分配等技术相结合的面向互连延时的综合策略；提出一种串绕最小化的网格模式下的双层通道布线方法；从波形多项式描述跳变数的定理出发提出了一种考虑噪声效应的测试生成新方法。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。