資料介紹
針對中國列車控制系統(tǒng)(CTCS)-3級列車控制系統(tǒng)中的車地安全通信問題,采用層次化建模思想,設(shè)計了一種基于Petri網(wǎng)理論的無線閉塞中心(RBC)和列車之間信息交互的模型,并應(yīng)用著色Petri網(wǎng)(CPN) tools仿真工具動態(tài)仿真了列車和RBC之間傳輸信息的生成、加密和發(fā)送的整個過程。該模型主要分為三個部分:列車申請行車許可( MA)、RBC生成完全監(jiān)控模式下的MA和列車通過無線網(wǎng)絡(luò)接收到MA并按照MA進(jìn)行安全控車。運(yùn)用動態(tài)仿真和狀態(tài)空間分析工具對所提模型進(jìn)行仿真分析可得,所設(shè)計模型能夠滿足車地信息傳輸?shù)脑O(shè)計需求規(guī)范,具有有界性、活性、回歸性和公平性,可用于車地信息的安全傳輸,減少軟件設(shè)計缺陷。
- 使用51單片機(jī)進(jìn)行中斷和軟件仿真的詳細(xì)資料說明
- 使用51單片機(jī)進(jìn)行中斷設(shè)置的詳細(xì)資料說明
- 使用單片機(jī)進(jìn)行中斷的應(yīng)用資料和程序免費(fèi)下載
- 基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗證 18次下載
- Petri網(wǎng)在PLC程序設(shè)計中的應(yīng)用 23次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化分析 29次下載
- Petri網(wǎng)分析方法綜述 18次下載
- 基于Petri網(wǎng)推理的監(jiān)控視頻
- 基于組合著色Petri網(wǎng)的空間復(fù)合事件檢測機(jī)制
- 無線通信系統(tǒng)的Petri網(wǎng)建模與分析
- 基于Matlab環(huán)境的Petri網(wǎng)的仿真方法
- 基于對象Petri網(wǎng)的導(dǎo)彈作戰(zhàn)效能評估方法
- 基于線性時態(tài)邏輯的Petri網(wǎng)模型檢測研究
- 基于對象Petri網(wǎng)的研究導(dǎo)彈作戰(zhàn)效能評估的方法
- 基于Petri網(wǎng)的安全工作流管理系統(tǒng)建模
- UID加密安全啟動原理分析 502次閱讀
- DTU如何運(yùn)用VPN加密技術(shù)提升數(shù)據(jù)傳輸安全? 501次閱讀
- 量子加密:安全通信的未來 486次閱讀
- 簡單認(rèn)識安全加密處理器 1286次閱讀
- 使用MAX32520的安全USB加密狗應(yīng)用示例 1066次閱讀
- 如何利用熱成像儀來組織數(shù)據(jù)中心的安全? 1778次閱讀
- 如何確保閥門的密封性 5087次閱讀
- 從零開始學(xué)3D著色器編程 3765次閱讀
- 高性能紙幣處理系統(tǒng)設(shè)計的仿真優(yōu)化資料說明 3442次閱讀
- 解答無線局域網(wǎng)該如何設(shè)置 3799次閱讀
- 過孔開小窗、開窗型過孔、閉塞過孔、填充孔設(shè)計的CAD詳解 5847次閱讀
- 對主流MCU的程序加密進(jìn)行講解 1w次閱讀
- 一文讀懂VSAN加密技術(shù) 2348次閱讀
- 網(wǎng)絡(luò)安全密鑰是什么_網(wǎng)絡(luò)安全密鑰怎么修改 14.2w次閱讀
- 解析無線通話加密的2種方法 6361次閱讀
下載排行
本周
- 1常用電子元器件集錦
- 1.72 MB | 24471次下載 | 免費(fèi)
- 2EMC電路設(shè)計工程師必備的EMC基礎(chǔ)
- 0.42 MB | 4次下載 | 2 積分
- 3低壓降肖特基整流管SR340L數(shù)據(jù)手冊
- 0.78 MB | 1次下載 | 免費(fèi)
- 4CPCI6310型復(fù)合視頻采集板資料
- 0.04 MB | 1次下載 | 免費(fèi)
- 5HT8 半橋電磁爐MCU應(yīng)用須知
- 1.91 MB | 次下載 | 免費(fèi)
- 6快恢復(fù)二極管1F1 THRU 1F7數(shù)據(jù)手冊
- 0.95 MB | 次下載 | 免費(fèi)
- 7高效率整流二極管HER601 THRU HER608數(shù)據(jù)手冊
- 0.53 MB | 次下載 | 免費(fèi)
- 8橫河WT5000高精度功率分析儀產(chǎn)品資料_中文說明書_科瑞杰
- 1.60 MB | 次下載 | 免費(fèi)
本月
- 1常用電子元器件集錦
- 1.72 MB | 24471次下載 | 免費(fèi)
- 2三相逆變主電路的原理圖和PCB資料合集免費(fèi)下載
- 27.35 MB | 111次下載 | 1 積分
- 3運(yùn)算放大器基本電路中文資料
- 1.30 MB | 16次下載 | 免費(fèi)
- 4蘋果iphone 11電路原理圖
- 4.98 MB | 11次下載 | 5 積分
- 5TL494工業(yè)用開關(guān)電源原理圖資料
- 0.22 MB | 10次下載 | 1 積分
- 6常用電子元器件介紹
- 3.21 MB | 8次下載 | 免費(fèi)
- 7QW2893應(yīng)急燈專用檢測芯片
- 590.40 KB | 4次下載 | 免費(fèi)
- 8EMC電路設(shè)計工程師必備的EMC基礎(chǔ)
- 0.42 MB | 4次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935130次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191390次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183344次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81591次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65989次下載 | 10 積分
評論