GSO TC08/DS1 ISO/IEC 24029-2:2025
ISO/IEC 24029-2:2023
مسودة أولية لمواصفة قياسية خليجية
·
الإنجليزية
·
الجهة المعدة
DGSM
الذكاء الاصطناعي (AI) - تقييم قوة الشبكات العصبية - الجزء 2: منهجية استخدام الأساليب الرسمية
Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
المرحلة DS :
{{'Committee draft ({0}) released on {1} and is open for members comments until {2}' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate),formatDate(project.deadline)]) }}
{{'Committee draft ({0}) released on {1} and members comments period closed on {2}' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate),formatDate(project.deadline)]) }}
{{'Draft ({0}) released on {1} and is open for public comments until {2}' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate),formatDate(project.deadline)]) }}
{{'Draft ({0}) released on {1} and the public comment period closed on {2}' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate),formatDate(project.deadline)]) }}
{{'No draft available currently. Project was fully rejected and waiting a new draft' | dictionary }}
{{'Final draft ({0}) accepted on {1} and waiting final approval' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate)]) }}
{{'No final draft available. Project was partially rejected. Waiting a new final draft' | dictionary }}
{{lang == 'ar' ? (project.stageHintAr ? project.stageHintAr : project.stageDescAr) : (project.stageHintEn ? project.stageHintEn : project.stageDescEn) }}
تفاصيل أساسية
المواصفات ذات العلاقة
قطاع المعلومات
الجهة المعدة والمقترحة
DGSM
التصنيف الدولي للمواصفات (ICS)
35.020.0
—
تقنية المعلومات بصفة عامة
أهداف التنمية المستدامة (SDG)
9
الصناعة والابتكار والبنية التحتية
بناء بنية تحتية قادرة على الصمود، وتعزيز التصنيع الشامل والمستدام، وتشجيع الابتكار
مجال المشروع
توفر هذه الوثيقة منهجية لاستخدام الطرق الرسمية لتقييم خصائص قوة الشبكات العصبية. تركز الوثيقة على كيفية اختيار وتطبيق وإدارة الطرق الرسمية لإثبات خصائص المتانة.
This document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses on how to select, apply and manage formal methods to prove robustness properties.