基于ANBD碼的循環控制錯誤檢測算法
大小：0.92 MB 人氣： 2017-12-27 需要積分：1
標簽：檢測算法(25177)
為確保安全苛求系統中程序執行的正確性，針對程序循環控制中內存未更新、循環提前結束和循環滯后結束的問題，提出一種基于含簽名和時間戳的算術（ ANBD）碼的循環控制錯誤檢測算法。該算法通過ANBD碼，將程序變量編碼為含簽名的碼字。通過校驗碼字簽名，檢測循環控制錯誤。運用ANBD碼中的時間標簽，可檢測內存未更新錯誤。另外，在ANBD碼基礎上，通過采用在線語句塊簽名分配算法、語句塊簽名函數和變量簽名補償函數，檢測循環提前結束錯誤和循環滯后結束錯誤。該算法理論錯誤漏檢概率為1/A，其中A為編碼素數，選取97 - 10 993的素數進行錯誤漏檢概率測試，得到理論模型與測試結果的歸一化均方誤差（ NMSE）約為- 30 dB。測試結果表明，該算法可檢測循環控制中出現的各類錯誤，且編碼素數A接近2-32時，錯誤漏檢概率可達10-9，能夠滿足安全苛求系統的應用要求。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
基于ANBD碼的循環控制錯誤檢測算法下載
相關電子資料下載
- 口罩佩戴檢測算法 55
- 人員跌倒識別檢測算法 84
- 安全帽佩戴檢測算法 95
- 大唐恩智浦創新：推出融合EIS的亞健康電芯6D檢測算法！ 361
- 【昇騰系列產品應用】英碼科技EA500I邊緣計算盒子接口使用示例和目標檢測算法 49
- 一文讀懂：圖像特征檢測算法！ 726
- 大學畢業設計一席談之四十一壓電信號的睡眠檢測算法(13)程序升級 293
- 網絡社交機器人檢測的關鍵技術 548
- 柔性印刷線路板缺陷檢測方法指南 244
- 圖像邊緣原理介紹 1066