5月29日晚，伟德victory/人工智能學院成功舉辦第四期“專業領航”石榴雲課堂，學院軟件研究所的嶽濤、錢巨、楊志斌和數據管理與知識工程研究所的李博涵四位老師精彩開講，吸引了近200名學生參與其中。本期雲課堂由嶽濤、李博涵主持。

石榴雲課堂線上會場

首先，嶽濤圍繞複雜性、不确定性、抽象化、自動化和智能化五個關鍵詞展開講述，介紹了GE、IBM和Siemens PLM等國際公司提出的現有數字孿生開發平台，進一步讨論了數字孿生技術所面臨的挑戰。接着，她系統講解了其所在的學院實驗室Simplexity Lab（簡研社）的Simplexity數字孿生學科建設平台的應用領域、關鍵技術和現有基礎，指出數字孿生技術在智能制造、虛拟城市、智慧醫療等領域發展潛能巨大，我們要加快研發基于模型的系統工程MBSE支持的數字孿生開發平台的腳步。

嶽濤報告《基于模型的系統工程支持的數字孿生技術研發平台》

随後，錢巨用“如何測試計算機視覺算法”和“如何測試自動駕駛”兩個例子生動引出“軟件工程+計算機視覺”的報告主題，通過對比傳統軟件工程技術與視覺化軟件工程技術，指出将計算機視覺技術用于軟件工程能夠極大提升其易用性，增強其服務能力。他闡述了視覺化軟件工程技術的幾大典型方向，包括計算機視覺輔助開發、視覺化軟件工程過程管理與優化以及基于計算機視覺的測試自動化，并在報告最後演示了新型測試系統RoScript。

錢巨報告《視覺化軟件工程技術》

接下來，楊志斌對學院“高安全系統的軟件開發與驗證技術”工信部重點實驗室SCS研究組在基于模型的安全關鍵軟件形式化設計與驗證方法方面的研究工作作了介紹，表示安全關鍵軟件設計與開發方法的發展方向仍然要圍繞航空航天領域的重大需求，切實提高模型驅動開發方法在航空航天工業界使用的有效性。目前正在法國訪學的楊志斌結合自身經曆，分享了國際合作交流、研究生國際聯合培養、本科生參與科研等方面的經驗，為同學們帶來一堂“遠洋領航”。

楊志斌報告《MACAerospace：形式化方法和增強智能驅動的安全關鍵軟件設計與開發方法》

最後，李博涵從理解數據開始、到讓數據開口說話、再到用數賦智，深入淺出地描述了大數據的發展曆程，幫助同學們理解數據的重要性、了解大數據的分析方法。針對快樂學術研究方法的話題，他建議同學們要培養良好的編程素養、數學素養，掌握克服拖延症、優化時間管理的能力與智慧，激勵同學們“Enjoy the pain”，真正做到勤勉學術、快樂科研。

李博涵報告《勤勉學術，快樂科研——從大數據中尋找屬于你的大智慧》

截至目前，“專業領航”石榴雲課堂系列講座日程過半，專業教師精心準備、參與學生熱情不減，得到了學院師生的廣泛好評，同時吸引了其他學院同學的積極參與。習近平總書記在給科技工作者代表的回信中提到：“創新是引領發展的第一動力，科技是戰勝困難的有力武器。”在社會高速發展的信息時代，學院将繼續圍繞學生需求，關注社會發展，為師生搭建專業領航平台，提升學生專業素養與學科認同感，在不斷建設和完善人才培養平台過程中為把我國建設成為科技強國做出應有的貢獻。