1) automatic cab signal
机车内自动信号
2) 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.
信号自动机为一类实时系统建立了比时间自动机更适合的模型。
3) the locomotive vibrating signal
机车振动信号
4) engine stop signal
发动机停车信号
5) semiautomatic signal
半自动信号机
6) automatic block signal
自动闭塞信号机
补充资料：机车信号
见车内信号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条