1) semiautomatic signal
半自动信号机
2) aided-tracking signal
半自动跟踪信号
3) signal automata
信号自动机
1.
Although signal automata are more suitable for the modeling of some classes of real-time systems than timed automata,they can not be applied to the practical real-time model verification practical verification of real-time systems due to the lack of verification algorithm.
信号自动机为一类实时系统建立了比时间自动机更适合的模型。
4) semi-automatic signal
半自动讯号机
5) automatic cab signal
机车内自动信号
6) automatic block signal
自动闭塞信号机
补充资料：半自动
部分不靠人工而由机器装置操作的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条