1. 课程导入与SysML参数图定位

在基于模型的系统工程(MBSE)实践中,SysML 提供了九种图来从不同侧面描述系统。很多初学者会把注意力集中在需求图、用例图和块定义图上,却忽略了一个关键事实:系统的功能是否满足,最终要落到可计算的工程参数上。参数图(Parametric Diagram,简称 par 图)正是 SysML 中承担"性能与约束计算"职责的图型,它把工程方程、物理定律、设计约束与系统结构绑定在一起,使模型不仅能"描述系统长什么样",还能"算出系统表现如何"。

本节作为全课导入,目标是建立三个认知:第一,参数图在 MBSE 整体方法中的位置;第二,参数图、约束块、值属性、需求图四者之间的关系;第三,本课程贯穿始终的建模对象与交付物清单。

一、参数图在 MBSE 中的位置

MBSE 的核心思路是用模型替代文档,让需求、结构、行为、参数四类信息在同一模型仓库中保持可追溯。SysML 的图型大致可分为四类职责:

  • 需求侧:需求图(req)表达需求条目及其派生、满足、验证关系。
  • 结构侧:块定义图(bdd)与内部块图(ibd)表达系统组成、接口与端口连接。
  • 行为侧:活动图、状态机图、序列图表达功能流程与状态迁移。
  • 参数侧:参数图(par)表达约束方程与值属性之间的绑定,是"性能可计算"的载体。

参数图不是孤立存在的。它通常依附于某个块(如"电机""电池包""整机"),把该块的值属性(Value Property)作为方程变量,通过约束属性(Constraint Property)引用约束块中定义的方程,再用绑定连接器(Binding Connector)把变量与方程参数对应起来。这样,当某个值属性被赋值或由仿真求解时,整条约束链就能联动计算。

二、四个核心概念的关系

理解参数图,必须同时理解四个概念,它们的关系可以用一句话概括:需求图提出指标,值属性承载指标,约束块定义指标之间的数学关系,参数图把三者绑定成可计算的网络。

  • 约束块(Constraint Block):一种特殊的块,内部包含约束参数(Constraint Parameter)和约束表达式(如 F = m * a)。它只描述"关系",不描述"对象"。
  • 值属性(Value Property):定义在普通块上的、带类型与单位的属性,如 mass: kg、thrust: N。它是方程中真正的变量载体。
  • 参数图(par):在某个块的语境下,把值属性与约束块的参数用绑定连接器连起来,形成约束网络。
  • 需求图(req):通过 «satisfy» 或 «verify» 关系,把需求指向块或参数图,说明"这个性能指标由哪条约束保证"。
常见误区:把约束块当成"计算结果的存放处"。约束块只存方程,结果应落在值属性上,由工具求解后回填。

三、本课贯穿的建模对象与交付物

为了让学习有抓手,本课程以一个"电动无人机动力系统"为贯穿案例。它的顶层块包含 mass、thrust、power、endurance 等值属性,约束块包含推力方程、功率方程、续航方程。每节课都会在这个案例上增加一层约束或一次计算。

本课程要求交付的成果清单如下(示例,可按实际项目替换):

交付物内容说明对应图型
约束块库推力、功率、续航等方程定义bdd(约束块)
参数图值属性与约束参数的绑定网络par
值属性表变量名、类型、单位、初值、来源块属性表
需求追溯表性能需求与约束块的 satisfy 关系req
计算/仿真结果给定输入下的输出值与裕度判断工具求解输出

下面这张图给出本节最需要看清的结构关系:需求、值属性、约束块、参数图四者如何围绕一个块协同工作。图中以"动力系统"块为中心,左侧是需求指标,右侧是约束方程,下方是参数图绑定后的可计算网络。

参数图在MBSE中的定位:需求—值属性—约束块—参数图 需求图 req 续航 ≥ 45 min 推力 ≥ 12 N «satisfy» 指向块 动力系统 «block» mass: kg thrust: N power: W 约束块 «constraint» F = m · a P = F · v E = P · t «satisfy» «constraint» 参数图 par(绑定网络) m : kg 值属性 a : m/s² 值属性 推力方程 F = m · a 功率方程 P = F · v F : N 求解结果 绑定 绑定 绑定 绑定 需求提出指标 → 值属性承载变量 → 约束块定义方程 → 参数图绑定成可计算网络

从图中可以看到,参数图并不是"另起炉灶",而是把已经存在的需求、值属性和约束块"接线"起来。绑定连接器是参数图的灵魂:它不传递数据流,也不表示控制流,而是声明"这两个量在数学上相等"。一旦绑定完成,工具就可以在给定部分变量值的情况下,求解其余变量。

四、学习路径与判断标准

本课程后续会依次展开:约束块的建模规范、值属性的类型与单位、参数图的绑定规则、与需求图的追溯、以及用工具求解并判断性能裕度。判断一个参数模型是否合格,可以看三条:

  1. 方程完整:每个待求指标都有对应的约束表达式,且量纲一致。
  2. 绑定无遗漏:约束块的每个参数都连到了值属性,没有悬空参数。
  3. 可追溯:每条性能需求都能通过 «satisfy» 找到负责它的约束块。
注意:参数图只保证"关系正确",不保证"数值合理"。输入值是否来自真实数据、单位是否统一、求解是否收敛,都需要在建模之外单独验证。

本节建立的这张"定位图"会在后续每一节被反复引用:当你写下一个约束块时,要问它服务于哪条需求;当你画一条绑定连接器时,要问它连接的两个量是否真的相等。把这三个问题问清楚,参数约束与性能建模就不会沦为"画图练习",而会成为真正支撑设计决策的工程工具。