查询词典 automata

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 Goto function, failure function and output function are established and the model achieves fast and exact fault diagnosis by using dendriform finite state automata.

通过对实际的机车信号检测记录仪记录的数据进行故障诊断实验，表明该模型在机车信号故障诊断中的有效性。

The SAM principle is applied to determine the next state transfer to with the result. What's more, a counter-proposal is proposed with imitational means, then, the fuzzy automata of the agent for purchaser in the classic bi-negotiation is given based the above analysis.

对于这些评价结果我们应用标准可加性原理建立了谈判Agent的状态转移策略，并利用模仿方式给出了Agent的反建议策略，并结合以上分析给出了典型双边谈判模型中买方Agent的谈判模糊自动机。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。