系统模型和学科模型的连通

系统模型和学科模型的连通是实现需求驱动设计和自动化验证的关键技术。

核心挑战

系统模型的语义不确定性与学科模型的描述精准性差异明显，除了要明确交互接口规范、数据类型和通讯规则等信息以外，还需要精心设计并定义各自模型中信息交互与存储的属性。

解决方案：需求作为"种子"

在系统建模过程中，以参数化建模的方式将几何模型与需求相关联，将需求作为"种子"成为学科几何模型的起点，将系统级约束编码为几何或参数边界。

实现效果

• 将系统需求可视化为几何图形
• 实现动态计算几何模型是否违反约束的方法
• 通过对学科几何模型不同阶段基线模型内系统属性的提取，实现工程分析和系统需求的自动化验证

与现有概念的关系

此概念与[[cad与mbse协同]]高度相关，是[[基于模型的系统工程-mbse]]在复杂产品研发中的具体应用体现。