复杂机电系统的软件与物理统一的形式化功能分析.pdfVIP

第卷第期中国机械工程

３６２Vol．３６No．２

年月

２０２５２CHINAMECHANICALENGINEERINGpp．２４５Ｇ２５４

复杂机电系统的软件与物理统一的形式化功能分析

１∗２１１

曹悦刘玉生秦绪佳汤颖

,,

浙江工业大学计算机科学与技术学院杭州

１．３１００２３

,,

浙江大学计算机辅助设计与图形学全国重点实验室杭州

２．３１００５８

:,

摘要复杂机电系统的功能分析长期以来主要关注物理子系统实现的连续物理变换忽略了软件子

.,

系统控制的物理过程之间的复杂执行顺序针对这一挑战提出了一种软件与物理统一的形式化功能

.,.

表征与分析方法对基于流的功能表示方法进行扩展形成软件与物理统一的形式化功能表征在此

,,.

基础上提出一种基于规则的功能分解方法支持软件与物理混合功能的自动分解以移动机器人系统

,.

为例展示了软件与物理统一的功能分析过程

:;;;

关键词基于模型的系统工程概念设计机电一体化功能分析

中图分类号:

U４６３．２１２

:/()():

DOI１０．３９６９．issn．１００４１３２X．２０２５．０２．００７开放科学资源服务标识码OSID

j

SoftwareＧhsicalUnifiedFormalFunctionalAnalsisforComlex

pyyp

MechatronicSstems

y

１∗２１１

CAOYueLIUYushenQINXuiaTANGYin

gjg

,,,

１．ColleeofComuterScienceandTech