查询词典 infiniteness

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.

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

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.

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

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。