查询词典 infiniteness

As a finite existence, human also want to purchase infiniteness and perfection, during which human find his value and richness: finiteness and infiniteness, shortage and perfection, etc., social existence is human\'s living circumstance, the generation of it is man and society\'s generation, also social development promotes human\'s full and free development and proves his essence. Contemporarily, as historical existence, history is a successive unity just like human practice.

人作为有限的经验的存在物，决定了对于无限性与完整性的追求，人的存在的时间过程正是人在有限性存在中的无限开放，而人在有限与无限、缺憾与完美的张力中感受到了自身生命的存在和生命的意义，因而人在对于生命的意义和价值的体验中感受到了社会时间的存在；社会存在和历史的生成成为人的生存境遇，劳动产生了人类社会，劳动时间促成了社会存在的生成，而社会历史又是基于对交往、对话和历史理解中的时间差的弥补中而得到发展。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Social time is the reception on human, which is the unify of finiteness and infiniteness.

社会时间是人们对于生命存在的感受，是有限性与无限性的统一。

Only with this method,it is significant to under stand and master the finiteness and infiniteness,contingency and inevitableness of art to create an creative multiform phase of art image.

只有"以形写神"，深刻了解和掌握艺术中有限与无限、偶然与必然，对今天创造一个万紫千红、百花齐放、富有多样性独创性的艺术形象的苑地，有重要的意义

Only with this method,it is significant to under stand and master the finiteness and infiniteness, contingency and inevitableness of art to create an creative multiform phase of art.

只有"以形写神"，深刻了解和掌握艺术中有限与无限、偶然与必然，对今天创造一个万紫千红、百花齐放、富有多样性独创性的艺术形象的苑地，有重要的意

Only with this method it is significant to under stand and master the finiteness and infiniteness contingency and inevitableness of art to create an creative multiform phase of art .

只有"以形写神"，深刻了解和掌握艺术中有限与无限，偶然与必然

What we like about the sea is its infiniteness, and what we like about the mountain is its ''.

我们喜欢海的无涯，我们喜欢山的伟大。

What we like about the sea is its infiniteness, and what we like about the mountain is its enormity .

我们喜欢海的无涯，我们喜欢山的伟大。

The contradiction between the finiteness of single computer's technology development and the infiniteness of the requirement for science computing determines that multi-computer's parallel will be the development of computer.

计算机单机技术发展的有限性和科学工程计算需求的无限性，决定了计算机的发展必然走上多机并行的道路。

It is well known that the contradiction between the finiteness of single computer"s technology development and the infiniteness of requirement for science computing determines that multi-computers" parallel will be the development of computer.

众所周知，计算机单机技术发展的有限性和科学工程计算需求的无限性之间的矛盾决定了计算机发展必然走上多机并行的道路。

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。