完整後設資料紀錄
| 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 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。