鲁金直，北京航空航天大学航空与科学工程学院，副教授，国家级青年人才，INCOSE系统工程金牌资质CSEP，KARMA语言创始人。

博士、硕士招生联系邮箱：jinzhl@buaa.edu.cn

Researchgate：https://www.researchgate.net/profile/Lu_Jinzhi 

专业方向为飞行器数字化设计与基于模型的系统工程，即采用基于模型的系统工程技术支持飞行器的架构设计。基于模型的系统工程（MBSE）为

系统工程核心工业软件中的必要技术。在航空航天系统研发的数字化转型过程中，随着其系统架构的复杂度逐渐增加，采用MBSE能够提升系统架构设计的数字化能力并直接影响到飞行器的系统效能及研发效率。

一、研究方向

1.面向飞行器架构的语义建模方法，支持航天系统、大飞机等体系及系统架构的统一形式化表达；针对飞行器研发周期长、设计要素正向传递紧密、关键性能指标特征各异的问题，研究飞行器关键系统指标高层级形式化理论，支持飞行器系统架构的统一形式化表达。

2.基于数字总线的MBSE工具链，解决飞行器概念设计的协同及设计方案的自动化验证。飞行器各领域设计工具多样且异构，无法将设计方案快速自动地传递到仿真验证工具。通过研究飞行器多层级、多领域设计及仿真异构数据的一体化语义表达技术，构建基于模型的系统工程工具链，实现流程驱动的指标及架构的自动化测试方案。

 3.基于认知数字孪生的飞行器方案设计决策方法，实现飞行器方案的智能化生成及一体化验证。基于飞行器数字总线，定位自动仿真及测试过程中的追溯及变更场景，采用领域知识语义推理技术，进行变更及追溯关联要素捕捉，实现自动仿真测试场景数据追溯及变更方案生成和自动决策。

     二、相关代表性研究成果：

代表性成果

0. s³MBSE理念

        见中国系统工程学会数字化研制的系统工程-新时代系统工程大讲堂240628：https://www.bilibili.com/video/BV1zr421T7tu/?spm_id_from=333.999.list.card_archive.click&vd_source=eebee458be7bade0b4e900da21b61719 。

1. 多架构建模语言KARMA

        KARMA语言是英文Kombination of ARchitecture Model specificAtion的缩写，表示架构模型规范的集成。目前，KARMA语言已经形成国家标准计划 《 系统与软件工程 基于模型的系统工程 统一架构建模语言》 。KARMA语言是由北京航空航天大学及北京理工大学的核心研发团队联合洛桑联邦理工、瑞典皇家理工、上海交通大学、北京中科蜂巢科技有限公司等机构合作开发的文本式系统建模语言。该语言是一种更高抽象层次、以面向对象方法为核心的文本式建模语言，支持描述各种系统架构视角、架构模型转化、基于混合状态机及基于可满足性模理论的静态验证求解 。KARMA语言已经在欧盟地平线H2020项目QU4LITY、H2020 FACTLOG及H2020 ONTOCOMMONS等项目中被应用 。同时，KARMA语言在航天、航空等复系统研发领域被应用于系统的任务设计、体系设计与系统设计。

 定义

      KARMA语言是一种具备元模型定义及模型建模的文本式建模语言，支持描述各种体系建模、系统架构建模 、行为仿真仿真及指标验证等功能。该语言的应用范围是在系统研发生命周期前端，解决使命任务定义及分析、体系定义及分析、系统需求、系统概念设计、系统架构设计、系统研发过程定义、系统研发信息定义等生命周期活动中，使命任务、体系、系统、系统研发过程及领域知识的全要素一体化语义表达。通过支持开发生命周期协作服务OSLC、ReqIF及EARS的需求描述规范及方法、JULIA、GOPPRRE/IoF系统工程本体及AR的集成，实现全生命周期研发数据及领域知识的一体化描述、决策及唯一数据源管理，最终形成以KARMA语言为核心的数字化工程解决方案。 该标准主要范围是基于模型的系统工程、语义建模、架构建模等相关语义规范定义，包括元元模型（图、对象、关系、角色、点、属性等）、元模型及模型等。于此同时，定义对应元模型及模型实例的相关固定语法及抽象语法 。

功能

     KARMA语言支持基于模型系统工程相关建模语言构建、特定域建模、架构驱动、代码生成、指标分析验证、混合状态机仿真及面向其他系统工程分析的语言规范 。

特点

    1. 建模：1. 元模型构建，支持定义领域元模型；2. 体系与系统建模，基于所定义的领域元模型，构建体系及系统模型。

    2. 分析：1. 指标验证：支持系统模型的静态指标验证；2. 混合状态机仿真：支持系统行为仿真；3. JULIA混合编程。支持KARMA模型与系统集成的联合仿真。

    3. 模型转化：1.代码生成：支持架构模型向其他代码的自动化生成；2.架构驱动：支持架构模型之间的自动化传递；3支持KARMA语言生成本体模型。

    4. 数据集成：1. 需求条目管理：支持条目化需求定义及管理；2.DSM表单管理：支持条目化需求与模型要素的追溯定义；3. 基于OSLC的网端服务化：提供网端的互操作API，支持KARMA数据的互操作及网端模型结构可视化。

多架构建模语言介绍（KARMA语言国家标准计划（本人为主要起草人）：https://std.samr.gov.cn/gb/search/gbDetailed?id=DF55C2967EADD24BE05397BE0A0A5C25）

第三届MBSE及DE大会《多架构建模语言生态构建》

2. 基于GOPPRRE的MBSE形式化本体

The 2nd OntoCommons Global Workshop 中基于GOPPRRE本体的MBSE互用性技术汇报

（Ontocommons deliveriable：https://zenodo.org/records/10891686）

3.基于数字总线的MBSE工具链SPIRIT框架

受美国NDIA邀请，在线介绍SPIRIT框架

Revolutionising the Commercial Aviation Industry with Smart Model-based Systems Engineering，2024 International Conference on Shaping the Future of Aviation Industry with Smart Technologies in Digitalization and Innovation 

2024年MBSE大赛高校组二等奖

4. 基于认知数字孪生的智能化设计决策

认知技术在H2020 QU4LITY项目中空客场景的应用

iKARMA开源社区：https://ikarma.chinambse.com/

组织特刊

《系统工程学报》第38卷第2期——《复杂工业产业的系统工程技术新趋势专辑》主编

期刊论文

1.  Jinzhi Lu, George Tsinarakis, Nikolaos Sarantinoudis, George Arampatzis, Xiaochen Zheng, Dimitris Kiritsis, A semantic model-based systems engineering approach for assessing the operational performance of metal forming process, Computers & Industrial Engineering, Volume 190, 2024, 110042。

2.  Xiaochen Zheng, Xiaodu Hu, Jinzhi Lu*, Rebeca Arista, Joachim Lentes, Dimitris Kiritsis, An aircraft assembly process formalism and verification method based on semantic modeling and MBSE, Advanced Engineering Informatics, Volume 60, 2024, 102412.

3. Shouxuan Wu, Guoxin Wang, Jinzhi Lu, Zhenchao Hu, Yan Yan, Dimitris Kiritsis, Design ontology for cognitive thread supporting traceability management in model-based systems engineering, Journal of Industrial Information Integration, Volume 40, 2024, 100619, ISSN 2452-414X, https://doi.org/10.1016/j.jii.2024.100619.

4. J. Lu, Y. Gong, G. Wang and Y. Yan (2024), “Bibliometric analysis of model-based systems engineering in advanced manufacturing”, Journal of Intelligent Manufacturing and Special Equipment, Vol. ahead-of-print No. ahead-of-print. https://doi.org/10.1108/JIMSE-02-2024-0004

5. Hu, Z., Chen, J., Lu, J., and Zhang, H. (January 6, 2024). "Mission-Oriented Electrified Aircraft Propulsion System Design and Verification Using Model-Based Systems Engineering." ASME. J. Eng. Gas Turbines Power. doi:https://doi.org/10.1115/1.4064411

6. 董梦如,王国新,鲁金直,马君达,阎艳.基于WordCloud技术的MBSE发展态势研究[J/OL].系统工程与电子技术:1-21[2023-02-22].https://kns-cnki-net.e1.buaa.edu.cn/kcms/detail/11.2422.TN.20230220.1056.008.html

7. 鲁金直,王国新,阎艳等.基于多架构建模语言的系统工程建模方法[J].系统工程学报,2023,38(02):146-160.DOI:10.13383/j.cnki.jse.2023.02.001.

8. 董梦如, 王国新, 鲁金直*, 阎艳. 本体驱动的复杂产品设计模型集成[J]. 计算机集成制造系统, DOI: 10.13196/j.cims.2023.0299.

9.             鲁金直,王国新,张旸旸,阎艳,冯雷,唐锡晋,唐剑,沙金龙,郑晓晨,马君达,陈金伟,车江涛,李小波.基于模型的系统工程统一架构建模语言的标准体系构建[J].信息技术与标准化,2024(1):22-2753
   

10.     Jinzhi Lu, Dejiu Chen，Guoxin Wang，Dimitris Kiritsis and Martin Törngren . Model-based Systems Engineering Tool-chain for Automated Parameter Value Selection (2021). IEEE Trans on SMC（IF:9.304).

11. Yuanfu Li, Jinwei Chen, Zhenchao Hu, Huisheng Zhang, Jinzhi Lu* & Dimitris Kiritsis (2021) Co-simulation of complex engineered systems enabled by a cognitive twin architecture, International Journal of Production Research, DOI: 10.1080/00207543.2021.1971318

12. Jože M. Rožanec, Jinzhi Lu, Jan Rupnik, Maja Škrjanc, Dunja Mladenić, Blaž Fortuna, Xiaochen Zheng & Dimitris Kiritsis (2021) Actionable cognitive twins for decision making in manufacturing, International Journal of Production Research, DOI: 10.1080/00207543.2021.2002967.

13. Xiaochen Zheng, Jinzhi Lu & Dimitris Kiritsis (2021) The emergence of cognitive digital twin: vision, challenges and opportunities, International Journal of Production Research, DOI: 10.1080/00207543.2021.2014591

14. J. Lu, J. Ma, X. Zheng, G. Wang, H. Li and D. Kiritsis, "Design Ontology Supporting Model-Based Systems Engineering Formalisms," in IEEE Systems Journal, doi: 10.1109/JSYST.2021.3106195.

15. Jinzhi Lu , Guoxin Wang ,Xin Tao, Jian Wang and Martin Törngren （2020）. A Domain-specific Modeling Approach Supporting Tool-chain Analysis, ICAE （IF:4.904）.

16. Jinzhi Lu, Xinguo Wang*, Martin Törngren (2019). Design Ontology in a Case Study for Co-simulation in a Model-based Systems Engineering Tool-chain, IEEE Systems journal,  DOI:10.1109/JSYST.2019.2911418 (IF:4.337).

17. Jinzhi Lu, Jiqiang Wang, Dejiu Chen, Jian Wang, Martin Törngren.  A Service-oriented Tool-chain for Model-based System Engineering of Aero-engines. (2018), IEEE ACCESS (IF:3.557). 10.1109/ACCESS.2018.2868055.

18. Rožanec, J.M.; Trajkova, E.; Lu, J.; Sarantinoudis, N.; Arampatzis, G.; Eirinakis, P.; Mourtos, I.; Onat, M.K.; Yilmaz, D.A.; Košmerlj, A.; Kenda, K.; Fortuna, B.; Mladenić, D. Cyber-Physical LPG Debutanizer Distillation Columns: Machine-Learning-Based Soft Sensors for Product Quality Monitoring. Appl. Sci. 2021, 11, 11790. https://doi.org/10.3390/app112411790

19. Meierhofer, J.; Schweiger, L.; Lu, J.; Züst, S.; West, S.; Stoll, O.; Kiritsis, D. Digital Twin-Enabled Decision Support Services in Industrial Ecosystems. Appl. Sci. 2021, 11, 11418. https://doi.org/10.3390/app112311418

20. Tao Xin, Jinzhi Lu,  Dejiu Chen, Martin Törngren (2020). Probabilistic Inference for Fault Detection of Cyber-Physical Systems under Uncertainty, IEEE Systems journal.

21. SUN Shengnan, LU Jinzhi, CHEN Jinwei, HUANG Baiqiao, LAN Xiaoping, ZHANG Huisheng. Implementation and application of multi-architecture modeling method for aircraft entertainment system. Science & Technology Review, 2020, 38(21): 177-186.

22. 鲁金直, 王国新, 郑新华, 黄百乔. 基于模型系统工程中国应用调查[J]. 科技导报, 2018, 36(20): 57-66.

23. Binbin Hao, Jinzhi Lu*, Jun Li, Guoxin Wang, Xiaoping Lan, Jianjiang Chen, Xin Wu. Domain-specific Modeling Approach Supporting Model-based Systems Engineering in Aero-engine Development, MBSE Special Issue, Science & Technology Review (Chinese)

24. Jingqi Chen, Guoxin Wang, Jinzhi Lu, Xiaochen Zheng, Dimitris Kiritsis, Model-based system engineering supporting production scheduling based on satisfiability modulo theory, Journal of Industrial Information Integration, Volume 27,2022,100329,

25. Ma, J.; Wang, G.; Lu, J.; Zhu, S.; Chen, J.; Yan, Y. Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development. Appl. Sci. 2022, 12, 3067. https://doi.org/10.3390/app12063067

26. 杨兆瑞, 于翔, 王坚, 鲁金直, 兰小平, 姚春波. 多架构体系建模与仿真联合平台. 计算机系统应用, 2021, 30(12): 63-72.http://www.c-s-a.org.cn/1003-3254/8226.html

27. Eirinakis, P.; Lounis, S.; Plitsos, S.; Arampatzis, G.; Kalaboukas, K.; Kenda, K.; Lu, J.; Rožanec, J.M.; Stojanovic, N. Cognitive Digital Twins for Resilience in Production: A Conceptual Framework. Information 2022, 13, 33. https://doi.org/10.3390/info13010033

28. Han Li, Guoxin Wang, Jinzhi Lu*, and Dimitris Kiritsis (2022). Cognitive Twin Construction for System of Systems Operation Based on Semantic Integration and High-Level Architecture, Integrated Computer Aided Engineering. 

29. Lingling Guo, Jingjing Chen, Shihan Li, Yafei Li, Jinzhi Lu, A blockchain and IoT based lightweight framework for enabling information transparency in supply chain finance, Digital Communications and Networks, 2022, https://doi.org/10.1016/j.dcan.2022.03.020.

30. Ma, J.; Wang, G.; Lu, J.; Vangheluwe, H.; Kiritsis, D.; Yan, Y. Systematic Literature Review of MBSE Tool-Chains. Appl. Sci. 2022, 12, 3431. https://doi.org/10.3390/app12073431

31. Zheng X, Petrali P, Lu J, Turrin C and Kiritsis D (2022) RMPFQ: A Quality-Oriented Knowledge Modelling Method for Manufacturing Systems Towards Cognitive Digital Twins. Front. Manuf. Technol. 2:901364. doi: 10.3389/fmtec.2022.901364

32. Chen J, Chen Y, Hu Z, Lu J, Zheng X, Zhang H and Kiritsis  D (2022) A Semantic Ontology-Based Approach to Support Model-Based Systems Engineering Design for an Aircraft Prognostic Health Management System. Front. Manuf. Technol. 2:886518. doi: 10.3389/fmtec.2022.886518

33. Chen, J., Tang, X., Lu, J., and Zhang, H. (June 16, 2022). "A Compressor Off-Line Washing Schedule Optimization Method With a LSTM Deep Learning Model Predicting the Fouling Trend." ASME. J. Eng. Gas Turbines Power. August 2022; 144(8): 081005. https://doi.org/10.1115/1.4054748

34. Chen, J.; Hu, Z.; Lu, J.; Zheng, X.; Zhang, H.; Kiritsis, D. A Data-Knowledge Hybrid Driven Method for Gas Turbine Gas Path Diagnosis. Appl. Sci. 2022, 12, 5961. https://doi.org/10.3390/app12125961

35. Z. Li, G. Wang, J. Lu, D. G. Broo, D. Kiritsis and Y. Yan, "Bibliometric Analysis of Model-Based Systems Engineering: Past, Current, and Future," in IEEE Transactions on Engineering Management, 2022, doi: 10.1109/TEM.2022.3186637.

36. Jinzhi, L., Zhaorui, Y., Xiaochen, Z. et al. Exploring the concept of Cognitive Digital Twin from model-based systems engineering perspective. Int J Adv Manuf Technol (2022). https://doi.org/10.1007/s00170-022-09610-5

37. Jinwei Chen, Zhenchao Hu, Jinzhi Lu, Huisheng Zhang, Shilie Weng, A novel control strategy with an anode variable geometry ejector for a SOFC-GT hybrid system, Energy, 2022, 125281, ISSN 0360-5442, https://doi.org/10.1016/j.energy.2022.125281.

38. Zheng, X., Hu, X., Arista, R. et al. A semantic-driven tradespace framework to accelerate aircraft manufacturing system design. J Intell Manuf (2022). https://doi.org/10.1007/s10845-022-02043-7

会议论文

1. Ding J, Reniers M, Lu J, Wang G, Feng L, Kiritsis D (2021) Integration of modeling and verification for system model based on KARMA language. In: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. ACM, New York, NY, USA, pp 41–50

2.  H. Wang, S. Zhu, J. Tang, J. Lu, J. Wu and D. Kiritsis, "Model-based Systems Engineering Supporting Cost Analysis of Aircraft Development Process," 2021 IEEE International Symposium on Systems Engineering (ISSE), 2021, pp. 1-3, doi: 10.1109/ISSE51541.2021.9582507.

3. Z. Li, J. Lu, G. Wang, L. Feng, D. G. Broo and D. Kiritsis, "A Bibliometric Analysis on Model-based Systems Engineering," 2021 IEEE International Symposium on Systems Engineering (ISSE), 2021, pp. 1-8, doi: 10.1109/ISSE51541.2021.9582526.

4. Jin Y., Lu J., Wang G., Wang R., Dimitris K. (2021) Semantic Modeling Supports the Integration of Concept-Decision-Knowledge. In: Dolgui A., Bernard A., Lemoine D., von Cieminski G., Romero D. (eds) Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems. APMS 2021. IFIP Advances in Information and Communication Technology, vol 633. Springer, Cham. https://doi.org/10.1007/978-3-030-85910-7_22

5. She S., Lu J., Wang G., Ding J., Hu Z. (2021) Model-Based Systems Engineering Supporting Integrated Modeling and Optimization of Radar Cabin Layout. In: Dolgui A., Bernard A., Lemoine D., von Cieminski G., Romero D. (eds) Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems. APMS 2021. IFIP Advances in Information and Communication Technology, vol 633. Springer, Cham. https://doi.org/10.1007/978-3-030-85910-7_23

6. Li H., Lu J., Zheng X., Wang G., Kiritsis D. (2021) Supporting Digital Twin Integration Using Semantic Modeling and High-Level Architecture. In: Dolgui A., Bernard A., Lemoine D., von Cieminski G., Romero D. (eds) Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems. APMS 2021. IFIP Advances in Information and Communication Technology, vol 633. Springer, Cham. https://doi.org/10.1007/978-3-030-85910-7_24

7. Zheng, X., Lu, J., Arista, R., Hu, X., Lentes, J., Ubis, F., ... & Kiritsis, D. (2020). Development of an application ontology for knowledge management to support aircraft assembly system design. Proceedings http://ceur-ws. org ISSN, 1613, 0073.

8.  Jiangmin Guo，Jie Ding，Jinzhi Lu and Guoxin Wang. A Model Query Language for Domain-Specific  Models,  2020 5th International Conference on Mechanical, Control and Computer Engineering (ICMCCE) .

9. Yang P, Lu J, Feng L, et al. A Knowledge Management Approach Supporting Model-Based Systems Engineering[C] //Trends and Applications in Information Systems and Technologies: Volume 2 9. Springer International Publishing, 2021: 581-590.

10. Lu J., Zheng X., Schweiger L., Kiritsis D. (2021) A Cognitive Approach to Manage the Complexity of Digital Twin Systems. In: West S., Meierhofer J., Ganz C. (eds) Smart Services Summit. Progress in IS. Springer, Cham. https://doi.org/10.1007/978-3-030-72090-2_10.

11. Wu Shouxuan, Jinzhi Lu, Zhenchao Hu, Pengfei Yang, Guoxin Wang, Dimitris Kyritsis. Cognitive Thread Support Complex Development System of Systems, conference paper， IEEE – 16th System of Systems Engineering Conference.

12. Jürg Meierhofer, Simon Züst, Jinzhi Lu, Lukas Schweiger, Dimitris Kiritsis. Enabling Decisions Support Services In Industrial Ecosystems by Digital Twins, Spring Servitization Conference 2021.

13. Gharaei A., Lu J., Stoll O., Zheng X., West S., Kiritsis D. (2020) Systems Engineering Approach to Identify Requirements for Digital Twins Development. In: Lalic B., Majstorovic V., Marjanovic U., von Cieminski G., Romero D. (eds) Advances in Production Management Systems. The Path to Digital Transformation and Innovation of Production Management Systems. APMS 2020. IFIP Advances in Information and Communication Technology, vol 591. Springer, Cham. 

14. Decentralized Industrial IoT Data Management Based on Blockchain and IPFS, Zheng X., Lu J., Sun S., Kiritsis D. (2020)，APMS 2020. IFIP Advances in Information and Communication Technology, vol 592. Springer, Cham.

15. Zhenchao Hu, Lu Jinzhi, Jinwei Chen, Xiaochen Zheng, Dimitrios Kyritsis and Huisheng Zhang (2020), A Complexity Analysis Approach for Model-based System Engineering,  IEEE – 15th System of Systems Engineering Conference.

16. Joze M. Rozanec, Lu Jinzhi , Aljaz Kosmerlj , Klemen Kenda, Kiritsis Dimitris, Viktor Jovanoski , Jan Rupnik , Mario Karlovcec, and Blaz Fortuna. Towards Actionable Cognitive Digital Twins for Manufacturing, SeDiT Workshop，ESWC 2020 conference .

17. Zheng Xiaochen, Psarommatis Foivos, Petrali Pierluigi, Turrin Claudio, Lu Jinzhi, KiritsisDimitris. A Quality-Oriented Digital Twin Modelling Method for Manufacturing Processes Based on A Multi-Agent Architecture, FAIM2021 International Conference.

18. Lu Jinzhi, Guoxin Wang, Jiangmin Guo, Hongwei Wang, Hang Zhang and Martin Torngren, A General Modeling Language Supporting Model-based Systems Engineering Formalisms (Part 1), 30th Annual INCOSE International Symposium.

19. Jiangmin Guo, Guoxin Wang, Lu Jinzhi*, Shengnan Sun and Hang Zhang, A General Modeling Language Supporting Architecture driven and Code Generation (Part 2), 30th Annual INCOSE International Symposium.

20. Jinzhi Lu, Xiaochen Zheng, A.G.K.K.D.K.: Cognitive twins for supporting decision-makings of internet of things systems. In: Proceeding of 5th International Conference on the Industry 4.0 Model for Advanced Manufacturing (2020).

21. Jinwei Chen, Zhenchao Hu, Jinzhi Lu*, Huisheng Zhang*, Sihan Huang,Martin Törngren. An Open Source Lifecycle Collaboration Approach Supporting Internet of Things System Development, IEEE – 14th System of Systems Engineering Conference.

22. Hongwei Wang, Guoxin Wang, Jinzhi Lu*, Changfeng Ma. Ontology supporting Model-based Systems Engineering based on a GOPPRR approach. WorldCist'19 - 7th World Conference on Information Systems and Technologies.

23. Jinzhi Lu, Yuejie Wen, Didem Gürdür, Qi Li, Martin Törngren. MBSE Applicability Analysis in Chinese Industry, 28th Annual INCOSE International Symposium.

24. Zhigang Liu*, Mengfei Yang*, Qi Chen,Qing Du,Ning Xia, Jinzhi Lu*. An MBSE Tool to Support Architecture Design for Spacecraft Electrical Power System, 28th Annual INCOSE International Symposium.

25. Jinzhi Lu, Dejiu Chen,Jian Wang, Martin Törngren.Towards A Service-oriented Framework for MBSE Tool-chain Development, IEEE – 13th System of Systems Engineering Conference.

26. Jinzhi Lu, Didem Gürdür, Dejiu Chen, Jian Wang and Martin Törngren, Empirical-Evolution of Frameworks Supporting Co-simulation Tool-Chain Development. WorldCist'18 - 6th World Conference on Information Systems and Technologies.

27. Jinzhi Lu, Dejiu Chen, Jian Wang and Martin Törngren (2017), A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS), Workshop on Formal Co-Simulation of Cyber-Physical Systems in SEFM2017.

28. Lu, J., Chen, D.-J., Gürdür, D. and Törngren, M. (2017), An Investigation of Functionalities of Future Tool-chain for Aerospace Industry. INCOSE International Symposium, 27: 1408–1422. doi:10.1002/j.2334-5837.2017.00437.x

29. Jinzhi Lu, Dejiu Chen, Martin Törngren, Frédéric Loiret. A Model-driven and Tool-integration Framework for Whole Vehicle Co-simulation Environments. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France.

30. Dong Zhang, Jin-zhi Lu, Lin Wang, Jun Li, Research of Model-based Aero-engine Control System Design Structure and Workflow, In Procedia Engineering, Volume 99, 2015, Pages 788-794, ISSN 1877-7058.

31. Lu J., Chen D., Wang J., Li W. , An Investigation of Model-Based Design Framework for Aero-Engine Control Systems. In: Proceedings of the 2015 Chinese Intelligent Systems Conference. Lecture Notes in Electrical Engineering. Springer, Berlin, Heidelberg

32. Lu J., Ding J., Zhou F., Gong X. (2016) Research of Tool-Coupling Based Electro-hydraulic System Development Method. In: Proceedings of the 6th International Asia Conference on Industrial Engineering and Management Innovation. Atlantis Press, Paris

33. M. Dong, J. Lu, G. Wang, X. Zheng and D. Kiritsis, "Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization," 2022 IEEE International Systems Conference (SysCon), 2022, pp. 1-7, doi: 10.1109/SysCon53536.2022.9773795.

34. J. Chen, J. Lu, G. Wang, L. Feng and D. Kiritsis, "A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories," 2022 IEEE International Systems Conference (SysCon), 2022, pp. 1-8, doi: 10.1109/SysCon53536.2022.9773841.

35. Hu, X., Arista, R., Zheng, X., Lentes, J., Sorvari, J., Lu, J., ... & Kiritsis, D. (2022). Ontology-based system to support industrial system design for aircraft assembly. IFAC-PapersOnLine, 55(2), 175-180.

36. Lu, J., Wang, G., Yan, Y., Cameron, D., Lei, F., Zhang, Y., Tang, X., Wang, J., Tang, J., Tang, J., Zhang, H., Reniers, M., Törngren, M., Ma, J., Keraron, Y., Wu, S. and Kiritsis, D. (2022), Semantic Model-based Systems Engineering based on KARMA: A Research and Practice Roadmap 2025. INCOSE International Symposium, 32: 706-720. https://doi.org/10.1002/iis2.12959

37.  Xiaodu Hu, Rebeca Arista, Joachim Lentes, Jinzhi Lu, Xiaochen Zheng, Jyri Sorvari, Fernando Ubis, Dimitris Kiritsis, Ontology-centric industrial requirements validation for aircraft assembly system design, IFAC-PapersOnLine, Volume 55, Issue 10, 2022, Pages 3016-3021, ISSN 2405-8963, https://doi.org/10.1016/j.ifacol.2022.10.191.

38. Hu X, Lu J, Zheng X, et al. Semantic Modeling Supporting Discrete Event Simulation for Aircraft Assembly Process[C]//International Symposium on Knowledge and Systems Sciences. Springer, Singapore, 2022: 83-98.

39. 马君达,王宏伟,鲁金直,王国新,阎艳. 需求驱动的无人平台架构设计方法[C]//.第四届体系工程学术会议论文集.[出版者不详],2022:55-69.DOI:10.26914/c.cnkihy.2022.035533.

40. 曹宇茜,鲁金直,马君达,谢博宇,吴俊鹏,王国新,王坚. 基于语义的MBSE方法支持复杂体系建模及态势感知仿真[C]//.第四届体系工程学术会议论文集——数字化转型中的体系工程.[出版者不详],2022:29-43.DOI:10.26914/c.cnkihy.2022.061460.

41. Cao Y, Xie B, Wang J, et al. 3D Visualization Supporting Situational Awareness of Model-Based System of Systems[C]//International Symposium on Knowledge and Systems Sciences. Springer, Singapore, 2022: 113-127.

42.      Jie Ding, Jinzhi Lu, Guoxin Wang, Junda Ma, Dimitris Kiritsis, Yan Yan, Code Generation Approach Supporting            Complex  System Modeling based on Graph Pattern Matching, IFAC-PapersOnLine, Volume 55, Issue 10, 2022, Pages 3004-3009, ISSN 2405-8963, https://doi.org/10.1016/j.ifacol.2022.10.189.

43. R. Chen, G. Wang, S. Wu, J. Lu and Y. Yan, "A Service-oriented Approach Supporting Model Integration in Model-based Systems Engineering," 2023 IEEE International Systems Conference (SysCon), Vancouver, BC, Canada, 2023, pp. 1-7, doi: 10.1109/SysCon53073.2023.10131078.

44. Liu, Z., Wang, G., Ma, J., Lu, J., Dong, M. (2025). Mission Modeling for the Perseverance Rover Based on KARMA Language. In: Tang, X., Huynh, V.N., Xia, H., Bai, Q. (eds) Knowledge and Systems Sciences. KSS 2024. Communications in Computer and Information Science, vol 2269. Springer, Singapore. https://doi.org/10.1007/978-981-96-0178-3_14

45. Liu, T., Wang, X., Lu, J., Tong, Y., Liu, Y., Hu, X. (2025). Model-Based Systems Engineering Supporting Architecture Modeling of Air Traffic Management System and Model Verifying Based on SMT. In: Tang, X., Huynh, V.N., Xia, H., Bai, Q. (eds) Knowledge and Systems Sciences. KSS 2024. Communications in Computer and Information Science, vol 2269. Springer, Singapore. https://doi.org/10.1007/978-981-96-0178-3_13

     三、项目：

      作为项目主持、子课题负责人、核心技术负责人负责及参与多项重大工程及型号项目。

      四、奖励

n  2023.12, 全国信息技术标准化技术委员会2023标准化工作先进个人。

n  2023.01，荣获International Journal of Production Research杂志社 “生产制造领域顶刊IJPR2021/2022年度高引文章”奖。

n  2022.06，作为通讯作者，荣获第四届体系工程学术会议主委会 “第四届体系工程学术会议优秀论文一等奖 “。

n  2024.08，JIMSE青年科学家奖

n  2024.10， 第三届基于模型的系统工程及数字工程大会(MBSE&DE 2024)优秀案例

• [1]. 2007.9 -- 2011.7

  武汉理工大学       机械工程       大学本科毕业       学士学位

• [2]. 2011.9 -- 2013.6

  华中科技大学       机械工程       硕士       硕士学位

• [3]. 2014.9 -- 2019.6

  瑞典皇家理工学院       机械工程       博士研究生       博士学位

• [1]. 2019.11 -- 2023.9

  洛桑联邦理工学院      ict4sm实验室      博后研究员

[1]. 2023.9 -- 至今

中国系统工程学会 应用及咨询工作委员会副主任委员

[2]. 2021.10 -- 至今

基于模型系统工程联盟对外合作委员会的主任委员

[3]. 2019.9 -- 至今

国际电子电工协会的社会、人及控制论分会基于模型的系统工程委员会技术委员

[4]. 2022.12 -- 至今

国际工业本体组织IoF系统工程分委会主任委员

[5]. 2015.9 -- 至今

国际系统工程学会系统工程专家资质CSEP

[6]. 2021.9 -- 至今

ISO注册专家