查询词典 automaton

A cellular automaton model was developed to describe microstructural evolution of pure substance.

采用元胞自动机模型模拟了纯物质凝固微观组织演化行为。

Cellular Automaton ; Karnaugh Map ; Function Form ; Evolution Property

元胞自动机；卡诺图；函数形式；演化性质

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

Keywords: continuous-time temporal logic; finite precision timed automaton; decidability; model checking.

中文关键词：连续时间时序逻辑；有限精度时间自动机；可判定性；模型检测。

The analysis in theory proves that cellular automaton is equal with a stochastic process that described by stochastic difference equations. The primary differential equation is expectation of this stochastic process. And its variance function is controllable. These results show that cellular automata are in agreement with primary differential equation in the statistical sense.

理论分析证明：该方法设计的细胞自动机等价于一个可用随机差分方程描述的随机过程，该随机过程以原微分方程为期望函数，并且，其方差函数是可控的，表明细胞自动机和原微分方程在统计意义上是一致的。

She followed him diffidently through the clattering automaton s, keeping her eyes straight before her, and flushing slightly.

她怯生生地跟在后面，走过隆隆的机器，眼睛直视着前方，脸上微微有些发红。

In the course of realization model automaton representation, it advances a PROLOG endless loop debugging algorithm.

在模型的自动机表示方法实施过程中，提出了一种PROLOG无限循环检测算法。

In this paper,results of Markov chain are used under the circumstances of the automaton model which belongs to logical level of Discrete Event System to analyze the steady states and transient states of the Markov model of DES,respectively based on four conditions of discrete-time parameter and continuous-time parameter.A simpler decision rule of system ergodic property which applies both to the conditions of discrete-time parameter and continuous-time parameter is presented through an example.The transient states of DES which under the condition of continuous-time parameter are analyzed and computed based on Kolmogorov backward equation or forward equation.

利用马尔科夫链的结果，在离散事件系统逻辑层次的自动机模型基础上，对DES的Markov模型的稳态和暂态特性，分别从时间参数连续和离散的情况下，分四个情况进行了分析，通过实例对系统遍历性提出了一条更简单的且在连续和离散时间参数情况下都通用的判定规则，并利用Kolmogorov向后或向前方程，对连续时间参数DES的暂态特性进行了分析和计算。

Through research, we abstracted define the model is a finite automaton.

通过研究，我们抽象地定义：模型是一个有限自动机。

This paper discusses a kind of finite automaton cryptosystem.

本文讨论一种有限自动机密码及其在微机上的软件实现。

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.

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