PCB的審查規(guī)則知識表示及智能審查方法研究.pdf

1、電子產(chǎn)品小體積、高密度的發(fā)展趨勢，使得印制電路板(PCB)的設計、加工制造過程越來越復雜。為了解決目前審查方法效率低、靈活性不足等問題，對PCB的審查規(guī)則知識表示及智能審查方法的研究具有重要意義。
　　本文將謂詞邏輯和模糊邏輯的隸屬函數(shù)相結合，提出了一種適應于PCB審查規(guī)則特點的謂詞隸屬邏輯知識表示法。通過謂詞隸屬邏輯表示法的定義及審查規(guī)則的分類知識表示，解決了現(xiàn)有知識表示法不能統(tǒng)一表示審查規(guī)則中確定性和不確定性知識的問題；通過隸

2、屬函數(shù)的確定與量化編輯器的設計，實現(xiàn)了規(guī)則的量化，解決了知識在計算機中的應用與存儲問題。建立了知識庫、審查方法庫及評價庫驅(qū)動的審查推理模型，實現(xiàn)了PCB設計數(shù)據(jù)的智能審查，一定程度上解決了已有審查方法存在的問題。
　　實驗表明，本文提出的謂詞隸屬邏輯知識表示法能較好地表示審查規(guī)則，為PCB領域的知識表示奠定了堅實基礎。以本文審查推理模型為基礎的智能審查方法不但能快速發(fā)現(xiàn)設計錯誤，且交互性、靈活性和可擴充性好。下一步將研究審查規(guī)則中