国产无玛黄色大片|99最新极品蜜臀精品久久|久久精品成人av|精品久久久久久中文幕人妻日本|99热资源站人妻多P无码|韩日黄色的男女免费大全|av在线尤物精品国产|无码av免费精品一区二区三区影院|东京热一区二区三区|久久久久久国产成人a亚洲精品无码

首頁(yè) > 期刊 > 軟件學(xué)報(bào) > 基于SVM的多項(xiàng)式循環(huán)程序秩函數(shù)生成 【正文】

基于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é)為二分類問(wèn)題,從而可利用支持向量機(jī)(SVM)算法來(lái)計(jì)算程序的秩函數(shù)。與基于量詞消去技術(shù)的秩函數(shù)計(jì)算方法不同,該方法能在可接受的時(shí)間范圍內(nèi)探測(cè)到更為復(fù)雜的秩函數(shù)。

注：因版權(quán)方要求，不能公開全文，如需全文，請(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è)月審核

服務(wù)介紹LITERATURE

正規(guī)發(fā)表流程 全程指導(dǎo)

多年專注期刊服務(wù)，熟悉發(fā)表政策，投稿全程指導(dǎo)。因?yàn)閷Ｗ⑺詫I(yè)。

保障正刊 雙刊號(hào)

推薦期刊保障正刊，評(píng)職認(rèn)可，企業(yè)資質(zhì)合規(guī)可查。

用戶信息嚴(yán)格保密

誠(chéng)信服務(wù)，簽訂協(xié)議，嚴(yán)格保密用戶信息，提供正規(guī)票據(jù)。

不成功可退款

如果發(fā)表不成功可退款或轉(zhuǎn)刊。資金受第三方支付寶監(jiān)管，安全放心。