12月23日晚，信息工程学院在教育技术与信息中心楼401会议室举办了第七期博士论坛学术讲座。本期讲座嘉宾是信息工程学教研室白金山博士。

白金山博士首先阐述了模型检测的原理和功能，介绍了模型检测所使用的两种时序逻辑：线性时序逻辑和计算树时序逻辑，着重讲解了在计算机中是如何使用自动机和迁移系统的合成，进而实现以线性时序逻辑为基础的检测技术。

本次“博士论坛”是信息工程学院为加强校内学术交流，促进学科建设而开展的特色活动，活动过程中研究领域相关的教师们从时间序列分析与随机、规则与遍历、路径的检测与实际应用等方面展开了讨论，特别是在高等数学与计算机科学领域的交叉研究进行了较为深入的交流。（文/白金山 图/王梦）