曰本美女∴一区二区特级A级黄色大片, 国产亚洲精品美女久久久久久2025, 页岩实心砖-高密市宏伟建材有限公司, 午夜小视频在线观看欧美日韩手机在线,国产人妻奶水一区二区,国产玉足,妺妺窝人体色WWW网站孕妇,色综合天天综合网中文伊,成人在线麻豆网观看

您好,歡迎來電子發(fā)燒友網(wǎng)! ,新用戶?[免費注冊]

您的位置:電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

混合搜索的含邏輯“與”“或”的RM優(yōu)化算法

大小:1.11 MB 人氣: 2017-12-25 需要積分:3

  相對于標準約束優(yōu)化問題,廣義約束優(yōu)化問題(或稱析取優(yōu)化問題1的等式或不等式約束條件中不僅包含邏輯“與”關系,還含有邏輯“或”關系.單調(diào)速率(RM)優(yōu)化問題是廣義約束優(yōu)化問題的一個重要應用.目前RM優(yōu)化問題已有的解法包括函數(shù)變換、混合整數(shù)規(guī)劃、線性規(guī)劃搜索等算法.隨著任務數(shù)的增多,這些算法的求解時間較長.提出一種基于線性規(guī)劃的深度廣度混合搜索算法(LPHS),將廣義約束優(yōu)化問題拆分成若干子問題建立線性規(guī)劃搜索樹,合理選擇搜索順序,利用動態(tài)剪枝算法減小子問題的規(guī)模,最終求得最優(yōu)解,實驗結果表明,LPHS算法比其他方法有明顯的效率提升.研究成果與計算機基礎理論中的可滿足性模理論的研究相結合,有助于提高可滿足性模理論問題的求解效率,促進該理論在程序驗證、符號執(zhí)行等領域的進一步應用.

混合搜索的含邏輯“與”“或”的RM優(yōu)化算法

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

      用戶評論
      評價:好評中評差評

      發(fā)表評論,獲取積分! 請遵守相關規(guī)定!

      ?