查询词典 automaton

The results were sometimes printed in pocket-size tables for the gunmen on the front line, or if there was enough time and the missile-gun was common, the tables were mechanically encoded into an apparatus on the gun, known as the automaton.

而计算出来的结果，有时会印在一些口袋大小的表格上，便于前线的火炮手来使用；或者，如果时间来得及，而发射飞弹的火炮又不是太过特殊的话，这些表格就会被编码来设定火炮上的装置，而这种装置，被是所知的自动机。

PROLOG language is selected in order to realize the automaton represent ation of model in computer.

为了在计算机中实现模型的自动机表示，选用了PROLOG语言。

For the realization of model automaton representation, we select PROLOG language.

为了在计算机中实现模型的自动机表示，选用了PROLOG语言。

The constraints under which the reachability checking of a timed automaton can be reduced to that of the corresponding FPTA are provided, and then an algorithm for reachability analysis is presented.

在一定的时间约束下，Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测。

The paper improves the velocity's control rules of a first-order microcosmic stochastic traffic cellular automaton model and incorporates it's stochasticity as a deceleration parameter in the construction of the fundamental diagram used by a macroscopic first-order continuum traffic model.

本文对微观一维随机元胞自动机交通流模型的速度控制规则进行了改进，并将其随机特性转化为减速参数合并到宏观一阶连续介质理论交通流模型中，重新构建了反映流量——密度的交通流基本图。

The stochastic dynamic programming is applied to derive the optimal task control strategy of the automaton.

文中，用随机动态规划的方法求取自动机的控制策略。

Knowledgeable manufacturing cell, matrix-automaton, stochastic dynamic programming, control strategy.

知识化制造单元，矩阵自动机，随机动态规划，控制策略。

He comes here, heart whole and happy, with no better experience of woman than is to be learnt at a flower-show or in a ball-room; with no more familiar knowledge of the creature than he has of the far-away satellites of the remoter planets; with a vague notion that she is a whirling teetotum in pink or blue gauze, or a graceful automaton for the display of milliners' manufacture.

他到这儿来了，情窦未开，快快乐乐，除了在花展和舞厅遇见过女人外，没有和女性交际的更好经验，而他对女人的知识，也不比他对远方行星的遥远卫星更为熟悉。

In order to begin to answer the central question of automata theory, it is necessary to define in a formal way what an automaton is.

为了开始回答的核心问题的自动机理论，有必要确定一个正式的方式在一个自动机是什么。

Data exchange was through files.As an example of DXF source file,it established an automaton of the line entity,traced red information through state transition graph.

以DXF格式源文件为例，建立图形实体自动机模型，通过状态转换图跟踪读取信息的轨迹；并给出了城市道路仿真模型在目标平台上重生成时的UML类图。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。