资料介绍
针对中国列车控制系统(CTCS)-3级列车控制系统中的车地安全通信问题,采用层次化建模思想,设计了一种基于Petri网理论的无线闭塞中心(RBC)和列车之间信息交互的模型,并应用着色Petri网(CPN) tools仿真工具动态仿真了列车和RBC之间传输信息的生成、加密和发送的整个过程。该模型主要分为三个部分:列车申请行车许可( MA)、RBC生成完全监控模式下的MA和列车通过无线网络接收到MA并按照MA进行安全控车。运用动态仿真和状态空间分析工具对所提模型进行仿真分析可得,所设计模型能够满足车地信息传输的设计需求规范,具有有界性、活性、回归性和公平性,可用于车地信息的安全传输,减少软件设计缺陷。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 使用51单片机进行中断和软件仿真的详细资料说明
- 使用51单片机进行中断设置的详细资料说明
- 使用单片机进行中断的应用资料和程序免费下载
- 基于Petri网的安全协议形式化描述和安全性验证 18次下载
- Petri网在PLC程序设计中的应用 23次下载
- 基于Petri网的安全协议形式化分析 29次下载
- Petri网分析方法综述 18次下载
- 基于Petri网推理的监控视频
- 基于组合着色Petri网的空间复合事件检测机制
- 无线通信系统的Petri网建模与分析
- 基于Matlab环境的Petri网的仿真方法
- 基于对象Petri网的导弹作战效能评估方法
- 基于线性时态逻辑的Petri网模型检测研究
- 基于对象Petri网的研究导弹作战效能评估的方法
- 基于Petri网的安全工作流管理系统建模
- DTU如何运用VPN加密技术提升数据传输安全? 202次阅读
- 量子加密:安全通信的未来 242次阅读
- 简单认识安全加密处理器 823次阅读
- 使用MAX32520的安全USB加密狗应用示例 906次阅读
- 如何利用热成像仪来组织数据中心的安全? 1670次阅读
- 如何确保阀门的密封性 4867次阅读
- 如何进行PLC控制程序的设计详细资料PPT说明 5753次阅读
- 从零开始学3D着色器编程 3652次阅读
- 高性能纸币处理系统设计的仿真优化资料说明 3328次阅读
- 解答无线局域网该如何设置 3619次阅读
- 过孔开小窗、开窗型过孔、闭塞过孔、填充孔设计的CAD详解 5713次阅读
- 对主流MCU的程序加密进行讲解 1w次阅读
- 一文读懂VSAN加密技术 2272次阅读
- 网络安全密钥是什么_网络安全密钥怎么修改 14.1w次阅读
- 解析无线通话加密的2种方法 6231次阅读
下载排行
本周
- 1使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 2Keysight B1500A 半导体器件分析仪用户手册、说明书 (中文)
- 19.00 MB | 4次下载 | 免费
- 3BT134双向可控硅手册
- 1.74 MB | 2次下载 | 1 积分
- 4一种新型高效率的服务器电源系统
- 0.85 MB | 1次下载 | 1 积分
- 5台达VFD-M系列变频器驱动板原厂原理图
- 0.17 MB | 1次下载 | 免费
- 6WTS-100(1.1) UWB 信标定位系统 彩页
- 540.48 KB | 1次下载 | 免费
- 7双向DC-DC转换器用户指南
- 2.98MB | 1次下载 | 免费
- 8联想E46L DAOLL6笔记本电脑图纸
- 1.10 MB | 1次下载 | 5 积分
本月
- 1使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 2UC3842/3/4/5电源管理芯片中文手册
- 1.75 MB | 15次下载 | 免费
- 3DMT0660数字万用表产品说明书
- 0.70 MB | 13次下载 | 免费
- 4ST7789V2单芯片控制器/驱动器英文手册
- 3.07 MB | 11次下载 | 1 积分
- 5TPS54202H降压转换器评估模块用户指南
- 1.02MB | 8次下载 | 免费
- 6STM32F101x8/STM32F101xB手册
- 1.69 MB | 8次下载 | 1 积分
- 7TPS92682-Q1帧定义和示例
- 891.71KB | 6次下载 | 免费
- 8HY12P65/HY12P66数字万用表芯片规格书
- 0.69 MB | 6次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935119次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73807次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65987次下载 | 10 积分
评论
查看更多