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

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

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