Development and Validation of a Distance Measurement System in Metro Lines.
IEEE Transactions on Intelligent Transportation Systems(2019)
摘要
While different location technologies have been used to collect data for trains, the development and validation of new systems remain a challenge. In this paper, a formal approach is presented for the development and verification of a new metro train-to-train distance measurement system. This system is based on the spread-spectrum technology to accomplish distance measurement. Different from exist...
更多查看译文
关键词
Unified modeling language,Software,Distance measurement,Analytical models,Safety,Petri nets
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要