一個(gè)基于兩區(qū)間八邊形約束的抽象域
大小：0.67 MB 人氣： 2017-11-21 需要積分：0
推薦 + 挑錯(cuò) + 收藏(0) + 用戶(hù)評(píng)論（0）
標(biāo)簽：約束(12663)區(qū)間(8033)
抽象解釋靜態(tài)程序分析技術(shù)用來(lái)發(fā)現(xiàn)運(yùn)行時(shí)錯(cuò)誤，保證程序正確性，已經(jīng)被成功應(yīng)用到工業(yè)界。抽象域是抽象解釋理論中的一個(gè)重要方面，然而大部分已存在的數(shù)值抽象域無(wú)法表示程序的非凸性質(zhì)，抽象域的這種凸性限制很多時(shí)候會(huì)影響數(shù)值分析的精度，甚至帶來(lái)更多誤報(bào)。基于兩區(qū)間八邊形約束，提出了一個(gè)新的數(shù)值抽象域，其約束形式為z±y∈［a，b］U［c，d］，其中z和y表示變量取值，a，6，c，d∈R。該抽象域的域元素是用兩區(qū)間八邊形約束表示，因此可以表達(dá)某類(lèi)非凸性質(zhì)，表達(dá)能力強(qiáng)于經(jīng)典的八邊形抽象域，并且相對(duì)于八邊形抽象域，域操作的計(jì)算復(fù)雜度并沒(méi)有提高太多。
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%
下載地址
一個(gè)基于兩區(qū)間八邊形約束的抽象域下載
相關(guān)電子資料下載
- 鴻蒙ArkTS聲明式開(kāi)發(fā)：跨平臺(tái)支持列表【布局約束】 通用屬性 142
- 加法進(jìn)位鏈的手動(dòng)約束 802
- FPGA工程的時(shí)序約束實(shí)踐案例 238
- Xilinx FPGA的約束設(shè)置基礎(chǔ) 334
- 時(shí)序約束實(shí)操 1501
- 云天勵(lì)飛如何打破大模型應(yīng)用的“三角約束”？ 162
- 臺(tái)積電今年資本支出料不會(huì)調(diào)高，維持280億美元至320億美元區(qū)間 159
- 我們?cè)撊绾螒?yīng)對(duì)SOC中越來(lái)越龐大和復(fù)雜的SDC約束？ 661
- FH-900F 分布式故障定位在線監(jiān)測(cè)裝置 導(dǎo)線故障區(qū)間定位可靠性≥99% 279
- FPGA時(shí)鐘約束余量超差問(wèn)題的解決方案 341