完整後設資料紀錄
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | 曾, 怜玉 Jr | |
dc.contributor.author | 林, 祐安 Jr | |
dc.date.accessioned | 2011-03-06T19:32:38Z | |
dc.date.accessioned | 2020-05-18T03:22:05Z | - |
dc.date.available | 2011-03-06T19:32:38Z | |
dc.date.available | 2020-05-18T03:22:05Z | - |
dc.date.issued | 2011-03-06T19:32:38Z | |
dc.date.submitted | 2009-11-28 | |
dc.identifier.uri | http://dspace.lib.fcu.edu.tw/handle/2377/30037 | - |
dc.description.abstract | 可滿足性問題(satisfiability problem) 為計算複雜度NP 是否等於P 問題的核心問題, 並在人工智慧、硬體設計、VLSI 測試與驗證、 最佳化問題等領域有諸多應用。本研究中使用一 改良的區域搜尋演算法來解可滿足性問題。針對 目前為止所發展的演算法的弱點,以下列方法加 以克服:1. 提出新的適應度函數以加強對搜尋之 引導;2. 並於區域搜尋演算法中加入重設條件, 捨棄陷於區域最佳解附近的解以達到系統化的 搜尋。我們應用本論文所提出之演算法於 Gottlieb、Marchiori 與Rossi 於2002 年所匯整的 題組中,和其他演算法進行比較,獲得了不錯的 成果。 | |
dc.description.sponsorship | National Taipei University,Taipei | |
dc.format.extent | 11p. | |
dc.relation.ispartofseries | NCS 2009 | |
dc.subject | 區域搜尋演算法 | |
dc.subject | 可滿足性問題 | |
dc.subject.other | Workshop on Algorithms and Bioinformatics | |
dc.title | 解可滿足性問題之新區域搜尋演算法 | |
分類: | 2009年 NCS 全國計算機會議 |
文件中的檔案:
檔案 | 描述 | 大小 | 格式 | |
---|---|---|---|---|
AB 3-3.pdf | 273.99 kB | Adobe PDF | 檢視/開啟 |
在 DSpace 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。