在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

您好,歡迎來電子發燒友網! ,新用戶?[免費注冊]

您的位置:電子發燒友網>源碼下載>數值算法/人工智能>

一個基于兩區間八邊形約束的抽象域

大小:0.67 MB 人氣: 2017-11-21 需要積分:0

  抽象解釋靜態程序分析技術用來發現運行時錯誤,保證程序正確性,已經被成功應用到工業界。抽象域是抽象解釋理論中的一個重要方面,然而大部分已存在的數值抽象域無法表示程序的非凸性質,抽象域的這種凸性限制很多時候會影響數值分析的精度,甚至帶來更多誤報。基于兩區間八邊形約束,提出了一個新的數值抽象域,其約束形式為z±y∈[a,b]U[c,d],其中z和y表示變量取值,a,6,c,d∈R。該抽象域的域元素是用兩區間八邊形約束表示,因此可以表達某類非凸性質,表達能力強于經典的八邊形抽象域,并且相對于八邊形抽象域,域操作的計算復雜度并沒有提高太多。

一個基于兩區間八邊形約束的抽象域

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

      用戶評論
      評價:好評中評差評

      發表評論,獲取積分! 請遵守相關規定!

      ?
      主站蜘蛛池模板: 中文字幕在线一区二区在线 | 六月丁香婷婷网 | 亚洲欧洲第一页 | 欧美猛交喷潮在线播放 | 求av网站| 欧美成人aaaa免费高清 | 欧美白人极品性喷潮 | 午夜视频网站 | 天天看视频 | 四虎成人影院网址 | 国产牛仔裤系列在线观看 | 国产二区三区 | 2021久久精品免费观看 | 国产一区二区三区四卡 | 国产在线精品一区免费香蕉 | 天天操天天插天天射 | 青青青草国产 | 手机看片福利 | 国产一级特黄在线视频 | 手机在线免费观看视频 | 色批网站www | 久久久噜噜噜 | 日日夜操 | 亚洲视频一二 | 高清国产美女在线观看 | 高清国产一区二区三区 | 日韩在线视频免费观看 | 欧美成人鲁丝片在线观看 | 亚洲欧美7777 | 久久亚洲国产成人影院 | 龙口护士门91午夜国产在线 | 久久青草91免费观看 | 五月天婷婷在线观看高清 | 六月丁香婷婷综合 | 色综合天天综合网站中国 | 特黄黄三级视频在线观看 | 扒开双腿爽爽爽视频www | 国产色婷婷精品综合在线手机播放 | 美女扒开尿口给男的桶个爽 | 欧美一级乱理片免费观看 | 在线毛片网站 |