[發(fā)明專利]基于PRES網(wǎng)求精操作的嵌入式系統(tǒng)仿真方法及系統(tǒng)

在審

• 申請(qǐng)?zhí)枺?/td>: 202110281926.2
• 申請(qǐng)日: 2021-03-16
• 公開（公告）號(hào): CN113158386A
• 公開（公告）日: 2021-07-23
• 發(fā)明（設(shè)計(jì)）人: 夏傳良
• 申請(qǐng)（專利權(quán)）人: 山東建筑大學(xué)
• 主分類號(hào): G06F30/18
• 分類號(hào): G06F30/18;G06F30/22;G06F111/04
• 代理公司: 濟(jì)南圣達(dá)知識(shí)產(chǎn)權(quán)代理有限公司 37221
• 代理人: 閆圣娟

1.一種基于PRES網(wǎng)求精操作的嵌入式系統(tǒng)仿真方法，其特征在于，包括：

基于嵌入式控制系統(tǒng)的功能及模塊劃分，構(gòu)建抽象PRES網(wǎng)模型；

基于相關(guān)約束條件確定所述抽象PRES網(wǎng)模型中的庫(kù)所型子網(wǎng)；

利用所述庫(kù)所型子網(wǎng)對(duì)所述抽象PRES網(wǎng)模型進(jìn)行求精操作，獲得求精的PRES網(wǎng)模型；

基于獲得的求精的PRES網(wǎng)模型，實(shí)現(xiàn)嵌入式控制系統(tǒng)的仿真。

2.如權(quán)利要求1所述的一種基于PRES網(wǎng)求精操作的嵌入式系統(tǒng)仿真方法，其特征在于，所述相關(guān)約束條件為，對(duì)于庫(kù)所型子網(wǎng)N_pp＝(P_pp,T_pp,I_pp,O_pp,M_pp,0)，需滿足以下條件：

(i)P_pp為原網(wǎng)N的非空庫(kù)所集合，T_pp為原網(wǎng)N的非空變遷集合；

(ii)I_pp為原網(wǎng)N中僅屬于子網(wǎng)N_pp的非空輸入弧集合，O_pp為原網(wǎng)N中僅屬于子網(wǎng)N_pp的非空輸出弧集合；

(iii)N_pp僅有庫(kù)所能與外部相連接；

(iv)N_pp是連通的，并且存在唯一的輸入庫(kù)所p_in和唯一的輸出庫(kù)所p_out；

(v)對(duì)于N_pp的每個(gè)變遷t都存在一個(gè)變遷函數(shù)f；

(vi)對(duì)于N_pp的每個(gè)變遷t都存在一個(gè)最小時(shí)滯d^-和一個(gè)最大時(shí)滯d⁺，并且d^-≤d⁺，R⁺是非負(fù)實(shí)數(shù)集。

3.如權(quán)利要求1所述的一種基于PRES網(wǎng)求精操作的嵌入式系統(tǒng)仿真方法，其特征在于，所述求精操作為利用所述庫(kù)所型子網(wǎng)替換所述抽象PRES網(wǎng)模型中的庫(kù)所，獲得求精的PRES網(wǎng)模型。

4.如權(quán)利要求1所述的一種基于PRES網(wǎng)求精操作的嵌入式系統(tǒng)仿真方法，其特征在于，當(dāng)所述抽象PRES網(wǎng)模型中包括若干個(gè)庫(kù)所，且各庫(kù)所間均不共享輸入和輸出變遷時(shí)，可利用庫(kù)所型子網(wǎng)替換所述抽象PRES網(wǎng)模型中所有的庫(kù)所，實(shí)現(xiàn)求精操作。

5.如權(quán)利要求1所述的一種基于PRES網(wǎng)求精操作的嵌入式系統(tǒng)仿真方法，其特征在于，為了保證求精的PRES網(wǎng)的活性，所述抽象PRES網(wǎng)模型需要滿足以下條件：抽象PRES網(wǎng)模型具有活性，且抽象PRES網(wǎng)模型的庫(kù)所型閉網(wǎng)具有活性。

6.如權(quán)利要求1所述的一種基于PRES網(wǎng)求精操作的嵌入式系統(tǒng)仿真方法，其特征在于，為了保證求精的PRES網(wǎng)的有界性，所述抽象PRES網(wǎng)模型需要滿足以下條件：抽象PRES網(wǎng)模型是有界的，且抽象PRES網(wǎng)模型的庫(kù)所型閉網(wǎng)也是有界的。

7.如權(quán)利要求1所述的一種基于PRES網(wǎng)求精操作的嵌入式系統(tǒng)仿真方法，其特征在于，所述庫(kù)所型子網(wǎng)需滿足以下假設(shè)：

(1)對(duì)于庫(kù)所型子網(wǎng)N_pp＝(P_pp,T_pp,I_pp,O_pp,M_pp,0)，托肯從N_pp以外流入p_in，通過N_pp，再?gòu)膒_out流出N_pp的過程中，流入p_in的托肯數(shù)量與流出p_out的托肯數(shù)量相等；

(2)執(zhí)行上述過程前，p_in是P_pp中唯一一個(gè)含有托肯的庫(kù)所。