Abstract FR:

Cette etude a pour but de montrer que la presence d'informaticiens aupres des mecaniciens pour la realisation de logiciels de modelisation est avantageuse pour les deux: pour les mecaniciens, qui laissent a des specialistes la resolution de problemes informatiques, ce qui leur permet de se consacrer a leur metier; pour les informaticiens, qui sont confrontes a de nouveaux problemes de recherche et peuvent experimenter des techniques recentes. Notre travail s'est interesse a deux aspects de l'utilisation de l'informatique dans le domaine de la modelisation. D'une part, nous avons reflechi aux avantages d'introduire des traitements logiques dans des procedures de calcul. Nous proposons un nouveau langage de programmation, appele celog, permettant d'ecrire, dans un meme programme, des procedures de calcul et des regles logiques. Ce langage integre a la fois les concepts de la programmation logique et ceux de la programmation structuree. Nous decrivons une application de ce langage concernant la validation de donnees. D'autre part, nous nous sommes interesses au probleme de la reduction du temps de calcul d'un ensemble de procedures par des methodes de traitements distribues. Nous presentons un algorithme de distribution d'un arbre de tache sur un reseau de processeurs heterogenes base sur l'heuristique dite du chemin le plus long. Nous le comparons a un algorithme combinatoire donnant la solution optimale, de facon a analyser les deux approches. Pour ameliorer le dialogue entre mecaniciens et informaticiens, ce travail evalue quelques problemes et tire des conclusions sur les aspects a ameliorer ainsi que sur les perspectives de poursuite dans ce type de collaboration