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

位置：中冶有色 >

有色技術頻道 >

有色金屬技術

礦山技術

冶金技術

材料制備及加工技術

環境保護技術

分析檢測技術

> 分析檢測技術

> 失效分析技術

> 基于依賴關系的EFSM模型事件失效修復方法

基于依賴關系的EFSM模型事件失效修復方法

919   編輯：管理員   來源：中冶有色網  
2023-03-19 08:59:36
本發明公開了一種基于依賴關系的EFSM模型事件失效修復方法，屬于通訊協議、嵌入式系統等領域。當模型的外部環境發生變化的時候，表現在模型階段為模型遷移上的事件發生失效，進而導致模型部分路徑不能執行，最終導致模型中部分功能的失效。本方法涉及的模型修復方法分為依賴分析階段和遷移路徑修復階段兩個核心操作。原有的修復方法使用可達性的分析方法，對失效事件之后的相關信息進行了完全的刪除，導致模型大量的遷移和狀態的失效，從而造成模型大部分功能的喪失。本方法通過模型的依賴性分析，把受影響的遷移分為可修復遷移和不可修復遷移，并通過本方法提出的遷移路徑修復規則進行修復，本方法保證了修復后模型的可執行路徑與原模型語義一致。
登錄解鎖全文
聲明：
“基于依賴關系的EFSM模型事件失效修復方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究，如用于商業用途，請聯系該技術所有人。
我是此專利(論文)的發明人(作者)
分享 0
         
舉報 0
收藏 0
反對 0
點贊 0
標簽：
失效分析
上一個：汽車冷卻液儲液罐失效試驗設備
下一個：空氣凈化裝置可判斷過濾模塊失效的控制方法及空氣凈化裝置

與 “基于依賴關系的EFSM模型事件失效修復方法” 相關技術

? 碳纖維復合材料層間剪切強度試樣的制備和檢測方法
? 水平拉伸力學試驗機系統
? 重金屬污染土壤用的檢測裝置
? 便攜的痕量重金屬分析儀
? 自吸水采樣式水質重金屬分析儀
? 大氣采樣及監測車
? 土壤手持式重金屬分析儀
? 方便操作的重金屬檢測儀
? 方便抓握手持的土壤重金屬分析儀
? 土壤污染調查檢測裝置

相關失效分析設備推薦

手持式X熒光分析儀
等速驅動軸多功能試驗臺
鋁用空氣反應性測試儀
耦合環境雙軸蠕變試驗機
奧林巴斯共聚焦顯微鏡OLS5000
全國熱門有色金屬技術推薦
江蘇通用技術 北京礦山技術 江蘇冶金技術 北京冶金技術 江蘇材料制備及加工技術 常州材料制備及加工技術 江蘇新能源材料技術 江蘇加工技術 北京材料制備及加工技術 福建材料制備及加工技術 江蘇環境保護技術 江蘇廢水處理技術 江蘇固/危廢處置技術 北京環境保護技術 北京廢水處理技術
展開更多 +

 

中冶有色技術平臺

最新更新技術

?碳纖維復合材料層間剪切強度試樣的制備和檢測方法
?水平拉伸力學試驗機系統
?重金屬污染土壤用的檢測裝置
?便攜的痕量重金屬分析儀
?自吸水采樣式水質重金屬分析儀
?大氣采樣及監測車
?土壤手持式重金屬分析儀
?方便操作的重金屬檢測儀
?方便抓握手持的土壤重金屬分析儀
?土壤污染調查檢測裝置

報名參會
更多+

第二屆關鍵金屬選冶與高純制程技術交流會
第二屆關鍵金屬選冶與高純制程技術交流會
2025年07月11日 ~ 13日
2025全國有色金屬材料加工與成形技術交流大會
2025全國有色金屬材料加工與成形技術交流大會
2025年07月16日 ~ 18日
2025全國煤化工科技創新與產業綠色發展論壇
2025全國煤化工科技創新與產業綠色發展論壇
2025年07月16日 ~ 18日
第二屆全國海洋工程及船舶材料技術交流會
第二屆全國海洋工程及船舶材料技術交流會
2025年07月18日 ~ 20日
第七屆有色金屬分析檢測與標準化技術交流會
第七屆有色金屬分析檢測與標準化技術交流會
2025年07月23日 ~ 26日

報告下載

1 礦產品能力驗證計劃中樣品的選取
下載:139
2 取、制樣安全淺析
下載:131
3 取、制樣現狀及未來規劃/需求
下載:108
4 自動化樣品制備助力準確高效的礦
下載:99
5 樣品變質引起采制樣和結算問題
下載:96
6 淺談質量檢驗管理風險防控的重點
下載:95
7 礦產品人工取樣方案的制定及案例
下載:93
8 用于X熒光分析的樣品前處理及其
下載:91
9 不均勻樣品給第三方檢測機構和貿
下載:90
10 非常規礦產品取制樣方法的探討
下載:89
赤泥綜合利用研究報告2025
推廣

熱門技術
更多+

1防爆閥保護膜
2壓力平衡機構
3水電站的尾水預埋件
4化工礦產有色金屬的檢測機構
5礦石分類與實時定量分析的光譜檢測新方法
6礦石中有色金屬成分和含量的檢測裝置
7有色金屬現貨狀態評估系統及方法
8有色金屬廢料中鐵磁性雜質檢測設備及檢測工藝
9高溫熔體緩冷裝置及渣包測溫方法
10便攜式礦山測量激光儀
衡水宏運壓濾機有限公司
宣傳
環磨科技控股（集團）有限公司
宣傳

發布

在線客服

公眾號

電話

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