OpenHarmony城市技術論壇——第6期（武漢站）圓滿舉辦

2023年12月23日下午，OpenHarmony城市技術論壇（以下簡稱“技術論壇”）——第6期（武漢站）于華中科技大學梧桐語問學中心明德報告廳圓滿舉辦。本次技術論壇從“終端操作系統十大技術挑戰”出發，將主題聚焦在“大模型時代的系統軟件”，從學術界和工業界交叉融合的維度，討論AI系統軟件基礎設施、邊緣智能系統、大模型安全、智能化系統軟件分析等技術，探索終端操作系統領域AI大模型創新趨勢。

本次技術論壇由OpenHarmony項目群技術指導委員會（以下簡稱“OpenHarmony TSC”）主辦，華中科技大學OpenHarmony技術俱樂部承辦，武漢大學OpenHarmony技術俱樂部協辦。

華中科技大學教授、OpenHarmony技術俱樂部主任王浩宇擔任本次技術論壇的出品人，華中科技大學人工智能與自動化學院副院長鐘勝、網絡空間安全學院副院長陳凱擔任本次技術論壇的主持人，邀請到了學術界以及工業界的多位專家學者進行技術報告，包括：北京大學計算機學院教授、副院長郭耀；中國科學院自動化研究所副總工程師、武漢人工智能研究院院長王金橋；華為MindSpore架構師李政；上海交通大學助理研究員糜澤羽；統信軟件終端操作系統產線架構師李鶴；中國科學院信息工程研究所副研究員孟國柱；華中科技大學網絡空間安全學院副教授李珍；北京郵電大學計算機學院副研究員徐夢煒；武漢大學國家網絡安全學院副研究員李霏；華中科技大學網絡空間安全學院副研究員周威。此外，華中科技大學網絡空間安全學院執行院長鄒德清、院長助理湯學明；北京郵電大學未來學院副院長喻鵬；武漢大學OpenHarmony技術俱樂部主任張立強；OpenHarmony TSC秘書處副主任張蕃等多位嘉賓出席本次技術論壇。本次技術論壇吸引了線下近200人參加，線上直播觀看人次累計超過1.6萬。

合影留念

技術論壇出品人：華中科技大學教授、OpenHarmony技術俱樂部主任王浩宇

技術論壇主持人：華中科技大學人工智能與自動化學院副院長鐘勝

技術論壇主持人：華中科技大學網絡空間安全學院副院長陳凱

華中科技大學網絡空間安全學院執行院長鄒德清為本次技術論壇致辭。他表示，在當今數字化快速發展的時代，大模型技術已經成為引領創新浪潮的關鍵力量。OpenHarmony 等系統軟件為城市科技發展提供了強有力的支持，不僅推動數字城市的智能化發展，更需要我們共同思考如何在這一過程中保障系統的穩定性和網絡的安全性。本次論壇是一個匯聚智慧、交流思想的平臺，期待著各位專家學者分享在大模型時代系統軟件所取得的成果和經驗，共同探討如何更好地應對網絡空間安全的挑戰。讓我們攜手合作，推動OpenHarmony在大模型時代的創新發展，為構建安全、穩定、智能的數字城市貢獻我們的智慧和力量。

華中科技大學網絡空間安全學院執行院長鄒德清

北京大學計算機學院教授、副院長郭耀在《面向大模型的泛在操作系統：挑戰與展望》的報告中提到，互聯網、大數據、人工智能、物聯網等新一代信息技術的發展開啟了信息化的新階段，特別是隨著人機物融合泛在計算時代的到來，出現了面向各種新型應用模式和新的應用場景的人機物融合泛在操作系統（Ubiquitous Operating System, UOS）。大模型的廣泛應用也引發了關于大模型操作系統的諸多討論。在報告中，郭耀詳細介紹了泛在操作系統的概念、架構與實例，深入分析和探討了大模型對操作系統帶來的技術挑戰，并展望了大模型和操作系統結合的未來發展方向。

北京大學計算機學院教授、副院長 郭耀

中國科學院自動化研究所副總工程師、武漢人工智能研究院院長王金橋在《多模態大模型的發展與思考》的報告中提到，近年來，隨著大算力、大數據和AI算法的快速發展，以ChatGPT、GPT-4等為代表的人工智能大模型的成功標志著人工智能從以專用小模型訓練為主的“手工作坊時代”邁入到以通用大模型預訓練為主的“工業化時代”，成為新一代人工智能發展分水嶺。在報告中，王金橋進一步分析了大模型的技術發展現狀，能力涌現機理和存在問題，介紹了多模態大模型紫東太初研發歷程、關鍵技術和當前進展等情況，以及知識增強的大模型方法，并探討了大模型的行業應用和未來發展趨勢。

中國科學院自動化研究所副總工程師、武漢人工智能研究院院長王金橋

華為MindSpore架構師李政在《MindSpore端側大模型部署助力OS智能化》的報告中提到，ChatGPT引領的生成式AI大模型正悄然改變人們工作和生活，AI大模型與智能終端相結合勢必引發新的體驗。受終端設備算力和存儲制約，AI大模型端側部署仍面臨諸多挑戰。在報告中，李政詳細介紹了云端邊全場景訓推一體開源AI框架“MindSpore”的架構設計與功能特性，并進一步分享了MindSpore在大模型端側部署及推理加速領域的相關探索與實踐。

華為MindSpore架構師 李政

上海交通大學助理研究員糜澤羽在《PowerInfer: 面向消費級顯卡的大模型快速推理框架》的線上報告中提到，生成式大語言模型（LLM）因其在創造性寫作、高級代碼生成和復雜自然語言處理任務方面的強大能力而受到廣泛關注。受限于消費級顯卡的內存容量，在本地部署大語言模型存在較大挑戰。面向消費級顯卡的大模型快速推理框架“PowerInfer”利用大語言模型推理中固有的高局部性（神經元激活的冪律分布），設計了一種GPU-CPU混合推理引擎，減少了GPU內存需求和CPU-GPU數據傳輸，從而顯著提升了大語言模型在本地部署環境上的推理速度。

上海交通大學助理研究員 糜澤羽

統信軟件終端操作系統產線架構師李鶴在《deepin操作系統的大模型探索之旅》的報告中，分析了大語言模型在桌面操作系統的發展趨勢和應用情況，介紹了deepin操作系統在大語言模型應用方面的研究，包括deepin操作系統的各個系統組件和應用軟件，如智能助手、郵箱、瀏覽器、文件管理器、deepin IDE對在線大模型以及本地模型的應用情況。

統信軟件終端操作系統產線架構師 李鶴

中國科學院信息工程研究所副研究員孟國柱在《面向軟件開發的大模型安全評估與風險探討》的報告中提到，在過去的一年中，大模型研究不斷涌現，并逐漸應用于軟件開發的多個領域，如代碼的自動生成、功能補全、缺陷修復等。盡管大模型在這些領域展現了潛力，卻也存在一系列安全問題。其中，訓練過程的不可知導致容易受到錯誤或缺陷代碼的影響，“幻覺”問題使得生成的代碼不可控，針對大模型的越獄攻擊使模型的輸出被劫持等風險。在報告中，孟國柱圍繞軟件開發的多個領域，評估和分析了大模型的能力和存在的問題，并探討了引入大模型后帶來的新的安全風險和挑戰。

中國科學院信息工程研究所副研究員 孟國柱

華中科技大學網絡空間安全學院副教授李珍在《大模型下的系統軟件漏洞檢測》的報告中提到，隨著深度學習技術的發展，在數據驅動下，采用人工智能技術，自動學習漏洞模式來檢測系統軟件中的漏洞成為一種趨勢。然而目前方法存在系統軟件可獲得的漏洞代碼數量少、樣本中存在大量漏洞無關語句、漏洞行定位和漏洞類型預測準確率低等問題。大模型的出現，為系統軟件的智能漏洞檢測提供了新的機遇。在報告中，李珍介紹了在大模型下系統軟件漏洞檢測方面的探索，包括大規模漏洞領域數據集構建、專家知識與數據驅動的融合、基于代碼大模型的指令微調、大模型的攻擊與防御等。

華中科技大學網絡空間安全學院副教授 李珍

北京郵電大學計算機學院副研究員徐夢煒在《端側大模型和衛星操作系統》的報告中提到，邊緣智能技術是指將機器學習算法和模型部署到距離用戶和數據源更近的邊緣/端側，以實現更好的用戶隱私保護和低延時推理。然而，以神經網絡模型（DNN）為代表的機器學習算法普遍存在參數量大、計算量大等特點，難以在資源受限的邊緣側高效部署。在報告中，徐夢煒重點介紹了團隊在邊緣智能系統軟件方向的相關成果和思考，并深入探討了在當前大語言模型（LLM）飛速發展背景下，邊緣智能領域所面臨的新要求和新挑戰。此外，徐夢煒在報告中還探討了在低軌衛星星座快速發展的背景下，構建新一代衛星操作系統所面臨的挑戰與機遇，并分享了團隊在基于Rust語言構建開源衛星操作系統RROS過程中的嘗試和早期成果。

北京郵電大學計算機學院副研究員 徐夢煒

武漢大學國家網絡安全學院副研究員李霏在《大模型內容安全與價值觀對齊》的報告中提到，以ChatGPT為代表的大模型引發了公眾對于AI技術的廣泛關注，大模型也帶來許多令人驚嘆的應用。然而，由于大模型使用了海量大數據進行訓練，數據中存在的仇恨、歧視、暴力等不當內容會被大模型學習到，從而在特定條件下生成這些危害社會安全的話語，因此研究大模型的內容安全問題顯得尤為重要。在報告中，李霏從大模型的訓練機理、安全隱患、檢測手段、價值觀對齊等幾個方面進行闡述，回顧相關工作和方法，梳理大模型內容安全治理的技術方案。

武漢大學國家網絡安全學院副研究員李霏

華中科技大學網絡空間安全學院副研究員周威在《大模型輔助的物聯網系統虛擬化技術及其安全應用》的報告中提到，隨著“萬物互聯“時代的到來，物聯網系統面臨的安全威脅日益嚴峻。特別是嵌入式系統大多由低級語言開發并且普遍缺乏防御措施，難以避免存在大量安全漏洞等。同時，嵌入式設備硬件資源受限，難以在設備上直接應用模糊測試等傳統自動化漏洞檢測技術。隨著AI和大模型技術的發展，如何利用其構造虛擬化環境輔助實現自動化物聯網系統與應用漏洞檢測成為目前的工業界與學術界關注的熱點問題。在報告中，周威分析了多種團隊研發最新AI與大模型輔助的嵌入式系統與應用虛擬化技術，并介紹了如何利用虛擬化技術實現快速自動化嵌入式系統與固件漏洞檢測。

華中科技大學網絡空間安全學院副研究員周威

隨著人工智能技術的不斷進步，大模型已經成為推動操作系統創新的重要力量。結合大模型技術，不僅讓操作系統能更好地理解用戶的需求和意圖，為用戶帶來全新的功能和服務，還有助于推動操作系統向原生智能方向發展。未來，OpenHarmony將進一步提升智能體驗競爭力，持續向原生智能方面演進，逐步構建面向萬物智聯世界的分布式全場景協同的開源操作系統基座與生態系統。

E N D

審核編輯 黃宇