EBookClubs

Read Books & Download eBooks Full Online

EBookClubs

Read Books & Download eBooks Full Online

Book Contribution    la supervision et    la gestion des modes et des configurations des syst  mes flexibles de production manufacturi  re

Download or read book Contribution la supervision et la gestion des modes et des configurations des syst mes flexibles de production manufacturi re written by Lyes Kermad and published by . This book was released on 1996 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: NOUS AVONS MONTRE DANS CE MEMOIRE QU'UNE APPROCHE DES SYSTEMES DE PRODUCTION PAR LES FONCTIONS ET LES OPERATIONS PERMET D'ALLER BEAUCOUP PLUS LOIN DANS LA SPECIFICATION DES CONTRAINTES DE FONCTIONNEMENT ET DE GESTION DES CONFIGURATIONS ET DES MODES DE FONCTIONNEMENT. NOUS AVONS PRESENTE LA PROBLEMATIQUE DE LA SUPERVISION ET DE LA GESTION DES MODES EN ETENDANT LES CONCEPTS DU GEMMA. EN EFFET IL NE S'AGIT PLUS DE GERER LA MARCHE ET L'ARRET D'UN SYSTEME AUTOMATISE DE PRODUCTION UNITAIRE MAIS DE GERER LES CONFIGURATIONS D'UN SYSTEME FLEXIBLE DE PRODUCTION COMPOSE ET COMPLEXE. LA DEMARCHE QUE NOUS PROPOSONS, DANS UN PREMIER TEMPS, PERMET DE CONSTRUIRE UN MODELE DU SYSTEME DE PRODUCTION, PAR UNE ANALYSE ASCENDANTE DES CONTRAINTES ET DES LIENS DE FONCTIONNEMENT ENTRE OPERATIONS. CETTE TECHNIQUE DE MODELISATION ABOUTIT, DE MANIERE SYSTEMATIQUE, A UN MODELE ARBORESCENT FONCTIONNEL DU SYSTEME DE PRODUCTION. CE MODELE MET EN EVIDENCE LES DIFFERENTS NIVEAUX DE COMMANDE DU SYSTEME FLEXIBLE DE PRODUCTION MANUFACTURIERE ET FAIT RESSORTIR LES PRINCIPES D'ORGANISATION ET DE CONDUITE DES INSTALLATIONS EN SPECIFIANT LEURS LIENS AVEC LES FONCTIONS. L'ORIGINALITE DE CETTE DEMARCHE RESIDE DANS LA POSSIBILITE D'INTEGRER TOUS LES COMPOSANTS D'UNE UNITE DE PRODUCTION. ELLE PERMET AUSSI DE TENIR COMPTE D'UNE MANIERE TRES SIMPLE DE L'AJOUT OU DE LA SUPPRESSION D'UN COMPOSANT. DANS UNE SECONDE DEMARCHE, NOUS AVONS MONTRE COMMENT L'EXPLOITATION DE LA MODELISATION PERMET DE GENERER UNE SPECIFICATION DE LA SUPERVISION DU SFPM. CETTE PHASE DE TRADUCTION EST BASEE SUR LA TRANSCRIPTION DIRECTE DES MODELES DU SFPM DANS UN LANGAGE SYNCHRONE GRAPHIQUE: ARGOS. LA TRADUCTION DE CES ARBORESCENCES SOUS FORME DE PROGRAMMES SYNCHRONES PERMET LA MISE A JOUR REACTIVE DE L'ETAT ET DE LA DISPONIBILITE DES COMPOSANTS DU SYSTEME DE PRODUCTION ET LA TRANSMISSION DES ORDRES DE RECONFIGURATION DE FACON ORIGINALE

Book Contribution a la supervision et a la gestion des modes et des configurations des systemes flexibles de production manufacturiere

Download or read book Contribution a la supervision et a la gestion des modes et des configurations des systemes flexibles de production manufacturiere written by Lyes Kermad and published by . This book was released on 1996 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Contribution au recouvrement des syst  mes flexibles de production manufacturi  re

Download or read book Contribution au recouvrement des syst mes flexibles de production manufacturi re written by Pascal Berruet and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le travail presente s'interesse principalement au recouvrement des pannes materielles dans les sfpm. Cette fonction fait partie de la supervision et collabore avec les modules de surveillance, de gestion des modes et de pilotage afin d'elaborer une reaction lorsqu'une panne survient. Son role decisionnel consiste a determiner comment le systeme peut conserver un caractere operationnel malgre la presence d'une panne. Notre contribution est basee sur une demarche en deux temps, s'interessant a la conception puis a l'exploitation. La premiere partie concerne la tolerance aux pannes et vise a concevoir un sfpm dont la disponibilite reste elevee grace a l'analyse de sa flexibilite. L'approche originale se fonde sur la determination des elements critiques du systeme. Elle permet une analyse a priori des architectures de production et un classement par type. L'analyse de la tolerance participe ainsi a l'aide a la conception des architectures materielles. La seconde partie propose une procedure de reconfiguration qui determine, apres l'apparition d'une panne, la nouvelle configuration du sfpm (les ressources a arreter, celles a mettre en marche). La principale caracteristique est une reaction evolutive, fonction de la difficulte de mise en oeuvre et des imperatifs de production. L'approche est fondee sur une analyse de la capacite du systeme a realiser un type de production donne.

Book Contribution    la mod  lisation et la v  rification formelle pour la gestion des modes des syst  mes automatis  s de production

Download or read book Contribution la mod lisation et la v rification formelle pour la gestion des modes des syst mes automatis s de production written by Nadia Hamani and published by . This book was released on 2005 with total page 191 pages. Available in PDF, EPUB and Kindle. Book excerpt: Parmi les problèmes liés à l’exploitation des systèmes production, la difficulté réside dans la gestion de leurs modes tout en garantissant leur compatibilité et leur cohérence. Le but de notre recherche consiste à contribuer à la modélisation et la vérification et validation (V&V) pour la gestion des modes. Le système de contrôle commande (C-C) des systèmes flexibles de production manufacturière (SFPM) développé dans le cadre du projet caspaim nous a servi comme cadre privilégié pour mener notre travail. Dans la démarche de modélisation que nous proposons, le modèle fonctionnel représente l’ensemble des flexibilites de production d’un SFPM. Il est générique et basé sur le concept de réutilisation. Les spécifications relatives au comportement des entités de ce modèle écrites en synccharts permettent de fournir des mécanismes formels de vérification assurant le déterminisme et la sûreté de fonctionnement. Dans la suite de la démarche de conception proposée, nous avons étudié et formalisé la mise en œuvre de la V&V des propriétés du modèle établi. Un cadre formel sur la V&V d’une spécification écrite en synccharts est proposé. Les propriétés recherchées sont formalisées dans le cadre général relatif aux systèmes réactifs des processus de C-C et d’autre part dans le cadre particulier du modèle de gestion des modes des SFPM. Les propriétés génériques et les propriétés spécifiques au système modélisé sont présentées et illustrées. Les outils de spécification et d’analyse formelle des synccharts intégrés à l’environnement esterel studio sont utilisés tout au long de notre démarche. L’étude est illustrée autour d’un exemple d’une cellule flexible de production manufacturière.

Book Surveillance et diagnostic en ligne dans les ateliers flexibles de l industrie manufacturi  re

Download or read book Surveillance et diagnostic en ligne dans les ateliers flexibles de l industrie manufacturi re written by Abdoul Karim Armand Toguyeni and published by . This book was released on 1992 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le travail présenté dans ce mémoire a pour objet la surveillance en ligne des systèmes flexibles de l'industrie manufacturière. Le rôle d'une telle fonction est d'assurer la sécurité et la disponibilité des biens et équipements, afin de permettre le maintien d'une production adaptable et évolutive (flexibilité). Pour répondre à ces objectifs, il est nécessaire de pouvoir identifier et confiner les défaillances en temps réel. L'approche proposée concerne la conception d'un système de diagnostic temps réel. Pour faire face à cette contrainte et à la nécessité de complétude, le modèle de connaissance est construit à partir du modèle fonctionnel du procédé. Sur ce modèle baptisé GF (Graphe Fonctionnel), deux formes de raisonnement sont mises en œuvre: le raisonnement temporel et le raisonnement hypothétique. Ces raisonnements permettent d'implémenter les mécanismes de base du diagnostic et du confinement de défaillance, à savoir: la localisation, l'identification et le pronostic. En amont, du diagnostic, nous avons proposé une méthode de conception de la fonction détection basée sur l'utilisation conjointe des techniques de perception-filtrage et de classification des symptômes. En aval, dans le cadre du recouvrement, nous proposons une structuration en couches de la commande, permettant d'intégrer la gestion des modes de marches à la fonction pilotage

Book Contribution par la surveillance pr  dictive indirecte    l optimisation de la maintenance dans les syst  mes flexibles de production manufacturi  re

Download or read book Contribution par la surveillance pr dictive indirecte l optimisation de la maintenance dans les syst mes flexibles de production manufacturi re written by Fatime Ly and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce travail présente une nouvelle approche contribuant à l'optimisation de la maintenance dans les Systèmes Flexibles de Production Manufacturière (SFPM). Le niveau actuel d'automatisation des SFPM et leurs contraintes de production imposent à la maintenance d'être mieux organisée et de s'appuyer sur des stratégies permettant de garantir la disponibilité et la qualité du service des ressources de production. Le problème qui se pose est alors de définir une politique de maintenance qui sache répondre aux exigences de la production. Notre contribution a porté sur deux thèmes : la structuration de la fonction maintenance et la définition d'une stratégie de maintenance préventive basée sur la surveillance prédictive indirecte. La structuration de la maintenance a pour objectif d'identifier l'ensemble des fonctions de la maintenance. Nous avons ainsi montré l'intérêt d'orienter la maintenance vers une approche en ligne qui permet de prendre en compte l'évolution du système et de participer aux prises de décisions en temps réel. Dans une seconde phase, nous proposons de mettre en place une stratégie de maintenance prédictive par une approche de surveillance prédictive. Le principe de la surveillance prédictive indirecte est de caractériser le comportement d'une ressource à partir de son flux de production. Les politiques de maintenance classiques prennent en compte les défaillances catalectiques par une surveillance dite curative, et les défaillances progressives par une surveillance prédictive directe qui consiste à placer des capteurs sur les éléments critiques du système, et à suivre leur état à partir de paramètres significatifs de leur dégradation. Cette méthode de surveillance est facile à mettre en oeuvre sur des équipements unitaires. Elle est plus difficile à appliquer à un système car non intégrée en phase de conception et coûteuse. L'objectif est donc de prendre en compte les défaillances progressives par une approche globale de surveillance. Cette approche permettrait de répondre à l'acuité des contraintes de production par une politique de maintenance plus proche de la production, sur la base d'un repère commun d'interprétation de l'impact d'une défaillance sur le système.

Book Contribution    la commande des syst  mes flexibles de production manufacturi  re dans l alg  bre  Max

Download or read book Contribution la commande des syst mes flexibles de production manufacturi re dans l alg bre Max written by Michel Al Saba and published by . This book was released on 2006 with total page 108 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes flexibles de production manufacturière peuvent être représentés par une combinaison de blocs appartenant à deux sous-classes de réseaux de Petri temporisés qui sont les Graphes d'Événements Temporisés (GEvT) pour modéliser des phénomènes de synchronisation, et les Graphes d'Etat Temporisés (GEtT) pour modéliser des phénomènes de choix entre les ressources partagées. Le comportement des GEvT peut être décrit par des équations linéaires dans l'algèbre (max,+). Etant donné un ordonnancement, on montre qu'il est possible de représenter également les GEtT comme des systèmes (max,+) linéaires. Dans une première partie, les GEtT sont décrits linéairement sous la forme de modèles de type tas, puis en utilisant la théorie des systèmes à commutations (max,+) linéaires. Une fois ces représentations d'état (max,+) linéaires obtenues, nous proposons des méthodes de commande de type juste-à-temps de ces systèmes.

Book Contribution au recouvrement des systemes flexibles de production manufacturiere   analyse de la tolerance et reconfiguration

Download or read book Contribution au recouvrement des systemes flexibles de production manufacturiere analyse de la tolerance et reconfiguration written by Pascal Berruet and published by . This book was released on 1998 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Contribution a la conduite des systemes flexibles de production manufacturiere

Download or read book Contribution a la conduite des systemes flexibles de production manufacturiere written by Emmanuel Castelain and published by . This book was released on 1996 with total page 141 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Contribution    la conception d un syst  me de conduite pour les syst  mes flexibles de production manufacturi  re

Download or read book Contribution la conception d un syst me de conduite pour les syst mes flexibles de production manufacturi re written by Christian Ausfelder and published by . This book was released on 1994 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous presentons dans ce memoire une methode de conception et une demarche de validation de la commande de coordination des systemes flexibles de production manufacturiere (sfpm) par reseaux de petri a predicat/transition. Nous decrivons, dans le premier chapitre, les differentes fonctions necessaires a une conduite performante des sfpm qui permet d'accroitre leur disponibilite. Cette analyse est exposee en utilisant le formalisme sadt et porte essentiellement sur les liens entre la surveillance et la commande. La flexibilite existant a differents niveaux est identifiee comme caracteristique essentielle d'un sfpm permettant de reagir aux aleas d'un environnement perturbe, sans presumer de son mode d'exploitation. Cette exploitation etant a la charge de la commande de coordination, nous etablissons alors une hierarchie des modeles qui tient compte des differentes formes de flexibilite a des niveaux appropries. Les differents modeles sont generes et connectes selon une demarche descendante. Nous nous interessons davantage a la conception du modele du systeme de transport qui, structure, correspond a un synoptique representant les flux des produits dans le systeme et permet un routage individuel des produits. Le troisieme chapitre est consacre a la validation formelle des proprietes des modeles de la commande issus de la phase de generation. Elle conduit, suivant une demarche ascendante de validation, a la definition des conditions de vivacite de nos modeles. Cette condition s'exprime par une limitation de l'encours dans le sfpm en fonction de son mode operatoire.

Book Contribution    la tol  rance aux fautes des syst  mes flexibles de production manufacturi  re

Download or read book Contribution la tol rance aux fautes des syst mes flexibles de production manufacturi re written by Abdoul Karim Armand Toguyeni and published by . This book was released on 2001 with total page 213 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Configuration Management  Second Edition

Download or read book Configuration Management Second Edition written by Jon M. Quigley and published by CRC Press. This book was released on 2019-07-11 with total page 419 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book provides a comprehensive approach to configuration management from a variety of product development perspectives, including embedded and IT. It provides authoritative advice on how to extend products for a variety of markets due to configuration options. The book also describes the importance of configuration management to other parts of the organization. It supplies an overview of configuration management and its process elements to provide readers with a contextual understanding of the theory, practice, and application of CM. The book illustrates the interplay of configuration and data management with all enterprise resources during each phase of a product lifecycle.

Book Contribution    la planification et    l ordonnancement de syst  mes flexibles de production sujets    pannes

Download or read book Contribution la planification et l ordonnancement de syst mes flexibles de production sujets pannes written by Olivier De Smet and published by . This book was released on 1995 with total page 135 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans ce mémoire, on étudie le problème de la gestion de systèmes de production sujets à pannes. Les approches utilisant une structure de commande hiérarchisée font apparaitre les niveaux planification et ordonnancement, mais elles prennent rarement en compte les pannes des le niveau de la planification. Nous proposons une nouvelle approche basée sur une structure de commande hiérarchisée utilisant un modèle à flux pour la partie planification et une méthode de recherche par faisceaux pour la partie ordonnancement. Le modèle a flux propose permet d'intégrer les pannes des l'équation d'évolution par l'utilisation de sauts markoviens décrivant l'évolution du système entre ses différents états possibles. On associe alors une fonction cout quadratique exprimant différents couts (de stockage, de production) et en partie les contraintes de capacités du système. La résolution du problème de commande optimale ainsi obtenu conduit a un ensemble d'équations matricielles couplées de type Riccati. Nous donnons alors une condition nécessaire et suffisante pour l'existence d'une solution. Nous proposons aussi un algorithme de résolution permettant d'obtenir les taux de production optimaux pour chaque type de produits dans tous les modes du systeme. Le combinatoire pour la production de pièces sur un systeme flexible pouvant devenir exagéré, nous introduisons un concept de filières permettant de réduire la taille du problème tout en conservant une relative flexibilité pour son fonctionnement. L'ordonnancement de la production sur des systemes de ce type nécessite une réaction rapide, c'est pourquoi nous proposons un ordonnancement temps réel base sur une recherche par faisceaux permettant de suivre au mieux les taux calcules par le niveau planification. Pour valider notre approche, une maquette informatique écrite en langage c a été développée et permet de simuler l'évolution d'un système de production. Deux exemples de systèmes sont traités, l'un compose de 9 machines avec 6 produits et l'autre de 6 machines et 3 produits.

Book AUTOMATISATION DU PROCESSUS DE PRODUCTION ET SYSTEMES DE GESTION

Download or read book AUTOMATISATION DU PROCESSUS DE PRODUCTION ET SYSTEMES DE GESTION written by Pascal Pecquet and published by . This book was released on 1986 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: L'AUTOMATISATION INTERPELLE LES SYSTEMES DE GESTION DE L'ENTREPRISE MANUFACTURIERE DES QU'IL S'AGIT DE FAIRE PREUVE DE FLEXIBILITE DE PRODUCTION. LE GESTIONNAIRE DOIT ALORS FINALISER LES OBJECTIFS DE PRODUCTION, ORGANISER LE PASSAGE VERS LE SYSTEME DE PRODUCTION AUTOMATISE FLEXIBLE (S.P.A.F.) ET ANIMER LES PROJETS QUI RELEVENT DE LA PRODUCTIQUE. DANS CE CONTEXTE, LA FLEXIBILITE DE PRODUCTION ENTRETIENT DE NOUVELLES RELATIONS AVEC LES OBJECTIFS DE PRODUCTION : LE COMPROMIS AVEC LA PRODUCTIVITE GLOBALE ET LA PREDOMINANCE AVEC LES OBJECTIFS TELS QUE LE "ZERO" STOCK, LE "ZERO" PANNE... AFIN DE METTRE EN EVIDENCE CE RESULTAT, LE CONCEPT EST ANALYSE AU TRAVERS DE SES COMPOSANTES (FLEXIBILITE DE PROCESSUS ET FLEXIBILITE DE CYCLE). IL EN DECOULE QUE LE DEGRE DE FLEXIBILITE SE MESURE PAR LE DELAI DE REACTION DE L'ENTREPRISE ASSOCIANT LE SYSTEME PHYSIQUE ET LES SYSTEMES DE GESTION. EN NOUS LIMITANT A LA PRODUCTION A LA DEMANDE ET A PARTIR D'UN EXEMPLE D'ATELIER FLEXIBLE, NOUS MONTRONS L'IMBRICATION CROISSANTE DU SYSTEME PHYSIQUE ET DU SYSTEME DE GESTION DE LA PRODUCTION. LES FORMES NOUVELLES DE L'AUTOMATISATION DONNENT EN EFFET NAISSANCE A UN SYSTEME DE PRODUCTION QUI NE PEUT SE CONFONDRE AVEC CEUX DEJA REPERTORIES. SES CARACTERISTIQUES NOUVELLES EN FONT UN SYSTEME DE PRODUCTION A PART ENTIERE DONT IL IMPORTE DE PREVOIR L'INSTALLATION. UNE DEMARCHE GLOBALE DE DIAGNOSTIC ET D'EVALUATION DES PROJETS "PRODUCTIQUE" EST ALORS EXPOSEE. ELLE ABOUTIT A PRIVILEGIER LA SIMULATION TECHNICO-ECONOMIQUE DANS LA MESURE OU CETTE TECHNIQUE AUTORISE L'ETUDE, DES LA CONCEPTION, DU FONCTIONNEMENT ALEATOIRE DU SYSTEME. NOUS PRECISONS, L'INTERET DE FORMALISER PUIS DE MODELISER LES REGLES DE GESTION DE L'ATELIER. LE SYSTEME EXPERT DE PRODUCTION FACILITE ALORS LA PRISE DE DECISION DU GESTIONNAIRE ET CONTRIBUE A AMELIORER LA CAPACITE DE COMMANDE DE LA FIRME. DANS LA MESURE OU LA FLEXIBILITE DE PRODUCTION EST MULTIFORME, LA DEMARCHE EST GENERALISABLE A DE NOMBREUSES ENTREPRISES.

Book Contribution a la gestion des modes des systemes automatises de production

Download or read book Contribution a la gestion des modes des systemes automatises de production written by Nathalie Dangoumau and published by . This book was released on 2000 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Contribution    la gestion des perturbations dans les syst  mes manufacturiers    contraintes de temps

Download or read book Contribution la gestion des perturbations dans les syst mes manufacturiers contraintes de temps written by Anis M'halla and published by . This book was released on 2010 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les travaux proposés dans cette thèse s'intéressent à la commande et la surveillance d'une classe particulière de systèmes de production : les systèmes manufacturiers à contraintes de temps de séjour. Nous supposons dans l'étude que les ressources ont déjà été affectées et que l'ordre des opérations est déjà fixé par le module de planification/ordonnancement. Les hypothèses de fonctionnement répétitif avec et sans postes d'assemblage sont adoptées. De manière assez classique pour ce type de problématique, le formalisme utilisé est celui des Réseaux de Petri P-temporels pour l'étude des instants de débuts et de fins des opérations.Une étude de la robustesse des ateliers manufacturiers à contraintes de temps a été développée. La robustesse est abordée avec et sans modification de la commande relative à la robustesse active et à la robustesse passive respectivement, face aux perturbations temporelles. Un algorithme de calcul d'une borne supérieure de la robustesse passive est présenté. De plus, trois stratégies de commande robuste face aux perturbations temporelles ont été développées.Par ailleurs, l'incertitude dans les systèmes de production manufacturière à été étudié. Notre contribution dans ce cadre porte sur l'intégration des résultats concernant la robustesse dans la génération de symptômes et la classification des comptes rendus associés aux différentes opérations en utilisant la logique floue.Partant d'un système commandé, nous avons présenté en détail une démarche à suivre pour la mise en œuvre d'un modèle de surveillance en se basant sur les chroniques et les arbres de défaillance flous. Cette démarche est appliquée à un atelier de production laitière.

Book Syst  mes de supervision de production

Download or read book Syst mes de supervision de production written by Gilberte Prudent and published by . This book was released on 1992 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt: LE SYSTEME D'EXPLOITATION DE PRODUCTION CONSTITUE L'INTERFACE ENTRE LE PROCESSUS DE PRODUCTION DANS L'ATELIER ET LE SYSTEME DE GESTION DE CETTE PRODUCTION A MOYEN ET LONG TERME. LE TRAVAIL DE RECHERCHE REALISE VISE A PROPOSER UN SYSTEME D'AIDES POUR LA CONCEPTION DE CES SYSTEMES D'EXPLOITATION DE PRODUCTION, DEDIE A L'INGENIERIE PRODUCTIQUE. CE SYSTEME COMPREND QUATRE COMPOSANTES QUE NOUS AVONS FORMALISEES: UNE DEMARCHE DE CONCEPTION PROPOSANT DIFFERENTS NIVEAUX D'ABSTRACTION ET UNE ETUDE DE LA STRUCTURE DECISIONNELLE DU SYSTEME D'EXPLOITATION; UNE BASE DE CONNAISSANCES POUR LAQUELLE NOUS AVONS DEFINI DES MODELES A DIFFERENTS NIVEAUX DE SPECIALISATION ET QUE NOUS AVONS STRUCTUREE A L'AIDE DU FORMALISME DES TYPES ABSTRAITS DE DONNEES; UNE BASE DE PROPRIETES QUI A PROPOSE QUELQUES REGLES D'ANALYSE ET DE VALIDATION DES MODELES D'OBJETS DE LA BASE DE CONNAISSANCES, A DIFFERENTS NIVEAUX DE GENERICITE ET LEUR UTILISATION AU SEIN DU PROCESSUS DE CONCEPTION. NOUS LES AVONS FORMALISEES A L'AIDE DE TECHNIQUES DE REPRESENTATION DES CONNAISSANCES EN INTELLIGENCE ARTIFICIELLE (LOGIQUE MODALE DES PREDICATS, OBJETS STRUCTURES, REGLES CONDITION ACTION); UNE BASE DE PROJECTION QUI CONSTITUE L'INTERFACE GRAPHIQUE PERMETTANT LA COMMUNICATION AU SEIN DE L'ACTIVITE DE CONCEPTION. NOUS AVONS FAIT LE CHOIX ICI DE REPRENDRE DES FORMALISMES EXISTANTS DONT NOUS ASSURONS SIMPLEMENT LA COHERENCE