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

doi:10.3969/j.issn.1004-132X.2025.02.007

中国机械工程 ›› 2025, Vol. 36 ›› Issue (02): 245-254.DOI: 10.3969/j.issn.1004-132X.2025.02.007

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

曹悦¹*;刘玉生²;秦绪佳¹;汤颖¹

1.浙江工业大学计算机科学与技术学院，杭州，310023
2.浙江大学计算机辅助设计与图形学全国重点实验室，杭州，310058

出版日期:2025-02-25 发布日期:2025-03-31
作者简介:曹悦*，女，1986年生，讲师。研究方向为模型驱动系统设计。发表论文10余篇。E-mail:ycao@zjut.edu.cn。
基金资助:
国家自然科学基金（62102367）；浙江省自然科学基金（LQ22F020019，LZ23F020010）

Software-physical Unified Formal Functional Analysis for Complex Mechatronic Systems

CAO Yue¹*;LIU Yusheng²;QIN Xujia¹;TANG Ying¹

1.College of Computer Science and Technology,Zhejiang University of Technology,Hangzhou,310023
2.State Key Laboratory of CAD&CG,Zhejiang University,Hangzhou,310058

Online:2025-02-25 Published:2025-03-31

摘要/Abstract

摘要： 复杂机电系统的功能分析长期以来主要关注物理子系统实现的连续物理变换，忽略了软件子系统控制的物理过程之间的复杂执行顺序。针对这一挑战，提出了一种软件与物理统一的形式化功能表征与分析方法。对基于流的功能表示方法进行扩展，形成软件与物理统一的形式化功能表征。在此基础上，提出一种基于规则的功能分解方法，支持软件与物理混合功能的自动分解。以移动机器人系统为例，展示了软件与物理统一的功能分析过程。

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

Abstract: 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.

Key words: model-based systems engineering, conceptual design, mechatronics, functional analysis

中图分类号:

U463.212

曹悦1, 刘玉生2, 秦绪佳1, 汤颖1. 复杂机电系统的软件与物理统一的形式化功能分析[J]. 中国机械工程, 2025, 36(02): 245-254.

CAO Yue1, LIU Yusheng2, QIN Xujia1, TANG Ying1. Software-physical Unified Formal Functional Analysis for Complex Mechatronic Systems[J]. China Mechanical Engineering, 2025, 36(02): 245-254.

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://www.cmemo.org.cn/CN/10.3969/j.issn.1004-132X.2025.02.007

https://www.cmemo.org.cn/CN/Y2025/V36/I02/245

参考文献

［1］PAHL G, WALLACE K, BLESSING L T M, et al. Engineering Design:a Systematic Approach［M］. 3rd ed. London:Springer, 2007.
［2］KRUSE B, GILZ T, SHEA K, et al. Systematic Comparison of Functional Models in SysML for Design Library Evaluation［J］. Procedia CIRP, 2014, 21:34-39.
［3］HIRTZ J, STONE R B, McADAMS D A, et al. A Functional Basis for Engineering Design:Reconciling and Evolving Previous Efforts［J］. Research in Engineering Design, 2002, 13(2):65-82.
［4］YUAN Lin, LIU Yusheng, SUN Zhongfei, et al. A Hybrid Approach for the Automation of Functional Decomposition in Conceptual Design［J］. Journal of Engineering Design, 2016, 27(4/6):333-360.
［5］YUAN Lin, LIU Yusheng, LIN Yunfeng, et al. An Automated Functional Decomposition Method Based on Morphological Changes of Material Flows［J］. Journal of Engineering Design, 2017, 28(1):47-75.
［6］CHEN Yong, LIU Zelin, XIE Youbai. A Knowledge-based Framework for Creative Conceptual Design of Multi-disciplinary Systems［J］. Computer-Aided Design, 2012, 44(2):146-153.
［7］SRIDHARAN P, CAMPBELL M I. A Study on the Grammatical Construction of Function Structures［J］. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 2005, 19(3):139-160.
［8］SANGELKAR S, McADAMS D A. Mining Functional Model Graphs to Find Product Design Heuristics with Inclusive Design Illustration［J］. Journal of Computing and Information Science in Engineering, 2013, 13(4):041008.
［9］CHEN Bin. Conceptual Design Synthesis Based on Series-parallel Functional Unit Structure［J］. Journal of Engineering Design, 2018, 29(3):87-130.
［10］MALMQVIST J. Improved Function-means Trees by Inclusion of Design History Information［J］. Journal of Engineering Design, 1997, 8(2):107-117.
［11］UMEDA Y, TOMIYAMA T. Functional Reasoning in Design［J］. IEEE Expert, 1997, 12(2):42-48.
［12］CHEN Yong, ZHAO Meng, LIU Ying, et al. A Formal Functional Representation Methodology for Conceptual Design of Material-flow Processing Devices［J］. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 2016, 30(4):353-366.
［13］GUI Fajun, CHEN Yong, LI Haomin, et al. A Structured Approach for Functional Analysis of Context-aware Systems［J］. Concurrent Engineering, 2023, 31(1/2):21-35.
［14］TOMIZUKA M. Mechatronics:From the 20th to 21st Century［J］. Control Engineering Practice, 2002, 10(8):877-886.
［15］PENAS O, PLATEAUX R, PATALANO S, et al. Multi-scale Approach from Mechatronic to Cyber-physical Systems for the Design of Manufacturing Systems［J］. Computers in Industry, 2017, 86:52-69.
［16］GROOVER M P. Automation, Production Systems, and Computer-integrated Manufacturing［M］. 3rd ed. Delhi:Pearson, 2007.
［17］KAVI, BUCKLES, BHAT. A Formal Definition of Data Flow Graph Models［J］. IEEE Transactions on Computers, 1986, C-35(11):940-948.
［18］GULWANI S, POLOZOV O, SINGH R. Program Synthesis［J］. Foundations and Trends in Programming Languages, 2017, 4(1/2):1-119.
［19］DEBBABI M, HASSANE F, JARRAYA Y, et al. Verification and Validation in Systems Engineering:Assessing UML/SysML Design Models［M］. Berlin:Springer, 2010.
［20］LJUNGKRANTZ O, AKESSON K, FABIAN M, et al. Formal Specification and Verification of Industrial Control Logic Components［J］. IEEE Transactions on Automation Science and Engineering, 2010, 7(3):538-548.
［21］GIESE H, HENKLER S. A Survey of Approaches for the Visual Model-driven Development of Next Generation Software-intensive Systems［J］. Journal of Visual Languages & Computing, 2006, 17(6):528-550.
［22］BRUNL T. Embedded Robotics:Mobile Robot Design and Applications with Embedded Systems［M］. 2nd ed. Berlin:Springer, 2014

[1]	成艾国1, 王超1, 陆日进2, 何智成1, 于万元3. 复合材料尾门结构的拓扑参数一体化轻量化设计[J]. 中国机械工程, 2024, 35(10): 1824-1833.
[2]	汪满新, 李兰彬, 李正亮, 刘海涛, 黄田. 一类1T2R并联机构拓扑结构综合及优选[J]. 中国机械工程, 2022, 33(20): 2395-2402.
[3]	曹悦, 吴凌九, 秦绪佳, 陈佳舟, 刘玉生. 模型驱动复杂机电系统软件与物理并行概念设计[J]. 中国机械工程, 2021, 32(21): 2532-2541.
[4]	胡裕菲;刘子建;钟浩龙;秦欢. 车身动态刚度链建模及正向概念设计研究[J]. 中国机械工程, 2018, 29(09): 1076-1083,1089.
[5]	胡朝辉, 张健, 李光耀, 袁智军. 基于区间分隔的卡车车架轻量化设计[J]. 中国机械工程, 2016, 27(08): 1130-1135.
[6]	刘子建, 周小龙, 田海豹, 吕程. 基于主断面刚度优化分配的车身正向概念设计[J]. 中国机械工程, 2015, 26(6): 837-843.
[7]	宋凯, 王超, 成艾国, 段利斌. 面向正向概念设计的车身T型接头快速优化[J]. 中国机械工程, 2015, 26(2): 272-277.
[8]	洪振宇, 张志旭, 许致华. 一种新型三自由度混联机构基于刚度性能的尺度综合方法[J]. 中国机械工程, 2014, 25(5): 619-623,629.
[9]	单鸿波, 葛滨, 于海燕, 孙志宏, 徐方. 面向概念设计的功能需求获取机制研究[J]. 中国机械工程, 2013, 24(12): 1605-1610.
[10]	李发权1, 熊世权2. 基于原案分析的工作模式对机械概念设计认知过程的影响[J]. 中国机械工程, 2012, 23(6): 646-650.
[11]	张根保, 刘佳, 葛红玉. 装配可靠性的动态贝叶斯网络建模与分析 [J]. 中国机械工程, 2012, 23(2): 211-215.
[12]	王美焰1, 沈连婠1, 邓益民2, 束学道2. 基于E-CBP的机电产品可持续概念设计方法[J]. 中国机械工程, 2012, 23(13): 1603-1607.
[13]	李彬1, 2, 黄田1, 张利敏1, 赵新华2. 一种新型五自由度混联机械手的概念设计及尺度综合 [J]. 中国机械工程, 2011, 22(16): 1900-1905.
[14]	王伟伟, 余隋怀, 杨刚俊, 杨延璞. 约束驱动的产品形态概念设计智能优化模型研究 [J]. 中国机械工程, 2011, 22(15): 1770-1775.
[15]	宋凯, 成艾国, 胡朝辉, 钟志华. 基于真实接头车身概念模型的结构优化 [J]. 中国机械工程, 2010, 21(22): 2764-2770.

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

Software-physical Unified Formal Functional Analysis for Complex Mechatronic Systems

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics