合肥金星智控科技股份有限公司
宣傳

位置:中冶有色 >

有色技術頻道 >

> 失效分析技術

> 基于控制器局域網的信息物理系統的驗證方法

基于控制器局域網的信息物理系統的驗證方法

814   編輯:管理員   來源:中冶有色網  
2023-03-19 09:00:38
一種基于控制器局域網的信息物理系統的驗證方法,首先通過建立基于控制器局域網的信息物理系統的驗證模型,然后將待驗證性質以時序邏輯公式的形式進行規范表示,進而對基于控制器局域網的信息物理系統進行驗證。對基于控制器局域網的信息物理系統進行形式化驗證和分析時,采用經典模型檢驗技術對運行于理想環境下的系統進行功能上的正確性驗證,同時采用統計模型檢驗技術對運行于復雜環境中的系統在不同系統規模、不同報文發送/接收失敗概率、不同節點失效概率參數下的性能進行分析。本發明能夠有效解決基于控制器局域網的信息物理系統驗證的規模和實時性問題,有助于在設計和實現基于控制器局域網的信息物理系統過程中增強系統的可靠性。
登錄解鎖全文
聲明:
“基于控制器局域網的信息物理系統的驗證方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)
分享 0
         
舉報 0
收藏 0
反對 0
點贊 0
標簽:
失效分析
全國熱門有色金屬技術推薦
展開更多 +

 

中冶有色技術平臺

最新更新技術

報名參會
更多+

報告下載

赤泥綜合利用研究報告2025
推廣

熱門技術
更多+

衡水宏運壓濾機有限公司
宣傳
環磨科技控股(集團)有限公司
宣傳

發布

在線客服

公眾號

電話

頂部
咨詢電話:
010-88793500-807
專利人/作者信息登記
在线精品视频播放|无码 有码 国产18p|宅男精品一区在线观看|伊人色综合久久天天人手人婷|亚洲熟肥妇女BBXX