学科建设
     学科公告
     学科新闻
     学术交流
     资料下载
 
   学术交流 您当前所在位置 : 首页 >> 学术交流   

澳门科技大学李志武教授来院开展学术交流

文章来源:学院办公室           添加时间:2019/9/3 16:31:33

 

2019830日下午,全球高被引科学家、澳门科技大学李志武教授来我院进行学术交流,给我院师生做了题为“Formal Methodology in Manufacturing: Automata, Petri Nets, and Model Checking”的专题讲座。讲座由我院李滚教授主持,我院青年教师与研究生约16人参加。

 

 

在本次讲座中,李教授简要地从automatonPetri net的角度,从逻辑的角度,提供自动化制造系统建模和控制的思想,提供设计规范、验证、性能评估、规划、调度和控制制造系统的集成视图向我们介绍了离散系统的起源、离散系统的分类等情况,并且回顾了基于形式语言和有限状态机的监控理论、Petri网的方法。此外,还简要介绍了模型检验。

 

 

讲座结束后,师生们积极地与李教授针对离散系统的前沿热点和应用问题展开了热烈的讨论。通过此次学术交流,为我院师生们对离散系统在控制领域、航空航天领域的应用方面打开了研究视野,提高了研究水平。

本次学术讲座由电子科技大学发展规划与学科建设处主办,航空航天学院承办

[返回首页]  [返回上一页]  [打 印]  [关闭窗口]    
版权所有   航空航天学院   技术支持:成都市万企科技

地址:四川省成都市高新区西区西源大道2006号   邮编:611731   电话:(028)61831887   研究生科:(028)61831856   传真:(028)61831882