Etude et realisation d'un processeur d'aide a la modelisation des systemes dynamiques par l'approche bond-graph

Etude et realisation d'un processeur d'aide a la modelisation des systemes dynamiques par l'approche bond-graph PDF Author: Luc Coutereel
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description

Etude et realisation d'un processeur d'aide a la modelisation des systemes dynamiques par l'approche bond-graph

Etude et realisation d'un processeur d'aide a la modelisation des systemes dynamiques par l'approche bond-graph PDF Author: Luc Coutereel
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description


Étude et réalisation d'un processeur d'aide à la modélisation des systèmes dynamiques par l'approche Bond-Graph

Étude et réalisation d'un processeur d'aide à la modélisation des systèmes dynamiques par l'approche Bond-Graph PDF Author: Luc Coutereel
Publisher:
ISBN:
Category :
Languages : fr
Pages : 200

Get Book Here

Book Description
Les travaux présentés dans cette thèse, contribuent au développement des systèmes experts liés a la modélisation de systèmes physiques dynamiques. Ce processeur ARCHER utilise conjointement les techniques de l'intelligence artificielle et l'outil Bond-Graph. ARCHER permet, à partir d'une description en langage utilisateur proche du langage naturel du système physique, la construction du modèle Bond-Graph et la détermination de l'équation d'état associée sous forme d'expressions formelles. Ecrit en Turbo-Prolog et développé sur Pc, ARCHER possède par sa construction même, certaines qualités d'un système expert spécialisé. Les domaines physiques concernés par le processeur sont les systèmes mécaniques en dimension 1 et les systèmes électriques linéaires

Conception et réalisation d'un processeur pour la génération d'un modèle bond-graph à partir de différentes descriptions de systèmes physiques sous le logiciel Archer

Conception et réalisation d'un processeur pour la génération d'un modèle bond-graph à partir de différentes descriptions de systèmes physiques sous le logiciel Archer PDF Author: Pascal Rémy
Publisher:
ISBN:
Category :
Languages : fr
Pages : 256

Get Book Here

Book Description
La modelisation est une etape importante dans l'etude des systemes physiques, prealablement aux phases d'analyse et de simulation. La technique bond-graph est un outil performant qui fournit un modele unifie quel que soit le domaine physique auquel le systeme appartient. Cela permet de coupler des sous-systemes de domaines physiques differents. Le logiciel archer, base sur la methodologie bond-graph a pour objectif d'aider un utilisateur bond-graphiste dans son approche de modelisation et d'analyse et d'eviter a un non-bond-graphiste l'apprentissage des principales taches de l'outil bond-graph. Dans ce memoire, nous presentons le compilateur de modeles d'archer qui permet de generer un code bond-graph a partir d'une description, sous une forme texte, du systeme physique. Celui-ci se decompose en sous-systemes elementaires (masses, ressorts, inductances, resistances,) ou en sous-parties plus complexe (moteur, pompe, verin,). Chaque sous-systeme est represente comme un objet bloc, appartenant a une classe d'objets, avec ses caracteristiques et ses proprietes. Il est stocke dans une base de donnees. Pour coupler les blocs (bond-graphs, physiques, mathematiques) nous avons developpe differents langages utilisateurs avec leur propre grammaire, bases sur les notions de serie, parallele et nuds de connexions. Nous proposons une implementation de cette demarche en utilisant les methodes de l'intelligence artificielle et les concepts de la programmation orientee objet.

Analyse qualitative d'un Bond-Graph par les techniques de l'Intelligence Artificielle

Analyse qualitative d'un Bond-Graph par les techniques de l'Intelligence Artificielle PDF Author: Abdellah Azmani
Publisher:
ISBN:
Category :
Languages : fr
Pages : 231

Get Book Here

Book Description
Ce mémoire propose diverses méthodes originales basées sur l'analyse qualitative d'un bond-graph. La première est consacrée à l'affectation automatique de la causalité. Elle présente une grande convivialité et une souplesse d'utilisation, et prend en compte les difficultés classiquement rencontrées dans un bond-graph (causalités dérivées, boucles algébriques). Elle se prête particulièrement à l'analyse des propriétés structurelles du modèle. Des algorithmes sont proposés dans le but de déterminer les informations causales nécessaires à l'exploitation de la méthodologie bond-graph. Une autre méthode concerne la détermination de l'équation d'état sous forme d'expressions formelles. Elle est intitulée «Méthode des Boucles et Chemins Causaux» (MBCC). Elle se fonde uniquement sur le parcours et l'analyse des chemins causaux et des boucles causales. La MBCC présente l'originalité de traiter à la fois les boucles algébriques entre des éléments dissipatifs et la causalité dérivée. Cette méthode est applicable pour certaines classes de systèmes non linéaires et pour des éléments multiports. Ces différentes méthodes ont contribué à la réalisation d'un logiciel d'aide à la modélisation des systèmes dynamiques : ARCHER. Sa philosophie ainsi que sa spécificité sont exposées et détaillées. ARCHER est réalisé selon les concepts de la programmation orientée objet et utilise les techniques de l'Intelligence Artificielle

Contribution à la modélisation et à l'analyse des systèmes dynamiques par une approche bond-graph

Contribution à la modélisation et à l'analyse des systèmes dynamiques par une approche bond-graph PDF Author: Christophe Sueur
Publisher:
ISBN:
Category :
Languages : fr
Pages : 325

Get Book Here

Book Description
Ce mémoire propose l'utilisation systématique du langage bond-graph pour l'analyse des systèmes dynamiques linéaires et la modélisation des robots plans considérés comme des systèmes polyarticulés flexibles. Après un rappel succinct de quelques méthodes de représentation des systèmes dynamiques, la notion de propriété structurelle est rappelée à l'aide de l'étude des matrices de structure associées aux systèmes linéaires multivariables. Cette notion est élargie aux systèmes modélisés par bond-graph. Une méthode graphique simple, consistant uniquement de manipulations causales exhibe les propriétés de commandabilité et d'observabilité structurelles et aboutit à la décomposition canonique de Kalman. Une interprétation graphique de la méthode des perturbations singulières appliquée aux modèles linéaires à deux échelles de temps, modelisés par bond-graph, est proposée. Après un choix des vecteurs états découplés, l'explicite du modèle est étudiée à l'aide de simples manipulations causales. Lorsque le système est exprimé de manière explicite, deux modèles bond-graph découplés sont déduits à l'aide d'une transformation réciproque, appliquée au modèle bond-graph initial. Dans le cas contraire, un changement de variables est proposé. Le dernier point abordé concerne la modélisation des robots plans considérés comme des systèmes polyarticulés flexibles. En particulier, une interprétation simple de l'application des perturbations singulières sur les modèles de segments flexibles obtenus par les méthodes d'analyse modale et éléments finis est donnée. Une méthode de calcul et de représentation sur le modèle bond-graph de l'effet statique des modes négligés lors de la réduction de modèle est proposée pour les différents champs de déplacements supposés choisis

Contribution à la supervision des systèmes dynamiques à base des bond graph signés

Contribution à la supervision des systèmes dynamiques à base des bond graph signés PDF Author: Nizar Chatti
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description
Les travaux présentés dans ce mémoire concernent l'étude du diagnostic de défauts simples et multiples pour des systèmes dynamiques continus et consistent à développer une stratégie de diagnostic globale pour la gestion des modes de fonctionnement en situations normale et anormale. Nous avons d'abord développé un nouveau formalisme graphique de modélisation des systèmes dynamiques émanant des BG et que nous avons appelé le BGS. Ce formalisme est très aisément interprétable grâce à un certain nombre de propriétés et de définitions que nous avons établies. L'élaboration d'un tel formalisme permet de faire appel aux propriétés structurelles et causales du BG et d'élargir leur champ d'étude pour inclure le raisonnement qualitatif. Nous avons ensuite proposé un modèle générique permettant d'intégrer les modèles Génériques de Composants (MGC) fonctionnels et les modèles BGS pour la gestion, par un automate fini, des modes de fonctionnement et des conditions de reconfiguration d'un système autonome. Enfin, nous avons proposé une méthode de diagnostic des défauts simples et multiples en utilisant une approche par abduction basée sur l'étude de la propagation de défauts sur le BGS à partir des observations. La méthodologie proposée est validée par deux systèmes de complexité différente et en l'occurrence une pile à combustible à membrane échangeuse de protons et un système électromécanique d'un véhicule électrique.

Contribution a la modelisation et a l'analyse des systemes dynamiques par une approche Bond-Graph. Application aux systemes polyarticules plans a segments flexibles

Contribution a la modelisation et a l'analyse des systemes dynamiques par une approche Bond-Graph. Application aux systemes polyarticules plans a segments flexibles PDF Author: Christophe Sueur
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description


Conception et realisation d'un processeur pour la generation d'un modele bond-graph a partir de differentes descriptions de systemes physiques sous le logiciel ARCHER

Conception et realisation d'un processeur pour la generation d'un modele bond-graph a partir de differentes descriptions de systemes physiques sous le logiciel ARCHER PDF Author: Pascal Rémy
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description


Bond Graph Modelling of Engineering Systems

Bond Graph Modelling of Engineering Systems PDF Author: Wolfgang Borutzky
Publisher: Springer Science & Business Media
ISBN: 1441993681
Category : Technology & Engineering
Languages : en
Pages : 446

Get Book Here

Book Description
The author presents current work in bond graph methodology by providing a compilation of contributions from experts across the world that covers theoretical topics, applications in various areas as well as software for bond graph modeling. It addresses readers in academia and in industry concerned with the analysis of multidisciplinary engineering systems or control system design who are interested to see how latest developments in bond graph methodology with regard to theory and applications can serve their needs in their engineering fields. This presentation of advanced work in bond graph modeling presents the leading edge of research in this field. It is hoped that it stimulates new ideas with regard to further progress in theory and in applications.

Proof Theory and Automated Deduction

Proof Theory and Automated Deduction PDF Author: Jean Goubault-Larrecq
Publisher: Springer Science & Business Media
ISBN: 9781402003684
Category : Computers
Languages : en
Pages : 448

Get Book Here

Book Description
Interest in computer applications has led to a new attitude to applied logic in which researchers tailor a logic in the same way they define a computer language. In response to this attitude, this text for undergraduate and graduate students discusses major algorithmic methodologies, and tableaux and resolution methods. The authors focus on first-order logic, the use of proof theory, and the computer application of automated searches for proofs of mathematical propositions. Annotation copyrighted by Book News, Inc., Portland, OR