長沙理工大學計算機與通信工程學院“云峰”論壇第2期
發布時間: 2022-05-03 16:54:28 瀏覽量:
“云峰”論壇第2期成功舉行
2022年4月29日下午，長沙理工大學計算機與通信工程學院“云峰”論壇之前沿論壇2022年第2期線上會議成功舉行。本次會議邀請CCF專委會秘書長、國防科技大學計算機學院蔡志平教授、沈立教授、董威教授和趙寶康副教授分別做了“IPv6環境下的網絡安全和智能測繪技術”、“全狀態量子模擬器在CUP+GPU異構平臺上的性能優化”、“程序生成——從自動化到智能化”和“6G時代的天地一體化網絡技術”4場精彩的學術報告。同時4位老師也分別介紹了CCF理論計算機學科專委會、CCF體系結構專委會、CCF形式化方法專委會和CCF互聯網專委會。報告會由長沙理工大學計算機與通信工程學院張錦院長和何施茗副院長共同主持。我院師生160余人積極參加了此次報告會。
學術報告之前，張錦院長代表學院向國防科技大學計算機學院的4位教授的到來表示熱烈歡迎，并就學院科研發展現狀、科研發展規劃以及“云峰”論壇舉辦的意義做了簡要的闡述，同時希望全體師生認真聆聽，積極交流、學有所獲。
蔡志平教授就基于種子信息的地址生成策略在IPv6 地址空間智能探測中的應用研究情況進行了介紹。移動互聯網、工業互聯網、物聯網等技術的快速發展加速了IPv6的應用普及，包括IPv6資產識別與定位、漏洞發現、滲透測試等在內的IPv6地址探測技術是網絡安全保障與防御的重要基礎。蔡志平教授首先介紹了IPv6環境下的安全威脅與需求及新型網絡安全技術，隨后重點介紹了網絡空間測繪技術和IPv6智能測量技術在IPv6環境中的應用，包括發表在INFOCOM'21、INFOCOM'22的研究成果，并對技術趨勢進行了討論和展望。
沈立教授以通用量子線路模擬器在CUP+GPU異構平臺上的性能優化問題為切入點，并分析了全狀態模擬器具有計算并行度高、數據局部性差、計算訪存（或通信）比低等特點，因此很難充分利用GPU等加速器的性能優勢。沈立教授介紹了其團隊研究的DLC（Data Locality and Communication）優化框架，并詳細討論了該框架中全狀態向量模擬器的數據訪問規律。該框架通過數據劃分提高了GPU端的數據局部性，利用動態數據布局減少了GPU之間的通信次數和通信數據量，大幅度提升了全狀態量子模擬的性能，并大大減少了模擬所使用的GPU數量。
董威教授全面介紹了程序自動生成技術的發展歷程和當前的研究現狀。程序自動生成技術指利用某些技術自動地為軟件生成源代碼，達到根據用戶的需求機器自動編程的目的。隨后董威教授結合其科研團隊近年來在基于代碼大數據和群體智能的程序綜合、基于反應式綜合的無人系統控制程序生成等方面的研究進展，并著重介紹了基于網絡知識匯聚和迭代式搜索的程序自動構造方法。最后，董威教授對程序自動化生成和智能化生成間的差異以及發展過程中涉及的一些問題進行探討。
趙寶康副教授以天地一體化網絡系統為主題開展了相關網絡體系結構、路由交換、傳輸優化、安全增強等核心關鍵技術的學術講座，本次報告系統性地介紹了衛星互聯網的概念、發展現狀以及研究成果，并著重分析了典型的衛星互聯網——星鏈。詳細闡述了星鏈系統的組成、架構、特點以及其他相關的衛星互聯網發展現狀。隨后，趙寶康副教授分別從架構、路由、傳輸以及安全等方面對該領域當前的研究進展與未來的發展方向做了簡要的介紹，并于參與師生針對該領域相關科研工作的仿真實驗以及軟件工具等問題進行了深入的探討和交流。
人物簡介：蔡志平，國防科技大學計算機學院教授，博導，中國計算機學會理論計算機科學專委秘書長。長期從事網絡安全、大數據分析、機器學習等領域的基礎研究和大型工程項目，作為項目負責人主持國家自然科學基金、國防預研等10多項科研工作。在國際頂級期刊和會議上發表論文120多篇，被引用5500多次，14篇成為ESI高被引論文。獲國際會議“最佳論文獎”5次，授權國家發明專利13項。獲得“湖南省自然科學一等獎”（第1完成人）、“海南省科技進步二等獎”、國家級教學成果二等獎、軍隊教學成果一等獎、湖南省教學成果一等獎和軍隊科技進步獎等教學科研獎項。
人物簡介：沈立，國防科技大學計算機學院計算科學系副主任，教授，博導。中國計算機學會杰出會員、體系結構專委會秘書長，湖南省計算機學會常務理事。長期從事計算機體系結構方向的教學和科研工作，編寫的《計算機體系結構》教材獲得2021年首屆全國優秀教材一等獎，教學科研成果先后獲得國家教學成果二等獎、軍隊和湖南省教學成果一等獎、教育部科技進步二等獎、湖南省自然科學二等獎、軍隊科技進步二等獎等。
人物簡介：董威，國防科技大學計算機學院教授、博士生導師，主要研究方向為高可信軟件、智能化軟件開發方法，中國計算機學會形式化方法專委會秘書長。入選教育部新世紀優秀人才支持計劃，曾獲中國計算機學會首屆NASAC青年軟件創新獎、霍英東基金會高校青年教師獎等。先后主持國家自然科學基金重大項目課題、國家863和973課題、國防領域課題十余項，發表學術論文70余篇，出版國家級規劃教材兩部，相關成果應用于航空航天、裝備控制、自主基礎軟件等關鍵領域。
人物簡介：趙寶康，國防科技大學計算機學院副教授。中國計算機學會杰出會員、互聯網專委會秘書長。主要從事網絡體系結構與協議、天地一體化信息網絡、高性能網絡、網絡安全等方面研究，研制成功我國首臺空間路由器并實現在軌驗證，主持國家自然科學基金、863等科研項目多項，先后獲省部級科技進步一等獎1項、二等獎2項。已授權發明專利20余項，在知名期刊和學術會議上發表學術論文100余篇。