澳大利亚格里菲斯大学Jin-Song Dong教授做客我校学者论坛电子科技大学成电新闻网

分享到微信 ×

打开微信“扫一扫”
即可将网页分享至朋友圈

澳大利亚格里菲斯大学Jin-Song Dong教授做客我校学者论坛

文：计算机学院　教师发展中心来源：计算机学院党委教师工作部、人力资源部（教师发展中心）时间：2018-03-22 5082

　　3月19日上午，澳大利亚格里菲斯大学Jin-Song Dong教授应邀做客我校学者论坛，作题为“Decision Making via Model Checking”的精彩报告。论坛由计算机科学与工程学院（网络空间安全学院）申恒涛教授主持。

　　此次报告，Jin-Song Dong教授重点介绍了通过模型检测，特别是过程分析工具包（PAT），将形式推理应用于事件规划，目标推理，预测，策略分析和决策制定。PAT将状态，事件，时间和以概率为基础的语言表达与高度优化的模型检测算法相结合。Jin-Song Dong教授指出目前PAT支持多个应用领域的各种建模语言，吸引了来自数百个组织的数千名注册用户。此外，Jin-Song Dong教授还介绍一些他们研究小组正在进行以及未来将进行的研究项目。

　　报告会后，Jin-Song Dong教授与计算机科学与工程学院（网络空间安全学院）杨阳教授及在场的师生就模型所涉及的具体数据类型进行了深入交流讨论。大家各抒己见，学术交流气氛热烈。

　　本次学术活动由人力资源部教师发展中心主办，计算机科学与工程学院（网络空间安全学院）承办。