formula language

formula language的基本解释

-

[计] 公式语言

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

Since the 1990s, he has proposed that the fundamental task of Chinese teaching is language learning, that its purpose is to improve students' ability to comprehend and apply Chinese, the essence is to direct students acquire the language while practicing on the basis of their development and the major method language-sense teaching. He has asserted that the language-sense teaching method must follow the steps of feeling, apprehending, accumulating and using of language. The practice and analysis of language-sense method must be of equal importance, and closely combined to moral education, thought training, aesthetic edifying, and Chinese language impartment. He has also claimed that teaching material should be compiled with more contents, more refinement and higher starting point in terms of students' actual development of language skills. His analysis of the long-term misplays in Chinese language education is profound and the repositioning and re-interpretation to the facts as purpose, task, essence, subject, method and materials of Chinese language teaching are full-scaled. In terms of teaching, Hong has stressed on the cultivation of the ability of language acquisition and intuition.

上世纪90年代以来，他先后提出语文教学的根本任务是学习语言；语文教学的目的是提高学生正确理解和运用祖国语言文字的能力；语文教学要以学生发展为本，&变讲堂为学堂&，指导学生在实践中学习语言；语文教学的主要方法是语感教学；语感教学要遵循&感受、领悟、积累、运用&的途径，坚持语感实践与语感分析并重，并与思想教育、思维训练、审美陶冶、语文知识教学紧密结合，与生活密切联系；根据学生语言发展的实际，大容量、高起点、选精品编写教材等一系列主张，从理论上对语文教学的长期性失误作了深刻剖析，对语文教学的目的、任务、本体、主体、方法、教材等问题进行重新定位和诠释。

Vigor of Yo of teach by word of mouth of right of character of antonym of this groups of knitting needle, language, language, language is in severe danger, the stipulations of an agreement that the problem makes the language such as bequest of language diversity, language, perhaps having becominging each country to establish the language policy, base that develops language research and language to carry out an activity for the most part.

该组织针对语言权利、语言教育、语言活力、语言濒危、语言多样性、语言遗产等语言新问题制定的规约，大部分已经或者正在成为各国制定语言政策、开展语言探究和语言实践活动的基础。

与formula language相关的网络解释 [注：此内容来源于网络，仅供参考]

formula language：公式语言

formula 公式 | formula language 公式语言 | formula of computation 计算公式

Lotus Notes Formula Language：公式语言

Lotus Notes 群组软件 Lotus Notes | Lotus Notes 公式语言 Lotus Notes Formula Language | Lotus 图象档 Lotus picture file

formula manipulation language：公式处理语言

Formula Manipulation Computer 公式处理编译程序 | Formula Manipulation Language 公式处理语言 | Formula Translator FORTRAN语言

formula manipulation language：abbr. formal; 公式处理语言，Formal 语言

formula translating language：公式翻译语言

公式识别 formula recognition | 公式翻译语言 formula translating language | FORTRAN 程序语言 formula translation