MPEG-4視頻壓縮系統(tǒng)建模及驗(yàn)證.pdf

1、MPEG-4可以有效地對視頻數(shù)據(jù)進(jìn)行壓縮,但其結(jié)構(gòu)復(fù)雜,直接進(jìn)行應(yīng)用開發(fā)的難度比較大。本文對MPEG-4視頻壓縮系統(tǒng)的建模及驗(yàn)證方面進(jìn)行了研究,完成了基于UML的MPEG-4系統(tǒng)模型設(shè)計及驗(yàn)證,并實(shí)現(xiàn)了UML活動圖到Petri網(wǎng)的轉(zhuǎn)換器的設(shè)計。
　　本文對系統(tǒng)建模的關(guān)鍵技術(shù)進(jìn)行研究,其中包括面向?qū)ο蟮?UML建模和形式化的Petri網(wǎng)建模。在掌握MPEG-4原理,熟悉視頻處理的流程的基礎(chǔ)上,利用UML對視頻系統(tǒng)的關(guān)鍵模塊(如DCT

2、、量化、熵編碼、運(yùn)動估計和運(yùn)動補(bǔ)償?shù)?進(jìn)行建模。根據(jù)功能模塊的特點(diǎn),采用面向?qū)ο蟮脑O(shè)計方法從不同角度進(jìn)行設(shè)計,主要包括用例圖、類圖、順序圖、活動圖和狀態(tài)圖,完成視頻壓縮系統(tǒng)的 UML建模。為實(shí)現(xiàn)系統(tǒng)模型的驗(yàn)證,在完成系統(tǒng)的UML建模后,進(jìn)行UML活動圖到Petri網(wǎng)的轉(zhuǎn)換,利用Petri網(wǎng)對模型進(jìn)行驗(yàn)證,并分析系統(tǒng)的并行性及死鎖情況。本文提出轉(zhuǎn)換思想和轉(zhuǎn)換規(guī)則,利用JDOM接口編寫轉(zhuǎn)換器,實(shí)現(xiàn)UML活動圖到Petri網(wǎng)的自動轉(zhuǎn)換,完成對