[發明專利]對分布式自動化系統進行控制的方法和裝置

有效

• 申請號: 200910131168.5
• 申請日: 2009-04-07
• 公開（公告）號: CN101859135A
• 公開（公告）日: 2010-10-13
• 發明（設計）人: 張奇然;俞志強;陸鐘慷
• 申請（專利權）人: 西門子(中國)有限公司
• 主分類號: G05B19/418
• 分類號: G05B19/418;G05B13/04
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種對分布式自動化系統進行控制的方法，該方法包括：

根據分布式自動化系統中各功能模塊的協作關系確定全局約束規則，并建立基于細胞膜演算的數學模型；

根據所述分布式自動化系統中各功能模塊對應的執行者，對建立的所述基于細胞膜演算的數學模型進行實例化；

產生控制邏輯輸出給所述分布式自動化系統；

如果接收到來自所述分布式自動化系統的擾動信息，則利用該擾動信息對所述基于細胞膜演算的數學模型的實例化參數進行變更，產生控制邏輯輸出給分布式自動化系統。

2.根據權利要求1所述的方法，其特征在于，所述建立基于細胞膜演算的數學模型具體包括：將所述分布式自動化系統中各功能模塊映射為基于細胞膜演算的數學模型中的細胞膜，將所述各功能模塊之間的協作關系映射為基于細胞膜演算的數學模型的全局約束規則，建立所述基于細胞膜演算的數學模型。

3.根據權利要求2所述的方法，其特征在于，所述全局約束規則包括：

包含事件分離和事件合并的同步約束Synchronization，

包含許可事件傳播、事件剝離和事件選擇的傳遞約束Transition，

延遲約束Delay，

循環約束Loop?Limit，

包含順次約束和并行約束的相關性約束Dependence。

4.根據權利要求1、2或3所述的方法，其特征在于，所述建立基于細胞膜演算的數學模型之后還包括：對建立的所述基于細胞膜的數學模型進行語法級別、仿真級別或者指標級別的驗證，如果驗證通過，則執行根據所述分布式自動化系統中各功能模塊對應的執行者，對建立的所述基于細胞膜演算的數學模型進行實例化；如果驗證失敗，則重新執行所述根據分布式自動化系統中各功能模塊的協作關系確定全局約束規則。

5.根據權利要求2所述的方法，其特征在于，所述對建立的所述基于細胞膜演算的數學模型進行實例化具體包括：將所述分布式自動化系統中各功能模塊對應的執行者信息作為對應各細胞膜的實例化參數。

6.根據權利要求5所述的方法，其特征在于，對所述基于細胞膜演算的數學模型的實例化參數進行變更具體包括：根據接收到的所述擾動信息，確定執行者信息發生變化的功能模塊，并變更確定的所述功能模塊所對應細胞膜的實例化參數。

7.根據權利要求1、2、3、5或6所述的方法，其特征在于，所述產生控制邏輯具體包括：根據重寫邏輯方法對實例化后的或者變更實例參數后的基于細胞膜演算的數學模型進行重寫，產生控制邏輯。

8.一種對分布式自動化系統進行控制的裝置，該裝置包括：

第一用戶界面，用于根據獲取的分布式自動化系統中各功能模塊的協作關系確定全局約束規則，并將該全局約束規則提供給模型建立單元；

模型建立單元，用于根據所述全局約束規則建立基于細胞膜演算的數學模型；

控制邏輯產生單元，用于根據分布式自動化系統中各功能模塊對應的執行者，對所述基于細胞膜演算的數學模型進行實例化后，產生控制邏輯輸出給所述分布式自動化系統；利用擾動獲取單元提供的擾動信息對所述基于細胞膜演算的數學模型的實例化參數進行變更，產生控制邏輯輸出給分布式自動化系統；

擾動獲取單元，用于接收來自所述分布式自動化系統的擾動信息，并提供給所述控制邏輯產生單元。

9.根據權利要求8所述的裝置，其特征在于，該裝置還包括：模型驗證單元，用于對所述模型建立單元建立的所述基于細胞膜演算的數學模型進行語法級別、仿真級別或者指標級別的驗證，如果驗證通過，則觸發所述控制邏輯產生單元執行所述實例化和產生控制邏輯的操作，如果驗證失敗，則指示所述第一用戶界面重新獲取分布式自動化系統中各功能模塊的協作關系。

10.根據權利要求8或9所述的裝置，其特征在于，所述控制邏輯產生單元具體包括：

實例化子單元，用于根據分布式自動化系統中各功能模塊對應的執行者，對所述基于細胞膜演算的數學模型進行實例化；利用擾動獲取單元提供的擾動信息對基于細胞膜演算的數學模型的實例化參數進行變更；

控制邏輯產生子單元，用于根據重寫邏輯方法對實例化后的或者變更實例化參數后的所述基于細胞膜演算的數學模型進行重寫產生控制邏輯；

控制邏輯輸出子單元，用于將所述控制邏輯產生子單元產生的控制邏輯輸出給所述分布式自動化系統。