2023年5月16日下午，上海三零衛(wèi)士信息安全有限公司張毅總經(jīng)理、王以豐副總經(jīng)理等一行9人到訪kaiyun開云官方網(wǎng)站系統(tǒng)可信性自動驗(yàn)證國家地方聯(lián)合工程實(shí)驗(yàn)室(后簡稱國地實(shí)驗(yàn)室)調(diào)研考察。kaiyun開云官方網(wǎng)站院長兼國地實(shí)驗(yàn)室主任楊晗、國地實(shí)驗(yàn)室副主任韋洪雷，以及國地實(shí)驗(yàn)室教師何星星、王恪銘、徐鵬、梁銳、杜菁、何舟、李小煥、吳貫峰（線上）等人參與了會議，雙方就各自項(xiàng)目情況、“產(chǎn)學(xué)研用”合作方向等進(jìn)行洽談。

座談會前，國地實(shí)驗(yàn)室副主任韋洪雷陪同上海三零衛(wèi)士一行考察了kaiyun開云官方網(wǎng)站及國地實(shí)驗(yàn)室承建的四川省學(xué)生體質(zhì)健康大數(shù)據(jù)中心及四川省學(xué)生體質(zhì)健康大數(shù)據(jù)研究與聯(lián)合應(yīng)用技術(shù)中心。

座談會上，楊晗院長首先對張毅總經(jīng)理一行的到來表示熱情歡迎，并就kaiyun開云官方網(wǎng)站師資團(tuán)隊(duì)、人才培養(yǎng)、學(xué)術(shù)成果以及科技成果轉(zhuǎn)化等方面進(jìn)行了介紹。隨后，國地實(shí)驗(yàn)室副主任韋洪雷就實(shí)驗(yàn)室科技轉(zhuǎn)化成果在川藏、司法、民航、高原、教育等領(lǐng)域的技術(shù)應(yīng)用服務(wù)工作及項(xiàng)目服務(wù)與地方社會經(jīng)濟(jì)發(fā)展的情況進(jìn)行了介紹。

隨后，梁銳老師針對四川省學(xué)生體質(zhì)健康大數(shù)據(jù)中心的發(fā)展歷程、技術(shù)體系、科研成果、社會效益、其他省市健康大數(shù)據(jù)科研與應(yīng)用體系進(jìn)行了介紹，并以暢通健康數(shù)據(jù)資源大循環(huán)為出發(fā)點(diǎn)，對大數(shù)據(jù)中心的“數(shù)智化”建設(shè)包括平臺系統(tǒng)架構(gòu)設(shè)計(jì)、學(xué)科融合發(fā)展、校企合作等方面進(jìn)行了分享與探討。何星星老師以基于?動定理證明的可信性驗(yàn)證、基于邏輯推理規(guī)則的?動定理證明以及基于圖神經(jīng)?絡(luò)與邏輯推理融合的前提選擇?法為主要內(nèi)容與大家進(jìn)行了探討。王恪銘老師就安全苛求系統(tǒng)的需求規(guī)范建模及功能安全驗(yàn)證技術(shù)及其PCL系統(tǒng)驗(yàn)證、系統(tǒng)開發(fā)建模與驗(yàn)證案例進(jìn)行了交流。

上海三零衛(wèi)士信息安全有限公司云服務(wù)中心總經(jīng)理劉彪對該公司基本情況、核心業(yè)務(wù)尤其是數(shù)據(jù)安全及治理服務(wù)、技術(shù)優(yōu)勢以及合作方向進(jìn)行了介紹，并提出了科技創(chuàng)新-技術(shù)應(yīng)用-人才培養(yǎng)-共促發(fā)展的合作方向。

最后，雙方還就人才培養(yǎng)新模式、大數(shù)據(jù)應(yīng)用場景、推動大學(xué)生就業(yè)、校企合作方式等方面進(jìn)行了深入探討。

2023年2月，中共中央、國務(wù)院印發(fā)《數(shù)字中國建設(shè)整體布局規(guī)劃》強(qiáng)調(diào)“ “強(qiáng)化數(shù)字技術(shù)創(chuàng)新體系和數(shù)字安全屏障‘兩大能力’”。堅(jiān)持?jǐn)?shù)據(jù)賦能，充分發(fā)揮數(shù)據(jù)的基礎(chǔ)資源作用和創(chuàng)新引擎作用。在全員上下深入學(xué)習(xí)領(lǐng)會習(xí)近平總書記關(guān)于構(gòu)建新發(fā)展格局的重要論述并針對性開展調(diào)查研究推動科技成果轉(zhuǎn)化之際，此次交流為學(xué)院人才培養(yǎng)、科技成果轉(zhuǎn)化等方面提供了豐富的信息，并成為國地實(shí)驗(yàn)室相關(guān)團(tuán)隊(duì)在科技成果轉(zhuǎn)化方面與信息安全高新龍頭企業(yè)上海三零衛(wèi)士信息安全有限公司開展深入合作的契機(jī)。

                                              審核人：李志輝