《複雜信息系統功能建模、最佳化與驗證方法》是依託中國人民解放軍國防科技大學，由劉俊先擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：複雜信息系統功能建模、最佳化與驗證方法
- 項目類別：青年科學基金項目
- 項目負責人：劉俊先
- 依託單位：中國人民解放軍國防科技大學
- 批准號：70601036
- 申請代碼：G0107
- 負責人職稱：研究員
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：13.5（萬元）
中文摘要
複雜信息系統功能的建模、最佳化與驗證對於系統功能設計、系統集成和業務流程重組具有重要的意義。本項目主要研究複雜信息系統功能建模、最佳化、分析和驗證的基本方法。首先從IDEF0方法入手，研究複雜信息系統功能的形式化描述，並在此基礎上對功能模型的分析方法進行研究；根據系統核度概念，提出度量系統功能模型耦合度的指標並以此為基礎研究功能模型的最佳化方法；根據複雜信息系統功能模型可執行驗證的需要，對Petri網進行擴展，提出對象Petri網的概念並研究其分析方法；研究IDEF0功能模型到對象Petri網模型的轉換方法和算法，以對象Petri網為基礎對複雜信息系統功能進行可執行驗證。本項目研究從嚴格的功能形式化描述入手並依賴於可執行模型驗證系統的功能，為系統功能的分析和最佳化提出了一種新的思路，為系統功能分析和功能設計提供了科學的定量化的研究方法。
