Le logiciel formel de simulation de mecanismes spatiaux sygmmae

par PATRICK CAPOLSINI

Thèse de doctorat en Sciences appliquées

Sous la direction de JACQUES MORGENSTERN.

Soutenue en 1994

à Nice .

    mots clés mots clés


  • Résumé

    Ce memoire a pour but de montrer comment les outils du calcul symbolique en general et un logiciel de calcul formel tel que maple en particulier peuvent etre d'un grand interet pour l'etude de systemes mecaniques. La conception, l'analyse et la simulation de mecanismes multicorps est une tache toujours delicate. La variete des mecanismes etudies, la complexite des equations regissant leurs mouvements, la difficulte et le cout d'experimentation in situ sont autant d'arguments en faveur des logiciels d'analyse et de simulation. Nous montrons comment, dans un tel contexte, les techniques et les outils du calcul symbolique peuvent etre d'une utilite tout a fait remarquable. La premiere partie de ce memoire jette les bases mecaniques indispensables a la bonne comprehension des problemes poses par la dynamique des systemes multicorps. Nous dressons ensuite un petit inventaire des logiciels et des methodes de mise en equations existants. Le dernier chapitre de cette premiere partie detaille le formalisme de kane. Nous exposons, en particulier, en quoi cette methode est bien adaptee au probleme des systemes polyarticules ainsi que les raisons qui ont fait que nous avons retenu cette methode pour notre prototype. La seconde partie du memoire vise a decrire le logiciel sygmmae que nous avons developpe afin de valider nos idees en grandeur reelle. Les trois premiers chapitres de cette seconde partie presentent successivement l'architecture logicielle de sygmmae (en particulier l'utilisation du systeme maple comme base de developpement), ses methodes de description de mecanismes (pre-processeur ou fichier de donnees) ainsi que la bibliotheque d'outils symboliques specialises permettant la visualisation et la manipulation des equations formelles engendrees. Cette possibilite de manipulation des equations est des plus interessantes en vue de la conception de nouveaux mecanismes ou de l'analyse fine de mecanismes existants. Le quatrieme chapitre de cette partie ii expose les techniques de transcription de code et d'optimisation adoptees en vue de la generation de simulateurs numeriques complets et efficaces en code fortran ou c. Suit ensuite un chapitre traitant des differentes methodes de validation mises en uvre sur notre prototype. Enfin, un dernier chapitre consacre aux performances de notre logiciel clot cette etude


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 205 P.
  • Annexes : 54 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.