查找： 关键词为 Trains anti-running devices Longitudinal dynamics Mathematics model Buffer 的文献