您所在的位置: 首页 >> 学术交流 >> 正文

学术交流

德国莱比锡大学Manfred Droste 教授来永利官网做学术报告
发布时间:2014-10-29     浏览量:   分享到:

10月24日下午4点,永利官网“70周年校庆系列讲座”有幸邀请到了德国莱比锡大学Manfred Droste 教授。报告在永利官网学术报告厅举行,院长李永明教授主持了本次报告,永利官网部分相关专业的教师、各届博、硕士研究生参加了本次报告会。

Manfred Droste教授的报告题目为“Quantitative logics and automata”。量化模型与量化分析在计算机科学中的关注度不断提升,本次讲座的主要目的就是探讨量化自动机与量化逻辑。而加权自动机在许多领域被用于描述量化属性,如图像压缩,语音文本处理等。Manfred Droste教授介绍了加权自动机的发展历程,加权自动机的结构,并给出对应的逻辑,进而给出其语义解释,并将加权自动机和加权逻辑的等价关系加以证明。

在互动环节中, Droste教授和永利官网师生用英语进行了很好的交流,并就一些问题进行了热烈的讨论。Droste教授深入浅出的讲解开阔了广大师生的学术视野,为我们在相关领域的研究提供了新的思路,增进了交流。