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

Software-physical Unified Formal Functional Analysis for Complex Mechatronic Systems

作　　者：曹悦 刘玉生[2] 秦绪佳[1] 汤颖[1] CAO Yue;LIU Yusheng;QIN Xujia;TANG Ying(College of Computer Science and Technology,Zhejiang University of Technology,Hangzhou,310023;State Key Laboratory of CAD&CG,Zhejiang University,Hangzhou,310058)

机构地区：[1]浙江工业大学计算机科学与技术学院,杭州310023 [2]浙江大学计算机辅助设计与图形学全国重点实验室,杭州310058

出　　处：《中国机械工程》2025年第2期245-254,共10页China Mechanical Engineering

基　　金：国家自然科学基金(62102367);浙江省自然科学基金(LQ22F020019,LZ23F020010)。

摘　　要：复杂机电系统的功能分析长期以来主要关注物理子系统实现的连续物理变换,忽略了软件子系统控制的物理过程之间的复杂执行顺序。针对这一挑战,提出了一种软件与物理统一的形式化功能表征与分析方法。对基于流的功能表示方法进行扩展,形成软件与物理统一的形式化功能表征。在此基础上,提出一种基于规则的功能分解方法,支持软件与物理混合功能的自动分解。以移动机器人系统为例,展示了软件与物理统一的功能分析过程。Functional analysis of complex mechatronic systems focused on the continuous physical transformations achieved by physical subsystems,and ignored the complex execution sequences among the physical processes controlled by software subsystems.In response to this challenge,a software-physical integrated formal functional representation and analysis method was proposed.First,the flow-based functional representation was extended to form a unified formal functional representation.Then,a rule-based function decomposition method was proposed to support the automatic decomposition of software-physical hybrid functions.A mobile robot system was used as a case to illustrate the proposed software-physical unified functional analysis processes.

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

分 类 号：U463.212[机械工程—车辆工程]