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

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

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

本文編號：2543474