CCF@U1134：CCF嵌入式系統專委走進新疆師范高等專科學校

由中國計算機學會（CCF）主辦，CCF嵌入式系統專委、新疆師范高等專科學校承辦的CCF走進高校活動，將于2024年10月11日在新疆師范高等專科學校召開，敬請關注。

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

地點：新疆師范高等專科學校（亞心校區）潤德樓320室

活動日程

報告信息

謝國琪

湖南大學教授、CCF嵌入式系統專委秘書長

報告題目：

中國計算機學會（CCF）及CCF嵌入式系統專委介紹

報告摘要：

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

報告嘉賓：

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

郭兵

四川大學教授、CCF嵌入式系統專委主任

報告題目：

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

報告摘要：

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

報告嘉賓：

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

陳銘松

華東師范大學教授、CCF嵌入式系統專委副主任

報告題目：

智能信-物融合系統設計自動化

報告摘要：

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

報告嘉賓：

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

張凱龍

西北工業大學教授、CCF嵌入式系統專委副主任

報告題目：

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

報告摘要：

空天地海領域裝備的群化協同新發展，迫切需要新型的計算體系與技術。基于新型異構計算體系，將如何基于軟件定義來設計彈性、開放的計算體系，以及相關的資源虛擬化、任務微服務、開放式連接、可信管理機制等進行討論，以支撐實現群智能系統功能、性能的軟件可定義。進而，結合無人機集群、嵌入式可信等三個科研案例進行展示和討論。

報告嘉賓：

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

周俊龍

南京理工大學副教授、CCF嵌入式系統專委副秘書長

報告題目：

邊緣智能：前沿與進展

報告摘要：

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

報告嘉賓：

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

CCF嵌入式系統專委