朱晨阳

博士、副教授

常州大学

计算机与人工智能学院  阿里云大数据学院  软件学院

江苏常州 213164

E-MAIL: zcy@cczu.edu.cn

教育背景:

2016.09-2020.09 英国南安普顿大学 电子与计算机科学系 计算机科学专业 博士

2012.08-2014.05 美国宾夕法尼亚大学 计算与信息科学系 嵌入式专业 硕士

2008.09-2012.06 华中科技大学 电子与信息工程系 通信工程专业 学士

工作履历:

2023.07 至今常州大学计算机与人工智能学院副教授

2020.12-2023.07 常州大学计算机与人工智能学院讲师

2014.08-2016.09 OSIsoft llc（美国硅谷总部） 软件工程师

主授课程:

分布式系统与云计算，30课时，研究生

操作系统及Linux应用，64课时，本科生

计算机科学技术导论，24课时，本科生

互联网运维技术，48课时，本科生

研究领域:

多智能体强化学习，博弈论，实时系统建模，分布式系统，并行系统，信息物理系统

形式化方法，定理证明，模型检验，概率模型检验

迁移学习，非监督领域自适应

奖励与荣誉:

1. 2022年中国仪器仪表学会科技进步奖二等奖

2. 2021年江苏省双创博士

学术成果:

Ø 发表论文(近三年一作)

[1] Zhu, Chenyang, et al. Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning. In Proceedings of the AAAI Conference on Artificial Intelligence, 2024. （CCF-A 会议）

[2] Zhu, Chenyang, et al. Multiview Latent Space Learning with Progressively Fine-tuned Deep Features for Unsupervised Domain Adaptation. Information Science (2024): 120223.（中科院一区Top）

[3] Zhu, Chenyang, et al. Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning. International Symposium on Theoretical Aspects of Software Engineering. Cham: Springer Nature Switzerland, 2023. （CCF-C 会议）

[4] Zhu, Chenyang, et al. A fairness-based refinement strategy to transform liveness properties in Event-B models. Science of Computer Programming 225 (2023): 102907.（CCF-B 期刊）

[5] Zhu, Chenyang, et al. Efficient Reinforcement Learning with Generalized-Reactivity Specifications. 2022 29th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 2022. （CCF-C 会议）

[6] Zhu, Chenyang, et al. GR (1)-Guided Deep Reinforcement Learning for Multi-Task Motion Planning under a Stochastic Environment. Electronics 11.22 (2022): 3716.

[7] Zhu, Chenyang, et al. Reasoning about real-time systems in Event-B models with fairness assumptions. 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2021.

[8] Zhu, Chenyang, Michael Butler, and Corina Cirstea. Real-time trigger-response properties for Event-B applied to the pacemaker. 2020 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2020. （CCF-C 会议）

[9] Zhu, Chenyang, Michael Butler, and Corina Cirstea. Trace semantics and refinement patterns for real-time properties in Event-B models. Science of Computer Programming 197 (2020): 102513. （CCF-B 期刊）

[10] Zhu, Chenyang, Michael Butler, and Corina Cirstea. Formalizing hierarchical scheduling for refinement of real-time systems. Science of Computer Programming 189 (2020): 102390. （CCF-B 期刊）

Ø 专利成果（第一发明人）

一种不确定网络环境下RYU控制器流表自动生成方法，授权号：ZL202110716548.6，朱晨阳 （已授权）

一种面向时间约束的多智能体的调度方法，授权号：ZL202110810946，4，朱晨阳（已授权）

基于BPMN的边缘设备目标检测流程自动化系统及方法，CN202111187669.2，朱晨阳，谢云欣，蔡玉洁，胡灿，薛普俊，王立佳，于兴磊（已授权）

一种结合TOPSIS与人工智能的卒中快速识别方法，CN202111193461.1，朱晨阳，华飞，练学淦，张浩，谢云欣

一种智能手机合并转发延迟时间评估方法，CN202110850196.3，朱晨阳，薛普俊，朱正伟，诸燕平，谢云欣

基于时态逻辑控制策略的配送机器人路径规划方法, CN202211582969.5 朱晨阳;朱金宇;蔡玉洁;孙广辉;陈缪杰（已授权）

基于时态均衡分析的多智能体多任务分层连续控制方法CN202211210483.9 朱晨阳;蔡玉洁;开一豪;朱金宇;谢云欣（已授权）

研究项目:

2023.1-2025.12, 基于时态均衡分析的多智能体系统分层学习机制研究, 国家自然科学基金青年基金项目, 主持

2022.5-2024.5, 多任务时态逻辑的策略合成方法及分层学习机制研究,江苏省高等学校基础科学（自然科学）研究面上项目, 主持

2021.1-2022.1，多智能体协同系统在时间约束下的多目标优化方法研究，江苏省中以产业技术研究院开放课题，主持

2021.5-2023.5，软件定义网络的形式化设计与多目标优化方法研究，常州市应用基础研究，主持

2021.5-2023.5，缺血性脑卒中防、治、康“立体化防治”智慧医疗技术的创新及应用示范 ，常州市社会发展支撑，主要参与

2021.5-2023.5，基于人工智能 3D 卷积神经网络的脑小血管病影像特征提取及其与认知功能障碍的相关性研究，常州市社会发展支撑，主要参与

招生:

硕士研究生：请见学院硕士研究生招生简章。有意向学生请将简历发邮件zcy@cczu.edu.cn，使用邮件主题“申请硕士研究生+姓名+毕业院校+专业”。名额有限，先到先得。

1.招生要求：

(1) 有浓厚科研学习兴趣，自我激励性强，善于沟通；

(2) 编程能力：MATLAB、Python等语言，会PyTorch深度学习框架优先考虑；

(3) 对机器学习、神经网络、强化学习有一定基础。

(4) 较好的数学基础；

2.附加说明：

(1) 请预先了解实验室近期发表的相关论文；

(2) 无学院、专业限制