李宣东教授作学术讲座              信息工程学院供图

10月17日下午，应信息工程学院邀请，国家杰出青年、南京大学计算机系主任、软件学院院长李宣东教授来我校，在仙林校区工科楼211会议室作了题为“CPS（信息物理融合系统）系统建模与验证技术研究”的学术讲座。讲座由信息工程学院党委书记韩忠愿主持，信息工程学院师生听取讲座。

李宣东教授首先简要介绍了CPS系统，指出与传统嵌入式系统相比，该系统具有动态开放、网络协同及品质可控的特点。他提出CPS系统的实际测试成本高，一旦出问题将造成很严重的后果，必须建模验证此系统的安全性，但是建模难度大。随后，李宣东教授介绍了混成系统，它在原来离散数学的基础上增加了微积分的方法来对现实连续的事件作抽象化处理，该系统能使CPS系统顺利验证。最后，李宣东教授介绍他们目前的科研成果和未来的研究重点。

讲座过程中，李宣东教授积极与同学们进行互动，对同学们提出的问题，李宣东教授也一一作出详细的解答。

（信息工程学院）