基于SysML的多域复杂产品功能形式化表征与自动分解研究

Our system-level innovation ability is much weaker than that of components. One of the most fundamental reasons is that in the past the introduction and absorption of abroad products was the main mode of innovation. Basically, the conceptual design process, especially the comprehensive functional decomposition and reasoning with the most possibility of innovation, was given up. Model-based systems engineering (MBSE) and its standard modeling language SysML is becoming an important solution. However, due to the lack of unambiguous expression of the function, how to realize the automated function decomposition for complex multi-domain systems, and thus to support early function design validation has become a bottleneck..This project will focus on solving SysML-based formal representation and automated decomposition of complex multi-domain products. By extending SysML, a unified representation of the semantics and syntax of function flow and action is established. By decomposing the overall function, it can automatically be divided into a number of sub-tasks with time and space constraints. By combining the top-down and bottom-up sub-functional decomposition methods, a sub-task can be completely decomposed into a set of realizable functions. The research results of the project are helpful for the efficient realization of complex product system design and optimization, thereby enhancing the ability of complex product design innovation and the international competitiveness.

我国在产品系统层面的创新能力远弱于底层构件的创新能力。根本原因之一是过去我国大多以引进吸收再创新为主，基本放弃了最具创新的概念设计尤其是功能的综合分解推理。基于模型的系统工程（MBSE）及其标准建模语言SysML正成为其重要的解决途径。然而由于缺乏对功能的无二义性表达，使得如何在复杂产品的系统设计阶段实现面向机-控多域的自动功能分解、进而及早验证功能设计方案已成为瓶颈。.本项目将着力解决基于SysML的多域复杂产品功能形式化表征与自动分解这一核心问题。通过扩展SysML，建立能统一刻画多域功能流与功能动作的语义与语法；通过对总功能的分解，自动地将其划分为若干个可能存在时空约束要求的子任务；通过将自顶向下和自底向上的子功能分解方法进行有机结合，完整地将子任务分解至可实现的子功能集合。项目的研究成果对于高效实现复杂产品系统设计与优化、进而提升复杂产品设计的创新能力与国际竞争力等将起到重要作用

我国在产品系统层面的创新能力远弱于底层构件的创新能力。根本原因之一是过去我国大多以引进吸收再创新为主，基本放弃了最具创新的概念设计。基于模型的系统工程（MBSE）及其标准建模语言SysML正成为其重要的解决途径。然而由于缺乏对复杂产品中信息与物理相融合功能的形式化统一表征，使得如何在复杂产品的系统设计阶段实现面向信息与物理的自动协同设计、一致性验证和软件模型的自动生成已成为瓶颈。.本项目将着力解决基于SysML的多域复杂产品信息与物理协同设计这一核心问题。通过扩展SysML，建立能统一刻画复杂产品信息与物理无二义功能语义的表达；通过对信息与物理的自动协同设计，将各自领域的设计变更自动传递至对方并进行自动更新；通过将信息与物理的功能与行为模型进行相匹配的形式化描述，支持模型的自动校验；通过基于本体的映射，。项目的研究成果对于高效实现复杂产品系统设计与优化、进而提升复杂产品设计的创新能力与国际竞争力等将起到重要作用