Abstract
傳統的定性推理多用在模擬即有系統的行為上【DeKleer84a】【Kuipers 85】。藉著因果訣竅的幫助，定性推理也可以用來推導一個物理系統內各個元件的功能【DeKle-eer84b】。在本論文中，我試著只依據對系統的定性行為描述，來設計一些簡單的類比電路。一個系統具有狀態內與狀態間兩種行為。對於狀態內行為，我重新整理DeK-leer的因果訣竅，將其用在由下往上、找尋滿足要求行為的電路元件與接線上 (例四) ；對於狀態間行為，我說明缺乏訣竅的結果，往往使得由下往上的搜尋卡住 (例二) 。因此，利用分解原理，我改採由上往下找尋的策略來合成電路 (例一、例三) 。共計有四個電路設計的例子舉出來，用以說明這些細節。例一是Ｉ－Ｖ特性曲線設計，採由上往下搜尋來合成電路，以滿足要求的狀態間行為 (由Ｉ－Ｖ圖給定) 。其分解規則是根據ＫＣＬ及ＫＶＬ在Ｉ－Ｖ圖上的疊加原理得來。例二是Ｖｉ－Ｖｏ傳輸函數設計，採由下往上搜尋來合成電路，以滿足要求的狀態間行為 (由Ｖｉ－Ｖｏ圖給定) 。其引導搜尋的訣竅假設了上例中Ｉ－Ｖ圖的適用性。該假設並無法推廣應用於更複雜的Ｖｉ－Ｖｏ傳輸函數設計。例三也是Ｖｉ－Ｖｏ傳輸函數設計，但採由上往下搜尋來合成電路，以滿足要求的狀態間行為 (由Ｖｉ－Ｖｏ圖給定) 。其分解運算子是根據運算放大器的加成性、反相性、及二極體對回饋單向抑制性等得來。例四是輸入╱輸出信號路徑設計，採由下往上搜尋來合成電路，以滿足要求的狀態內行為 (Ｘ↑→Ｙ↑、↑↑、↓、或↓↓具＋或－回饋) 。其引導搜尋的因果訣竅假設了系統阻抗為正、未知信號其影響力為零等。