




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、一個嵌入式系統(tǒng)的Petri網(wǎng)模型與CPLD實(shí)現(xiàn)作者:劉仁峰盛翊智沈思旻文章來源:電子技術(shù)應(yīng)用摘要:將網(wǎng)與結(jié)合,運(yùn)用網(wǎng)建立硬件系統(tǒng)模型,然后采用語言進(jìn)行設(shè)計(jì),最終下載到,成功地實(shí)現(xiàn)了整個硬件系統(tǒng)的邏輯控制器設(shè)計(jì)。網(wǎng)是異步并發(fā)系統(tǒng),沒有人為的控制流,直觀地表示了非確定性;且可以圖形化的方式描述復(fù)雜的系統(tǒng),并可運(yùn)用數(shù)學(xué)工具進(jìn)行分析。因此,其在軟件系統(tǒng)的建模與仿真中得到廣泛應(yīng)用。網(wǎng)自身具備的可運(yùn)行性方便了系統(tǒng)形式化描述級的模擬,可以用于表達(dá)不同抽象級上的系統(tǒng)概念并清楚地描述整個系統(tǒng)的運(yùn)作過程。筆者發(fā)現(xiàn)網(wǎng)的應(yīng)用目前僅局限于軟件系統(tǒng)的設(shè)計(jì),例如網(wǎng)絡(luò)協(xié)議、物流管理等,而在硬件系統(tǒng)中卻很少涉足。硬件系統(tǒng)隨著功
2、能的日益增強(qiáng),其功能描述也越來越復(fù)雜?;谟布到y(tǒng)描述的語言以其強(qiáng)大的硬件描述能力,已被廣大科研工作者所采用。語言也適用于描述異步并發(fā)系統(tǒng),因此可與網(wǎng)建立的模型聯(lián)系起來。本文采用自頂向下與層次分析相結(jié)合的設(shè)計(jì)方法用網(wǎng)的一個子類系統(tǒng)(條件事件系統(tǒng))對視頻輸入卡的邏輯控制器建立模型。針對控制器模型中關(guān)心和需要觀察的變量,確定描述的實(shí)體和端口,由系統(tǒng)網(wǎng)的拓?fù)浣Y(jié)構(gòu)確定條件和事件間的邏輯關(guān)系,構(gòu)造語言中的結(jié)構(gòu)體。采用開發(fā)工具 進(jìn)行代碼設(shè)計(jì),邏輯綜合,并對設(shè)計(jì)進(jìn)行仿真,最后下載到,驗(yàn)證了邏輯控制器設(shè)計(jì)的正確性。 應(yīng)用背景及控制器功能要求圖為某一視頻輸入卡結(jié)構(gòu)框圖。前端視頻信號經(jīng)過解碼、緩沖后,將數(shù)據(jù)送入處
3、理。其中由邏輯控制器協(xié)調(diào)各部分之間的運(yùn)作。從圖中可以看出,邏輯控制器與視頻切換、視頻解碼、視頻數(shù)據(jù)緩存以及等部分存在聯(lián)系,歸納起來需要完成五個基本功能:視頻通道切換控制;插入行標(biāo)志信息;的初始化操作;寫;讀。要完成上述五個基本功能,必須保證每個功能與另一功能之間不存在沖突,但允許存在并發(fā)行為,同時它們之間的邏輯順序應(yīng)保持一致。因此需要一個主控模塊協(xié)調(diào)各部分的操作。各功能部分之間的邏輯關(guān)系比較復(fù)雜,涉及到圖像數(shù)據(jù)的行同步以及場同步等問題,一旦出錯,則接收的就不是有效的圖像數(shù)據(jù),后續(xù)工作也不能正常進(jìn)行。為此,首先建立網(wǎng)模型,并運(yùn)用數(shù)學(xué)工具進(jìn)行分析,最后采用語言實(shí)現(xiàn)。 控制器網(wǎng)模型應(yīng)用網(wǎng)的一個子類建
4、立視頻輸入卡的邏輯控制器模型??刂破鲗?shí)現(xiàn)的五大功能,在滿足各自條件的情況下,能夠正確地完成相關(guān)操作。如果將每個功能展開進(jìn)行網(wǎng)模型設(shè)計(jì),將會使整個系統(tǒng)的節(jié)點(diǎn)過多。節(jié)點(diǎn)一多,則不易分析其性質(zhì)和計(jì)算它的可達(dá)樹、不變量等參數(shù)。網(wǎng)特有的直觀易懂、適于交流的圖形表示也就失去了意義。采用層次分析的方法,首先在頂層根據(jù)各功能要求建立一個網(wǎng)模型,然后在各個模塊內(nèi)部建立更詳細(xì)的子模型。鑒于頂層和底層的分析方法類似,只將頂層模型展開討論。網(wǎng)絡(luò)的一些動態(tài)特性,如庫所與變遷的含義如表所示。表1 庫所和變遷的含義庫 所含 義變 遷含 義P1初始化FIFO有效T0系統(tǒng)開始(sysSTART)P2初始化FIFO結(jié)束T1通道切
5、換P3插入行屬性結(jié)束T2初始化FIFOP4讀FIFO有效T3插入行屬性標(biāo)志P5通道切換有能T4寫FIFOP6VREF=0T5讀FIFO奇場數(shù)據(jù)P7插入行屬性標(biāo)志有效T6場開始P8寫FIFO有效T7場同步P9RST0=0T8行開始P10HREF=0T9行同步P11VREF=1T0行有效P12HREF=1T11讀取FIFO偶場數(shù)據(jù)P13RST0=1P14偶場結(jié)束邏輯控制器頂層網(wǎng)模型如圖所示。該模型是一個基本網(wǎng)系統(tǒng),其狀態(tài)元素稱為條件,變遷元素稱為事件。事件的發(fā)生改變條件的狀態(tài)(成真與否),引起信息在網(wǎng)上的流動。由條件和事件組成的有向網(wǎng)通常表現(xiàn)為三元組(,;),其中為條件集,為事件集。同時該模型還滿
6、足如下條件:(,;)為簡單網(wǎng);中每個條件都有機(jī)會成真,也有機(jī)會成假;中每個事件都有機(jī)會發(fā)生;由初始情態(tài)導(dǎo)出的可達(dá)情態(tài)集是完全可到達(dá)關(guān)系下的等價類。因此,該模型還是一個系統(tǒng)。在網(wǎng)仿真軟件 中進(jìn)行仿真測試,結(jié)果表明該模型能很好地描述控制器各部分之間的邏輯關(guān)系。 程序的基本單元設(shè)計(jì)(復(fù)雜可編程邏輯器件)是處于并行工作方式的基本電路單元構(gòu)成的高速、大規(guī)模集成器件,可作為一種并發(fā)系統(tǒng)模型與網(wǎng)建立聯(lián)系。作為一種硬件描述語言,支持行為描述、數(shù)據(jù)流描述和結(jié)構(gòu)化描述等多種描述方法,可以用并行和順序多種語句方式描述實(shí)際的系統(tǒng),并可采用的并行語句描述系統(tǒng)中條件事件間的并發(fā)關(guān)系,用的順序語句描述條件事件間的順序約束機(jī)
7、制,為解決系統(tǒng)中的有效沖突提供了可行的方法。語言程序設(shè)計(jì)的基本單元稱為一個基本設(shè)計(jì)實(shí)體,其主要由實(shí)體說明( )和構(gòu)造體( )兩部分構(gòu)成。實(shí)體說明部分規(guī)定了設(shè)計(jì)單元的輸入輸出接口信號或引腳。根據(jù)該控制器的系統(tǒng)中關(guān)心和需觀察的變量選擇系統(tǒng)的輸入和輸出信號,以確定基本設(shè)計(jì)單元的實(shí)體及其端口。在控制器的系統(tǒng)模型中,因?yàn)槭录?qū)動條件是變化的,所以將發(fā)生的事件作為設(shè)計(jì)實(shí)體的輸入信號,系統(tǒng)條件作為實(shí)體的輸出信號。同時,為實(shí)體設(shè)計(jì)一個輸入端口,使系統(tǒng)上電復(fù)位。當(dāng)觸發(fā)時賦予系統(tǒng)初始標(biāo)識,系統(tǒng)資源()流動使能。下面是具體的實(shí)體描述。 其它庫 : 數(shù)據(jù)類型事件:數(shù)據(jù)類型條件:數(shù)據(jù)類型 構(gòu)造體部分定義了設(shè)計(jì)單元的具體
8、構(gòu)造和操作(行為)。系統(tǒng)模型的拓?fù)浣Y(jié)構(gòu)直觀地表達(dá)了條件和事件間的約束機(jī)制。這種約束機(jī)制映射為控制器內(nèi)部各模塊之間的邏輯關(guān)系。根據(jù)控制器系統(tǒng)模型的特點(diǎn),可采用多進(jìn)程結(jié)構(gòu)描述系統(tǒng)。進(jìn)程內(nèi)部順序執(zhí)行,進(jìn)程之間并發(fā)執(zhí)行。多進(jìn)程結(jié)構(gòu)是并行執(zhí)行進(jìn)程的網(wǎng)絡(luò),多個進(jìn)程并發(fā)執(zhí)行。因此從系統(tǒng)的拓?fù)浣Y(jié)構(gòu),可將各進(jìn)程映射為系統(tǒng)的各庫所狀態(tài),從而能夠描述出各條件庫所間的異步并發(fā)關(guān)系。各進(jìn)程之間通過接口信號進(jìn)行通信。接口信號是由新變化的參量引導(dǎo)進(jìn)程產(chǎn)生的輸出結(jié)果。設(shè)計(jì)進(jìn)程的程序,使之產(chǎn)生的輸出結(jié)果成為新的庫所狀態(tài),從而影響變遷觸發(fā)()條件,以各進(jìn)程的輸出結(jié)果作為進(jìn)程間的通信接口信號。具體描述如下: 進(jìn)程:(事件集) ,
9、進(jìn)程的輸出; 沖突是由系統(tǒng)資源的共享產(chǎn)生的,與并發(fā)是一對對偶的概念。在實(shí)際的網(wǎng)模型中可能存在沖突,網(wǎng)系統(tǒng)自身并不提供解決沖突的方法。避免沖突的方法或措施有:()由用戶選擇,有沖突的地方通常是需要作出選擇和決策的地方。()設(shè)置合適的觸發(fā)規(guī)則:確定性產(chǎn)生規(guī)則,如優(yōu)先級;不確定性產(chǎn)生規(guī)則,如發(fā)生概率。()改變系統(tǒng)結(jié)構(gòu),即改寫網(wǎng)的關(guān)聯(lián)矩陣,增加共享資源回收。語言中的并行語句同樣不能解決沖突問題。使用并行語句描述沖突時將導(dǎo)致資源的丟失。而使用語言中的順序語句,如進(jìn)程內(nèi)部的語句,采用設(shè)定不同優(yōu)先級的方法,可以解決網(wǎng)中存在的沖突。本控制器系統(tǒng)也存在沖突現(xiàn)象,如圖所示。對每個庫所進(jìn)程的變化(的有無),使用電平
10、的高低來表征。事件發(fā)生與否,用脈沖出現(xiàn)與否表征。該系統(tǒng)的結(jié)構(gòu)體共有個并行處理的進(jìn)程。根據(jù)對控制器進(jìn)行形式描述的思想,在進(jìn)程內(nèi)部采用下列結(jié)構(gòu):進(jìn)程:(事件參數(shù)表) ,條件表達(dá)式 行為表達(dá)式 ; 進(jìn)程;事件參數(shù)表(也稱敏感量)中事件觸發(fā)進(jìn)程的執(zhí)行過程是:在判斷事件的條件表達(dá)式為真后,順序執(zhí)行其后的行為表達(dá)式,由新變化的參量引導(dǎo)進(jìn)程產(chǎn)生輸出結(jié)果;執(zhí)行完進(jìn)程語句后,返回進(jìn)程的事件參數(shù),等待事件集新的變化,引發(fā)進(jìn)程的再一次進(jìn)行,往復(fù)循環(huán)。 基于的仿真與實(shí)現(xiàn)語言設(shè)計(jì)技術(shù)齊全,方法靈活,支持廣泛,對系統(tǒng)硬件描述能力強(qiáng),具有多層次描述系統(tǒng)硬件的能力,可以從系統(tǒng)的數(shù)學(xué)模型直到門級電路。對控制器的網(wǎng)模型進(jìn)行程序設(shè)計(jì)后,利用綜合器進(jìn)行邏輯綜合和優(yōu)化,綜合后再經(jīng)仿真器進(jìn)行時序仿真,得到涉及器件硬件特性的仿真結(jié)果,其結(jié)果正確。最后下載到系列的芯片上,從而實(shí)現(xiàn)視頻輸入卡邏輯控制器設(shè)計(jì)。行為仿真結(jié)果的仿真波形如圖
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 高職院校美育課程建設(shè)中傳統(tǒng)文化融合的可行性研究
- 高校審計(jì)中大數(shù)據(jù)分析的使用與實(shí)踐探索
- 廣西壯族自治區(qū)北海市合浦縣2024年九年級化學(xué)第一學(xué)期期末質(zhì)量檢測模擬試題含解析
- 2025至2030短袖襯衫行業(yè)項(xiàng)目調(diào)研及市場前景預(yù)測評估報告
- 草莓采摘園與旅行社定制旅游服務(wù)合同
- 高溫高壓環(huán)境下的化工設(shè)備設(shè)計(jì)
- 2025年公職人員考試時事政治考試試題(附答案)
- 2025至2030巴基斯坦旋轉(zhuǎn)泵行業(yè)發(fā)展趨勢分析與未來投資戰(zhàn)略咨詢研究報告
- 2025至2030中國利瓦斯蒂明行業(yè)項(xiàng)目調(diào)研及市場前景預(yù)測評估報告
- 2025至2030中國自貿(mào)區(qū)(FTZ)行業(yè)現(xiàn)狀趨勢與發(fā)展前景戰(zhàn)略研究報告
- (完整版)曲臂式高空作業(yè)車安全技術(shù)交底
- 2024年民族宗教政策法規(guī)宣傳月知識競賽考試題庫(含答案)
- 《3-6歲兒童學(xué)習(xí)與發(fā)展指南》考試參考題庫120題(含答案)
- 診所中藥飲片清單
- 零信任安全架構(gòu)-第1篇
- 《發(fā)酵飼料的應(yīng)用》課件
- 西式面點(diǎn)師(高級)課件 項(xiàng)目4 甜品制作
- 鼎捷T100-V1.0-銷售管理用戶手冊-簡體
- 抗生素的合理應(yīng)用-專業(yè)知識講座培訓(xùn)課件
- “三高共管、六病同防”工作實(shí)踐10-40-16
評論
0/150
提交評論