資料介紹
在出行需求日益增長的今天,基于傳統設計思想的疊加式列控系統逐漸顯露出不足,各種功能子系統的疊加導致結構復雜化、可靠性降低,系統的高度集中引發能耗、散熱、占用空間過大等問題,并且在受到外力沖擊時極易造成設備整體癱瘓,這些問題在車載設備方面表現得尤為突出。因此,在下一代列控系統的設計中,希望建立統一的安全計算機平臺,對系統整體結構進行優化,以硬件、軟件模塊化來降低設備的復雜程度,實現靈活配置,同時縮短開發周期,減少重復開發。由于系統整體結構的調整,系統狀態也隨著單系內各單元間及兩系間的復雜交互過程而增加,建模難度也隨之增加。對于關鍵領域中應用的安全苛求系統,需要達到安全完整性等級SIL-4級標準,確保其在實際應用中能夠穩定可靠地運行。
為提高下一代列車運行控制(簡稱列控)系統安全計算機的系統兼容性,首先對其結構進行簡要分析,并對管理機制進行設計,建立了管理單元狀態轉移模型,同時以形式化驗證工具對模型的正確性進行了驗證。在此基礎上對基于微控制單元(MCU,micro controller unit)的管理單元進行了軟硬件的設計實現與測試。驗證和測試結果表明,所設計的管理機制符合設計規范的要求,管理單元能夠實現預期的狀態轉移功能。
- 計算機網絡應用OSI參考模型通信原理
- 節點位置信息驅動的終端緩存管理機制 16次下載
- 計算機通信與網絡教程—課件資料下載 0次下載
- 最全SPARK內存管理機制 5次下載
- 計算機通信原理與系統_部分6 4次下載
- 計算機通信原理與系統_部分3 2次下載
- 計算機通信原理與系統_部分2 4次下載
- 計算機通信原理與系統_部分1 5次下載
- 計算機通信原理與系統_部分5 2次下載
- 計算機通信原理與系統_部分4 3次下載
- 淺談計算機網絡通信安全 34次下載
- linux內存管理機制淺析 73次下載
- 計算機串行通信基礎
- 計算機網絡安全概述
- 計算機信息安全原理教程,下載 0次下載
- 工業計算機與普通計算機的區別 608次閱讀
- xenomai系統中的xnheap管理機制 1594次閱讀
- 計算機輔助技術有哪些_計算機輔助技術的應用 3.9w次閱讀
- 計算機網絡通信技術的原理與通信方式分析 4699次閱讀
- 計算機網絡安全管理的重要性及其現狀分析 2368次閱讀
- 東大金智科技2乘2取2安全計算機平臺描述 2293次閱讀
- 計算機網絡管理技術的應用 4638次閱讀
- 什么是量子計算機_量子計算機原理_量子計算的兩種有效方法 1.1w次閱讀
- 嵌入式系統內存管理機制詳解 4430次閱讀
- 電子管計算機是第幾代_電子管計算機如何存儲數據 4.3w次閱讀
- 淺談局部網絡管理 基于CAN總線的局部網絡管理機制設計 6843次閱讀
- μC/OS—II中的時鐘節拍管理機制技術分析 1345次閱讀
- 計算機網絡有哪些作用_計算機網絡硬件有哪些 1.1w次閱讀
- 計算機網絡有什么作用_計算機網絡有哪些作用 3.6w次閱讀
- 鉆石內的量子計算機 1398次閱讀
下載排行
本周
- 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 積分
評論
查看更多