《多進程離散事件動態系統並發模型分析和系統設計》是依託上海交通大學，由吳智銘擔任項目負責人的面上項目。
基本介紹
- 中文名：多進程離散事件動態系統並發模型分析和系統設計
- 項目類別：面上項目
- 項目負責人：吳智銘
- 依託單位：上海交通大學
- 批准號：69374017
- 申請代碼：F0301
- 負責人職稱：教授
- 研究期限：1994-01-01 至 1995-12-31
- 支持經費：5（萬元）
項目摘要
本項目從提高和改進離散事件系統模型的並發能力、描述能力和轉移變換能力為目標，研究建立一類在功能上可以符合實際工程系統中複雜需求的，結構上緊湊的模型。研究中提出了擴展的有限遞歸過程（FRP）模型，帶資料庫和規則庫的高級Petri網模型，並建立了它們和工程上實用方法（非形式化的）如面向對象編程（OOP）與數字仿真間的關係，成為分析工程上複雜的離散事件系統的有力武器。研究中還對幾種典型的離散事件系統，例如柔性製造系統和通訊協定的實例進行了分析和仿真，驗證了模型和系統規範的一致性。其中，製造系統的模型更具有通用價值，它將對進一步實現製造系統的實時控制，最佳化和決策提供可靠的保證。
