Étude des effets des contaminants chimiques de l'environnement chez les bivalves : approche de toxicogénomique fonctionnelle

par Benoît Loup

Thèse de doctorat en Informatique

Sous la direction de Jean-Michel Danger.

Soutenue en 2008

à Le Havre .

  • Titre traduit

    Study of the effects of environmental chemicals on bivalves : fonctionnal toxicogenomics approaches


  • Pas de résumé disponible.


  • Résumé

    Dans le domaine de l'intelligence artificielle distribuée, la branche des systèmes multiagents s'intéresse à la résolution des systèmes complexes par un ensemble d'agents mis en interaction. Tout comme pour la programmation orientée objet, la nécessité de garantir aussi bien l'intégrité du développement que le bon déroulement du programme est apparue comme un problème majeur. Cette thèse se positionne dans cette problématique. Après avoir présenté une analyse des différents moyens mis à la disposition de la communauté concernant la validation des systèmes multiagents, nous proposons une nouvelle approche. Notre approche est basée sur une validation ciblée des parties d'un système que nous nommons les propriétés. Ces propriétés forment le coeur de notre recherche et sont donc largement étudiées. Notamment, nous étudions et formalisons le concept, proposons un modèle et une manière d’extraire ces propriétés lors de la conception d'un système. D'autre part, nous montrons comment réifier ces propriétés afin de les rendre exploitables par des entités logicielles. Nous présentons aussi une architecture que nous avons développée et qui permet de valider un système évoluant sur une plate-forme distante lors de son exécution. La validation se base sur les propriétés réifiées exploitées par des agents vérificateurs dont le rôle est de mettre en évidence tout comportement déviant du système.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XI-304 p.)
  • Annexes : Bibliogr. p. 119-126

Où se trouve cette thèse ?

  • Bibliothèque : Université du Havre. Service commun de la documentation. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : STH 893
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.