Download or read book AIDES A LA MODELISATION POUR LA CONCEPTION DE SYSTEMES INFORMATIQUES SURS DE FONCTIONNEMENT written by CHRISTINE.. RICHON and published by . This book was released on 1991 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: LA SURETE DE FONCTIONNEMENT DES SYSTEMES INFORMATIQUES EST DEVENUE PRIMORDIALE DANS UN CONTEXTE OU BEAUCOUP DE DOMAINES SONT DEPENDANTS DE CES SYSTEMES. LA MODELISATION FAIT PARTIE DE LA GAMME DES TECHNIQUES EMPLOYEES DURANT LEUR CONCEPTION CAR ELLE EST A LA BASE DE LA PLUPART DES ETUDES D'EVALUATION ET DE QUANTIFICATION. LE PROBLEME GENERAL SOULEVE PAR LA MODELISATION EST LA QUALITE DE LA REPRESENTATION ELABOREE. NOUS NOUS SOMMES INTERESSES AU TYPE DE PROCEDURE COMPLEMENTAIRE QUI CONSISTE A ASSISTER LE CREATEUR DU MODELE DE FACON A LIMITER LES POSSIBILITES D'ERREUR. DEUX TECHNIQUES D'AIDE A LA MODELISATION VISANT A DIMINUER LES INCERTITUDES SUR LA QUALITE DE MODELES ONT ETE ETUDIEES DANS CE CADRE EN UTILISANT LES RESEAUX DE PETRI. UNE PREMIERE ETUDE CONCERNE L'UTILISATION D'UN GUIDE DE MODELISATION LORS DE LA CREATION DES MODELES. DEUX APPLICATIONS ONT ETE DEVELOPPEES POUR L'ETUDE DU COMPORTEMENT DES SYSTEMES LORS DE FAUTES D'INTERACTION. LA SECONDE APPROCHE A POUR OBJET LA GENERATION D'UNE GAMME DE RESEAUX DE PETRI SIMPLES, SUSCEPTIBLES D'ETRE ENSUITE EXPLOITES PAR DES OUTILS DE SIMULATION EXISTANTS ET A BASE DE RESEAUX DE PETRI, A PARTIR DE CONTRAINTES STRUCTURELLES IMPOSEES PAR LA METHODE ET DE CONTRAINTES FOURNIES PAR L'UTILISATEUR. UN OUTIL INFORMATIQUE GRAPHIQUE METTANT EN UVRE LA METHODE A ETE DEVELOPPE
Download or read book Une m thodologie d aide la conception de syst mes d information fond e sur la r utilisation written by Michel Maurice-Demourioux and published by . This book was released on 2019 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'objectif poursuivi consiste à proposer des solutions aux exigences de productivité, fiabilité et compétitivité du processus d'ingénierie des systèmes d'information et plus spécifiquement dans ses phases d'expression des besoins et de modélisation conceptuelle. Les méthodes actuellement pratiquées dans cette ingénierie et les outils case associés s'avèrent limites. L'approche proposée pour dépasser ces limites est fondée sur la réutilisation qui doit permettre de mieux tirer parti des expériences passées. Il s'agit ainsi de capitaliser l'expérience relative à un domaine d'application mais aussi relative au savoir-faire des concepteurs. La thèse aborde la réutilisation selon deux dimensions : la conception de composants réutilisables et la conception de systèmes d'information par réutilisation de composants. L'approche suggère d'utiliser des schémas conceptuels existants pour élaborer les composants réutilisables. Chacun d'eux contient deux formes de connaissance : la connaissance effectivement réutilisable qui s'exprime sous la forme d'un fragment de schéma conceptuel et la connaissance pour réutiliser qui s'exprime par des ensembles de rôles. L'intégration de ces deux formes de connaissance permet d'offrir aux concepteurs des composants pour lesquels on a parfaitement explicité des contextes d'utilisation. Puis la thèse présente un outil logiciel (ami) permettant une mise en œuvre opérationnelle d'une ingénierie des besoins basée sur la réutilisation. L'outil supporte l'expression de requêtes et la recherche de composants aptes à satisfaire un besoin donné. L'expression d'une requête peut contenir des poids permettant à l'utilisateur d'allouer un degré d'importance à chaque caractéristique du besoin. La recherche se fait par comparaison des rôles fournis dans la requête et des rôles définis dans les composants. L'outil offre à l'utilisateur différentes stratégies de résolution permettant d'offrir en résultat les composants qui satisfont totalement la requête specifiée s'il en existe et sinon ceux qui maximisent une fonction de similarité. Cette partie se termine par la présentation d'une expérimentation dont nous dressons un bilan. Le document se termine par la présentation de perspectives d'évolution et pose les fondements d'une base de composants intégrant à la fois des modèles génériques et des extraits de modèles anciens. En conclusion, le travail expose se démarque de la plupart des travaux sur la réutilisation en ingénierie des besoins en utilisant une approche basée sur le raisonnement fonde sur les cas plutôt que celle des modèles génériques issus du génie logiciel. L'orientation retenue pour identifier les composants réutilisables est de type ascendant dans la mesure ou la démarche proposée exploite des schémas existants. Cette approche nous a conduit à nous intéresser à deux domaines de l'informatique : l'ingénierie des systèmes d'information et l'intelligence artificielle.
Download or read book Aide la conception int gr e bas e sur un mod le de r f rence et la coop ration de plusieurs modes de raisonnement written by Agnès Dagnan-Laville and published by . This book was released on 1999 with total page 325 pages. Available in PDF, EPUB and Kindle. Book excerpt: Face au défi qui consiste à maitriser la réalisation de systèmes technologiques complexes dans un environnement concurrentiel et instable, une démarche d'ingénierie intégrée s'impose. Première étape de cette démarche, la conception consiste à transformer un ensemble de spécifications décrivant, entre autres, les fonctionnalités du système en une description organique. Habituellement, l'objectif des outils support de cette étape exploratoire et particulièrement déterminante est d'assister les acteurs-concepteurs, en leur offrant des systèmes informatiques interactifs pour formuler les problèmes qu'ils ont à traiter et en communiquer les solutions. Mais on constaté que plus l'activité est amont dans le cycle de vie plus l'assistance s'avère inapte, du fait de l'intégration dans un même artefact de connaissances hétérogènes, mal structurées, incomplètes. Un des enjeux de nos travaux est de contribuer à l'amélioration du processus de conception dans un contexte d'ingénierie intégrée, en proposant une approche d'aide à la conception qui permette la structuration, la manipulation et la réutilisation des connaissances de conception ainsi que la résolution des problèmes de conception adaptée aux spécificités des problèmes rencontrés durant les phases amonts du processus de conception. Pour cela, nous proposons un modèle de référence générique permettant de construire des modèles de conception particuliers, adaptes au domaine métier de l'acteur-concepteur et de construire, à partir de ces modèles particuliers, le système d'information pour la conception en intégrant à la fois les connaissances produit liées au système à concevoir et les connaissances projet liées aux activités d'organisation qui se rattachent à la réalisation du système. En outre, la coopération de différents modes de raisonnements issus de l'intelligence artificielle offrent des capacités variées de résolution de problèmes et visent ainsi à accroitre l'efficacité du système d'aide proposé.
Download or read book Mise en oeuvre de la m thode B Trait RTA s rie Informatique et Syst mes d Information written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2013-04-01 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Download or read book Mod lisation dans la conception des syst mes d information written by Acsiome and published by Elsevier Masson. This book was released on 1989-12-01 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: La modélisation joue un grand rôle dans l'analyse et la conception des systèmes d'information. Elle permet d'obtenir des solutions mieux adaptées aux contraintes des processus d'organisation. Il existe de nombreux modèles, issus de la recherche et des organisations, associés ou non à des méthodes. Cet ouvrage, divisé en deux parties principales (modèles des données et modèles des traitements) a pour objectif de fournir les éléments conceptuels des modèles les plus courants et leurs techniques d'élaboration (de construction). A chaque étape, des exercices d'application, de difficulté graduée, illustrent les concepts et guident le lecteur dans l'apprentissage de ces méthodes. Il s'adresse aux étudiants d'IUT, des sections de BTS, ainsi qu'aux étudiants de MIAGE (maîtrise d'informatique appliquée à la gestion). Les analystes et chefs de projet pourront également y trouver une initiation à la modélisation.
Download or read book Identification Modelling and Simulation written by M. H. Hamza and published by Anaheim [Calif.] ; Calgary : Acta Press. This book was released on 1987 with total page 554 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book ARCHITECTURE MODULAIRE POUR LA CONCEPTION DE SYSTEMES EXPERTS D ASSISTANCE A LA MODELISATION MATHEMATIQUE written by LEYLA.. ALEM and published by . This book was released on 1991 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE S'INSCRIT DANS LE DOMAINE DE L'INTELLIGENCE ARTIFICIELLE APPLIQUEE AU PROBLEME DE LA MODELISATION DE SYSTEMES DYNAMIQUES. NOUS DECRIVONS L'ARCHITECTURE D'UN GENERATEUR DE SYSTEMES EXPERTS D'AIDE A LA MODELISATION: SAMMED, BASE SUR UNE REPRESENTATION CENTREE-OBJET (SHIRKA). NOTRE OBJECTIF EST DE FOURNIR UNE REELLE ASSISTANCE AU COURS DE PROCESSUS DE MODELISATION. DANS CETTE OPTIQUE NOUS PROPOSONS UNE METHODOLOGIE DE MODELISATION PRECONISANT L'EMPLOI DE MODELES DE NATURES DIFFERENTS ET DE NIVEAUX D'ABSTRACTION CROISSANTS, DU QUALITATIF VERS LE QUANTITATIF VIA LE MODELE STRUCTUREL. UNE ANALYSE DE L'ACTIVITE DE L'UTILISATEUR NON-EXPERT NOUS A PERMIS DE SPECIFIER L'ARCHITECTURE DU SAMMED PRENANT EN COMPTE LES BESOINS EN TERME DE CONNAISSANCES DE L'UTILISATEUR. L'ARCHITECTURE DU SYSTEME EST MODULAIRE, ELLE EST CONSTITUEE PRINCIPALEMENT D'UN MODULE DE CONNAISSANCE STRUCTURE EN PLUSIEURS NIVEAUX, D'UN MODULE D'ASSISTANCE AXE SUR LE CONCEPT DE TACHE ET DE MODULES EXTERIEURS (BIBLIOTHEQUES SCIENTIFIQUES). LA PRISE EN COMPTE DE L'UTILISATEUR LORS DE LA CONCEPTION DE LA BASE DE CONNAISSANCE SE TRADUIT PAR LA PRESENCE DE TACHES NON-EXPERTES DE RECHERCHE D'INFORMATION AINSI QUE DE CRITERES DE CLASSIFICATION DE CONCEPTS SELON UN POINT DE VUE NON-EXPERT. UN EXEMPLE D'APPLICATION DE SAMMED EST DONNE, OU NOUS PRESENTONS EDORA UN SYSTEME D'AIDE A LA MODELISATION EN BIOLOGIE. CEPENDANT, UN SYSTEME INTELLIGENT D'ASSISTANCE DEVRAIT AUSSI PERMETTRE L'ACQUISITION PAR L'UTILISATEUR D'UN SAVOIR SUPPLEMENTAIRE AU COURS DE L'INTERACTION. NOUS PRESENTONS LES CONCEPTS DE BASE D'UN MODELE DE TACHE DONT LE BUT EST D'ASSURER L'APPRENTISSAGE DE L'UTILISATEUR PAR L'ACTION. L'INTEGRATION D'UN MODELE D'APPRENTISSAGE AU SEIN DU SYSTEME EXPERT DEVRAIT PERMETTRE LA CONCEPTION DE SYSTEMES PERFORMANTS D'ASSISTANCE
Download or read book Digital Design Studios written by Thomas Seebohm and published by . This book was released on 1998 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Conception syst mique pour la conversion d nergie lectrique 1 gestion analyse et synth se written by ROBOAM Xavier and published by Lavoisier. This book was released on 2012-11-06 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le contexte actuel mène les concepteurs vers des systèmes toujours plus complexes et performants, intégrant un grand nombre d’éléments souvent fortement couplés et appartenant à divers champs de la physique énergétique. Après une présentation de l’approche systémique de conception, ce premier volume rassemble les points-clés permettant de modéliser et de caractériser efficacement des systèmes multiphysiques (formalismes graphiques, Bond Graphs, GIC/REM), d’analyser la qualité et la stabilité des réseaux et de contribuer à la robustesse en conception intégrée. La gestion de l’énergie des systèmes énergétiques hybrides incluant du stockage est également largement détaillée et différentes méthodes statistiques permettant de dimensionner les réseaux ou de caractériser leur sûreté de fonctionnement sont proposées (par exemple, la méthode de Monte-Carlo). Les techniques d’analyse, de synthèse et de gestion présentées dans cet ouvrage participent à l’optimisation des systèmes énergétiques. Elles sont complétées par des approches spécifiquement orientées vers la conception par optimisation, objets du second volume.
Download or read book Vers un syst me d aide la d cision pour la conception en g nie logiciel written by Rana Bouslama and published by . This book was released on 2012 with total page 114 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Mod lisation des connaissances en conduite de l ing nierie written by Christophe Merlo and published by . This book was released on 2003 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'objectif principal de ces travaux réside dans l'opérationnalisation des modèles GRAI décrivant les principes de structuration et de conduite du système de conception pour en améliorer la performance. La méthode GRAI Ingénierie proposée résulte d'expérimentations industrielles. Elle comporte une phase préparatoire de re-engineering des processus de conception, une phase de conception du nouveau système et une phase d'exploitation assurant la conduite de la conception. La phase préparatoire et la phase de conception s'appuient sur la modélisation du système de conception à l'aide de quatre modèles complémentaires : le modèle du système décisionnel (pilotant) à l'aide de la structure GRAI R&D et des réseaux GRAI, le modèle du système technologique (piloté) à l'aide du formalisme des actigrammes étendus, le modèle des connaissances et le modèle du système d'information. Les connaissances nécessaires aux acteurs de la conception et de la conduite sont identifiées et classées en quatre catégories : coordination, suivi, produit et processus. Elles sont décrites à l'aide d'un meta-modèle structuré en trois niveaux de complexité : élémentaire, transformation et expertise. L'ensemble des connaissances manipulées par les acteurs pour la conduite sont formalisées en vue de leur capitalisation et constituent le modèle des connaissances. Finalement l'architecture d'un environnement informatique d'assistance aux acteurs est proposée en s'appuyant sur une démarche d'analyse et de spécifications permettant d'élaborer plusieurs diagrammes UML. Ce système d'information intègre un système multi-agent pour l'autonomie, l'adaptabilité et la flexibilité des composants logiciels. Un maquettage a été réalisé pour en valider la faisabilité. Ces travaux se prolongent depuis décembre 2000 par le projet IPPOP " Intégration Produit - Processus - Organisation ", labellisé RNTL, qui a pour objet de les valider par la réalisation d'un prototype de l'environnement d'assistance proposé.
Download or read book ACADIA Proceedings written by Association for Computer-Aided Design in Architecture. Conference and published by . This book was released on 1998 with total page 410 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book CONCEPTION ET MISE EN UVRE D UN ENVIRONNEMENT SYSTEME POUR LA MODELISATION L ANALYSE ET LA REALISATION DE SYSTEMES INFORMATIQUES written by JEAN-MARC.. BERNARD and published by . This book was released on 1990 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE DECRIT L'ARCHITECTURE FONCTIONNELLE D'UN ATELIER DE SPECIFICATION DEFINI DANS LE PROJET MARS. L'OBJECTIF EST DE CONCEVOIR UN ATELIER LOGICIEL OUVERT ENCHAINANT LES PHASES DE SPECIFICATION, DE VALIDATION ET DE GENERATION DE SYSTEMES. NOTRE PROPOSITION D'ARCHITECTURE RESULTE, D'UNE SYNTHESE DES BESOINS SPECIFIQUES DE MODELISATION ET D'ANALYSE DE SYSTEMES, ET DE L'ETUDE DES PRINCIPALES COMPOSANTES DES ATELIERS DE GENIE LOGICIEL. NOUS DETAILLONS PLUS PARTICULIEREMENT LES COMPOSANTES SYSTEMES. NOTRE ARCHITECTURE REPOSE SUR UNE GESTION MULTI-UTILISATEURS ET MULTI-SESSIONS DANS UN ENVIRONNEMENT DISTRIBUE HETEROGENE. L'UTILISATION D'UN META-MODELE FACILITE L'INTEGRATION DE NOUVELLES APPLICATIONS. NOUS PRESENTONS LA REALISATION D'UN PROTOTYPE: L'ATELIER AMI (ATELIER DE MODELISATION INTERACTIF) REGROUPANT DES SERVICES ALLANT DE LA MODELISATION GRAPHIQUE A LA GENERATION DE CODE A PARTIR DE SPECIFICATIONS ORIENTEES RESEAUX DE PETRI. L'ATELIER POSSEDE UN PROGRAMME D'INTERFACE UTILISATEUR MACAO, BASE SUR UN META-MODELE DE GRAPHES, ASSURANT L'INTRODUCTION DES DONNEES ET LA VISUALISATION GRAPHIQUE DES RESULTATS DANS DES FORMALISMES EXTENSIBLES
Download or read book Conception et mise en oeuvre d un environnement syst me pour la mod lisation l analyse et la r alisation de syst mes informatiques written by Jean-Luc Mounier and published by . This book was released on 1990 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE DECRIT L'ARCHITECTURE FONCTIONNELLE D'UN ATELIER DE SPECIFICATION DEFINI DANS LE PROJET MARS. L'OBJECTIF EST DE CONCEVOIR UN ATELIER LOGICIEL OUVERT ENCHAINANT LES PHASES DE SPECIFICATION, DE VALIDATION ET DE GENERATION DE SYSTEMES. NOTRE PROPOSITION D'ARCHITECTURE RESULTE, D'UNE SYNTHESE DES BESOINS SPECIFIQUES DE MODELISATION ET D'ANALYSE DE SYSTEMES, ET DE L'ETUDE DES PRINCIPALES COMPOSANTES DES ATELIERS DE GENIE LOGICIEL. NOUS DETAILLONS PLUS PARTICULIEREMENT LES COMPOSANTES SYSTEMES. NOTRE ARCHITECTURE REPOSE SUR UNE GESTION MULTI-UTILISATEURS ET MULTI-SESSIONS DANS UN ENVIRONNEMENT DISTRIBUE HETEROGENE. L'UTILISATION D'UN META-MODELE FACILITE L'INTEGRATION DE NOUVELLES APPLICATIONS. NOUS PRESENTONS LA REALISATION D'UN PROTOTYPE: L'ATELIER AMI (ATELIER DE MODELISATION INTERACTIF) REGROUPANT DES SERVICES ALLANT DE LA MODELISATION GRAPHIQUE A LA GENERATION DE CODE A PARTIR DE SPECIFICATIONS ORIENTEES RESEAUX DE PETRI. L'ATELIER POSSEDE UN PROGRAMME D'INTERFACE UTILISATEUR MACAO, BASE SUR UN META-MODELE DE GRAPHES, ASSURANT L'INTRODUCTION DES DONNEES ET LA VISUALISATION GRAPHIQUE DES RESULTATS DANS DES FORMALISMES EXTENSIBLES
Download or read book Une aide a la conception de systemes de production basee sur la simulation et l analyse de donnees written by Christine Heritier-Pingeon and published by . This book was released on 1991 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Actes written by and published by . This book was released on 1992 with total page 1000 pages. Available in PDF, EPUB and Kindle. Book excerpt:
