CCF@U1134：CCF嵌入式系統(tǒng)專委走進(jìn)新疆師范高等專科學(xué)校

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

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

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

活動(dòng)日程

報(bào)告信息

謝國(guó)琪

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

報(bào)告題目：

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

報(bào)告摘要：

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

報(bào)告嘉賓：

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

郭兵

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

報(bào)告題目：

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

報(bào)告摘要：

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

報(bào)告嘉賓：

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

陳銘松

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

報(bào)告題目：

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

報(bào)告摘要：

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

報(bào)告嘉賓：

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

張凱龍

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

報(bào)告題目：

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

報(bào)告摘要：

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

報(bào)告嘉賓：

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

周俊龍

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

報(bào)告題目：

邊緣智能：前沿與進(jìn)展

報(bào)告摘要：

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

報(bào)告嘉賓：

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

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