Maîtrise de l'intégrité ONNX avec ASTORE

L'action astore.check va au-delà d'une simple validation de format. Elle effectue une analyse statique approfondie du graphe de calcul du modèle ONNX. Voici les principaux types d'anomalies qu'elle peut détecter :Invalidité structurelle : Le fichier n'est pas un fichier binaire au format Protobuf (Protocol Buffers) respectant le standard ONNX.Graphe de calcul incohérent : Détection de nœuds orphelins, de connexions manquantes entre les couches, ou de dépendances circulaires qui rendent le modèle inexploitable.Opérateurs non supportés : Le modèle utilise des opérateurs ou une version d'opset (operator set) qui ne sont pas implémentés dans le runtime ONNX spécifique à la version de SAS Viya utilisée.Incohérences de Tenseurs : Des erreurs dans les métadonnées des tenseurs, comme des formes (shapes) incorrectes, des types de données (par exemple, fp16, int8) non supportés pour certains opérateurs, ou des mismatches entre la sortie d'un nœud et l'entrée du suivant.Essentiellement, cette action ne se contente pas de dire si le fichier est un 'ONNX', mais si c'est un ONNX exécutable par SAS Viya.

Quels types de problèmes l'action astore.check peut-elle spécifiquement identifier ? - check

L'action astoreFichier binaire compact contenant la logique d'un modèle entraîné (analytique de score). Il permet de déployer et d'exécuter des modèles complexes de manière portable et ultra-rapide dans SAS Viya..check va au-delà d'une simple validation de format. Elle effectue une analyse statique approfondie du graphe de calcul du modèleReprésentation mathématique entraînée sur des données pour capturer des tendances, prédire des résultats ou classifier des observations via des algorithmes (Régression, Forêt aléatoire, Gradient Boosting). ONNX. Voici les principaux types d'anomalies qu'elle peut détecter :

Invalidité structurelle : Le fichier n'est pas un fichier binaire au format Protobuf (Protocol Buffers) respectant le standard ONNX.
Graphe de calcul incohérent : Détection de nœuds orphelins, de connexions manquantes entre les couches, ou de dépendances circulaires qui rendent le modèleReprésentation mathématique entraînée sur des données pour capturer des tendances, prédire des résultats ou classifier des observations via des algorithmes (Régression, Forêt aléatoire, Gradient Boosting). inexploitable.
Opérateurs non supportés : Le modèleReprésentation mathématique entraînée sur des données pour capturer des tendances, prédire des résultats ou classifier des observations via des algorithmes (Régression, Forêt aléatoire, Gradient Boosting). utilise des opérateurs ou une version d'opset (operator set) qui ne sont pas implémentés dans le runtime ONNX spécifique à la version de SAS Viya utilisée.
Incohérences de Tenseurs : Des erreurs dans les métadonnéesInformations décrivant les données, les utilisateurs et les ressources dans SAS Viya. Elles assurent la traçabilité, la sécurité et la gouvernance au sein de l'architecture distribuée. des tenseurs, comme des formes (shapes) incorrectes, des types de données (par exemple, fp16, int8) non supportés pour certains opérateurs, ou des mismatches entre la sortie d'un nœud et l'entrée du suivant.

Essentiellement, cette action ne se contente pas de dire si le fichier est un 'ONNX', mais si c'est un ONNX exécutable par SAS Viya.

Exemples pour l'action check

Vérification basique d'un modèle

Cet exemple montre comment soumettre un modèle ONNX stocké dans une variable pour validation immédiate.

Lecture et validation complète en CASL

Voici comment automatiser la vérification d'un modèle en lisant le fichier directement depuis le disque via CASL et en affichant le résultat de l'inspection.

Vous pourriez aussi aimer...

Conseil de l'Expert

Avant d'exécuter l'action describe ou de tenter un scoring, intégrez systématiquement astore.check dans votre pipeline CI/CD. Un modèle peut être syntaxiquement correct mais sémantiquement incompatible avec l'accélérateur matériel (GPU/EP) de Viya 4. L'erreur de runtime est coûteuse ; l'analyse statique est gratuite.

Diagnostic technique approfondi de l'Action Check

Validation du Schéma Protobuf : Vérification rigoureuse que le binaire respecte la sérialisation stricte de l'Open Neural Network Exchange, évitant les erreurs de segmentation au chargement.
Analyse de la Topologie du Graphe : Identification des ruptures de flux (nœuds isolés) et des cycles de dépendance interdits dans les architectures de type DAG (Directed Acyclic Graph)

Cette réponse vous a-t-elle aidé ?

Vos votes aident à améliorer notre base de connaissances.

Action CAS associée

aStore

check