【摘要】：為了方便查詢合成孔徑雷達(dá)(synthetic aperture radar,SAR)數(shù)據(jù)產(chǎn)品的來源,評(píng)估其質(zhì)量和可靠性,再現(xiàn)其產(chǎn)生過程,使用溯源技術(shù)記錄其衍生過程并管理其處理流程。分析SAR數(shù)據(jù)處理流程的特點(diǎn),提出了基于分層二部圖的溯源模型(hierarchical bigraph provenance model,HBPM),設(shè)計(jì)了基于HBPM的溯源倉庫及檢索語言(provenance data query language,PDQL),并實(shí)現(xiàn)了流程再現(xiàn)、溯源信息可視化等應(yīng)用。在江蘇省地面沉降監(jiān)測(cè)系統(tǒng)中,通過一個(gè)SAR數(shù)據(jù)處理流程溯源的案例——用基于SAR技術(shù)的短基線(small baselines subset,SBAS)方式檢測(cè)地面沉降情況,驗(yàn)證該溯源方法的可行性。
【圖文】：

ｖｊ∈ＶＤ｝。但是，用二部圖來表達(dá)ＳＡＲ數(shù)據(jù)處理流程的溯源信息存在明顯不足：ＳＡＲ數(shù)據(jù)處理中參數(shù)數(shù)目和類型都很多，而且操作環(huán)境不同還會(huì)發(fā)生較大變化。二部圖沒法表達(dá)環(huán)境參數(shù)，也不能直接表達(dá)處理之間或是數(shù)據(jù)之間的聯(lián)系。因此，本文提出了分層二部圖來解決這些問題。將二部圖分成若干個(gè)子圖，每個(gè)子圖都是以處理為中心、詳細(xì)表達(dá)流程中的一步，包括輸入輸出數(shù)據(jù)、處理及相應(yīng)參數(shù)以及其他元數(shù)據(jù)信息。多個(gè)分層子二部圖嵌套在一起，順利描述整個(gè)流程溯源信息。每個(gè)子圖以一個(gè)處理為核心，圖１中虛線框表示各個(gè)子圖不同的運(yùn)行環(huán)境。分層二部圖定義如下：定義２分層二部圖Ｇ＝｛Ｇ１，Ｇ２，…，Ｇｎ｝，其中Ｇｉ＝｛Ｖｉ，１∪Ｖｉ，２，Ｅｉ｝，ｎ是子圖的個(gè)數(shù)，１≤ｉ≤ｎ。圖１分層二部圖Ｆｉｇ．１ＨｉｅｒａｒｃｈｉｃａｌＢｉＧｒａｐｈ圖１中子圖Ｇ１＝｛Ｖ１，１∪Ｖ１，２，Ｅ１｝，Ｖ１，１＝｛數(shù)據(jù)１，數(shù)據(jù)２，數(shù)據(jù)３｝，Ｖ１，２＝｛處理１｝，，Ｅ１＝｛＜數(shù)據(jù)１，處理１＞，＜數(shù)據(jù)２，處理２＞，＜處理１，數(shù)據(jù)３＞｝，數(shù)據(jù)３節(jié)點(diǎn)既屬于圖Ｇ１，又屬于Ｇ２。分層二部圖由３部分組成：數(shù)據(jù)集（ＤａｔａＳｅｔ）、處理（Ｐｒｏｃｅｓｓ）和關(guān)系（Ｒｅｌａｔｉｏｎ）。本文借用Ｗ３ＣＰＲＯＶ模型中實(shí)體（Ｅｎｔｉｔｙ）與活動(dòng)（Ａｃｔｉｖｉｔｙ）之間的關(guān)系Ｕｓｅｄ和ＷａｓＧｅｎｅｒａｔｅｄＢｙ，細(xì)化并擴(kuò)展得到關(guān)系Ｒｅｌａｔｉｏｎ集合的４個(gè)基

Ｐ２）∧（Ｐ２迤迤迤→ＬｏｗｅｒＰ３）∧…∧（Ｐｎ－１迤迤迤→ＬｏｗｅｒＰｎ）

本文編號(hào)：2543474