作者：严都力           核稿：马乐荣

为促进学术交流，营造良好科研氛围。数计学院2025年6月4日下午特邀西北工业大学张利军教授与西安交通大学易媛教授来校作专题学术报告。报告会由数计学院副院长冯强主持，数计学院全体学术型研究生及相关领域教师共计100余人参加了本次活动。

张利军教授以“基于时序逻辑和深度强化学习的水下航行器运动规划”为题，详细阐述了复杂环境中，如何通过时序逻辑任务描述转化为地图信息和水下航行器的LDGBA模型，结合模块化深度强化学习DDPG方法实现系统求解方法，研究通过详实的仿真实验，验证了该方法在探索围捕等典型任务中的有效性和可扩展性。易媛教授围绕“Dedekind和的值分布及快速计算问题”展开报告，深入浅出地介绍了Dedekind和均值问题的研究历程与发展现状，重点介绍了Dedekind和值分布的特殊规律，并创新性地提出了基于互反公式与特殊序列性质的快速计算算法。

在交流环节，与会师生就报告内容展开深入探讨。两位教授对提出的专业问题进行了细致解答，现场互动氛围热烈。