測(cè)試系統(tǒng)的petri網(wǎng)建模和性能分析研究.pdf

1、　　本文應(yīng)用Petri網(wǎng)理論，對(duì)測(cè)試系統(tǒng)進(jìn)行定性和定量研究，分別建立了測(cè)試系統(tǒng)(包括系統(tǒng)整體、硬件電路、總線協(xié)議、軟件等)的幾種類型Petri網(wǎng)模型，對(duì)模型進(jìn)行分析和計(jì)算，研究對(duì)測(cè)試系統(tǒng)建模的方法和分析技術(shù)，同時(shí)對(duì)Petri網(wǎng)的理論和應(yīng)用進(jìn)行擴(kuò)展。 本文利用所建立的ETPN網(wǎng)，對(duì)系統(tǒng)進(jìn)行了特性分析。本文利用GSPN，對(duì)測(cè)試系統(tǒng)建模和分析。在對(duì)GSPN的可達(dá)狀態(tài)通過消去瞬時(shí)狀態(tài)進(jìn)行化簡時(shí)，提出了等效轉(zhuǎn)移概率的簡化計(jì)算方法，從而對(duì)方

2、程求解，得到狀態(tài)的穩(wěn)態(tài)概率，據(jù)此計(jì)算各部件的資源利用率和測(cè)試任務(wù)的速率。 本文為解決復(fù)雜系統(tǒng)的Petri網(wǎng)狀態(tài)空間的爆炸式膨脹問題，作者采用了不同于一般隨機(jī)Petri網(wǎng)的分析方法，研究了Petri網(wǎng)的基本結(jié)構(gòu)——串并聯(lián)結(jié)構(gòu)模型的化簡技術(shù)，推導(dǎo)出化簡串聯(lián)模型的等價(jià)理論公式；通過模擬仿真計(jì)算，提出了并聯(lián)模型在常見幾種情況的近似估算公式；并給出了一個(gè)測(cè)試系統(tǒng)采集卡的NGSPN模型及其串并聯(lián)化簡的實(shí)例。 本文討論了混合Petri