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