资料下载
×
如何使用着色Petri网的无线闭塞进行中心安全加密资料说明
消耗积分:0 |
格式:rar |
大小:0.72 MB |
2018-12-21
分享资料个
针对中国列车控制系统（CTCS）-3级列车控制系统中的车地安全通信问题，采用层次化建模思想，设计了一种基于Petri网理论的无线闭塞中心（RBC）和列车之间信息交互的模型，并应用着色Petri网（CPN） tools仿真工具动态仿真了列车和RBC之间传输信息的生成、加密和发送的整个过程。该模型主要分为三个部分：列车申请行车许可（ MA）、RBC生成完全监控模式下的MA和列车通过无线网络接收到MA并按照MA进行安全控车。运用动态仿真和状态空间分析工具对所提模型进行仿真分析可得，所设计模型能够满足车地信息传输的设计需求规范，具有有界性、活性、回归性和公平性，可用于车地信息的安全传输，减少软件设计缺陷。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
