苹果娱乐网址gm777.top是一家集苹果娱乐网址,苹果娱乐网址,苹果娱乐网址于一体的综合性娱乐公司,为玩家提供全方位的游戏体验,诚邀您的体验。

    學科建設
     學科公告
     學科新聞
     學術交流
     資料下載
 
   學術交流 您當前所在位置 : 苹果娱乐网址 >> 學術交流   

澳門科技大學李志武教授來院開展學術交流

文章來源:學院辦公室           添加時間: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
苹果娱乐网址