邹沛煜 讲师

【个人简介】

  邹沛煜，男，博士、讲师，现为辽宁师范大学计算机与人工智能学院人工智能专业专任教师，大连理工大学软件工程专业博士，师从国家万人计划领军人才江贺教授。主要研究方向为智能软件工程和EDA（电子设计自动化）工业软件。目前，研究重点是EDA工业软件的测试，特别是针对逻辑综合工具等重要工业编译软件，探索测试用例生成、故障检测与定位等技术。迄今为止，已在DAC、TODAES、TRel、TIM等国际知名期刊和会议上发表10余篇高质量学术论文，获得专利和软件著作权10余项，支持及参与大连市科技人才创新支持计划、大连市科技创新基金计划等级科研项目9项。

【教学工作】

主讲课程：软件工程、Linux软件开发等

【科研项目】

1. 大连市科技人才创新支持计划：基于人机协同的群智测试贡献汇聚机理与方法研究，2023.01.01–2024.12.31，参与。

2. 大连市科技创新基金计划：面向可编程芯片的编译工具链软件生态质量保证方法研究，2025.01.01–2027.12.31，参与。

3. 大连市重点研发项目区域合作项目：生成式人工智能检测技术的研究及应用，2024.01.01–2026.12.31，参与。

4. 辽宁省科技计划重点研发项目：面向垂直领域的软件工程大模型关键技术研发及应用，2024.07.01–2026.06.31，参与。

5. 国家自然科学基金重点项目：软硬件协同的系统软件设计方法及其结构模型和运行机理，2021.01.01–2025.12.31，参与。

【代表性论文】

1. Peiyu Zou, Xiaochen Li, Shikai Guo, et al. MAGCS: Multi-Agent Guided Configuration Search for Optimization Fault Detection in Logic Synthesis [C]. Design Automation Conference (DAC), 2025. (Accepted, CCF A)

2. Peiyu Zou, Xiaochen Li, Zhide Zhou, Shikai Guo, Xu Zhao, He Jiang, Logic Synthesis Tools Testing via Configuration Diversification with Combinatorial Multi-Armed Bandit, IEEE Transactions on Instrumentation & Measurement (TIM), 2025, 74: 1-17. (JCR Q1,中科院 2 区)

3. He Jiang, Peiyu Zou, Xiaochen Li, Zhide Zhou, Xu Zhao, Yi Zhang, shikai guo，DeLoSo: Detecting Logic Synthesis Optimization Faults Based on Configuration Diversity, ACM Transactions on Design Automation of Electronic Systems (TODAES), 2024, 30(1): 1-26. ( JCR Q2, CCF B)

4. Xu Zhao, Xiaochen Li, Peiyu Zou, et al. Bug Detection in PCB Design Tool Chain through Functionally Equivalent Netlist Mutation [C]. International Conference on Software Quality, Reliability, and Security(QRS), 2025. (通讯作者, CCF C).

【专利】

1. 一种基于颜色校正和对比度拉伸的水下图像增强方法[P].CN201910818691.9,2019-11-29.

2. 一种基于高、低频信息融合的水下图像增强方法[P].CN201910807224.6,2019-11-26.

3. 一种基于PSPNet细节提取的多聚焦图像融合方法[P].CN201910640006.8,2019-10-15.4. 一种基于拉普拉斯金字塔的Retinex图像增强方法[P].CN201910459639.9,2019-08-27.

5. 一种基于二次引导透射图的水下图像复原方法[P].CN201910961757.X,2020-01-14.

6. 一种多尺度融合图像特征信息的水下图像增强方法[P].CN201910961740.4,2020-03-17.

7. 一种基于强化学习的无人驾驶测试场景自动生成方法[P].CN202310656166.8,2023-09-01.

8. 一种基于事故数据驱动的自动驾驶安全紧要场景生成方法[P].CN202310773091.1,2023-10-13.

9. 一种自动驾驶场景文件正确性的检测方法[P].CN202311516374.4,2024-02-09.

【软著】

1. FPGA 逻辑综合的测试用例自动生成工具软件 V1.0. 中国. 软件著作权: 2024SR0428520.

2. FPGA 逻辑综合故障定位工具软件 V1.0. 中国. 软件著作权: 2024SR0426866.

3. FPGA 逻辑综合参数智能优化工具软件 V1.0. 中国. 软件著作权: 2024SR0428691.

4. FPGA 逻辑综合的优化故障检测工具软件 V1.0. 中国. 软件著作权: 2024SR0425039.

5. FPGA 逻辑综合的崩溃故障检测工具软件 V1.0. 中国. 软件著作权: 2024SR0423685.

【其他工作】

  担任《IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems》、《IEEE Transactions on Circuits and Systems for Video Technology》等期刊审稿人。