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