您好，欢迎来电子发烧友网！ ，新用户？[免费注册]

您的位置：电子发烧友网>源码下载>数值算法/人工智能>

一个基于两区间八边形约束的抽象域

大小：0.67 MB 人气： 2017-11-21 需要积分：0

推荐 + 挑错 + 收藏(0) + 用户评论（0）

前往下载地址

分享到:

标签：约束(12663)区间(8033)

　　抽象解释静态程序分析技术用来发现运行时错误，保证程序正确性，已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面，然而大部分已存在的数值抽象域无法表示程序的非凸性质，抽象域的这种凸性限制很多时候会影响数值分析的精度，甚至带来更多误报。基于两区间八边形约束，提出了一个新的数值抽象域，其约束形式为z±y∈［a，b］U［c，d］，其中z和y表示变量取值，a，6，c，d∈R。该抽象域的域元素是用两区间八边形约束表示，因此可以表达某类非凸性质，表达能力强于经典的八边形抽象域，并且相对于八边形抽象域，域操作的计算复杂度并没有提高太多。

一个基于两区间八边形约束的抽象域

非常好我支持^.^

(0) 0%

不好我反对

(0) 0%

用户评论

发表评论即可获得积分！ 详见积分规则

      发表评论

      用户评论
      评价:好评中评差评

      发表评论，获取积分！ 请遵守相关规定！