歡迎來(lái)到優(yōu)發(fā)表網(wǎng)！
基于SVM的多項(xiàng)式循環(huán)程序秩函數(shù)生成
作者：李軼; 蔡天訓(xùn); 樊建峰; 吳文淵; 馮勇 中國(guó)科學(xué)院重慶綠色智能技術(shù)研究院自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室; 重慶400714; 薩基姆通訊(深圳)有限公司; 廣東深圳518000; 中國(guó)科學(xué)院大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院; 北京100093
摘要：程序終止性問(wèn)題是自動(dòng)程序驗(yàn)證領(lǐng)域中的一個(gè)研究熱點(diǎn)。秩函數(shù)探測(cè)是進(jìn)行終止性分析的主要方法。針對(duì)單重?zé)o條件分支的多項(xiàng)式循環(huán)程序,將其秩函數(shù)計(jì)算問(wèn)題歸結(jié)為二分類(lèi)問(wèn)題,從而可利用支持向量機(jī)(SVM)算法來(lái)計(jì)算程序的秩函數(shù)。與基于量詞消去技術(shù)的秩函數(shù)計(jì)算方法不同,該方法能在可接受的時(shí)間范圍內(nèi)探測(cè)到更為復(fù)雜的秩函數(shù)。
注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢雜志社。
軟件學(xué)報(bào)雜志
軟件學(xué)報(bào)雜志， 月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅(jiān)持科學(xué)性、學(xué)術(shù)性、先進(jìn)性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：理論計(jì)算機(jī)科學(xué)、系統(tǒng)軟件與軟件工程、模式識(shí)別與人工智能、數(shù)據(jù)庫(kù)技術(shù)、計(jì)算機(jī)網(wǎng)絡(luò)與信息安全、計(jì)算機(jī)體系結(jié)構(gòu)等。于1990年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。
- 北大期刊
- CSCD期刊
- 統(tǒng)計(jì)源期刊
- 1-3個(gè)月審核
