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

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

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

地點(diǎn)：新疆師范高等專(zhuān)科學(xué)校（亞心校區）潤德樓320室

活動(dòng)日程

報告信息

謝國琪

湖南大學(xué)教授、CCF嵌入式系統專(zhuān)委秘書(shū)長(cháng)

報告題目：

中國計算機學(xué)會(huì )（CCF）及CCF嵌入式系統專(zhuān)委介紹

報告摘要：

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

報告嘉賓：

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

郭兵

四川大學(xué)教授、CCF嵌入式系統專(zhuān)委主任

報告題目：

嵌入式系統的低能耗軟件設計方法

報告摘要：

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

報告嘉賓：

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

陳銘松

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

報告題目：

智能信-物融合系統設計自動(dòng)化

報告摘要：

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

報告嘉賓：

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

張凱龍

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

報告題目：

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

報告摘要：

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

報告嘉賓：

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

周俊龍

南京理工大學(xué)副教授、CCF嵌入式系統專(zhuān)委副秘書(shū)長(cháng)

報告題目：

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

報告摘要：

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

報告嘉賓：

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

CCF嵌入式系統專(zhuān)委