技術(shù)編號(hào):9235594
提示:您尚未登錄,請(qǐng)點(diǎn) 登 陸 后下載,如果您還沒(méi)有賬戶(hù)請(qǐng)點(diǎn) 注 冊(cè) ,登陸完成后,請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。 本發(fā)明設(shè)及一種檢測(cè)模型的優(yōu)化方法,尤其是一種可能性測(cè)度計(jì)算樹(shù)邏輯檢測(cè)模 型的優(yōu)化方法,屬于模型檢測(cè)。背景技術(shù) 作為一種智能化、自動(dòng)化的軟硬件裝置驗(yàn)證方法,模型檢測(cè)具有諸多方面的優(yōu)勢(shì), 例如具有較高的適用性、準(zhǔn)確性與高效性等,正是由于其具有上述的優(yōu)勢(shì),使其在軟硬件集 成設(shè)計(jì)等諸多方面深受歡迎,并且獲得有關(guān)研發(fā)單位的大力推廣。 現(xiàn)階段,大量相關(guān)專(zhuān)家對(duì)模式檢測(cè)該一個(gè)課題展開(kāi)探討,取得了一系列進(jìn)展, Kattenbelt等W在研究過(guò)程中闡明基于可能性測(cè)度計(jì)算樹(shù)邏...
注意:該技術(shù)已申請(qǐng)專(zhuān)利,請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出,在未取得專(zhuān)利權(quán)人授權(quán)前,僅供技術(shù)研究參考不得用于商業(yè)用途。
該專(zhuān)利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán),增加技術(shù)思路,做技術(shù)知識(shí)儲(chǔ)備,不適合論文引用。
請(qǐng)注意,此類(lèi)技術(shù)沒(méi)有源代碼,用于學(xué)習(xí)研究技術(shù)思路。