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