多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型,构建了Capella中的特定域建模语言,采用Arcadia建模方法作为建模规范,同时基于架构驱动的方法建立了模型间的追溯关系,形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型,比较Capella建模和多架构建模两种方法,给出了两种方法在效率及效能方面的比较,结果表明多架构建模方法具有建模的高效性和较强的扩展能力,为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

浅述庄浪县生猪产业发展现状及对策

对庄浪县目前生猪产业发展现状进行了浅述,并提出了未来发展对策,以期为生猪产业的可持续发展提供参考。     

多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型，构建了Capella中的特定域建模语言，采用Arcadia建模方法作为建模规范，同时基于架构驱动的方法建立了模型间的追溯关系，形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型，比较Capella建模和多架构建模两种方法，给出了两种方法在效率及效能方面的比较，结果表明多架构建模方法具有建模的高效性和较强的扩展能力，为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

信息技术在改变传统教学结构的作用

信息技术课作为一门新兴的学科,有其自身的特点,运用信息技改变教学结构的真正内涵是通过有效的整合建构出一种理想的学习环境,这种环境可以支持真实的情境创设、不受时空限制的资源共享、快速灵活的信息获取、丰富多样的交互方式、打破地域界限的协作交流.本文论述在改变传统教学结构时,如何应用信息技术方面的资源.     

基于特定域建模方法的航空发动机MBSE实施方法

 提出一种基于模型系统工程（MBSE）的方法,将基于系统工程航空发动机系统的研发与基于模型的研发有效结合起来：采用系统思维方法对航空发动机需求、架构及验证进行形式化表达,并采用特定域建模方法与代码生成方法实现发动机验证模型的自动生成及验证。该方法通过元元模型对航空发动机的需求、架构及验证进行元模型建模,将用于描述航空发动机研发流程的特定域模型分为3个视图,并根据不同视图实现航空发动机研发过程的信息描述。通过开发代码生成器实现航空发动机验证模型自动生成的过程,实现航空发动机验证模型的自动验证和确认。以某型航空发动机为例,验证了所提方法的有效性。     

面向MBSE的复杂系统研发模型追溯管理方法

针对采用基于模型的系统工程(MBSE)实现复杂系统研发中存在的数据资源集成与互操作困难、可追溯性差等问题,提出一种基于数字总线的系统追溯管理方法支持系统研发流程中工具集成、追溯性管理及复杂度管理.首先采用系统思维方法定义系统元素及其关联;随后分别通过需求规约方法、基于系统建模语言KARMA的多架构建模方法和Simulink建模规范支持需求分析、架构设计和仿真验证过程的形式化表达;同时采用生命周期协作开放服务(OSLC)规范构建统一数据源的数字总线,通过开发服务管理工具原型及领域工具内插件实现系统设计资源的追溯性管理及总线可视化;最后通过一个自动刹车系统设计的案例研究验证了所提出方法的可行性和有效性.