如何使用著色Petri網(wǎng)的無(wú)線閉塞進(jìn)行中心安全加密資料說(shuō)明
資料介紹
針對(duì)中國(guó)列車(chē)控制系統(tǒng)(CTCS)-3級(jí)列車(chē)控制系統(tǒng)中的車(chē)地安全通信問(wèn)題,采用層次化建模思想,設(shè)計(jì)了一種基于Petri網(wǎng)理論的無(wú)線閉塞中心(RBC)和列車(chē)之間信息交互的模型,并應(yīng)用著色Petri網(wǎng)(CPN) tools仿真工具動(dòng)態(tài)仿真了列車(chē)和RBC之間傳輸信息的生成、加密和發(fā)送的整個(gè)過(guò)程。該模型主要分為三個(gè)部分:列車(chē)申請(qǐng)行車(chē)許可( MA)、RBC生成完全監(jiān)控模式下的MA和列車(chē)通過(guò)無(wú)線網(wǎng)絡(luò)接收到MA并按照MA進(jìn)行安全控車(chē)。運(yùn)用動(dòng)態(tài)仿真和狀態(tài)空間分析工具對(duì)所提模型進(jìn)行仿真分析可得,所設(shè)計(jì)模型能夠滿足車(chē)地信息傳輸?shù)脑O(shè)計(jì)需求規(guī)范,具有有界性、活性、回歸性和公平性,可用于車(chē)地信息的安全傳輸,減少軟件設(shè)計(jì)缺陷。
- 使用51單片機(jī)進(jìn)行中斷和軟件仿真的詳細(xì)資料說(shuō)明
- 使用51單片機(jī)進(jìn)行中斷設(shè)置的詳細(xì)資料說(shuō)明
- 使用單片機(jī)進(jìn)行中斷的應(yīng)用資料和程序免費(fèi)下載
- 基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗(yàn)證 18次下載
- Petri網(wǎng)在PLC程序設(shè)計(jì)中的應(yīng)用 23次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化分析 29次下載
- Petri網(wǎng)分析方法綜述 18次下載
- 基于Petri網(wǎng)推理的監(jiān)控視頻
- 基于組合著色Petri網(wǎng)的空間復(fù)合事件檢測(cè)機(jī)制
- 無(wú)線通信系統(tǒng)的Petri網(wǎng)建模與分析
- 基于Matlab環(huán)境的Petri網(wǎng)的仿真方法
- 基于對(duì)象Petri網(wǎng)的導(dǎo)彈作戰(zhàn)效能評(píng)估方法
- 基于線性時(shí)態(tài)邏輯的Petri網(wǎng)模型檢測(cè)研究
- 基于對(duì)象Petri網(wǎng)的研究導(dǎo)彈作戰(zhàn)效能評(píng)估的方法
- 基于Petri網(wǎng)的安全工作流管理系統(tǒng)建模
- UID加密安全啟動(dòng)原理分析 502次閱讀
- DTU如何運(yùn)用VPN加密技術(shù)提升數(shù)據(jù)傳輸安全? 501次閱讀
- 量子加密:安全通信的未來(lái) 486次閱讀
- 簡(jiǎn)單認(rèn)識(shí)安全加密處理器 1286次閱讀
- 使用MAX32520的安全USB加密狗應(yīng)用示例 1066次閱讀
- 如何利用熱成像儀來(lái)組織數(shù)據(jù)中心的安全? 1778次閱讀
- 如何確保閥門(mén)的密封性 5087次閱讀
- 從零開(kāi)始學(xué)3D著色器編程 3765次閱讀
- 高性能紙幣處理系統(tǒng)設(shè)計(jì)的仿真優(yōu)化資料說(shuō)明 3442次閱讀
- 解答無(wú)線局域網(wǎng)該如何設(shè)置 3799次閱讀
- 過(guò)孔開(kāi)小窗、開(kāi)窗型過(guò)孔、閉塞過(guò)孔、填充孔設(shè)計(jì)的CAD詳解 5847次閱讀
- 對(duì)主流MCU的程序加密進(jìn)行講解 1w次閱讀
- 一文讀懂VSAN加密技術(shù) 2348次閱讀
- 網(wǎng)絡(luò)安全密鑰是什么_網(wǎng)絡(luò)安全密鑰怎么修改 14.2w次閱讀
- 解析無(wú)線通話加密的2種方法 6361次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1489次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 91次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 9次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專(zhuān)業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30319次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論