automatic sequences是什么意思

网络释义

用法例句

We extend finite automata with time sequence and define temporal finite automata,then we propose using temporal finite automat to build formal model for data fusion system.

本文提出了时序有限自动机,用它建立数据融合系统的形式化模型,并且给出了时序有限自动机模型的可达性分析方法,用于分析数据融合系统的性能和行为。

A temporal finite automata model of data association(DA) using formal method is presented,and the data association process properties of accuracy are verified by the model checker UPPAAL.

对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间。

Modeling of Data Association Based on Temporal Finite Automata;

数据关联的时序有限自动机模型的建模方法研究

Synchronous Sequences and UIO Sequences of Finite Automata;

有限自动机的同步序列和UIO序列

Application Research of Finite Automata in Auto-generating Monitor-control Program;

有限自动机（FA）在测控程序自动生成中的应用研究

minimum state finite automaton

极小状态有限自动机

information-lossless finite state machine

信息无丢失有限自动机

deterministic finite state automata

确定性有限状态自动机

generalized finite automaton theory

广义有限自动机理论

complexity of finite automata

有限自动机的复杂性

Cyclic Finite Automata and Path Algebras of Finite Automata;

循环有限自动机和有限自动机的路代数

Event reconstruction algorithm based on timed finite state machine

基于时间有限状态自动机的事件重建推理算法

Open-phase operation analysis of line-start rare-earth permanent magnet motor with time-stepping FEM

自起动稀土永磁电机断相运行时步有限元分析

deterministic finite automaton

确定的有穷自动机;决定性有限自动机;决定性有限自动机

nondeterministic finite automaton

不确定的有穷自动机;不确定性有限自动机;非确定的有限自动机

Earth and Rockfill Dam FEM Automatic Mesh Generation Process;

土石坝有限元网格自动剖分程序研制

Time-Stepping Finite Element Analysis for Locked-Rotor Saturation Effect of Line-Start Permanent Magnet Synchronous Motor

自起动永磁同步电动机堵转饱和效应的时步有限元分析

Synchronous Lattice-valued Automata and Synchronous Lattice-valued Finite Automata;

同步格值自动机和同步格值有限自动机

The Composition of Finite Automaton and on being Equivalent to a Linear Finite Automaton with Memory (Input-memory);

有限自动机的化合与等价于(输入)存贮线性有限自动机问题

Aperiodicity in the Elementary Cellular Automaton;

初等元胞自动机时间序列的非周期性