精品国产人成在线_亚洲高清无码在线观看_国产在线视频国产永久2021_国产AV综合第一页一个的一区免费影院黑人_最近中文字幕MV高清在线视频

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

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

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

大小: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%

      發表評論

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

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

      ?