查询词典 automata

Based on a thorough analysis in software auto-generating technology and monitor-control program in industry area, improves the formal definition and minimization algorithm of automata theory, designs an system environment of auto-generating monitor-control program.

在对软件自动生成技术和工业控制领域的测控程序实例进行深入分析的基础上，改进有限自动机理论中有限自动机的形式化定义及其化简算法，通过研究，设计实现了一个自动生成测控程序的系统平台。

In this paper, the basic theory and work principle of cellular automata were introduced concisely. The influence of strain-rate and temperature on the number of nucleation and the mean size of R-grain, as well as the influence of cooling on ultimate microstructure of blade after forging finished off were considered. The microstructure evolution was simulated successful based on the DEFORM-3D. The simulated results agree well with growth kinetics of dynamic recrystallization of classical theory and physical experiment.

文章介绍了元胞自动机模型的理论基础和工作原理，并根据叶片模锻成形的特点，综合考虑应变速率、变形温度对再结晶形核率与平均晶粒尺寸，以及终锻冷却对叶片锻件最终组织的影响，在DEFORM-3D平台上，成功地仿真了叶片模锻过程中的微观组织演变，得到了同经典理论分析和物理实验结果吻合较好的动态再结晶动力学特征。

In this paper, a prototype T-CBESD (Tool for Component-Based Embedded Software Designs) has been designed, which is based on the theory of interface automata and is implemented as a plug-in module on the open-source platform Eclipse.

本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD (Tool for Component-Based Embedded Software Designs)。

The highway toll collector system was researched by using the finite automata theory.

利用有穷自动机理论研究了高速公路收费站的收费系统。

The rule of cellular automata with ants pheromone and the transition probability are described.

在Matlab环境下，采用该算法对一些典型的测试函数进行求解和验证。

Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.

课程项目包含：有限状态机与正规语言，情境无关语言，Turing机，部分递回函数，Church理论，不可判定性，可简化性与完整性，时间复杂度与NP-完整性，或然率计算，与交互验证系统。译注：Turing machine 一般译作"图灵机"或"图林机"，本课程依据专有名词保留原则，一律译为Turing机。

In order to improve the recognition performance, a keyword recognition strategy with the dialogue context embedded in it is proposed, including the expected focus given by the dialogue manager, the active lexicon/rules determined by the understander, and the recognition automata passed to the recognizer to direct the keyword recognition.

针对目前的各种语音识别方法在对话系统中性能不佳的现实，为改善对话系统的整体性能，提出对话语境知识指导下的关键词识别策略：利用对话管理器给出期待焦点信息，确定对应焦点下的活动词表、活动规则集，生成相应的识别自动机，并用其来指导关键词识别。

In 2002, Wolfram produced a 1,280-page tome, A New Kind of Science, based on a decade of exploration in cellular automata and complex systems.

2002年，编制了1280年钨页圣多美和普林西比，一种新型的科学的基础上， 10年的勘探元胞自动机和复杂的系统。

Automata has been applied to almost all the procedures in newspaper industry, however, designing page layout is still in the mode of manual work and relying on the idea of human editors, and the efficiency is so low.

新闻报业几乎已经在所有流程环节采用了计算机技术，但在版面设计时仍然大量地依赖于版面编辑的思维劳动和手工作业，效率低下。

Automatous Monk: Cellular Automata Music - Automatous Monk is a Java application that maps cellular automaton evolutions into music.

Automatous Monk这个Java应用程序可以将细胞的自动进化映射为音乐。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。