格式:doc
大?。?span class="single-tag-height">57KB
頁數(shù): 3頁
本文將詳細(xì)探討水蠟和固蠟在建設(shè)工程領(lǐng)域的區(qū)別。通過對(duì)比它們的特性、應(yīng)用范圍、施工過程等方面進(jìn)行詳細(xì)說明,幫助讀者更好地理解和選擇適合的蠟劑。
格式:pdf
大?。?span class="single-tag-height">192KB
頁數(shù): 4頁
為了在早期階段發(fā)現(xiàn)電路設(shè)計(jì)錯(cuò)誤,需要對(duì)包含未知部分的實(shí)現(xiàn)電路和規(guī)范電路進(jìn)行等價(jià)性驗(yàn)證。本文提出了一種"分而治之"的方法,把電路劃分成若干子電路,使用四值邏輯模擬技術(shù)對(duì)電路未知部分進(jìn)行量化,然后對(duì)子電路的合取范式進(jìn)行可滿足性驗(yàn)證。這種方法增強(qiáng)了算法的錯(cuò)誤檢測(cè)能力,通過在ISCAS’85基準(zhǔn)電路和10個(gè)簡(jiǎn)單組合電路上得到的兩組實(shí)驗(yàn)數(shù)據(jù)表明了此算法的有效性和可行性。