人工智人-家居设计-城际铁路车载列控系统安全及智能控制关键技术研究.pdf
2022-07-04 16:03:48
17.91MB
为提高下一代列车运行控制（简称列控）系统安全计算机的系统兼容性，首先对其结构进行简要分析，并对管理机制进行设计，建立了管理单元状态转移模型，同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU, micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明，所设计的管理机制符合设计规范的要求，管理单元能够实现预期的状态转移功能。
2022-03-19 10:26:10
767KB
1
铁路信号设备之间的数据交换要保证通信安全、实时、准确，必须采用安全通信协议。本规范规定了信号安全设备之间通过封闭式传输系统进行安全相关信息交互的功能结构和协议。本规范适用于铁路信号安全设备之间的安全通信接口，同样也适用于如电梯、石油石化紧急停车ESD、安全仪表等工业控制系统涉及安全控制的设备之间的数据传输。本文是铁总RSSP-1/RSSP-2协议的完整规范，是广大铁路信号、轨道交通、信号专业的从业者和学生必备的工具文档。
2022-02-06 11:01:02
27.78MB
1