代表性论文:
[1] Cao Yue, Liu Yusheng, Qin Xujia*. A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics [J]. Advanced Engineering Informatics, 2023, 58: 102201. (SCI, 一区Top)
[2] Cao Yue, Liu Yusheng*, Ye Xiaoping, 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, 二区)
[3] Cao Yue, Liu Yusheng*, Fan Hongri, 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, 二区)
[4] Cao Yue, Liu Yusheng*, Wang Hongwei, 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, 二区)
[5] 曹悦*, 刘玉生, 秦绪佳, 汤颖[J]. 复杂机电系统的软件与物理统一的形式化功能分析, 中国机械工程,
2025, 36(2): 245-254. (EI)
授权专利:
[1] 曹悦; 石煌宽 ; 一种SysML模型知识图谱语义关系推理方法和装置, 2024-11-8, 中国, ZL 2024 1 1099819.8
[2] 曹悦 ; 一种基于功能执行顺序的工作原理自动筛选方法, 2024-11-22, 中国, ZL 2020 1 0879049.4
[3] 刘玉生; 曹悦 ; 一种基于本体的控制软件模型的自动生成方法, 2020-12-1, 中国, ZL 2019 1 0458320.4