- 更多 网络例句 与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.
社会时间是人们对于生命存在的感受，是有限性与无限性的统一。
- 更多网络解释 与infiniteness相关的网络解释 [注：此内容来源于网络，仅供参考]
-
infiniteness：无穷/无限
infinitely /无限地/无数地/庞大地/非常地/ | infiniteness /无穷/无限/ | infinitesimal /极小的/极微的/无限小的/极小量/极微量/无限小/