由中國計算機學(xué)會（CCF）主辦，CCF嵌入式系統(tǒng)專委、新疆師范高等?？茖W(xué)校承辦的CCF走進高?；顒?，將于2024年10月11日在新疆師范高等?？茖W(xué)校召開，敬請關(guān)注。

時間：2024年10月11日（周五）10:30--13:30

地點：新疆師范高等?？茖W(xué)校（亞心校區(qū)）潤德樓320室

活動日程

報告信息

謝國琪

湖南大學(xué)教授、CCF嵌入式系統(tǒng)專委秘書長

報告題目：

中國計算機學(xué)會（CCF）及CCF嵌入式系統(tǒng)專委介紹

報告摘要：

本報告將系統(tǒng)介紹中國計算機學(xué)會（CCF）的整體架構(gòu)、歷史沿革及其在推動我國計算機及信息技術(shù)發(fā)展的核心職能；作為中國最具影響力的計算機領(lǐng)域?qū)I(yè)組織之一，CCF在學(xué)術(shù)研究、行業(yè)標(biāo)準(zhǔn)制定、人才培養(yǎng)等方面發(fā)揮著舉足輕重的作用。此外，本報告將闡述CCF嵌入式系統(tǒng)專委成立背景及使命，涵蓋該專委在嵌入式系統(tǒng)設(shè)計、嵌入式軟件開發(fā)、物聯(lián)網(wǎng)、邊緣計算等領(lǐng)域的主要研究方向及技術(shù)前沿，了解專委在推進嵌入式系統(tǒng)技術(shù)落地應(yīng)用、促進產(chǎn)業(yè)發(fā)展、培養(yǎng)新一代嵌入式系統(tǒng)人才方面所取得的成就與未來發(fā)展方向。

報告嘉賓：

謝國琪，湖南大學(xué)教授、博士生導(dǎo)師，從事嵌入式計算基礎(chǔ)理論、平臺技術(shù)與應(yīng)用系統(tǒng)研究，現(xiàn)任信息科學(xué)與工程學(xué)院院長助理、嵌入式與網(wǎng)絡(luò)計算湖南省重點實驗室主任、中國計算機學(xué)會（CCF）嵌入式系統(tǒng)專委秘書長、國家級青年人才計劃獲得者、湖南省杰出青年基金獲得者；獲華為歐拉開源貢獻精英教師獎、入選全球前2%頂尖科學(xué)家（終身科學(xué)影響力）榜單，擔(dān)任JSA、JCSC及MICPRO 3本嵌入式領(lǐng)域SCI期刊編委。近五年以第一或通信作者發(fā)表CCF A類及ESI高被引論文30多篇、出版專著2本、主持企業(yè)項目20多項，主持研制了原創(chuàng)型嵌入式實時虛擬機管理平臺ZVM、CAN-TSN實時通信平臺、國產(chǎn)“五合一”AI計算平臺，汽車軟件可視化輔助開發(fā)系統(tǒng)、汽車軟件架構(gòu)自動化開發(fā)系統(tǒng)、車端V2X場景驗證系統(tǒng)，均應(yīng)用于合作企業(yè)的工業(yè)實際。

郭兵

四川大學(xué)教授、CCF嵌入式系統(tǒng)專委主任

報告題目：

嵌入式系統(tǒng)的低能耗軟件設(shè)計方法

報告摘要：

在目前全球ICT領(lǐng)域倡導(dǎo)“低碳節(jié)能”的背景下，嵌入式系統(tǒng)的多樣化功能、高性能應(yīng)用和可用性服務(wù)等要求對低能耗研究提出新的挑戰(zhàn)。因此，本項目以嵌入式系統(tǒng)的低能耗為目標(biāo)，從靜態(tài)設(shè)計和動態(tài)設(shè)計兩方面，探索能量優(yōu)先的任務(wù)運行模式、系統(tǒng)資源的自適應(yīng)軟件節(jié)能配置策略、高效可定制化的軟件體系結(jié)構(gòu)、能量感知的編程模式和低能耗軟件的演化與控制等關(guān)鍵技術(shù)，建立低能耗軟件的設(shè)計理論和方法體系，實現(xiàn)嵌入式系統(tǒng)能量資源的最優(yōu)應(yīng)用適應(yīng)性分配與使用，有效提高系統(tǒng)的能效比。

報告嘉賓：

郭兵，二級教授，博士生導(dǎo)師，四川大學(xué)計算機學(xué)院副院長，國家重點研發(fā)計劃和NSFC重點項目首席科學(xué)家（負責(zé)人），IET Fellow，中國計算機學(xué)會（CCF）理事、CCF嵌入式系統(tǒng)專委會主任，四川省學(xué)術(shù)和技術(shù)帶頭人，主要研究方向包括嵌入式智能系統(tǒng)、邊緣計算、工業(yè)軟件、大數(shù)據(jù)管理與共享等。

陳銘松

華東師范大學(xué)教授、CCF嵌入式系統(tǒng)專委副主任

報告題目：

智能信-物融合系統(tǒng)設(shè)計自動化

報告摘要：

信物融合系統(tǒng)簡稱CPS，是一種通過嵌入式軟硬件與物聯(lián)網(wǎng)對物理世界實施精確智能“感、執(zhí)、傳、控”的系統(tǒng)。隨著涉及的設(shè)備與場景越來越多，智能CPS系統(tǒng)的構(gòu)造復(fù)雜度與成本呈指數(shù)級增長。為了緩解這一問題，越來越多的智能CPS系統(tǒng)采用云-端相結(jié)合的架構(gòu)，支持?jǐn)?shù)字孿生與多場景協(xié)同，實現(xiàn)面向信物融合的協(xié)同控制與優(yōu)化。由于缺乏設(shè)計自動化方法與工具，目前智能CPS系統(tǒng)設(shè)計仍存在以下問題與挑戰(zhàn)。一是設(shè)備與場景的強異構(gòu)，物理屬性強時空，模型難以統(tǒng)一構(gòu)造；模型語義差異大，場景難以實現(xiàn)融合。二是云-端架構(gòu)難協(xié)同，運行環(huán)境不確定，難以開展評估確認(rèn)；異構(gòu)設(shè)備難兼容，難以協(xié)同反饋控制。三是控制效果難優(yōu)化，時空演化強動態(tài)，難以實現(xiàn)自主適應(yīng)；同時智能控制能力弱，難以實現(xiàn)智能協(xié)同。圍繞這三個問題，本次報告將介紹本人研究團隊近期的一些工作與進展。

報告嘉賓：

陳銘松，華東師范大學(xué)教授、博導(dǎo)，軟硬件協(xié)同設(shè)計與應(yīng)用技術(shù)教育部工程研究中心主任，入選國家重大人才計劃青年項目。主要研究方向為可信智能軟硬件協(xié)同設(shè)計、智慧城市與物聯(lián)網(wǎng)、信息物理系統(tǒng)設(shè)計自動化。在領(lǐng)域權(quán)威會議與期刊上發(fā)表論文近200篇，出版英文專著2部、中文教材2部，相關(guān)成果獲得上海市科技進步特等獎（排名第三）、上海市研究生優(yōu)秀教學(xué)成果二等獎（排名第一）、中國計算機學(xué)會NASAC青年軟件創(chuàng)新獎、上海計算機學(xué)會青年科技英才獎。主持過國家重點研發(fā)計劃重點專項項目、自然基金委重大研究計劃重點項目在內(nèi)的省部級以上項目多項。目前擔(dān)任CCF嵌入式專委會副主任。

張凱龍

西北工業(yè)大學(xué)教授、CCF嵌入式系統(tǒng)專委副主任

報告題目：

軟件定義（群）智能系統(tǒng)：體系與技術(shù)

報告摘要：

空天地海領(lǐng)域裝備的群化協(xié)同新發(fā)展，迫切需要新型的計算體系與技術(shù)?；谛滦彤悩?gòu)計算體系，將如何基于軟件定義來設(shè)計彈性、開放的計算體系，以及相關(guān)的資源虛擬化、任務(wù)微服務(wù)、開放式連接、可信管理機制等進行討論，以支撐實現(xiàn)群智能系統(tǒng)功能、性能的軟件可定義。進而，結(jié)合無人機集群、嵌入式可信等三個科研案例進行展示和討論。

報告嘉賓：

張凱龍，博士、博士后（法國），西北工業(yè)大學(xué)軟件學(xué)院教授、博士生導(dǎo)師，西北工業(yè)大學(xué)-巴黎高科MINES機器人與群智能系統(tǒng)聯(lián)合實驗室主任，陜西省計算機教育學(xué)會常務(wù)理事，中國計算機學(xué)會杰出會員、嵌入式系統(tǒng)專委副主任，第二屆中國嵌入式系統(tǒng)十大杰出青年、法中科學(xué)與應(yīng)用基金會“卡恩·岡“獎獲得者。近年來，主要研究實時/智能/可信嵌入式系、協(xié)作式智能交通系統(tǒng)、空天地海群智能協(xié)同系統(tǒng)等，主持國家自然科學(xué)基金項目、省部級重大科技計劃項目等多項。在IEEE Transactions on ITS等領(lǐng)域頂刊、IEEE ITSC等領(lǐng)域旗艦會議發(fā)表學(xué)術(shù)論文60余篇，獲發(fā)明專利、著作權(quán)等30余項，出版嵌入式類專業(yè)書籍7部，獲陜西省科技進步一等獎、國防科技進步三等獎等。

周俊龍

南京理工大學(xué)副教授、CCF嵌入式系統(tǒng)專委副秘書長

報告題目：

邊緣智能：前沿與進展

報告摘要：

邊緣計算與人工智能的結(jié)合催生了邊緣智能，它融合了網(wǎng)絡(luò)、計算、存儲、應(yīng)用核心能力的新興技術(shù)，通過將智能算法部署在更貼近用戶的邊緣設(shè)備，能夠更高效地為用戶提供高質(zhì)量和隱私保護的智能服務(wù)。相比云端人工智能計算與處理模式，邊緣智能具備低功耗性、低時延性、高隱私安全性和貼近用戶等優(yōu)勢。邊緣智能近年來已成為了學(xué)術(shù)界與企業(yè)界的研究熱點。本報告將聚焦邊緣智能的前沿與進展，并介紹我們在邊緣智能及其協(xié)同技術(shù)的一些初步探索。

報告嘉賓：

周俊龍，南京理工大學(xué)計算機科學(xué)與工程學(xué)院副教授，博導(dǎo)，院長助理，分布式計算與體系結(jié)構(gòu)研究所副所長，CCF嵌入式系統(tǒng)專委會副秘書長/常委，研究方向為嵌入式系統(tǒng)、邊緣智能、聯(lián)邦學(xué)習(xí)等，在CCF A類和IEEE/ACM Transactions期刊和會議發(fā)表論文40余篇，主持國家和省部級科研項目10余項，獲江蘇省青藍人才工程、江蘇省優(yōu)青、江蘇省計算機學(xué)會青年科技獎、上海市計算機學(xué)會優(yōu)博等獎勵，多次獲得國際會議最佳論文獎，連續(xù)四年入選斯坦福大學(xué)發(fā)布的“全球前2%頂尖科學(xué)家”榜單。

CCF嵌入式系統(tǒng)專委