In the detection of motion objects, a method based on movement feature of target (catenary) is proposed. It combines temporal differential method and template matching in image sequence data.
在检测运动物体方面，根据检测对象(接触线)的运动特征提出了一种对图像序列数据采用时态差分法与模板匹配相结合的检测方法。
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.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
应用推荐