查询词典 imbedding theorem

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

Applying the law of conservation of mass,movement theorem of steady flow , and applying the mathematical method of stream function with the consideration of the axis symmetry,the three components of velocity quantum of the flow are deduced in detail.

本文详细阐述了旋风分离器内流动在球坐标系中的数学表述和结果，应用质量守恒定律和定常流动的运动定律，在轴对称的考虑下，用流函数方法详尽推导了流动的三个速度分量。

In the fourth chapter,first of all,a metric space is derived by the Loeb measure space which is a standard measure space,follow that the Completeness,separability and the Baire theorem are expressed.

第四章中，首先由Loeb测度这个标准测度空间导出度量空间，接着讨论了该度量空间的完备性和可分性以及其Baire定理(来源：A8525B52C论文网www.abclunwen.com)。

By constructing suitable Banach space and applying integral equation, an existence theorem is established.

通过构造适当的Banach空间并且利用相应的积分方程我们对于边值问题建立了一个解的存在定理。

The purpose of this part is to study the delay differential systems in Banach space using the method of fixed point theorem.

一方面在非时滞的情况下通过构造比较函数，利用Brouwer不动点定理得到非时滞微分方程正周期解的存在唯一性，及周期解全局吸引的充分条件。

In this paper, an extended divide and conquer algorithm is intended proposed, which is for solving the real symmetric band generalized eigenvalue problem under distributing environment Eigenvalue partition theorem is presented and proved Based on divide and conquer by extension, this algorithm computes generalized eigenpaires of symmetric band matrix pencil by bisection and generalized Rayleigh quotient iteration Theoretic analysis and numerical results show that this algorithm is better than the classic software package LAPACK when bandwidth is small and the scale is large Combined with multisection, which has good parallelism, it got good effects under distributed environments

提出了分布式环境下计算对称带状广义特征值问题的一种扩展分治算法，给出了特征值分割定理及其证明算法在扩展分治的基础上，利用二分压缩结合广义Rayleigh商迭代计算广义特征对理论分析和数值实验表明，对于窄带宽大规模的广义特征值问题，该分治算法明显优于LAPACK软件包结合并行性好的多分法，在分布式环境下获得了很好的并行效果1 引言本文研究了对称带状广义特征值问题Ax =λBx ( 1)的并行计算，其中，A ，B均为半带宽为r的n阶实对称带状矩阵且其中之一是正定的本文总假设B是正定的求解此问题有两种传统方法，第1种方法是通过计算矩阵B的Cholesky分解，将问题( 1)转化为标准特征值问题[1～3] ，进一步

Then we use the diagram of Venn to analyse and predigest the theorem proof. And it is also used in probability addition and multiply、conditional probability、total probability formula、 Bayes formula to simplify the calculation of probability. So it is easy to understand and master.

进而利用Venn图分析、简化概率性质的证明以及Venn图在概率的加法与乘法、条件概率、全概率公式和贝叶斯公式中的应用，简化概率的计算，便于学习者理解和掌握。

The convergence of the new algorithm based on Bayes′s theorem and stochastic transform process are analyzed.

基于Bayes定理和随机状态转移过程对新算法的收敛性进行分析。

Among those; studies, Liu and Bek have obtained many important results for the theory and applications of Banach spaces and their geometry on complex number,(see [3],[41])Here, we have investigated the TP modulus of convexity and TP modulus of smoothness, on the one hand, we have defined a class of new spaces called uniformly TP convex ,on the other hand, we have extended martingale inequalities and the martingale spaces.This article is divided into four parts, in the first part, we define the TP modulus of convexity and TP modulus of smoothness of Banach space, and prove that the space which is characterized by uniform convexity is same as the space which is characterized by TP uniform convexity. Then we give TP q-uniformly convex and TP p-uniformly smoothable characterization of the Banach space. At the same time, we prove the famous renormed theorem.

本文分为四部分，第一部分在Banach空间上定义了一个新的TP凸性模和TP光滑模并证明了在Banach空间上它分别和一致凸性和一致光滑性刻划的空间是同构的，即如果Banach空间X是一致TP凸的充分必要条件是存在一个等价范数，使得在此范数下，它是一致凸的；Banach空间X是一致TP光滑的充分必要条件是存在一个等价范数，使得在此范数下，它是一致光滑的，我们还分别得出了判定一致TP凸和一致TP光滑的一些充分必要条件，同时还证明了箸名的重赋范定理。

Majority from Bernoulli's theorem, when n tends to infinity when the frequency fn in a certain sense under closer probability P.

由伯努利大数定理，当n趋向于无穷大的时候，频率fn在一定意义下接近于概率P。

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