查询词典 formula language

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自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

According to the express mode of voice teaching language, the voiceteaching language of vocal music can be divided into visual language, instructing language,depicting language, explicative language and a pithy formula language.

声乐教师在教学中要不断积累和锤炼自己的教学语言，最大限度地发挥教学语言的作用，达到理想的教学效果。

According to the express mode of voice teaching language, the voice teaching language of vocal music can be divided into visual language、instructing language、depicting language 、explicative language and a pithy formula language.

根据教学语言表达方式的不同，可将声乐教学中的有声语言分为形象性语言、指令性语言、叙述性语言、解释性语言和口诀式语言。

BR12. The surface syntax of the formula language can be rendered in a format that

公式语言的表面语法可用让所有使用者都看得懂的格式表达。

This would provide users with the power of a multi-dimensional data store in conjunction with the power of the Excel formula language and calculation engine.

为了满足这些需求，我们考虑提供有一种方法，将SQL Server Analysis Services的OLAP数据直接放入特定的工作表单元格中，而不受到周围单元格的任何限制。

Chinese teaching ; scientific ; cultural ; formula ; language ; thinking

语文教学；科学性；人文性；程式；语言；思维

A lot of fairy tales contribute to a formula language in his works, which have turned the daily life in Nabokov's fiction into a poetic imaginary world and the realistic logic into a poetic one.

纳博科夫作品中的大量童话构成了他程式化的艺术"语言"，通过这种童话语言，纳博科夫小说中的日常世界被转换成了奇幻的诗性世界，生活的逻辑被转换成了诗性的逻辑。

As for Chinese language, the application of foreign linguistic theories is simply a disaster, for western linguistic theories are a set of complicated and formula system, while Chinese language is a non-formula character system which holds its own distinct rule that the meaning can be shown through the form.

由于语言学理论是建立在表音文字的基础上的一整套复杂的形式主义规则体系，而中文则是一种非形态的、以形表意的文字体系，有着自己独特的以形表意的简洁规则，这种外来语言学理论的应用，对于中文而言，简直就是灾难。

The program has a number of built-in indicators like MACD, RSI, Exponential and Standard Moving Averages, or you can write your own with the inbuilt formula language and display them as standalone charts or overlays.

该软件提高大量的内置指示器，例如MACD， RSI， Exponential和Standard Moving Averages，或者你可以使用嵌入的规范语言编写你自己的指示器，并且显示它们为独立的图表或者覆盖图。

The article provides the C language programming of the calculate formula and formula paragraph in the form of Java language to set up decision tree.

论文同时给出了ID3计算公式的C语言编程和实现决策树的Java程序段。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。