資料介紹
自適應軟件(self-adaptive software)能夠在運行時實時監測上下文變化并對自身進行動態調整,以消除或減輕變化帶來的不利影響。它能夠有效應對運行環境和用戶需求的頻繁變化,降低軟件維護壓力,增強自身容錯和應對變化的能力,現已成為軟件工程領域的熱點研究問題。
為提高自適應軟件的可靠性,需對自適應軟件的動態過程進行形式化建模和分析。基于此,國內外學者針對自適應軟件的形式化方法開展了大量研究,能夠較好地支持自適應邏輯和自適應行為的刻畫和分析,卻鮮有研究考慮自適應動態過程的時間約束。然而,實踐表明,在時間攸關應用領域,自適應軟件系統能否正確運行,不僅依賴于自適應邏輯的正確性,而且要考慮系統自適應過程的時間特性。首先,自適應軟件的開發需在原應用邏輯之上構建自適應邏輯,而自適應邏輯的引入勢必會給原系統帶來時間開銷,將自適應邏輯的時間開銷降到最低需綜合考慮自適應各個子過程(如監控、分析、規劃和執行等)的時間約束;其次,自適應軟件的很多應用場景具有及時響應性,如課題組前期研究中的自適應火災應急響應系統,需要系統能夠及時捕獲險情、及時傳遞險情并能夠及時啟動應急設備,要刻面這類具有實時性的自適應場景,時間特性是一個重要方面;最后,軟件形式化方法只能分析和驗證自適應邏輯的正確性,不能衡量自適應邏輯的響應速度和響應效果,現有研究尚缺乏性能指標和評估方法以全面評估自適應邏輯的性能。

掃碼添加小助手
加入工程師交流群
- 環境感知自適應軟件的驗證技術綜述 4次下載
- 過程系統建模與仿真.pdf 0次下載
- 視頻壓縮感知自適應改進 1次下載
- 基于自適應動態規劃的SVC自適應優化控制策略 19次下載
- 分層學習的自適應動態規劃 0次下載
- 模糊系統建模應用-自適應模糊控制 0次下載
- 無線傳感器網絡的系統化自適應建模_鐘杰卓 0次下載
- 無刷直流電機自適應模糊控制系統建模與仿真 16次下載
- 基于單片機的自適應軟件解碼方式的研究 84次下載
- 實現軟件定義無線電和認知無線電的自適應特性
- 軟件過程建模方法研究
- 帶有未建模動態的船舶減搖鰭的魯棒自適應控制
- 基于模糊推理的模型參考自適應內模控制的研究
- 稱重傳感器自適應動態補償器設計
- 基于自適應動態規劃的系統邊際電價預測
- 配電房自適應濾波聲紋傳感器:智能監測的新維度 246次閱讀
- 多時間尺度耦合建模:多電航空發動機實時仿真中的微秒-毫秒級動態整合技術研究 662次閱讀
- 電磁干擾自適應抑制系統:動態智能應對復雜電磁環境核心方案 275次閱讀
- Texas Instruments LMH0044SQ/NOPB 自適應電纜均衡器的參數特性、EDA模型 數據手冊分享 949次閱讀
- 為什么選擇自適應AUTOSAR平臺? 1.7k次閱讀
- 基于CMOS圖像傳感器實現快速實時的自適應曝光電路設計 4.8k次閱讀
- 工業機器人自適應運動控制技術 2.4k次閱讀
- 自適應天線系統簡介!自適應天線系統研制概況! 7.1k次閱讀
- 自適應控制的應用實例 2.2w次閱讀
- 自適應控制的優缺點_自適應控制存在的問題及發展 5.3w次閱讀
- 自適應控制的分類_自適應控制的主要類型 3.2w次閱讀
- 什么是自適應控制_自適應控制基本原理 5.8w次閱讀
- 自適應濾波算法理解與應用 2.7w次閱讀
- 自適應濾波器的作用、原理以及相關應用 2.4w次閱讀
- 一種新型帶寬自適應全數字鎖相環的設計方案 3.7k次閱讀
下載排行
本周
- 1MDD品牌三極管MMBT3906數據手冊
- 2.33 MB | 次下載 | 免費
- 2MDD品牌三極管S9012數據手冊
- 2.62 MB | 次下載 | 免費
- 3聯想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費
- 4收音環繞擴音機 AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 524Pin Type-C連接器設計報告
- 1.06 MB | 次下載 | 免費
- 6新一代網絡可視化(NPB 2.0)
- 3.40 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術手冊
- 0.60 MB | 次下載 | 免費
- 8MS1022高精度時間測量(TDC)電路數據手冊
- 1.81 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數據手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發燒友App





創作
發文章
發帖
提問
發資料
發視頻
上傳資料賺積分
評論