论文纲要：鉴于功效道理模子的真实性建立模型本领接洽

对准产物的真实性建立模型不许与功效建立模型同声发展，真实性安排与本能安排摆脱的题目，正文设置了一种鉴于功效道理模子的真实性建立模型本领，运用SysML这一规范化建立模型谈话创造体例功效道理模子，并对模子举行领会，变换为真实性模子。该本领可在产物功效与本能安排的同声，机动建立真实性框图模子与妨碍树，普及了真实性处事功效与品质。 正文开始计划了本能与真实性一体化建立模型本领，并对真实性建立模型本领举行了归纳，随后引入规范化建立模型谈话——SysML，并归结了鉴于图论的真实性模子领会本领。鉴于之上表面本领，设置了鉴于SysML的功效道理模子，刻画体例的功效档次、里面构造、功效过程以及参数与状况。 真实性框图是最常用的用来创造单位真实性个性与体例真实性个性之间定量联系的真实性模子。正文设置了鉴于图论的功效道理模子——真实性框图模子的变换规则，并给出了论理功效模块的变换本领。 妨碍树领会普遍用来决定产物妨碍因为、微弱步骤。正文将采用顶事变的范畴规则在体例某输入端不许平常输入，而后设置了变换准则，并对准变换的妨碍树拟订了典型化准则。 结果，以燃油体例为例，对正文提出的建立模型本领举行了考证。截止表白，正文提出的本领不妨实行体例功效建立模型与真实性建立模型。