[發明專利]信息物理融合系統CPS的建模方法及裝置

有效

• 申請號: 201410006569.9
• 申請日: 2014-01-07
• 公開（公告）號: CN103678834B
• 公開（公告）日: 2017-05-24
• 發明（設計）人: 張廣泉;張建寧;戎玫;魏慧;顧玉磊;徐成凱
• 申請（專利權）人: 蘇州大學
• 主分類號: G06F17/50
• 分類號: G06F17/50;G08G1/00
• 代理公司: 北京集佳知識產權代理有限公司11227
• 代理人: 常亮

1.一種信息物理融合系統CPS的建模方法，其特征在于，包括：

分析信息物理融合系統CPS的功能需求，獲得N個目標功能需求；其中，所述N為整數；

分別建立所述N個目標功能需求的N個原子服務模型；

組合所述N個原子服務模型，獲得組合服務模型；

其中，針對任一目標功能需求，其建立原子服務模型的過程，包括：

為所述目標功能需求分配唯一的標識符和通信端口；

利用混成自動機模型HA＝(Q,X,Init,m,Inv,Jump)對所述目標功能需求進行描述；其中，所述Q表示在所述目標功能需求中離散狀態變量的集合；所述X表示在所述目標功能需求中連續狀態變量的集合；所述Init表示所建立的原子服務模型的初始狀態的集合，且所述m表示在每個離散狀態下連續動態方程的集合；Inv表示每個離散狀態的不變集；Jump表示跳轉關系集合；

利用所述標識符、通信端口和HA建立所述原子服務模型；

其中，所述組合N個原子服務模型，獲得組合服務模型，包括：

分別將所述N個原子服務模型的遷移函數設置為f(s_i,p_i)＝s_i+1；其中，s_i表示任一原子服務模型的可達狀態量，i＝1,2,…,n；p_i表示任一原子服務模型的通信端口，i＝1,2,…,n，且i及n均為整數；

為所述組合服務模型分配通信端口、遷移函數及服務狀態；其中，所述通信端口為所述N個原子服務模型所有通信端口的并集；所述遷移函數為所述N個原子服務模型所有遷移函數的并集；所述服務狀態為所述N個原子服務模型所有服務狀態的并集；

利用所述通信端口、遷移函數及服務狀態建立所述組合服務模型。

2.根據權利要求1所述的方法，其特征在于，在所述利用所述通信端口、遷移函數及服務狀態建立所述組合服務模型之后，還包括：設置所述組合服務模型的初始狀態。

3.根據權利要求2所述的方法，其特征在于，所述設置所述組合服務模型的初始狀態之后，還包括：

當所述組合服務模型的狀態量s_i在遷移函數及端口p_i，到達狀態量s_j時，驗證所述組合服務模型內的原子服務模型是否可利用遷移函數及端口p_i由狀態量s_i到達狀態量s_j；其中，i及j均為整數，且所述i不等于j；

當可到達時，判定所述組合服務模型為正確的。