含有析取語(yǔ)義循環(huán)的不變式生成改進(jìn)方法
大小：1.79 MB 人氣： 2018-01-12 需要積分：3
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）
標(biāo)簽：循環(huán)(15883)語(yǔ)義(8634)
抽象解釋為程序不變式的自動(dòng)化生成提供了通用的框架，但是該框架下的大多數(shù)已有數(shù)值抽象域只能表達(dá)幾何上是凸的約束集．因此，對(duì)于包含（所對(duì)應(yīng)的約束集是非凸的）析取語(yǔ)義的特殊程序結(jié)構(gòu)，采用傳統(tǒng)數(shù)值抽象域會(huì)導(dǎo)致分析結(jié)果不精確，針對(duì)顯式和隱式含有析取語(yǔ)義的循環(huán)結(jié)構(gòu)，提出了基于循環(huán)分解和歸納推理的不變式生成改進(jìn)方法。緩解了抽象解釋分析中出現(xiàn)的語(yǔ)義損失問(wèn)題．實(shí)驗(yàn)結(jié)果表明：相比已有方法，該方法能為這種包含析取語(yǔ)義的循環(huán)結(jié)構(gòu)生成更加精確的不變式，并且有益于一些安全性質(zhì)的推理．
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%
下載地址
含有析取語(yǔ)義循環(huán)的不變式生成改進(jìn)方法下載
相關(guān)電子資料下載
- rnn是遞歸神經(jīng)網(wǎng)絡(luò)還是循環(huán)神經(jīng)網(wǎng)絡(luò) 165
- 遞歸神經(jīng)網(wǎng)絡(luò)與循環(huán)神經(jīng)網(wǎng)絡(luò)一樣嗎 139
- 遞歸神經(jīng)網(wǎng)絡(luò)是循環(huán)神經(jīng)網(wǎng)絡(luò)嗎 199
- 循環(huán)神經(jīng)網(wǎng)絡(luò)算法原理及特點(diǎn) 158
- 循環(huán)神經(jīng)網(wǎng)絡(luò)算法有哪幾種 153
- 循環(huán)神經(jīng)網(wǎng)絡(luò)有哪些基本模型 162
- 循環(huán)神經(jīng)網(wǎng)絡(luò)的缺點(diǎn)是存在什么問(wèn)題 159
- 循環(huán)神經(jīng)網(wǎng)絡(luò)的應(yīng)用場(chǎng)景有哪些 92
- 循環(huán)神經(jīng)網(wǎng)絡(luò)處理什么數(shù)據(jù) 166
- 循環(huán)神經(jīng)網(wǎng)絡(luò)的基本概念 168