曹悦
- 作品数：9 被引量：33H指数：3
- 供职机构：浙江大学更多>>
- 发文基金：国家自然科学基金浙江省杰出青年科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 基于SysML的多域复杂机电产品系统层建模与仿真集成研究
- 随着机电系统复杂性的日益增加,系统层设计已成为复杂机电系统开发过程中不可缺少的环节。基于模型的系统工程/(MBSE/)及其标准建模语言SysML为系统层设计提供了一定的支持。然而,由于复杂机电系统自身的特点,使得SysM...
- 曹悦
- 关键词：系统动力学SYSML仿真SIMULINK
- 文献传递
- 基于SysML的复杂机电系统设计模型形式化扩展与验证被引量：5
- 2019年
- 形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这一问题,对系统工程标准建模语言SysML进行扩展,提出了一套形式化系统模型验证方法.首先,以计算树逻辑和基于流的功能表示为形式化基础,形成基于SysML的系统功能建模方法;然后,以混合自动机为基础,建立基于SysML的系统行为建模方法;最后,针对物理与软件子系统的不同动态特征,借助NuSMV模型校验器,以层次化方式实现系统模型的自动验证.以移动机器人系统为例,展示了复杂机电系统设计模型的自动验证过程.
- 曹悦刘玉生赵建军叶晓平周书华
- 关键词：机电一体化系统系统设计模型校验
- 基于SysML的模型驱动复杂产品设计的信息集成框架研究被引量：16
- 2012年
- 针对如何为复杂机电产品建立不同层次、不同物理域的设计信息及其与仿真信息间的关联这一重要问题,以系统建模语言SysML为基础,提出了支持模型驱动多域复杂产品多层次设计与仿真信息集成框架;建立了基于SysML扩展的核心集成信息模型,以支持系统设计与仿真集成及不同层次设计过程的信息集成。以此为基础,重点研究了SysML和Simscape建模语言的元模型及其间的映射规则,以及基于三元图文法的系统层设计信息与仿真信息动态关联与集成的方法。最后给出了实例进行分析验证。
- 刘玉生袁文强樊红日曹悦
- 关键词：SYSML系统设计
- 基于SysML的机电系统软件与物理融合设计相关研究
- 随着对机电一体化系统智能性和灵活性要求的提高，软件在系统中的重要性日益凸显。然而，长期以来，复杂机电系统的软件部分并没有在系统早期设计中得到重视，而是只有在以机-电为核心的物理子系统设计完成后才开始其设计，这严重影响了系...
- 曹悦
- 关键词：机电一体化系统软件设计
- M-Design:基于SysML的多域复杂机电产品系统建模平台
- 多领域系统设计已成为复杂机电产品创新设计重要部分.然而,现有的多域复杂机电产品系统设计平台均是在软件系统建模平台的基础上扩展而来,缺乏对多域复杂机电产品特有性能刻画的工具.本文研发了基于SysML的多域复杂机电产品系统设...
- 刘玉生蒋浴芹曹悦
- 关键词：系统设计
- 文献传递
- 一种基于本体的控制软件模型的自动生成方法
- 本发明公开了一种基于本体的控制软件模型的自动生成方法：(1)基于SysML扩展包，构建系统设计模型并进行语义强化；(2)基于系统设计模型的系统设计知识进行分布式控制软件自动设计，生成平台无关软件设计；(3)基于本体映射，...
- 刘玉生曹悦
- 文献传递
- 基于SysML和Modelica的复杂机电产品系统设计与仿真集成被引量：12
- 2018年
- 系统仿真是辅助系统设计的一种重要手段,如何将系统设计与系统仿真有机结合,从而支持设计工作的高效开展,是一项重要的研究课题.针对这一问题,基于系统工程标准建模语言SysML和多领域仿真建模语言Modelica提出一套系统层设计与仿真集成方法.首先基于元对象机制分析和比较了SysML和Modelica的元模型;然后以Modelica元模型为基准,构造了面向Modelica的SysML扩展包M-Design;最后依据扩展的SysML和Modelica元模型定义了二者之间的映射规则,从而实现SysML设计模型向Modelica仿真模型的自动转换.以储水池系统为例,展示了复杂机电系统的设计和仿真的集成过程.
- 周书华曹悦张政刘玉生
- 关键词：SYSMLMODELICA
- 基于SysML的多域复杂产品系统层行为建模方法
- 本发明公开了一种基于SysML的多域复杂产品系统层行为建模方法，其实施步骤如下：1)获取物理子系统所包含的物理构件；2)基于SysML参数图，对各物理构件的连续行为进行动力学建模；3)将SysML参数图扩展形成有序参数图...
- 刘玉生曹悦
- 文献传递
- 一种基于本体的控制软件模型的自动生成方法
- 本发明公开了一种基于本体的控制软件模型的自动生成方法：(1)基于SysML扩展包，构建系统设计模型并进行语义强化；(2)基于系统设计模型的系统设计知识进行分布式控制软件自动设计，生成平台无关软件设计；(3)基于本体映射，...
- 刘玉生曹悦
- 文献传递
