Formalisation et exploitation de l'expertise de modélisation au sein des logiciels de simulation : couplage des approches système expert et modélisation objet : application à la modélisation de dispositifs électromagnétiques

par Olivier Defour

Thèse de doctorat en Génie électrique

Sous la direction de Philippe Massé et de Yves Maréchal.

Soutenue en 2002

à Grenoble INPG , en partenariat avec Laboratoire d'électrotechnique (Grenoble) (laboratoire) .

    mots clés mots clés


  • Résumé

    La modélisation d'un dispositif destiné à une simulation numérique est aujourd'hui une tâche à la complexité croissante. Or, la conception de modèles fiables est une condition sine qua non pour garantir la fiabilité des résultats. Un modèle sera fiable si il respecte un ensemble de règles physico-numériques, qui définissent l'expertise des concepteurs de l'application. Dans le cadre largement répandu du génie logiciel objet, les spécifications structurelles et contractuelles d'un logiciel de simulation électromagnétique ont été partiellement définies grâce aux langages normalisés UML et OCL. Les expressions OCL expriment d'une part des contraintes d'implantation du logiciel, et d'autre part des contraintes de modélisation comportant des aspects numériques. Un système expert Prolog, encapsulé dans un composant logiciel Java, associé à une base de données d'instances, et fondé sur les formalismes UML et OCL, a été implanté. Il permet de guider l'utilisateur dans la phase de modélisation de son dispositif, en validant ses choix, en expliquant les éventuelles erreurs, et enfin en proposant dynamiquement des solutions alternatives fiables Dans le cas des simulations temporelles transitoires, un modèle initialement fiable peut sortir du domaine de validité des algorithmes de résolution utilisés, engendrant ainsi des erreurs. Dans l'hypothèse où différents modèles d'un même dispositif sont définis, leur commutation en fonction de l'algorithmique de résolution utilisée dépend de règles. Un système expert permettant de gérer ce type de commutation est étudié dans le cadre de la convection thermique.

  • Titre traduit

    Formalising and running of modelling knowledge inside simulation software : coupling expert system and object modelling ; apply on electromagnetism engines modelling


  • Pas de résumé disponible.


  • Résumé

    Modelling a device in order to simulate it is a more and more complex task. However, the reliability of numerical simulation is ensured if and only if the designed model respects a set of physico-numerical rules. They define a specific part of the application designers' knowledge. In a software engineering context, we wrote structural and contractual specifications of electromagnetism simulation software in UML and OCL formalisms. OCL expressions are used to express either implementation constraints or modelling constraints including numerical aspect. A Prolog expert system, integrated in a Java component, associated to an object database, and based on UML and OCL formalism, was implemented. It is able to guide the user modelling its device, dynamically validating his choices, explaining errors, and finally proposing reliable solutions. In the case of transient simulation, a model, reliable at the initial time, may go out the validity domain of solving algorithm and so generate errors. If there are several different models of one engine, their change according to the solving algorithm used is based on rules. We study and implement an expert system able to manage such models transition, in a thermal transient simulation context.

Autre version

Cette thèse a donné lieu à une publication en 2010 par [CCSD] à Villeurbanne

Formalisation et exploitation de l'expertise de modélisation au sein des logiciels de simulation : couplage des approches système expert et modélisation objet : application à la modélisation de dispositifs électromagnétiques

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (138 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 121-126

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : TS02/INPG/0142
  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS02/INPG/0142/D

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2002INPG0142
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.