基于可编程逻辑的硬件平台的设计与形式化验证-臂力论文网 对系统进行无穷验证,因此在硬件平台设计阶段,利用形式化方法对硬件平台设计的正确性和完备性进行验证。 论文以基于通信的列车控制(Communication-based Train Control,CBTC)系统为应用背景,详细分析了安全硬件平台需求。通过对比各种平台结构的优缺点,选取了二乘二取二结构为本文
基于2个网页-相关网页
以基于通信的列车控制
Train control based on communication
以上为机器翻译结果，长、整句建议使用 人工翻译 。
介绍了旧金山轨道交通信号系统采用基于通信的列车控制（CBTC）技术进行以实现联通联运为目标的改造。
With a brief introduction about the reforming of San Francisco Bay railway signal system, interoperability on the basis of CBTC technology.
youdao
应用推荐
模块上移
模块下移
不移动