1) self order
自有序
2) natural sequence
自然有序
4) Three-dimensionally ordered self-assembly
三维有序自组装
5) three-dimensional self-assembly
三维自有序组装
6) temporal finite automata
时序有限自动机
1.
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.
本文提出了时序有限自动机,用它建立数据融合系统的形式化模型,并且给出了时序有限自动机模型的可达性分析方法,用于分析数据融合系统的性能和行为。
2.
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.
对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间。
补充资料：自调自净自度
【自调自净自度】
（术语）同自调项。
（术语）同自调项。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条