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;

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