查询词典 space-saving

A widely used method for checking real-time systems is,according to the real-time property to be checked,to use a proper bi-simulation equivalence relation to convert the infinite-timed state space to a finite equivalence class space.

一个被广泛用于验证实时系统的方法是根据被验证的实时性质，使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间。

Similarly ,a equivalence relation is given on the fibrewise topology space we can also get its quotient space.

同样的在一个纤维空间中定义一个等价关系，研究其纤维商空间。

Secondly,given a fibrewise equivalence relation on the topolgy space we can get its quotient space.

其二是，我们都知道在拓扑空间中定义一个等价关系则能得到其相应的商空间。

Ruck, Hirano and Reich extended Baillon抯 theorem to a uniformly convex Banach space with a Frechet differentiable norm. Hirano-Kido-Takahashi, Oka, Park and Jenong proved the ergodic theorem for commutative semigroups of nonexpansive mappings and asymptotically nonexpansive mappings in the uniformly convex I3anach space with the Frechet differentiable nonn.

aillon的定理被Bruck，Hirano及Reich推广到具Frechet可微范数的一致凸Banach空间中，而当G是一般交换拓扑半群时，Hirano-Kido-Takahashi，Oka，Park及Jeong分别给出了具Frechet可微范数的一致凸Banach空间中非扩张半群及渐近非扩张半群的遍历压缩定理和遍历收敛定理。

At the same time the ergodicity of the quotient space is proved using the ergodicity of the original space.

同时利用原空间的遍历性可以证明商空间的遍历性。

The main contents of this course include linear space, linear transformation , quadratic form and Euclid space.

本课程内容有：线性空间、线性变换、二次型、欧氏空间等。

This paper disserts the represent form of space data model, and discusses three dimensional space data model based on the grid, and points out the integrated necessariness and integrated represent method about the grid-vector spatial data model, and provids a Euclidean distance converting model and algorithm with regard to change from vector data to grid data, as well as establishes the foundation for spatial data handing and spatial data mining.

文章论述了空间数据模型的表示形式，重点讨论了基于栅格的三维空间数据模型，指出了栅格矢量空间数据模型集成化的必要性以及集成化表示方法，给出了将矢量数据转换为栅格数据的欧氏距离变换与算法，为基于栅格空间数据的空间数据处理和空间数据挖掘奠定了基础。

Because of the difference of its metric from Euclidean spaces, many essential concepts in Minkowski space change a lot. This makes the conclusions of some problems in Minkowski space much different.

由于度量的不同，导致了一些基本概念有了质的变化，使得Minkowski空间的一些问题与Euclidean空间相比有着出人意料的结论。

According to Albert Einstein's theory of general relativity , space around gravitational fields deviates from Euclidean space.

根据爱因斯坦的广义相对论，引力场的空间大约偏离欧几里德空间。

Compared with Euclidean space, Minkowski space is a fire-new field.

相对于我们最熟悉的Euclidean空间，Minkowski空间是一个全新的领域。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。