為深入貫徹落實創(chuàng)新驅動發(fā)展戰(zhàn)略，加快推動科研創(chuàng)新平臺建設，2025年3月26日由金牛區(qū)科技局舉辦成都市“科創(chuàng)天府·智匯蓉城”創(chuàng)新資源供需對接會在成都市先進技術成果西部轉化中心舉行。kaiyun開云官方網(wǎng)站系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室積極組織團隊及凝練相關應用成果參加了此次專題活動。形式化自動驗證研發(fā)團隊徐鵬老師攜高苛求安全控制系統(tǒng)軟件驗證工具做了現(xiàn)場成果展示和技術咨詢；智能監(jiān)測關鍵技術研究與應用示范團隊杜菁老師攜基于人工智能的運動行為監(jiān)測技及個體化運動干預大數(shù)據(jù)平臺和電子屏網(wǎng)絡安全防護系統(tǒng)等應用成果等做了技術講座和應用場景演示。兩個團隊人員還聽取了多場創(chuàng)新成果孵化落地及創(chuàng)新成果市場應用案例報告，與多家企業(yè)進行了面對面交流，參觀了先進技術成果西部轉化中心，深入了解了國家科技政策及惠企舉措。
