資料介紹
在出行需求日益增長的今天,基于傳統設計思想的疊加式列控系統逐漸顯露出不足,各種功能子系統的疊加導致結構復雜化、可靠性降低,系統的高度集中引發能耗、散熱、占用空間過大等問題,并且在受到外力沖擊時極易造成設備整體癱瘓,這些問題在車載設備方面表現得尤為突出。因此,在下一代列控系統的設計中,希望建立統一的安全計算機平臺,對系統整體結構進行優化,以硬件、軟件模塊化來降低設備的復雜程度,實現靈活配置,同時縮短開發周期,減少重復開發。由于系統整體結構的調整,系統狀態也隨著單系內各單元間及兩系間的復雜交互過程而增加,建模難度也隨之增加。對于關鍵領域中應用的安全苛求系統,需要達到安全完整性等級SIL-4級標準,確保其在實際應用中能夠穩定可靠地運行。
為提高下一代列車運行控制(簡稱列控)系統安全計算機的系統兼容性,首先對其結構進行簡要分析,并對管理機制進行設計,建立了管理單元狀態轉移模型,同時以形式化驗證工具對模型的正確性進行了驗證。在此基礎上對基于微控制單元(MCU,micro controller unit)的管理單元進行了軟硬件的設計實現與測試。驗證和測試結果表明,所設計的管理機制符合設計規范的要求,管理單元能夠實現預期的狀態轉移功能。
- 計算機網絡應用OSI參考模型通信原理
- 節點位置信息驅動的終端緩存管理機制 16次下載
- 計算機通信與網絡教程—課件資料下載 0次下載
- 最全SPARK內存管理機制 5次下載
- 計算機通信原理與系統_部分6 4次下載
- 計算機通信原理與系統_部分3 2次下載
- 計算機通信原理與系統_部分2 5次下載
- 計算機通信原理與系統_部分1 6次下載
- 計算機通信原理與系統_部分5 2次下載
- 計算機通信原理與系統_部分4 3次下載
- 淺談計算機網絡通信安全 34次下載
- linux內存管理機制淺析 73次下載
- 計算機串行通信基礎
- 計算機網絡安全概述
- 計算機信息安全原理教程,下載 0次下載
- 工業計算機與普通計算機的區別 1523次閱讀
- xenomai系統中的xnheap管理機制 1770次閱讀
- 計算機輔助技術有哪些_計算機輔助技術的應用 4w次閱讀
- 計算機網絡通信技術的原理與通信方式分析 5002次閱讀
- 計算機網絡安全管理的重要性及其現狀分析 2552次閱讀
- 東大金智科技2乘2取2安全計算機平臺描述 2408次閱讀
- 計算機網絡管理技術的應用 4783次閱讀
- 什么是量子計算機_量子計算機原理_量子計算的兩種有效方法 1.2w次閱讀
- 嵌入式系統內存管理機制詳解 4552次閱讀
- 電子管計算機是第幾代_電子管計算機如何存儲數據 4.3w次閱讀
- 淺談局部網絡管理 基于CAN總線的局部網絡管理機制設計 7069次閱讀
- μC/OS—II中的時鐘節拍管理機制技術分析 1448次閱讀
- 計算機網絡有哪些作用_計算機網絡硬件有哪些 1.1w次閱讀
- 計算機網絡有什么作用_計算機網絡有哪些作用 3.7w次閱讀
- 鉆石內的量子計算機 1448次閱讀
下載排行
本周
- 1蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 286次下載 | 5 積分
- 2長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 87次下載 | 5 積分
- 3AO4803A雙P通道增強型場效應晶體管的數據手冊
- 0.11 MB | 28次下載 | 2 積分
- 4長虹液晶彩電LS29機芯的技術資料說明
- 3.42 MB | 16次下載 | 2 積分
- 5AI智能眼鏡產業鏈分析
- 4.43 MB | 14次下載 | 免費
- 6TP4055 500mA線性鋰離子電池充電器中文手冊
- 0.75 MB | 9次下載 | 免費
- 7TP4054 400mA線性鋰離子電池充電器中文手冊
- 0.70 MB | 2次下載 | 免費
- 8TP4057X 500mA線性鋰離子電池充電器中文手冊
- 0.74 MB | 2次下載 | 免費
本月
- 1人形機器人電機驅動和傳感報告
- 4.27 MB | 475次下載 | 免費
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 286次下載 | 5 積分
- 3長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 87次下載 | 5 積分
- 4U盤一鍵制作
- 23.84 MB | 41次下載 | 免費
- 5AO4803A雙P通道增強型場效應晶體管的數據手冊
- 0.11 MB | 28次下載 | 2 積分
- 6Altium Designer元件庫
- 17.11 MB | 26次下載 | 免費
- 7長虹液晶彩電LS29機芯的技術資料說明
- 3.42 MB | 16次下載 | 2 積分
- 8AI智能眼鏡產業鏈分析
- 4.43 MB | 14次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191382次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81586次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評論