隨著近年來先進製程的演進，帶來了運算能力更強大且面積更小的電路。由於臨界邏輯 (Threshold Logic) 的運作行為容 易使用先進 的奈米級元件 實現，例如: Resonant Tunneling Diodes (RTD)、Quantum Cellular Automata (QCA)、Single-electron Tunneling (SET) 和 Tunneling Phase Logic (TPL)。因此有許多研究者對臨界邏輯的潛力感到興趣。如何開發一個能夠在布林邏輯 (Boolean Logic) 與臨界邏輯間快速且有效地轉換方法，變成一個需要被解決的問題。 在本篇論文中，我們開發了一個考慮引導式二階權重提取，進而改進傳統基於整數線性規劃辨認二階臨界函數的方法。我們主要提出了一個有效的啟發，透過三個充分條件辨認出不同型態的二階權重提取方式，用以舉出所有可能被提取出的二階權重。與純粹基於整數線性規劃的方法相比，本論文的方法分別在 TLNK6 的實驗中，減少花費了 6.64% 的時間同時具有 99.31% 的相當質量；在 TLNK15 的實驗中，減少花費 了 32.88% 的時間同時具有 95.51% 相當的質量。此外，與純粹基於整數線性規劃的方法相比，在 k-input-TFs 的實驗中，所提出的方法也減少花費了 24.23% 的時間同時具有94.74% 相當的質量。;In recent years, the advances of emerging technologies bring more computational power and compact circuits. Since Threshold Logic has the behavior that can be easily implemented with emerging nanoscale devices, such as Resonant Tunneling Diodes (RTD), Quantum Cellular Automata (QCA), Single-electron Tunneling (SET) and Tunneling Phase Logic (TPL), many researchers are attracted by the potential of Threshold Logic. Therefore, how to develop a fast and effective method for the translation between Threshold Logic and Boolean Logic becomes a problem needs to be solved. In this thesis, we improve the conventional ILP-based method for identifying 2nd-order Threshold Function with guided 2-weight extraction. We propose an effective heuristic, which contains three sufficient conditions that can identify different types of 2-weight extractions, to enumerate possibly extracted 2-weights. In the experiments of TLNK6 and TLNK15, the proposed method saves 6.64% and 32.88% of ILP solving time, and has 99.31% and 95.51% of quality compared to the pure ILP-based method, respectively. Furthermore, in contrast to the pure ILP-based method, the experimental results of k-input-TFs show that our method also saves 24.23% of ILP solving time and has 94.74% of quality.
