人工智能神經(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號