本网讯：（程学勤  图文报道）10月25日下午，我院本学期第22讲至24讲学术报告会在志学楼506顺利进行。本次报告会邀请了冯仁艳博士、刘鑫博士和李开菊博士为学院师生开展学术讲座，学院教师、研究生及本科生100余人参加。

冯仁艳博士以“分支时序逻辑模型检测”为主题进行报告，系统地介绍了分支时序逻辑（Branching Time Temporal Logic, CTL）的基本概念及其在形式化验证领域的应用。冯仁艳博士通过对CTL的详细介绍，帮助同学们更好地理解了其在系统验证中的作用。

刘鑫博士以“基于响应面的可靠性设计优化”为主题，详细介绍了如何通过响应面方法进行产品设计的优化，并结合实际案例展示了该方法的应用效果。刘鑫博士长期从事智能控制、机器视觉及计算机视觉等方面的研究工作，在智能制造领域有着丰富的经验，通过此次讲座，为同学们的学术探索和职业规划提供了宝贵的建议和方向。

李开菊博士以“联邦学习通信优化问题研究”为主题，从联邦学习的基本原理出发，分析了当前联邦学习中面临的通信效率问题，并提出了相应的解决方案。她的研究成果对于提升联邦学习系统的性能具有重要意义。

冯仁艳博士、刘鑫博士和李开菊博士与现场师生针对讲座内容开展了交流与互动，现场气氛热烈，三位博士所作报告富有启发性，以此次活动为契机帮助在场师生了解研究新动态、学习新知识，提升自身的科研能力和水平，同时也科学地指导了学生，对学院的学科交流和学科发展起到了积极的推动作用。

一审：付  吉
二审：谭  健
三审：詹  伟