首页>
根据【作者:张海灯,,吴云,,李军,,李应红】搜索到相关结果 2 条
-
基于特定域建模方法的航空发动机MBSE实施方法
-
作者:
郝彬彬
鲁金直
李军
王国新
兰小平
陈建江
吴新
来源:
科技导报
年份:
2019
文献类型 :
期刊
关键词:
代码生成
自动验证
基于模型的系统工程
航空发动机研发
特定域建模
-
描述:
提出一种基于模型系统工程(MBSE)的方法,将基于系统工程航空发动机系统的研发与基于模型的研发有效结合起来:采用系统思维方法对航空发动机需求、架构及验证进行形式化表达,并采用特定域建模方法与代码生成方法实现发动机验证模型的自动生成及验证。该方法通过元元模型对航空发动机的需求、架构及验证进行元模型建模,将用于描述航空发动机研发流程的特定域模型分为3个视图,并根据不同视图实现航空发动机研发过程的信息描述。通过开发代码生成器实现航空发动机验证模型自动生成的过程,实现航空发动机验证模型的自动验证和确认。以某型航空发动机为例,验证了所提方法的有效性。
-
基于特定域建模方法的航空发动机MBSE实施方法
-
作者:
郝彬彬
鲁金直
李军
王国新
兰小平
陈建江
吴新
来源:
科技导报
年份:
2019
文献类型 :
期刊
关键词:
代码生成
自动验证
基于模型的系统工程
航空发动机研发
特定域建模
-
描述:
提出一种基于模型系统工程(MBSE)的方法,将基于系统工程航空发动机系统的研发与基于模型的研发有效结合起来:采用系统思维方法对航空发动机需求、架构及验证进行形式化表达,并采用特定域建模方法与代码生成方法实现发动机验证模型的自动生成及验证。该方法通过元元模型对航空发动机的需求、架构及验证进行元模型建模,将用于描述航空发动机研发流程的特定域模型分为3个视图,并根据不同视图实现航空发动机研发过程的信息描述。通过开发代码生成器实现航空发动机验证模型自动生成的过程,实现航空发动机验证模型的自动验证和确认。以某型航空发动机为例,验证了所提方法的有效性。