Modlisation de connaissances base de contraintes pour lingnierie densembles mcaniques

1
Modélisation de connaissances à base de
contraintes pour lingénierie d ensembles
mécaniques

• Pierre-Alain YVARS
• ISMEP
• payvars_at_ismcm-cesti.fr
• GT IS3C Journée PPC 06/07/2004

2
PLAN DE LA PRESENTATION

• Introduction
• Genèse des travaux
• KoMoD Atelier pour la production de KBE
• Quelques travaux autour de KoMoD
• Conclusion

3
Introduction

• Aide à la conception routinière de classes de
  produits mécaniques
• Configuration et dimensionnement

4
Genèse des travaux

• Réflexions sur l intégration de savoir-faire en
  CFAO de produits et de systèmes de production
• (1991, PSA Peugeot Citroën)
• Méthodes, techniques et outils de L IA
• et de la CAO

5
Genèse des travaux

• Modèles de classes de produits multi-points de
  vue
• Au moins trois niveaux de granularité
• Contrainte (attribut, domaine, relation)
• Représentation du raisonnement de conception
• Instancier à l aide de la PPC

6
Définition d un CSP

• Constraint Satisfaction Problem
• V v1, v2, , vn
• D d1, d2, , dn
• C c1, c2, , cp
• Une instanciation des variables de V en
  respectant l ensemble C des contraintes

7
Mise en uvre de la PPC en l ingénierie mécanique

• Un langage informatique
• Une bibliothèque de PPC
• Une connexion à un modeleur CFAO
• ___________________________________
• Faible niveau sémantique
• Nécessité d une équipe de développement
• Peu de généricité des logiciels développés

8
Au moins trois niveaux ...
9
Premier résultats ...

• Projet ESPRIT DEKLARE (France, Espagne, Ecosse)
• Thèses VAR 95, SAU 97
• Industrialisation du projet Kadviser
• Poursuite AIT et MOKA

10
Premiers retours ...

• Mise à l épreuve industrielle PSA, ALM
  SAL 95, EHR 96, LEN 96
• Prise en compte de variantes
• Déclarativité
• Arbres / graphes
• Modélisation géométrique à affiner
• Outil de validation

11
KoMoDAtelier pour la représentation et la mise
en uvre de KBE

• Modèles de classes de produits multi-points de
  vue
• Contrainte (attribut, domaine, relation)
• Méta contraintes ou connecteurs
• Représentation du raisonnement de conception
• Instancier à l aide de la PPC

12
Méta modélisation multi points de vue d une
classe de produit
KoMoD
13
Exemple de modèle d une classe de produit
14
Instanciation (1)
KoMoD
15
Instanciation (2)
16
Instanciation (3)
17
Modélisation du processus
VAR 95
18
Modélisation du processus

• Représentation du raisonnement de conception
• Tâche, Méthode, Méthode élémentaire
• Jeu de connecteurs
• LEN 96

19
Quelques travaux autour de KoMoD ...

• Applications industrielles
• Cohérence des Modèles KoMoD VeriKoMoD SEL 99
• Aide à la conception de SAP DEG 01
• Réutilisation de composants LAR 00
• Vers une ingénierie coopérative Mc KoMoD MAR
  01

20
Conclusion

• Un cadre de modélisation unifié
• Mise en uvre par PPC
• Validations industrielles
• Travaux actuels
• YVA 01