曹悦
 　　　　
 性别：女
 学位：博士
 毕业院校：浙江大学
 研究机构：数字媒体技术研究所
 邮箱：ycao@zjut.edu.cn
 办公地点：屏峰校区计算机学院B508
 研究方向：模型驱动智能化系统设计，基于模型的系统工程

个人简介
科研工作
教学工作
2015.9至2020.4 浙江大学计算机辅助设计与图形学国家重点实验室 博士研究生
2011.4至2015.8 微策略（中国）技术中心 首席软件测试工程师
2008.9至2011.3 浙江大学计算机辅助设计与图形学国家重点实验室 硕士研究生
2004.9至2008.7 浙江大学软件学院 本科生
本人自2008年起从事基于模型的系统设计相关研究，涉及模型驱动智能化系统设计、系统设计与系统仿真集成、系统设计与控制软件设计集成等多个子领域。在此期间，作为主要成员参与1项科技部国家重点研发计划项目、3项国家自然科学基金面上项目等相关基础研究项目4项，并作为主要成员参与中国兵器集团、航天五院、中电集团等大型军工企业的相关专题研究项目4项。本人以第一作者身份发表论文8篇，其中6篇被SCI检索，发表于Computer-Aided Design、Mechatronics、Research in Engineering Design等高水平国际期刊；2篇被EI检索，发表于计算机辅助设计与图形学学报以及美国机械工程师协会（ASME）举办的高水平国际学术会议，并获该会议最佳论文奖。此外，还与他人合作发表SCI/EI检索论文4篇。


代表性论文：
[1] Cao Y, Liu Y, Ye X, et al. An automated approach for execution sequence-driven software and physical co-design of mechatronic systems based on hybrid functional ontology [J]. Computer- Aided Design, 2021, 131: 102942. (SCI)
[2] Cao Y, Liu Y, Ye X, et al. Software-physical synergetic design methodology of mechatronic systems based on formal functional models[J]. Research in Engineering Design, 2020, 31: 235-255. (SCI)
[3] Cao Y, Liu Y, Wang H, et al. Ontology-based model-driven design of distributed control applications in manufacturing systems[J]. Journal of Engineering Design, 2019, 30(10-12): 523-562. (SCI)
[4] Cao Y, Xu J, Liu Y, et al. Automated generation of control logic from system design based on SysML and the IEC 61499 Function Block[J]. Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, 2019, 233(14): 2547-2565. (SCI)
[5] 曹 悦, 刘玉生, 赵建军, 等. 基于SysML的复杂机电系统设计模型形式化扩展与验证[J]. 计算机辅助设计与图形学学报, 2019, 31(12): 2166-2176. (EI)
[6] Cao Y, Liu Y, Fan H, et al. SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronics[J]. Computer- Aided Design, 2013, 45(3): 764–776. (SCI)
[7] Cao Y, Liu Y, Paredis CJJ. System-level model integration of design and simulation for mechatronic systems based on SysML[J]. Mechatronics, 2011, 21(6): 1063–1075. (SCI)
[8] Cao Y, Liu Y, Paredis CJJ. Integration of system-level design and analysis models of mechatronic system behavior based on SysML and Simscape[C] //ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Montreal, Quebec, Canada, 2010. (EI, Best Paper Award)



目前担任操作系统原理与大型实验（留学生）课程的教学工作。