本书对高速铁路、城市轨道交通信号系统事故致因、安全特征进行了深入系统性地研究,阐述了适合我国轨道交通行业的保证独立安全评估有效性和可信性的方法和关键技术。通过这本书的撰写工作,对规范我国轨道交通列车运行控制系统安全评估和独立第三方安全认证工作,提高和保证其有效性和可信性,进而进一步提高我国轨道交通系统整体安全水平,保证高速列车安全高效运行具有重要的基础性和战略性意义。
本书介绍了基于模型的列车运行控制系统设计与验证方法,着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章,主要内容包括:列控系统需求的建模与验证,列控系统的安全分析等。
本书主要依据数字信号处理的原理和一些经典算法,并结合作者多年从事“计算机和集成电路设计”专业“数字信号处理”研究生课程的教学体会,以及多年从事实际DSP芯片设计的研究成果,来讨论数字信号处理的各种算法原理及其对应VLSI和DSP处理器硬件实现时的结构问题。其中包括数字信号处理主要常见算法的原理、数字信号处理算法到硬件实现之间的转换和映射、VLSI和DSP实现的逻辑和结构设计等。