我院举办2024-2025学年第4期“计往开来”研究生学术报告

2024年11月7日，海南大学计算机科学与技术学院在海甸校区图书馆南馆504会议室成功举办了2024-2025学年第4期“计往开来”研究生学术报告。此次报告会特别邀请了西北工业大学董云卫教授作题为“面向控制软件合成的软件架构定义语言”的专题报告，由张雨老师主持，学院50余名师生到场聆听。

董云卫教授在报告中深入解析了航天控制软件自动化开发的关键技术，围绕五个核心方面展开，重点讲述了软件架构定义语言、星上控制系统应用实例、以及控制软件的智能合成与补全方法。首先，董教授针对航天控制软件自动化开发提出了专门的软件架构定义语言，旨在标准化设计与开发流程，以提升开发效率与系统可靠性。在智能合成方法上，他提出了一种基于需求理解的合成方法，能够自动生成符合需求的航天控制软件代码，有效减少了人为干预，提升了开发智能化水平。此外，董教授创新性地提出了利用模式学习进行软件架构补全的方法，基于现有架构实现自动补全系统设计，进一步增强了软件的可扩展性与维护性。董教授的研究为航天控制软件的高效、智能开发提供了重要理论支持与技术手段。

报告结束后，董云卫教授与在场师生进行了热烈的互动交流，对师生提出的学术问题给予了详细解答。这场报告不仅加深了与会师生对“控制软件智能”的理解，拓宽了大家在智能软件领域的学术视野，还为师生在深度学习技术应用和实际问题解决方面提供了新思路和启发。

海南大学计算机科学与技术学院将继续通过系列学术报告会，促进师生学术交流和创新能力提升，推动学院科研工作迈上新台阶。