railroad crossing 中文意思是什麼
railroad crossing
解釋
平交道口-
The railroad gates debar people from crossing the tracks
鐵道的柵欄阻止行人跨越軌道。 -
He answered hurriedly. “ i was towing this junker when i saw a pickup truck stuck over there on that railroad crossing
他匆忙回答道: 「我正吊著這輛破車,看到一輛皮卡堵在火車道叉口。 -
The safety gates at the railroad crossing are lowering
鐵路交叉路口的安全閘正在放下來。 -
It is an extension of core of manna and pnueli " s pltl. in succession, a formal axiom deductive system is presented. it ' s soundness based formal semantic defined in this thesis is proved. as an example, we specify grc ( generalized railroad crossing ), which is a benchmark problem for real time systems, and verify it ' s safety and liveness
作為它的一次實際應用,我們用它對于實時系統中的一個典型實例: grc ( generalizedrailroadcrossing )進行了描述,給出了它的系統規約,在此基礎上,演繹式的證明了系統的一個安全性和活性命題。 -
But they ticketed liptak for disregarding a railroad signal at the crossing that was closed for three hours
但是,他們仍然對李普克進行了罰款,因為他竟然無視十字路口的信號燈,致使整個路口被封鎖了3個小時。
分享友人