完整後設資料紀錄
DC 欄位語言
dc.contributor.author曾, 怜玉 Jr
dc.contributor.author林, 祐安 Jr
dc.date.accessioned2011-03-06T19:32:38Z
dc.date.accessioned2020-05-18T03:22:05Z-
dc.date.available2011-03-06T19:32:38Z
dc.date.available2020-05-18T03:22:05Z-
dc.date.issued2011-03-06T19:32:38Z
dc.date.submitted2009-11-28
dc.identifier.urihttp://dspace.lib.fcu.edu.tw/handle/2377/30037-
dc.description.abstract可滿足性問題(satisfiability problem) 為計算複雜度NP 是否等於P 問題的核心問題, 並在人工智慧、硬體設計、VLSI 測試與驗證、 最佳化問題等領域有諸多應用。本研究中使用一 改良的區域搜尋演算法來解可滿足性問題。針對 目前為止所發展的演算法的弱點,以下列方法加 以克服:1. 提出新的適應度函數以加強對搜尋之 引導;2. 並於區域搜尋演算法中加入重設條件, 捨棄陷於區域最佳解附近的解以達到系統化的 搜尋。我們應用本論文所提出之演算法於 Gottlieb、Marchiori 與Rossi 於2002 年所匯整的 題組中,和其他演算法進行比較,獲得了不錯的 成果。
dc.description.sponsorshipNational Taipei University,Taipei
dc.format.extent11p.
dc.relation.ispartofseriesNCS 2009
dc.subject區域搜尋演算法
dc.subject可滿足性問題
dc.subject.otherWorkshop on Algorithms and Bioinformatics
dc.title解可滿足性問題之新區域搜尋演算法
分類:2009年 NCS 全國計算機會議

文件中的檔案:
檔案 描述 大小格式 
AB 3-3.pdf273.99 kBAdobe PDF檢視/開啟


在 DSpace 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。