混合搜索的含邏輯“與”“或”的RM優化算法
大小:1.11 MB 人氣: 2017-12-25 需要積分:3
標簽:優化算法(9623)
相對于標準約束優化問題,廣義約束優化問題(或稱析取優化問題1的等式或不等式約束條件中不僅包含邏輯“與”關系,還含有邏輯“或”關系.單調速率(RM)優化問題是廣義約束優化問題的一個重要應用.目前RM優化問題已有的解法包括函數變換、混合整數規劃、線性規劃搜索等算法.隨著任務數的增多,這些算法的求解時間較長.提出一種基于線性規劃的深度廣度混合搜索算法(LPHS),將廣義約束優化問題拆分成若干子問題建立線性規劃搜索樹,合理選擇搜索順序,利用動態剪枝算法減小子問題的規模,最終求得最優解,實驗結果表明,LPHS算法比其他方法有明顯的效率提升.研究成果與計算機基礎理論中的可滿足性模理論的研究相結合,有助于提高可滿足性模理論問題的求解效率,促進該理論在程序驗證、符號執行等領域的進一步應用.
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
混合搜索的含邏輯“與”“或”的RM優化算法下載
相關電子資料下載
- 神經網絡優化算法有哪些 70
- 全面總結機器學習中的優化算法 332
- 邊緣計算計算卸載與資源分配聯合優化算法 852
- 粒子群優化算法PSO優化模糊控制論域 863
- 從淺層到深層神經網絡:概覽深度學習優化算法 517
- 鯨魚優化算法MATLAB實戰 1149
- 車載雷達在墓地內識別到多位行人?理想回應:傳感器局限,會優化算法 262
- 什么是針對GPU單指令多數據流的編譯優化算法 837
- 什么是深度學習中優化算法 1298
- 基于OpenCV和MCU的優化算法 466