Knowledge Expert

Préface

Nouveautés

Mise en route

Tâches    de l'utilisateur

Description de    l'atelier

Description du    langage

Etude de cas

Glossaire

  © Dassault Systèmes 1994-2000. Tous droits réservés.

PréfaceLa conservation et la réutilisation du savoir-faire constituent l'un des enjeux majeurs de touteentreprise créant de nouveaux produits. Si toutes les entreprises produisent des données etdes informations liées à leurs produits, la transformation de ces données en une based'informations accessibles pose de réelles difficultés. Les outils utilisés dans le processus dedéveloppement des produits ne permettent généralement pas de consigner le mode et lemotif des décisions prises, et ne facilitent pas davantage l'accès à ces informations. Cesavoir-faire, cette connaissance comme nous l'appellerons dans le contexte de CATIA, doitregrouper l'expérience et les informations sous une forme directement utilisable. Savoircomment regagner son domicile après le travail est une connaissance. La carte qui indiquele chemin à suivre constitue les données que vous devez interpréter. Grâce à l'expérience,vous savez emprunter différents itinéraires indiqués sur la carte, en fonction de conditionsvariables telles que le temps ou l'heure de la journée. Vous avez utilisé la carte et d'autreinformations pour créer une connaissance. De même, s'agissant du développement deproduits, savoir comment un produit est censé fonctionner et comment appliquer ce savoirpour créer un produit pertinent constitue également une connaissance. Les modèles et lesdessins du produit font partie des données qui le définissent mais ils n'expriment ni laméthode, ni la raison ayant amené quelqu'un à le créer de cette façon. Il est difficiled'incorporer les connaissances à une réalisation conceptuelle. Il est également difficiled'écrire ou de codifier un processus de décision de telle manière qu'il puisse être transmissous forme de connaissance d'une personne à une autre.Les outils le plus souvent utilisés dans le développement de produits doivent également êtrecapables de consigner ces connaissances et permettre aux développeurs de les appliquer àla conception de nouveaux produits.

Outre une nouvelle architecture bénéficiant de plusieurs années d'évolution, CATIA Version5 offre des fonctions très performantes qui permettent aux concepteurs de conduire lesprocessus de création à partir de spécifications associatives et d'intégrer ces spécificationsdans les procédures de développement des produits. CATIA Version 5 permet de créer desspécifications et des règles, mais aussi de les conserver et de les réutiliser.

Remarque : La compatibilité ascendante de la syntaxe fournie pour cette version deKnowledge Expert n'est pas garantie.

NouveautésFonctions de Space Analysis

Résolution Forcé

Opérateurs utilisés dans les vérifications

 

Mise en route

 

Le scénario développé ci-après facilite l'apprentissage des nouvelles fonctionsde règles de connaissances de CATIA. Il se décompose en tâches et toutes lesinstructions devant être entrées par l'utilisateur sont indiquées pour chaquetâche. Une règle experte est un moyen de spécifier comment, selon lecontexte, les attributs d'une entité doivent être modifiés. Une règle expertes'applique à toutes les entités d'un type déterminé. La première tâche illustreles principes d'une règle experte. Une vérification experte est une règle experteparticulière qui n'exécute aucune action mais indique simplement si unecondition est satisfaite ou non. Une vérification s'applique à toutes les entitésd'un type déterminé. La deuxième tâche illustre le fonctionnement d'unevérification experte.

Création d'une règle experte

Créez une extrusion ou une boîte à deux trous. Le diamètre du premier troudoit être de 50 mm, celui du deuxième doit être de 10 mm.

1.

Ouvrez l'atelier Knowledge Expert.

Sélectionnez l'entité racine dans l'arbre des spécifications..

Dans le menu Démarrer, sélectionnez Infrastructure-> KnowledgeExpert.

2.

2.

Cliquez sur l'icône .3.

Sélectionnez la relation Base de règles dans l'arbre des spécifications. Laboîte de dialogue suivante s'affiche :

4.

Remplacez au besoin le nom et la description par défaut de la règle à créer,puis cliquez sur OK. L'éditeur de règles expertes apparaît.

5.

Entrez l'instruction H:Hole dans le champ .6.

Copiez-collez le code ci-dessous depuis votre navigateur vers la zone desaisie de l'éditeur :

7.

if  (H.Diameter == 50.0 mm) H.Diameter = 10.0 mm    

L'éditeur de règles ressemble maintenant à ce qui suit :

Cliquez sur OK. Une nouvelle règle vient s'ajouter au jeu de règles dans

l'arbre des spécifications. Cliquez sur l'icône pour résoudre la base derègles. Si besoin, mettez à jour le document. Voici ce que vous devez voirsur votre écran :

8.

Gardez le document ouvert et passez à la tâche suivante.9.

La fonction de résolution n'a d'intérêt que si la base de règles contient plusieursjeux de règles. Chaque jeu de règles contient plusieurs règles expertes. La

résolution d'une base de règles est une opération qui consiste à appliquer toutesles règles actives à un document.

Création d'une vérification experte

Ouvrez l'atelier Knowledge Expert.

Sélectionnez l'entité racine dans l'arbre des spécifications..

Dans le menu Démarrer, sélectionnez Infrastructure-> AtelierKnowledge Expert.

2.

1.

Cliquez sur l'icône .2.

Sélectionnez la relation Base de règles dans l'arbre des spécifications. Laboîte de dialogue suivante s'affiche :

3.

Remplacez au besoin le nom et la description par défaut de la vérification àcréer, puis cliquez sur OK. L'éditeur de vérifications expertes apparaît.

4.

Dans le champ associé au symbole , indiquez le type d'entité auquel larègle experte doit s'appliquer. Respectez la syntaxe suivante :

H:Hole

5.

Copiez-collez le code ci-dessous depuis votre navigateur vers la zone desaisie de l'éditeur :

(H.Diameter == 11.0 mm) AND (H.Activity == TRUE)

L'éditeur de vérifications ressemble maintenant à ce qui suit :

6.

Cliquez sur OK. Une nouvelle vérification vient s'ajouter à la base de règlesdans l'arbre des spécifications.

7.

Cliquez sur l'icône pour résoudre la base de règles. Voici ce que vousdevez voir sur votre écran :

L'icône associée à la vérification devient rouge, indiquant ainsi que celle-ci aéchoué (tous les trous ont un diamètre de 10 mm).

8.

Tâches de l'utilisateurCréation d'une règle

Création d'une vérificationImportation d'une base de règlesRésolution d'une base de règles

Rapport de vérification

Reportez-vous à la section A propos des entités de Knowledge Expert pour plusd'informations sur les concepts du programme.

Reportez-vous à la section Référentiel des tâches pour obtenir la liste complètedes tâches pouvant être exécutées sur les règles et les vérifications. 

 

 

Création de règles expertes

Cette section détaille les instructions à suivre pour créer une règle experte.Les autres opérations pouvant être réalisées avec les règles expertes sontrésumées dans la section Base de règles - Tâches de l'utilisateur.Desexemples de règles expertes sont fournis dans les sections Etudes de cas.

Ouvrez l'atelier Knowledge Expert.

Sélectionnez l'entité racine dans l'arbre des spécifications..

Dans le menu Démarrer, sélectionnez Infrastructure-> AtelierKnowledge Expert.

2.

1.

Cliquez sur l'icône . Un message vous demande de sélectionnerl'objet base de règles ou un jeu de règles existant. Cliquez sur l'un oul'autre dans l'arbre des spécifications.

Si vous sélectionnez l'objet base de règles, la vérification seracréée sous un nouveau jeu de règles.

.

Si vous sélectionnez un jeu de règles existant, la règle sera crééesous celui-ci.

2.

2.

Dans la boîte de dialogue qui s'affiche, remplacez au besoin le nom etla description par défaut de la règle à créer, puis cliquez sur OK.L'éditeur de règles expertes apparaît.

3.

A présent vous devez écrire le code de la règle. Pour plusd'informations, voir le Guide de programmation. Selon les règles àajouter à votre base de règles, vous devrez parfois définir la valeur duparamètre de priorité.

4.

Cliquez sur Appliquer pour tester la règle et contrôler la validité de sasyntaxe.

5.

Cliquez sur OK pour ajouter la règle au document.6.

La règle experte est ajoutée à l'arbre des spécifications sous un nouveau jeude règles (lorsque l'objet base de règles a été sélectionné) ou sous un jeu derègles existant (s'il a été sélectionné). La règle n'est pas appliquée audocument. Elle y est seulement ajoutée.

Le champ "Créer paramètre de type" permet de créer un nouveauparamètre dans une règle experte. Cela concerne principalement ledéveloppement de fonctions utilisateurs. La programmation de fonctionsutilisateurs se rattache au produit CAA (CATIA Application Architecture). Voir

la documentation de CAA et les modèles fournis.

Création de vérifications expertes

Cette sectiondétaille lesinstructions àsuivre pourcréer unevérificationexperte. Lesautresopérationspouvant êtreréaliséesavec lesvérificationsexpertes sontrésuméesdans lasection Basede règles -Tâches del'utilisateur.Desexemples devérificationsont fournisdans lessectionsEtudes decas.

Ouvrez l'atelier Knowledge Expert.

Sélectionnez l'entité racine dans l'arbre desspécifications.

.

Dans le menu Démarrer, sélectionnezInfrastructure-> Atelier Knowledge Expert.

2.

1.

Cliquez sur l'icône . Un message vous demandede sélectionner l'objet Release ou un jeu de règlesexistant. Cliquez sur l'un ou l'autre dans l'arbre desspécifications.

Si vous sélectionnez l'objet Release, lavérification sera créée sous un nouveau jeu de

.

2.

règles.

Si vous sélectionnez un jeu de règles existant,la vérification sera créée sous celui-ci.

b.

Dans la boîte de dialogue qui s'affiche, remplacezau besoin le nom et la description par défaut de larègle à créer, puis cliquez sur OK. L'éditeur devérifications expertes apparaît.

3.

Entrez la vérification dans l'éditeur de règles. Pourplus d'informations sur la syntaxe des vérifications,voir le Guide de programmation.

4.

Sélectionnez l'onglet Correction. Il existe troisméthodes de correction :

VB Script permet d'utiliser un éditeur descripts. Si une vérification échoue, lesinstructions VB Script spécifiées dans cetéditeur sont exécutées lorsque voussélectionnez Vérification.objet->Fonction decorrection dans le menu contextuel de lavérification.

.

Conseil de correction permet dedésigner un message d'une ou plusieurslignes.

b.

URL vous demande d'indiquer l'adresse URLd'un fichier à afficher à l'écran si la vérificationéchoue.    

c.

5.

Sélectionnez l'onglet Rapport pour indiquer lemessage à afficher dans le rapport de vérification.

6.

Cliquez sur Appliquer pour tester la vérification etcontrôler la validité de sa syntaxe.

7.

Cliquez sur OK pour ajouter la vérification audocument.

La vérification experte est ajoutée à l'arbre desspécifications sous un nouveau jeu de règles(lorsque l'objet Release a été sélectionné) ou sous

8.

un jeu de règles existant (s'il a été sélectionné). Lavérification n'est pas appliquée au document. Elle yest seulement ajoutée.

Importation d'une base de règles

Une base de règles peut être importée à partir d'un fichier externe. Le fichiersource doit être du type .CATProduct tandis que le fichier cible peut être dutype .CATPart ou .CATProduct. La base de règles est la seule entitéimportée depuis le document externe.

Ouvrez un document de type .CATProduct ou .CATPart.1.

Ouvrez l'atelier Knowledge Expert.2.

Cliquez sur l'icône . Une boîte de sélection de fichiers s'affiche.3.

Sélectionnez un fichier .CATProduct (cette action n'a de sens que si lefichier sélectionné contient une base de règles non vide).

4.

Cliquez sur OK pour importer la base de règles à partir du fichierexterne que vous venez de sélectionner. Les règles/vérificationsexpertes sont ajoutées à l'arbre des spécifications.

5.

Seules les nouvelles règles/vérifications expertes sont importées. Ledocument cible garde un lien avec le document importé. Si ce dernier estsupprimé, la base de règles importée est également supprimée du documentcible.

Résolution d'une base de règles

L'icône vous permet de résoudre une base de règles. La résolution estune opération assez simple mais qui cache quelques subtilités.

Le processus de résolution est une opération qui consiste à déclenchertoutes les relations d'une base de règles de manière à mettre à jour ledocument en conséquence. Si une base de règles n'est pas résolue, uneicône "à résoudre" apparaît en regard dans l'arbre des spécifications.

En mode mise à jour automatique :Si vous modifiez une règle ou une vérification, vous devez cliquer surl'icône Résoudre pour résoudre la base de règles. Si vous ne le faitespas, la base de règles ne sera pas résolue. Si vous cliquez sur l'icôneRésoudre, seules les règles affectées par la modification du documentseront déclenchées. Si l'icône Résolution est désactivée et que labase de règles apparaît comme à résoudre dans l'arbre desspécifications, double-cliquez sur la base de règles pour réactiverl'icône Résoudre.Si vous modifiez un paramètre d'une entité et que celui-ci estréférencé dans une règle, cette règle est exécutée normalement saufpour certaines entités particulières. Dans ce cas, l'icône Résoudre estdésactivée et vous devez utiliser la commande Résolution Forcé(menu contextuel de la base de règles) pour résoudre la base derègles. Toutes les règles sont alors exécutées et non uniquementcelles affectées par la modification du document.Si vous voulez pouvoir résoudre votre base de règles et mettre à jourvotre document comme vous le voulez, vous pouvez cocher la caseRésolution Forcé dans les paramètres (accessibles via le menucontextuel de la base de règles). Dans ces conditions, le documentsera mis à jour automatiquement dans la zone géométrique et l'icôneRésolution sera active.

Création d'un rapport de vérification

Une fois une résolution exécutée, vous pouvez créer un rapport devérification. Les données consignées dans le rapport ainsi que le format decelui-ci dépendent des paramètres de la base de règles. Cette tâcheexplique comment définir ces paramètres et créer le rapport de vérification.Les sections Etudes de cas contiennent un exemple de rapport devérification.

Dans l'arbre des spécifications, avec le bouton droit, cliquez sur l'objetbase de règles, puis sélectionnez la fonctionbase de règles.objet->Paramètres dans le menu contextuel. La boîtede dialogue des paramètres de base de règles apparaît.

1.

Renseignez les champs d'après les informations qui suivent :

Dans le champ Html, sélectionnez :

Passed pour n'inclure dans le rapport que les information1.

.

2.

concernant les entités pour lesquelles les vérifications sontconcluantes.

False pour n'inclure dans le rapport que les informationconcernant les entités pour lesquelles les vérifications ontéchoué.

2.

Both pour inclure dans le rapport toutes les informationconcernant toutes les entités vérifiées.

3.

Correction automatique pour exécuter la fonctionutilisateur indiquée lors de la création de la vérification(onglet Correction).

4.

Dans le champ Fichier (format non modifiable), sélectionnez :

Long pour ajouter le message d'aide spécifié lors de lacréation de la vérification.

1.

l'une des options disponibles sous Afficher lesrésultats pour organiser les données du rapport selondes catégories.

2.

b.

Cliquez sur OK pour appliquer les paramètres à la base de règles.3.

Cliquez sur l'icône pour créer le rapport de vérification et l'afficher.4.

Vous n'avez pas besoin de redéfinir les paramètres de la base derègles chaque fois que vous créez un rapport de vérification, sauf si vousvoulez modifiez ses caractéristiques.

A propos des entités de KnowledgeExpert

Knowledge Expert permet de créer et de manipuler des entités de type relation. Ces entitéssont organisées sous la forme d'une hiérarchie. L'objet base de règles figure au sommet decette hiérarchie tandis que les objets règles expertes et vérifications expertes sont audernier degré. Entre ces trois types d'objets figurent les jeux de règles, qui regroupent lesrègles et les vérifications.

Cette section décrit la hiérarchie des entités de Knowledge Expert.

Dans la figure ci-dessous, cliquez sur n'importe quel lien pourafficher le résumé des tâches associé.

                                                   Tâches de gestiondes bases de règles

Tâches de gestion desjeux de règles

Tâches de gestion desrègles expertes

Tâches de gestion desvérifications expertes

Dans la hiérarchie d'une base de règles, la valeur du paramètre d'activité est héritée del'entité parente. Si un jeu de règles est désactivé, toutes les entités créées dans ce jeu lesont aussi. Si une base de règles est désactivée, toutes les entités créées dans cette basesont également désactivées.

Les règles et les vérifications sont les seuls objets que vous pouvez créer directement. Unebase de règles vide est automatiquement associée à un document lorsque vous ouvrezl'atelier Knowledge Expert. Pour leur part, les jeux de règles sont créés implicitement enmême temps que les règles et les vérifications. Les jeux de règles ne peuvent pas êtreimbriqués dans une base de règles. Ces objets sont décrits ci-après.

Qu'est-ce qu'une règle experte ?Une règle experte est une série d'instructions conditionnelles qui exécute un ensembled'instructions, en fonction de la valeur d'une ou plusieurs expressions et s'applique à toutesles entités d'un ou de plusieurs types déterminés. Dans une règle experte, les objets sontmanipulés par le biais de leurs attributs. 

Une règle experte comporte deux parties :la définition des types d'entités auxquels la règle s'applique :S:Shell

1.

et la règle proprement dite :if (S.Activity == true) AND (S.IntOffset > 0.0 mm)S.ExtOffset = 5.0 mm

2.

La règle ci-dessus vérifie l'activité et l'épaisseur interne de tous les objets de type coque etfixe l'épaisseur externe des coques satisfaisant la condition spécifiée à 5 mm.

Pour appliquer une règle experte à un document, vous devez résoudre l'ensemble de labase de règles. Voir Résolution d'une base de règles.

Qu'est-ce qu'une vérification experte ?Une vérification experte est une règle qui ne fait que vérifier si une condition est rempliepour tous les objets d'un ou de plusieurs types déterminés. Elle ne modifie pas le documentauquel elle s'applique. Dans une vérification experte, les objets sont également manipuléspar le biais de leurs attributs. 

Une vérification experte comporte deux parties :la définition des types d'entités auxquels la vérification s'applique :S:Hole

1.

la vérification proprement dite :H.Activity == true

2.

La vérification ci-dessus vérifie l'activité de toutes les entités de type trou contenues dans ledocument. Une vérification experte est concluante (la condition spécifiée est remplie pourtous les objets) ou non concluante (la condition n'est pas satisfaite pour tous les objets).

La liste des objets et des attributs utilisables dans les règles et dans les vérificationsexpertes apparaît dans l'Explorateur d'objets.

Pour plus d'informations sur la syntaxe des règles et des vérifications expertes, voir lasection Description du langage.

Base de règles et résolutionLes règles expertes comme les vérifications expertes ne peuvent pas être appliquéesdirectement et individuellement à un document. Elles sont regroupées dans la base derègles qui se comporte comme un objet parent et exécute globalement toutes ses règles et

vérifications actives.

L'événement qui déclenche la résolution varie selon que le mode Mise à jour automatique aitété sélectionné ou non. La résolution consiste à exécuter les règles expertes et lesvérifications expertes selon certains principes décrits dans la section Résolution d'une basede règles. A l'issue d'une résolution :

certains attributs d'entité peuvent être modifiés ;

les icônes de vérification de l'arbre des spécifications deviennent vertes ( ) ou

rouges ( ) selon que les vérifications soient concluantes ou non. Si une vérificationn'est que partiellement concluante, son icône devient rouge.

Une fois la résolution terminée, vous pouvez créer un rapport de vérification en cliquant sur

l'icône .

Référentiel des tâches interactivesBase de règles

Création d'une base de règles 

  Une base de règles vide est automatiquement ajoutée à undocument lorsque vous ouvrez l'atelier Knowledge Expert.

Importation d'une base de règlesScénario

  Dans la boîte de sélection de fichier, sélectionnez le fichierCATProduct contenant la base de règles à importer.Remarques :

Le document externe doit être de type CATProduct.La base de règles est la seule entité importée depuis ledocument externe (par exemple, les entités mécaniquesne sont pas importées).Les règles et vérifications ne sont pas importées s'il enexiste déjà portant le même nom dans le document dedestination.Le document cible garde un lien avec le documentimporté. Si le document externe est supprimé, ou que labase de règles qu'il contient est supprimée, la base derègle importée dans le document cible l'est également.

Résolution d'une base de règlesScénario

  Si une base de règles n'a jamais été résolue :En mode Mise à jour automatique, toutes les règles et lesvérifications actives s'exécutent automatiquement à lapremière modification d'un paramètre d'un document.En mode Mise à jour non automatique, toutes les règleset les vérifications actives s'exécutent automatiquementla première fois que vous cliquez sur l'icône derésolution.Après la résolution d'une base de règles :En mode Mise à jour automatique, une nouvellerésolution s'exécute chaque fois qu'un paramètre d'undocument est modifié mais seules les règles dont leprédicat référence le paramètre modifié sont exécutées.En mode Mise à jour non automatique, vous devezcliquer sur l'icône de résolution pour exécuter unenouvelle résolution après la modification d'un paramètred'un document. Seules les règles dont le prédicatréférence le paramètre modifié sont exécutées.

Activation/désactivation d'une base de règles

  Dans la liste des paramètres de la boîte de dialogue Formules,sélectionnez le paramètre de base de règles/activité et modifiezsa valeur dans le champ Editer le nom ou la valeur duparamètre sélectionné.

  Dans l'arbre des spécifications, avec le bouton droit, cliquez surla base de règles à activer ou désactiver, puis sélectionnez lafonction Base de règles.objet->Activer/Désactiver à partir dumenu contextuel.

Définition des paramètres d'une base de règles (rapport de vérification)

  Dans l'arbre des spécifications, avec le bouton droit, cliquez surl'objet base de règles, puis sélectionnez la fonctionBase de règles .objet->Paramètres à partir du menu contextuel.

Jeu de règles

Création d'un jeu de règles

  La création des jeux de règles va de pair avec celle des règleset des vérifications. Lorsque vous créez une règle ou unevérification experte, CATIA vous demande de choisir une basede règles ou un jeu de règles. Si vous choisissez une base derègles, le programme crée un jeu de règles et y ajoute une règleou une vérification ; si vous choisissez un jeu de règles existant,la règle ou la vérification créée y est ajoutée.

Activation/désactivation d'un jeu de règles

  Dans la liste des paramètres de la boîte de dialogue Formules,sélectionnez le paramètre de jeu de règles/activité et modifiezsa valeur dans le champ Editer le nom ou la valeur duparamètre sélectionné.

 ou Dans l'arbre des spécifications, avec le bouton droit, cliquez surle jeu de règles à activer ou désactiver, puis sélectionnez lafonction Jeu de règles.objet->Activer/Désactiver à partir dumenu contextuel.

Suppression d'un jeu de règles

  Dans l'arbre des spécifications, avec le bouton droit, cliquez surle jeu de règles à supprimer, puis sélectionnez la commandeSupprimer dans le menu contextuel.

Règle experte 

Création d'une règle experteScénario

  Sélectionnez une base de règles ou un jeu de règles. Uneboîte de dialogue s'affiche.

1.

Modifiez le nom par défaut et les commentaires de la règle(facultatif).

2.

Cliquez sur OK. L'éditeur de règles s'affiche.3.

Entrez le type d'entité à créer dans le champ , parexemple :H:Hole;S:Shellet dans la syntaxe de la règle, par exemple :if H.Diameter > 10.0(H.Diameter = False)

4.

Cliquez sur Appliquer pour contrôler la syntaxe de la règle.5.

Cliquez sur OK pour ajouter la règle experte au document.6.

Edition et modification d'une règle experte

  Dans l'arbre des spécifications, cliquez deux fois sur la règle àéditer, puis modifiez ses instructions dans l'éditeur de règles.

 ou Dans l'arbre des spécifications, avec le bouton droit, cliquez surla règle à éditer, puis sélectionnez la fonctionRègle.objet->Définition à partir du menu contextuel.

Activation/désactivation d'une règle experte

  Dans la liste des paramètres de la boîte de dialogue Formules,sélectionnez le paramètre de règle/activité et modifiez sa valeurdans le champ Editer le nom ou la valeur du paramètresélectionné.

 ou Dans l'arbre des spécifications, avec le bouton droit, cliquez surla règle à activer ou désactiver, puis sélectionnez la fonctionActiver/Désactiver à partir du menu contextuel.

  Suppression d'une règle experte

  Dans l'arbre des spécifications, avec le bouton droit, cliquez surla règle à supprimer, puis sélectionnez la commande Supprimerdans le menu contextuel.

Vérification experte 

Création d'une vérification experte Scénario

  Sélectionnez une base de règles ou un jeu de règles. Uneboîte de dialogue s'affiche.

1.

Modifiez le nom par défaut et les commentaires de lavérification (facultatif).

2.

Cliquez sur OK. L'éditeur de vérifications s'affiche.3.

Entrez le type d'entité à créer dans le champ , parexemple :H:Hole;S:Shell

4.

Entrez les instructions de la vérification dans la zoned'édition.H.Diameter > 10.0 mm

5.

Cliquez sur Appliquer pour contrôler la syntaxe de lavérification.

6.

Indiquez une méthode de correction et un message àafficher dans le rapport de vérification (facultatif).

7.

Cliquez sur OK pour ajouter la vérification experte audocument.

8.

Edition et modification d'une vérification experte

  Dans l'arbre des spécifications, cliquez deux fois sur lavérification à éditer, puis modifiez ses instructions dans l'éditeurde vérifications.

 ou Dans l'arbre des spécifications, avec le bouton droit, cliquez surla règle à éditer, puis sélectionnez la fonctionVérification.objet->Définition à partir du menu contextuel.

Activation et désactivation d'une vérification experte

  Dans la liste des paramètres de la boîte de dialogue Formules,sélectionnez le paramètre de vérification/activité et modifiez savaleur dans le champ Editer le nom ou la valeur du paramètresélectionné.

 ou Dans l'arbre des spécifications, avec le bouton droit, cliquez surla vérification à activer ou désactiver, puis sélectionnez lafonction Activer/Désactiver à partir du menu contextuel.

Création d'un rapport de vérification Scénario

  Le rapport de vérification est généré à partir des donnéesspécifiées dans les paramètres de la base de règles.

Pour modifier le format ou le contenu du rapport de vérification,sélectionnez la fonctionBase de règles .objet->Paramètres dansle menu contextuel, puis sélectionnez les options quiconviennent dans la boîte de dialogue des paramètres de basede règles.

Application d'une méthode de correction

  Dans l'arbre des spécifications, avec le bouton droit, cliquez surla vérification, puis sélectionnez la commande Fonction decorrection dans le menu contextuel. La base de règles doit êtrerésolue.

Mise en évidence des entités incorrectes

  Dans l'arbre des spécifications, avec le bouton droit, cliquez surla vérification, puis sélectionnez la commande Mise ensurbrillance dans le menu contextuel. La base de règles doitêtre résolue.

Suppression d'une vérification experte

  Dans l'arbre des spécifications, avec le bouton droit, cliquez surla vérification à supprimer, puis sélectionnez la commandeSupprimer dans le menu contextuel.

 

Description de l'atelierBarre de menus de Knowledge Expert

La barre de menus de l'atelier Knowledge Expert est une barre de menus standard hormis lacommande Insérer qui donne accès aux icônes des règles expertes, des vérificationsexpertes et d'insertion de base de règles.

Barre d'outils de Knowledge Expert

La figure suivante décrit la barre d'outils de Knowledge Expert.

Dans la figure ci-dessus, cliquez sur une icône pour afficher la documentation de latâche associée. .

Ces icônes sont sommairement décrites ci-après.

L'icône Règle experte donne accès à l'éditeur de règles. Il suffit de cliquerdessus pour créer une règle experte, écrire son code, contrôler sa syntaxe etl'ajouter à la base de règles.

L'icône Vérification experte donne accès à l'éditeur de vérifications. Il suffit decliquer dessus pour créer une vérification experte, écrire son code, contrôler sasyntaxe et l'ajouter à la base de règles.

L'icône d'insertion d'une base de règles à partir d'un document permetd'importer une base de règles à partir d'un document externe. Cliquez sur cetteicône pour récupérer dans le document en cours la base de règles (qui contientles règles et les vérifications expertes) d'un document externe.

L'icône Rapport de vérification permet de générer un rapport. Cliquer sur cetteicône n'a d'intérêt que si vous venez de résoudre une base de règles contenantun certain nombre de vérifications applicables à plusieurs entités. Le rapportfournit des informations sur la réussite ou l'échec des vérifications ainsi qued'autres informations qui varient selon les paramètres de la base de règlesutilisée.

L'icône de résolution permet de résoudre une base de règles. Il suffit de cliquerdessus pour appliquer à votre document les règles et les vérifications définiesdans la base de règles.

 

Description du langageCe manuel est destiné aux utilisateurs confirmés. Les informations qu'il contient permettentd'optimiser la conception de la base de règles ainsi que l'écriture des vérifications ou desrègles expertes. Ce manuel prolonge les scénarios de base décrits dans le manuel CATIAKnowledge Expert - Guide de l'utilisateur et porte principalement sur les aspects liés à laprogrammation.

Ecriture de vérifications expertesEcriture de règles expertes

  

Ecriture de vérificationsUne vérification experte est une règle experte particulière qui n'exécute aucune action maisindique simplement si une condition est satisfaite ou non. Une vérification s'applique à toutesles entités d'un type déterminé. Les fonctions, les opérateurs et les attributs d'entité pouvantêtre utilisés dans une vérification experte sont les mêmes que ceux utilisables dans lesrègles expertes. Pour plus d'informations, voir Ecriture de règles expertes.

Spécification des méthodes de correctionSyntaxe des vérifications - Généralités

Spécification d'un rapportOpérateurs utilisés dans les vérifications

Spécification d'une méthode decorrectionVous pouvez associer une méthode de correction à une vérification. Cette méthode decorrection s'exécutera chaque fois qu'une vérification échouera. Pour appeler une méthodede correction, vous devez sélectionner la méthode Fonction de correction à partir du menucontextuel de la vérification.

Il existe trois types de méthodes de correction :

VB Script permet d'utiliser un éditeur de scripts. Si une vérification échoue, lesinstructions VB Script spécifiées dans cet éditeur sont exécutées lorsque voussélectionnez Vérifier objet->Fonction de correction dans le menu contextuel de lavérification.

1.

Conseil de correction permet de désigner un message d'une ou plusieurs lignes.2.

URL vous demande d'indiquer l'adresse URL d'un fichier à afficher à l'écran si lavérification échoue.    

3.

Exemple d'utilisation de l'option VB Script

Voici un exemple de vérification avec méthode de correction. Cet exemple peut s'appliquer àn'importe quel document CATPart contenant au moins une entité de type Shaft (manche).

Ecriture de la condition

Sélectionnez l'onglet Condition, puis entrez le ou les types d'entités auxquels la vérifications'applique ainsi que la vérification elle-même.(Pour tous) S:ShaftS.StartAngle == 0deg

Ecriture de la méthode de correction VB Script

Sélectionnez l'onglet Correction, puis entrez le script ci-dessous dans l'éditeur :' Récupère l'entitéPartBody dans le documentDim Body0 As AnyObjectSet Body0 = CATIA.ActiveDocument.Part.Bodies.Item ( "PartBody" )

' Analyse les formes de la pièce puis règle' toutes les entités de type Shaft sur 360 et 0 degrésfor i=1 to Body0.Shapes.Countif TypeName(Body0.Shapes.Item(i)) = "Shaft"_then Body0.Shapes.Item(i).SecondAngle.Value = 360.0_: Body0.Shapes.Item(i).FirstAngle.Value = 0.0next

' Actualise la pièce

CATIA.ActiveDocument.Part.Update

Lorsque vous spécifiez une méthode de correction VB Script, n'utilisez pas les instructionsSub et End Sub.

Utilisation de l'option URL

L'option URL permet uniquement d'indiquer le chemin d'un fichier contenant desinformations sur la vérification. Il doit s'agir d'un fichier de type .htm.

Utilisation de l'option Conseil de correction

Cette option permet d'afficher un message dans une fenêtre d'informations.

 

 

Syntaxe des vérifications - GénéralitésUne vérification experte comporte quatre parties :

le champ de condition, dans lequel vous indiquez les types de fonction auxquels larègle doit s'appliquer ;la vérification proprement dite, écrite sous la forme d'une instruction à vérifier ;la correction à appliquer si la vérification n'est pas concluante (facultatif) ;le rapport (facultatif).

L'éditeur de vérifications permet d'ajouter un paramètre à une règle. Un paramètre ajouté à une règle au moyen dubouton Créer un paramètre de type ne peut être géré que dans le contexte d'une règle experte ou d'unevérification experte.

L'Explorateur d'objets permet d'accéder aux fonctions, aux opérateurs et aux attributs d'entité pouvant être utilisésdans une vérification experte.

Pour indiquer une méthode de correction Pour indiquer un rapportPour indiquer l'ensemble des types d'entités

auxquels la vérification experte doit s'appliquer(Ex : S:Shaft ; F:CstEdgeRibbon ; P:Pad)

Pour accéder à l'Explorateur d'objets

Pour entrer la série de conditions à vérifier

Pour ajouter un paramètre après la vérification

Toutes les fonctions, les opérateurs et les attributs d'entité utilisables pour lesrègles expertes le sont également pour les vérifications expertes.

 

Spécification d'un rapport

Le rapport qui s'affiche lorsque vous cliquez sur l'icône contient une colonne Aide quipermet de fournir des informations à l'utilisateur.Le message correspondant aura été saisidans l'onglet Rapport de l'éditeur de vérifications.

Pour spécifier un rapport, il vous suffit de sélectionner l'onglet Rapport de l'éditeur devérifications, puis de saisir sur une ou plusieurs lignes le message que vous voulez afficherdans le rapport.

Opérateurs utilisés dans lesvérificationsOpérateurs mathématiques, logiques etopérateurs de comparaisonTous les opérateurs décrits dans la section Opérateurs utilisés dans les règles peuvent êtreutilisés dans les vérifications. 

L'opérateur de filtrage =>De plus, vous pouvez utiliser le symbole => partout où vous pouvez restreindre lavérification à une classe d'entités :

Etant donné la vérification suivante :H:HoleH->HasAttributeReal("Cost")=>H\Diameter > 10mm

l'état de la vérification ne donnera que les résultats des tests H\Diameter > 10 mmréalisés sur les trous ayant l'attribut Cost. Il n'y aura pas de test sur les autres trous.

Ecriture de règlesUne règle experte est une série d'instructions, généralement basées sur des instructionsconditionnelles, qui permet de contrôler les relations entre les paramètres. Une règle expertes'applique à toutes les entités d'une série de types prédéfinie.

 Syntaxe - GénéralitésFonctions trigonométriquesFonctions mathématiques

Opérateurs utilisés dans les règlesFonctions d'affichageFonctions de chaîne

Fonctions de démarrage de macroFonctions de Space Analysis

Fonctions d'accès à la liste des attributs

Syntaxe - GénéralitésUne règle experte comporte deux parties :

le champ "Pour tous" indiqué par le quantificateur universel ( ). dans lequel vousindiquez les types d'entités auxquels la règle doit s'appliquer ;la règle proprement dite, écrite sous la forme suivante : si conditions (alors)actions.

L'Explorateur d'objets permet d'accéder aux fonctions, aux opérateurs et aux attributsd'entité pouvant être utilisés dans une règle experte.

Utilisation de l'Explorateur d'objets

Dans l'éditeur de règles/vérifications, cliquez sur l'icône . L'Explorateur d'objets apparaît.

A partir du dictionnaire, vous pouvez accéder aux composants suivants :

la liste des objets pris en charge par Expert Knowledge, puis les attributs de chacun deces objets ;

.

les fonctions utilisables dans les règles ou les vérifications ;b.

les unités utilisables.c.

La barre d'icônes permet d'accéder à d'autres fonctions :

l'icône Précédent ;Revient à l'action précédente réalisée dans l'afficheur. N'a aucun effet sur l'éditeurde règles/vérifications.

l'icône Suivant ;Passe à l'action suivante réalisée dans l'afficheur, dans une série d'actions.

l'icône Type d'attribut ;Extrait le type d'attribut. Par exemple, si vous sélectionnez l'objet Pad, les attributsStartLimit (limite de début) et EndLimit (limite de fin) s'affichent dans la liste desattributs.Sélectionnez EndLimit pour mettre en évidence l'icône Type d'attribut.Sivous cliquez sur cette icône, l'objet Limit apparaît avec l'attribut Length (longueur).

l'icône Héritage.Extrait l'entité parente ainsi que ses attributs.

L'icône Insérer Insère le nom de l'objet dans le script.

Spécification des types d'entitésUtilisez la syntaxe suivante : identificateur_type:nom_entitéRemarques :

Les déclarations de type doivent être séparées par des points virgules.Les identificateurs de type sont des chaînes de caractères qui distinguent lesmajuscules des minuscules. Ils doivent être différents des noms d'unité (par exemple,les lettres W et A doivent être remplacées par w et a).

Exemple : H:Hole ; thefillet:CstEdgeRibbon ; S:Shell

Spécification des attributs d'entitéUtilisez au choix l'une des syntaxes suivantes :

identificateur_type.nom_objetidentificateur_type\nom_objet

Exemple : if H\Diameter > 10.0 then H.Activity = False

Fonctions trigonométriquesToutes les fonctions trigonométriques sont accessibles via les options Fonctions del'Explorateur d'objets.

Fonctions trigonométriques

cos, cosh Calcule le cosinus (cos) ou le cosinus hyperbolique (cosh).

tan, tanh Calcule la tangente (tan) ou la tangente hyperbolique (tanh).

sin, sinh Calcule le sinus ou le sinus hyperbolique.

asin, asinh Calcule le sinus ou le sinus hyperbolique.

acos, acosh Calcule l'arccosinus ou l'arccosinus hyperbolique.

atan, atanh Calcule l'arctangente ou l'arctangente hyperbolique.

Fonctions mathématiquesToutes les fonctions mathématiques sont accessibles via les options Fonctions del'Explorateur d'objets. Lorsque vous sélectionnez une fonction dans la liste de l'afficheur, sadescription apparaît sous la forme d'une signature. Cette dernière fournit la liste desarguments utilisables ainsi que leurs types et indique le type de résultat obtenu pour chacun.

Fonctions mathématiques

abs Calcule la valeur absolue.

ceil Renvoie le nombre entier le plus faible, supérieur ou égal à la valeur spécifiéepar l'argument.

exp Renvoie l'exponentielle.

floor Renvoie le nombre entier le plus élevé, inférieur ou égal à la valeur spécifiéepar l'argument.

int Renvoie la partie entière d'un nombre.

ln Renvoie le logarithme népérien.

log Renvoie le logarithme.

min, max Renvoie la valeur minimum ou maximum d'une série de valeurs spécifiée parl'argument.

round Renvoie la valeur réelle la plus proche de l'argument.

sqrt Renvoie la racine carrée.

OpérateursTous les opérateurs sont accessibles via les options Fonctions de l'Explorateur d'objets.

Opérateurs arithmétiques

+ Opérateur d'addition

- Opérateur de soustraction

* Opérateur de multiplication

/ Opérateur de division

( ) Parenthèses (utilisées pour grouper les opérandes dans les expressions)

= Opérateur d'affectation

** Opérateur d'élévation à une puissance

Opérateurs logiques

ET Conjonction logique de deux expressions

OU Disjonction logique de deux expressions

Opérateurs de comparaison

!= Différent de

== Egal à

>= Supérieur ou égal à

<= Inférieur ou égal à

< Inférieur à

> Supérieur à

Fonctions d'affichageToutes les fonctions d'affichage sont accessibles via les options Fonctions de l'Explorateurd'objets. Lorsque vous sélectionnez une fonction dans la liste de l'afficheur, sa descriptionapparaît sous la forme d'une signature. Cette dernière fournit la liste des argumentsutilisables ainsi que leurs types et indique le type de résultat obtenu pour chacun.

Liste des fonctions

Message Affiche un message dans une fenêtre d'informations.

Question Affiche un message, attend que l'utilisateur clique sur un bouton et renvoie unevaleur booléenneindiquant le bouton actionné.

Fonctions de chaîneToutes les fonctions de chaîne sont accessibles via les options Fonctions de l'Explorateurd'objets. Lorsque vous sélectionnez une fonction dans la liste de l'afficheur, sa descriptionapparaît sous la forme d'une signature. Cette dernière fournit la liste des argumentsutilisables ainsi que leurs types et indique le type de résultat obtenu pour chacun.

Liste des fonctions

ToLower Remplace les majuscules d'une chaîne de caractères par des minuscules.

ToUpper Remplace les minuscules d'une chaîne de caractères par des majuscules.

ToString Convertit un nombre entier en une chaîne.

Substring Renvoie une sous-chaîne d'une longueur spécifiée, commençant à uneposition donnée.

Fonctions de démarrage d'une macroLe document KwxMeasureRules.CATPart illustre comment utiliser la fonctionGenerateScript.

Enregistrez la macro KwxMeasureRules.CATGScript dans votre environnement.Ouvrez le document.Editez la règle GenerateScript et modifiez le chemin spécifié dans l'argument de lafonction GenerateScript.Réactivez la règle GenerateScript avant de résoudre la base de règles.

LaunchMacroFromFile LaunchMacroFromFile(nom_chemin)Exécute une macro .CATScript (macro VB Script) à partir d'unerègle.

GenerateScript GenerateScript(nom_chemin)Exécute une macro .CATScript à partir d'une règle.

 

Fonctions de Space AnalysisLes fonctions décrites dans cette section sont celles du programme Digital Mockup - DMUSpace Analysis. Deux programmes doivent être déclarés dans le champ [Pour tous] dans leformulaire ci-dessous :Prod1:ASMPRODUCT ; Prod2:ASMPRODUCT

Ces fonctions d'analyse de l'espace doivent être utilisées avec l'option Résolution Forcé.

Conseil : Pour limiter l'analyse à un certain nombre de composants, vous pouvez utiliser unecombinaison de tests sur ces composants. Reportez-vous au modèle KwxClash.CATPart.

ClashOrContact(String,Product1,Product2):BooleanDétermine si deux composants sont en conflit ou en contact. Le premier argument est"Clash" ou "Contact" selon le type d'analyse désiré.

Activez les règles ClashRule1and ClashRule2 dans KwxClash.CATPart et exécutez lacommande Résolution Forcé à partir du menu contextuel de la base de règles.Les composants en conflit sont :p1 avec p2p2 avec p3p5 avec p2p5 avec p1Les composants en contact sont :p3 et p2p5 et p2

DistanceMin(Product1,Product2):LengthRenvoie la distance minimale entre deux composants. 

Activez la vérification DistanceMinCheck dans KwxClash.CATPart et exécutez la commandeRésolution Forcé à partir du menu contextuel de la base de règles.Les composants distants de plus de 0,02 mm sont :p3 et p1p4 et p3p4 et p2p5 et p4p5 et p3

IsIncludedIn(Product1,Product2):BooleanDétermine si un composant est inclus dans un autre.

Activez la vérification ClashCheck1 dans KwxClash.CATPart et exécutez la commandeRésolution Forcé à partir du menu contextuel de la base de règles.p1 est inclus dans p2p5 est inclus dans p1

PenetrationMax(Product1,Product2):LengthRenvoie la longueur maximale d'un composant inclus dans un autre.

Activez la vérification PenetrationMaxCheck dans KwxClash.CATPart et exécutez la

commande Résolution Forcé à partir du menu contextuel de la base de règles.La pénétration de p2 dans p1 est de 0,03 mm.

 

 

Fonctions d'accès aux attributs listeCertains attributs d'entité se présentent sous la forme d'une liste d'entités. Par exemple, unespline (entité GSMCurve) a pour attribut une liste nommée Eléments. Cette liste d'élémentsse compose de points (GSMPoints).

L'attribut "liste" est appelé le conteneur. Ce dernier contient une instance définie par sonindex.

Le document KwxMeasureRules.CATPart illustre comment utiliser ce type d'attribut d'entité.

Liste des fonctions

GetInstanceMember GetInstanceMember(conteneur, index)Renvoie l'instance associée à un index donné dans le conteneur.

 

Etude de casManipulation d'entités Shape Design dans lesrègles et les vérificationsDans cette étude, vous apprendrez à :

créer des entités Shape Design à partir d'un script exécuté depuis une règle ;utiliser les fonctions de calcul de longueur et d'aire de l'Explorateur d'objets ;manipuler les attributs de type liste.

PréambuleScénario

Document de départLe document initial utilisé dans cette étude de cas est KwxMeasureRules.CATPart.En voicila description. La pièce se compose de deux splines extrudées.

Voici résumé ce que vous devez faire pour créer cette pièce sans base de départ :

Ouvrez l'atelier Generative Shape Design en sélectionnant la commandeDémarrage->Forme->Generative Shape Design à partir de la barre d'outils.

1.

Créez les points ci-dessous :Point.1 avec X=0, Y=100mm, Z=0Point.2 avec X=0, Y=-100mm, Z=0Point.3 avec X=0, Y=0, Z= 100mm.

2.

Créez la courbe Spline.1 en sélectionnant successivement Point.2, Point.3 et Point.1.3.

Créez les points ci-dessous :Point.4 avec X=0, Y=0, Z=150mmPoint.5 avec X=0, Y=80mm, Z=80mmPoint.6 avec X=0, Y=-80mm, Z= 80mmPoint.7 avec X=0, Y=-120mm, Z= 100mmPoint.8 avec X=0, Y=120mm, Z=100mm.

4.

Créez la courbe Spline.2 en sélectionnant successivement Point.7, Point.6, Point.4,Point.5 et Point.8.

5.

Extrudez Spline.2. Spécifiez le plan yz comme sens de l'extrusion et indiquez 40 mmcomme première limite. Le résultat est Extrude.1.

6.

Extrudez Spline.1. Spécifiez le plan yz comme sens de l'extrusion et indiquez 40 mm7.

comme première limite. Le résultat est Extrude.2.

Pour plus d'informations, voir le manuel Generative Shape Design - Guide de l'utilisateur.

ScénarioCalcul et affichage de surfaces extrudées

Dans cette tâche, vous apprendrez à utiliser :la fonction area ;la méthode Name, qui renvoie le nom d'une entité ;la fonction Message, qui affiche une zone de message.

Cette tâche utilise une entité GSMExtrude et donne l'occasion de manipuler son attribut depremière limite.

Ouvrez le fichier modèle KwxMeasureRules.CATPart, puis activez KnowledgeExpert.

1.

Désactivez toutes les relations de la base de règles sauf la règle experteExtrudedSurfaceArea.

2.

Editez la règle ExtrudedSurfaceArea.La règle ci-dessous apparaît :

(Pour tous) Extru:GSMExtrude

if Extru\Length1 > 10 mm{Message("L'aire de la surface # est égale à #",Extru->Name(),area(Extru))}

Remarque : La méthode Name requiert l'opérateur ->.

3.

Remplacez la valeur de la limite d'extrusion (Extru\Length1) par 11 mm.4.

Cliquez sur OK pour quitter l'éditeur de règles. Un premier message indique l'aire dela surface d'Extrude.1. Cliquez sur OK pour afficher un autre message indiquantl'aire d'Extrude.2. Le cas échéant, cliquez sur l'icône Résoudre pour déclencher larègle.

5.

Désactivez la règle ExtrudedSurfaceArea et passez à la tâche suivante.6.

Accès aux éléments d'un attribut de type liste

Dans cette tâche, vous apprendrez à accéder aux points d'une spline par le biais de lafonction GetInstanceMember. Un objet GSMCurve a pour attribut une liste de points(éléments). L'index de l'élément à extraire est spécifié dans le deuxième argument de laméthode GetInstanceMember.

Activez la règle PointsOnASpline. Les autres relations doivent être maintenuesinactives.

1.

Editez la règle PointsOnASpline.La règle ci-dessous apparaît :

(Pour tous) pt: GSMPoint ; sp:GSMCurve

if pt == GetInstanceMember(sp\Elements,1)Message ("Premier point de # : # ", sp->Name(),  pt->Name() )

2.

Remplacez les instructions de la règle par :if pt == GetInstanceMember(sp\Elements,2)Message ("Deuxième point de # : # ", sp->Name(),  pt->Name() )

3.

Cliquez sur OK pour quitter l'éditeur de règles. Un premier message affiche le nomdu deuxième point de Spline.1 (Point.3). Cliquez sur OK pour afficher un autremessage indiquant le nom du deuxième point de Spline.2 (Point.6). Le caséchéant, cliquez sur l'icône Résoudre pour déclencher la règle.

4.

Désactivez la règle PointsOnASpline et passez à la tâche suivante.5.

Lancement d'un script de création à partir d'une règle

Dans cette tâche, vous apprendrez à utiliser la fonction GenerateScript afin d'exécuter unscript de création à partir d'une règle. Cette tâche utilise le fichier modèleKwxMeasureRules.CATGScript qui doit être chargé dans votre environnement. Cettemacro crée un objet GSMCircle.

Editez la règle GenerateScript.La règle ci-dessous apparaît :(Pour tous) Extru:GSMExtrude

if Extru->Name() == "Extrude.1" AND area(Extru) < 10m2GenerateScript("e:/users/.../KwxMeasureRules.CATGScript")

1.

Remplacez le chemin spécifié dans l'argument de la fonction GenerateScript parcelui du répertoire contenant la macro KwxMeasureRules.CATGScript chargéedans votre environnement.

2.

Cliquez sur OK pour quitter l'éditeur de règles.3.

Réactivez la règle GenerateScript.4.

Cliquez sur l'icône de résolution pour exécuter la règle. La boîte de dialogueci-dessous apparaît :

5.

Si vous voulez ajouter le cercle défini dans la macro au document actif, vous devezindiquer le nom de ce document dans la syntaxe. A défaut, la macro exécutée àpartir de la règle créera un nouveau document. Entrez le nom du document, puiscliquez sur Appliquer.

6.

Sélectionnez Radius. Remplacez la valeur par défaut de 50 mm par 40 mm.Cliquez ensuite sur Appliquer.

7.

Vous pouvez maintenant cliquer sur OK pour générer le cercle défini dans le script.Voici ce que vous pouvez voir à l'écran à l'issue de l'exécution du script.

8.

Désactivez la règle GenerateScript et passez à la tâche suivante.9.

Calcul de la longueur d'une spline

Dans cette tâche, vous apprendrez à calculer la longueur d'une spline par le biais de lafonction length.

Activez la règle SplineLength. Les autres relations doivent être maintenuesinactives.

1.

Editez la règle SplineLength. La règle ci-dessous apparaît :(Pour tous) sp:GSMCurve if length(sp) > 0 mm Message("La longueur de # est : # ", sp->Name(), length(sp)) 

2.

Remplacez cette règle par :if length(sp) > 10 mmMessage("La longueur de # est : # ", sp->Name(), length(sp)) 

3.

Cliquez sur OK pour quitter l'éditeur de règles. Un premier message affiche le nomdu deuxième point de Spline.1 (Point.3). Cliquez sur OK pour afficher un autremessage indiquant le nom du deuxième point de Spline.2 (Point.6). Le caséchéant, cliquez sur l'icône Résoudre pour déclencher la règle.

4.

GlossaireActivité Propriété qui définit si une entité est appliquée à un document ou non. La valeur de ceparamètre est trueoufalse. Elle apparaît sous la forme d'une icône dans l'arbre des spécificationset peut être lue dans la liste des paramètres du document.

Base de règlesEntité située au sommet de la hiérarchie des règles et vérifications expertes.

Explorateur d'objetsForme d'interface utilisateur permettant de sélectionner des objets tels que des entités, des attributsd'entités, des opérateurs et des fonctions dans une liste prédéfinie d'objets.

FormuleRelation imposant une contrainte à un paramètre. La relation de la formule est une instructioncomposée d'une seule ligne. La première partie de la relation désigne le paramètre sujet de lacontrainte tandis que la deuxième partie contient une relation utilisant d'autres paramètres commevariables. Une formule est une entité. Dans l'arbre des spécifications du document, elle apparaît sousla forme d'une relation qui peut être activée ou désactivée. Comme n'importe quelle entité, uneformule peut être manipulée à partir de son menu contextuel.

Gestion des règles de connaissance (knowledgeware)Ensemble des logiciels servant à la création et à la manipulation d'informations basées sur lesconnaissances. Les informations basées sur les connaissances comprennent les règles et d'autres typesde relations, qui permettent aux concepteurs de garder trace des méthodes et des procédures mises enoeuvre et de les réutiliser ensuite pour d'autres travaux de conception.

Jeu de règlesGroupe de règles ou de vérifications expertes.

ParamètreEntité définissant une propriété d'un document.

Paramètre de type grandeurParamètre dont la valeur se définit par une quantité exprimée dans une unité spécifique. Lesparamètres Longueur, Angle et Durée sont des paramètres de type grandeur. Les paramètres Booléen,Réel, Chaîne et Entier n'en sont pas.

PrédicatPartie de la syntaxe d'une règle experte exprimant une condition. L'autre partie de la règle experteexprime les actions à exécuter lorsque le prédicat est vérifié.

Règle experteUne règle experte est une série d'instructions, généralement basées sur des instructionsconditionnelles, qui permet de contrôler les relations entre les paramètres. Une règle expertes'applique à toutes les entités d'un type donné. Dans l'arbre des spécifications du document, elle

apparaît sous la forme d'une relation qui peut être activée ou désactivée. Comme n'importe quelleentité, une règle experte peut être manipulée à partir de son menu contextuel.

RelationEntité de règles de connaissance qui, selon les conditions :

Affiche un message ;Définit des valeurs de paramètre ;Exécute une macro.

Les relations de règles de connaissance sont les formules, les vérifications, les règles et les tables deparamétrage.

RésolutionOpération consistant à appliquer toutes les règles et vérifications d'une base de règles à un document.

ABEFGJP

Plusieurs des définitions contenues dans ce glossaire ne sont valables que dans le contextede CATIA.

R

VVérification experteSérie d'instructions permettant de savoir si certaines conditions sont remplies ou non. Une vérificationexperte s'applique à toutes les entités d'un type donné. Elle ne modifie pas le document auquel elles'applique. Une vérification experte est une entité. Dans l'arbre des spécifications du document, elleapparaît sous la forme d'une relation qui peut être activée ou désactivée. Comme n'importe quelleentité, une vérification experte peut être manipulée à partir de son menu contextuel.

ConventionsCertaines conventions utilisées dans la documentation CATIA, ENOVIA & DELMIA vousaideront à reconnaître et à comprendre un certain nombre de spécifications et de conceptsimportants. Les conventions typographiques suivantes sont utilisées :       Les titres des documents CATIA, ENOVIA & DELMIA apparaissent en italique dans letexte.       Le texte qui apparaît en courier, comme Fichier -> Nouveau, identifie les commandesà utiliser.

L'utilisation de la souris diffère selon le type d'opération que vous devez effectuer.

Uitlisez ce bouton, quand vous lisez

Sélectionner (un menu, une commande, une géométrie dans une zonegraphique, etc.)Cliquer (sur une icône, un bouton dans une boîte de dialogue, un taquet, etc.)Double-cliquerCliquer en maintenant la touche Maj enfoncéeCliquer en maintenant la touche Ctrl enfoncéeCocher (une case)Faire glisser la sourisFaire glisser (une icône sur un objet, un objet sur un autre)

Faire glisser la sourisDéplacer

Cliquer à l'aide du bouton droit de la souris (pour sélectionner un menucontextuel)

Les conventions graphiques sont les suivantes :

indique le temps nécessaire pour exécuter une tâche.

indique la cible d'une tâche.

indique les conditions prérequises.

indique le scénario d'une tâche.

indique des conseils.

indique un avertissement.

indique des informations.

indique la fin d'une tâche.

indique des fonctionnalités nouvelles ou améliorées dans cette version.Les améliorations peuvent également être indiquées par une marge colorée en bleu enface des paragraphes correspondants.

 

RemarquesCATIA est une marque de DASSAULT SYSTEMES S.A. en France et dans certains pays.

Les termes qui suivent sont des marques d'autres sociétés :

Java Sun Microsystems Computer CompanyOLE, VBScript for Windows NT, Visual Basic         Microsoft CorporationIMSpost Intelligent Manufacturing Software, Inc.

D'autres sociétés sont propriétaires des autres marques, noms de produits ou logos qui pourraientapparaître dans ce document.

Certaines parties de ce produit contiennent des éléments protégés par des droits d'auteur appartenantaux entités suivantes :

Copyright © Dassault SystemesCopyright © Dassault Systemes of AmericaCopyright © D-Cubed Ltd., 1997-2000Copyright © ITI 1997-2000Copyright © Summit Software, 1992-1996Copyright © Cenit 1997-2000Copyright © Mental Images Gmbh & Co KG, Berlin/Germany 1986-2000Copyright © Distrim2 Lda, 2000Copyright © Institut National de Recherche en Informatique et en Automatique (INRIACopyright © Augrin SoftwareCopyright © Rainbow Technologies Inc.Copyright © Compaq Computer CorporationCopyright © Boeing CompanyCopyright © IONA Technologies PLCCopyright © Intelligent Manufacturing Software, Inc., 2000Copyright © Smart Solutions LimitedCopyright © Xerox Engineering SystemsCopyright © Bitstream Inc.Copyright © IBM Corp.Copyright © Silicon Graphics Inc.Copyright © Installshield Software Corp., 1990-2000Copyright © Microsoft CorporationCopyright © Spatial Technology Inc.

Copyright © 2000, Dassault Systèmes. Tous droits réservés.