《基於SysML的多域複雜產品功能形式化表征與自動分解研究》是依託浙江大學，由劉玉生擔任項目負責人的面上項目。
基本介紹
- 中文名：基於SysML的多域複雜產品功能形式化表征與自動分解研究
- 依託單位：浙江大學
- 項目負責人：劉玉生
- 項目類別：面上項目
項目摘要,結題摘要,
項目摘要
我國在產品系統層面的創新能力遠弱於底層構件的創新能力。根本原因之一是過去我國大多以引進吸收再創新為主，基本放棄了最具創新的概念設計尤其是功能的綜合分解推理。基於模型的系統工程（MBSE）及其標準建模語言SysML正成為其重要的解決途徑。然而由於缺乏對功能的無二義性表達，使得如何在複雜產品的系統設計階段實現面向機-控多域的自動功能分解、進而及早驗證功能設計方案已成為瓶頸。.本項目將著力解決基於SysML的多域複雜產品功能形式化表征與自動分解這一核心問題。通過擴展SysML，建立能統一刻畫多域功能流與功能動作的語義與語法；通過對總功能的分解，自動地將其劃分為若干個可能存在時空約束要求的子任務；通過將自頂向下和自底向上的子功能分解方法進行有機結合，完整地將子任務分解至可實現的子功能集合。項目的研究成果對於高效實現複雜產品系統設計與最佳化、進而提升複雜產品設計的創新能力與國際競爭力等將起到重要作用
結題摘要
我國在產品系統層面的創新能力遠弱於底層構件的創新能力。根本原因之一是過去我國大多以引進吸收再創新為主，基本放棄了最具創新的概念設計。基於模型的系統工程（MBSE）及其標準建模語言SysML正成為其重要的解決途徑。然而由於缺乏對複雜產品中信息與物理相融合功能的形式化統一表征，使得如何在複雜產品的系統設計階段實現面向信息與物理的自動協同設計、一致性驗證和軟體模型的自動生成已成為瓶頸。本項目將著力解決基於SysML的多域複雜產品信息與物理協同設計這一核心問題。通過擴展SysML，建立能統一刻畫複雜產品信息與物理無二義功能語義的表達；通過對信息與物理的自動協同設計，將各自領域的設計變更自動傳遞至對方並進行自動更新；通過將信息與物理的功能與行為模型進行相匹配的形式化描述，支持模型的自動校驗；通過基於本體的映射，。項目的研究成果對於高效實現複雜產品系統設計與最佳化、進而提升複雜產品設計的創新能力與國際競爭力等將起到重要作用
