KimG.Larsen教授为计算机学院研究生作学术报告-东北大学新闻网
设为首页 | 加入收藏 | 手机看新闻
您现在的位置是:首页-学术科研-KimG.Larsen教授为计
学术科研
KimG.Larsen教授为计算机学院研究生作学术报告
作者:通讯员 梁媛 编辑:李家祥 张广宏 来源:东北大学 更新日期:2017-11-21 浏览次数:次 字体:


1120日下午,欧洲科学院终身院士、丹麦工程院院士、丹麦Aalborg University教授Kim G.Larsen应计算机学院院长王义教授邀请,来校为计算机学院研究生作题为Cyber Physical Systems: Dependability and Optimality(信息物理系统:可靠性与优化设计)的学术报告。王义主持报告会。

Kim G.Larsen教授从信息物理系统与嵌入式系统、互联网、物联网、大数据以及人工智能的关系开始讲起,介绍了模型驱动开发的概念,继而着重介绍了UPPAAL模型验证系统,并进行了系统演示。报告后,Kim G.Larsen教授就学生们提出的问题进行了耐心细致的解答。

王义在总结讲话中对模型驱动开发的现状及发展趋势作了概述,并对其应用前景给予了充分肯定。王义鼓励研究生应积极拓宽国际视野,潜心科学研究。



东大主页 | 英文主页 | 东北大学报 | 广播电视网 | 长夜书香 | 时事新闻 | 东大黄页 | 滇西开发网 | 昌宁新闻网
领导 | 院士 | 校友 | 图书 | 招生 | 研究生 | 就业 | 校园网 | 教务 | 人事 | 校园安全 | 后勤服务 | 学报 | 心理咨询 | 医院
Copyright © 2004-2011 东北大学党委宣传部(新闻中心)版权所有
投稿须知 投稿邮箱:85590@mail.neu.edu.cn 新闻热线:024-83685590