人工智能神經(jīng)網(wǎng)絡(luò)魯棒性評估管理評價
發(fā)布時間：2025-06-26|
ISO/IEC 24029-2:2023標(biāo)準(zhǔn)全稱為 《人工智能（AI）——神經(jīng)網(wǎng)絡(luò)魯棒性評估——第2部分：形式方法的使用方法》，是人工智能領(lǐng)域關(guān)于神經(jīng)網(wǎng)絡(luò)魯棒性評估的國際標(biāo)準(zhǔn)。
標(biāo)準(zhǔn)涵蓋了幾種可用的形式化方法技術(shù)。在生命周期的每個階段，提出了適用于評估神經(jīng)網(wǎng)絡(luò)魯棒性的標(biāo)準(zhǔn)，并確定了如何通過形式化方法驗證神經(jīng)網(wǎng)絡(luò)。
形式化方法是用于嚴(yán)格規(guī)范和驗證軟件和硬件系統(tǒng)的數(shù)學(xué)技術(shù)，可用于對神經(jīng)網(wǎng)絡(luò)進(jìn)行形式化推理，并證明它們是否滿足相關(guān)的魯棒性。
新世紀(jì)檢驗認(rèn)證有限責(zé)任公司
電話：400-016-9000
郵箱：post@bcc.com.cn
電話：400-016-9000
郵箱：post@bcc.com.cn
聯(lián)系地址：北京市東城區(qū)廣渠門內(nèi)大街45號D座5層
聯(lián)系我們
想咨詢更多認(rèn)證服務(wù)，請您填寫下面表格，我們將在工作時間內(nèi)回電!
京公網(wǎng)安備11010102007586號