基于Petri網(wǎng)的遙感產(chǎn)品生產(chǎn)模型研究與應(yīng)用.pdf

1、隨著遙感應(yīng)用領(lǐng)域及范圍的日益擴(kuò)大，遙感產(chǎn)品生產(chǎn)的規(guī)模也越來越大，為了解決遙感產(chǎn)品生產(chǎn)的專業(yè)化、規(guī)?；?、快速化等問題，需要設(shè)計(jì)構(gòu)建可讀性強(qiáng)，且能被計(jì)算機(jī)接受的遙感產(chǎn)品生產(chǎn)模型。傳統(tǒng)的工作流模型或者流程圖并不能有效地描述復(fù)雜的遙感產(chǎn)品生產(chǎn)過程，使得遙感產(chǎn)品生產(chǎn)線無法滿足行業(yè)用戶的需求。當(dāng)前遙感產(chǎn)品的生產(chǎn)的主要思想是算法組件化，為了適應(yīng)遙感產(chǎn)品生產(chǎn)特點(diǎn)的變化，本文提出了基于算法組件化思想和Petri網(wǎng)理論的遙感產(chǎn)品生產(chǎn)模型建模方法，該方法具有

2、重要的理論意義和現(xiàn)實(shí)的應(yīng)用價(jià)值。
　　本文首先對Petri網(wǎng)相關(guān)理論進(jìn)行了描述，分析了遙感產(chǎn)品生產(chǎn)的特點(diǎn)及其流程，然后借鑒Petri網(wǎng)解決實(shí)際問題的經(jīng)驗(yàn)，構(gòu)建了基于Petri網(wǎng)的遙感產(chǎn)品生產(chǎn)模型，從語法和語義的角度對模型進(jìn)行校驗(yàn)，并利用Visual Object Net++仿真軟件對其進(jìn)行仿真分析。此外，本文還利用Petri網(wǎng)并發(fā)理論分析了模型的并行性，并結(jié)合實(shí)際的遙感生產(chǎn)情況，對生產(chǎn)流程進(jìn)行了變更。最后，介紹了該模型在實(shí)際項(xiàng)目中

3、的應(yīng)用情況。具體研究工作包含以下幾個(gè)方面:
　　(1)對遙感產(chǎn)品生產(chǎn)特點(diǎn)及流程進(jìn)行了分析與研究，指出遙感產(chǎn)品生產(chǎn)過程中存在的同步、并發(fā)和順序等關(guān)系;詳細(xì)介紹了Petri網(wǎng)相關(guān)理論，并分析了Petri網(wǎng)在遙感產(chǎn)品生產(chǎn)建模中的優(yōu)勢。
　　(2)定義了表征遙感產(chǎn)品生產(chǎn)的符號及意義，建立了基于Petri網(wǎng)的遙感產(chǎn)品生產(chǎn)模型（RSPN模型），從可達(dá)性、合理性以及沖突等方面對模型進(jìn)行了校驗(yàn)，并對模型進(jìn)行了仿真分析。
　　(3)研究