在线观看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%

      發表評論

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

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

      ?
      主站蜘蛛池模板: 三级网站免费 | 国产小视频免费观看 | 欧美在线一级视频 | 在线观看jyzzjyzz | 天天摸天天舔天天操 | 中文字幕一区二区三区免费视频 | 国产一区二区影院 | 四虎影院中文字幕 | 亚洲三级网址 | 日本xxxxxxxx69| 日本成人免费网站 | 高清国产美女在线观看 | 中文字幕一区二区三区有限公司 | 日本三级电影在线观看 | 久久性生活 | 亚洲免费成人网 | 欧美a在线 | 日本黄页网站 | 色吧综合 | 一级毛片女人喷潮 | 天堂8资源在线官网资源 | 日本不卡视频免费 | 中文字幕第十页 | 国产激烈床戏无遮挡在线观看 | 久久久久久亚洲精品 | 久久国内精品视频 | 国产精品视频久久久 | 9999毛片免费看 | 妖精视频永久在线入口 | 久久夜色精品国产噜噜 | 高清影院在线欧美人色 | 成人午夜小视频手机在线看 | 国产高清免费在线观看 | 激情五月深爱五月 | 狠狠色噜噜狠狠狠狠黑人 | 亚洲怡红院在线观看 | 亚洲+国产+图片 | 伊人亚洲 | 男人的天堂视频在线 | 视频在线一区二区 | 欧美性色xo影院永久禁欲 |