澳门银河赌场直营1900com-澳门银河赌场网址多少_百家乐平注常赢规则_全讯网新2网址 (中国)·官方网站

講壇題目：飛天尋夢、把脈未來----天脈操作系統研制歷程回顧

主講人：葉宏副總工程師

講座時間：2023年6月13日，14:00-16:00

地點：工1-508

主辦單位：研究生院

承辦單位：計算機科學與工程學院

摘要：天脈系列嵌入式實時操作系統是航空工業計算所針對航空武的器裝備需求研制的一款自主知識產權的高安全、高可靠操作系統，目前已大規模性應用于我國多種飛機型號中，在國內產生了重大影響。本講座主要通過生動案例，介紹了天脈系列產品研制的艱辛歷程，從不被理解到國家立項、從多種反對聲到斷然決策、從不信任到用戶認可、從單機驗證到規模化應用等多視角、多維度講解了天脈研制的精神和信念。最后展望了天脈未來。

個人簡介：葉宏，中國航空工業集團西安航空計算技術研究所研究員，副總工程師，享受國家政府特殊津貼專家，航空工業集團特級專家。中國計算機學會（CCF）高級會員，形式化/嵌入式系統專委會常委。長期從事航空裝備安全攸關軟件的研究和研制工作，曾主持30余項國家重點預先研究、國家重點自然基金、國家“核高基”專項以及航空裝備型號任務。作為國產天脈操作系統的總設計師，主持研制了多系列的天脈產品，覆蓋多種應用領域，已被我國各種軍用機型飛機規模應用，其成果在國內出處于領先地位。曾獲得部級國防科技成果獎10項，省部科技成果獎14項，個人榮立航空集團功7項，獲國家發明專利12項，發表學術論文（合編、專著、國軍標等）30余篇。主要研究方向包括嵌入式系統、操作系統、航空電子系統、安全攸關系統和軟件安全性可靠性等技術。