为提高下一代列车运行控制（简称列控）系统安全计算机的系统兼容性，首先对其结构进行简要分析，并对管理机制进行设计，建立了管理单元状态转移模型，同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU, micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明，所设计的管理机制符合设计规范的要求，管理单元能够实现预期的状态转移功能。
2022-03-19 10:26:10
767KB
1
定理证明是数学领域一个古老的分支，它从公理出发，利用推理规则为定力寻找证明过程。
2019-12-21 22:23:13
58.73MB
1