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;
初等元胞自动机时间序列的非周期性