diff --git a/recherche.tex b/recherche.tex index 3139aab..c7d6533 100644 --- a/recherche.tex +++ b/recherche.tex @@ -456,7 +456,7 @@ Mon projet de recherche vise à appliquer l'expérience que j'ai acquise en explorant les pistes énumérées dans les sections précédentes à l'étude des systèmes complexes et notamment à la compréhension et à la gestion de la complexité de ces systèmes. Ma stratégie consiste donc à -employer le savoir formel sur les structures mathématiques et +employer le savoir formel des structures mathématiques et informatiques abstraites afin de construire des modèles qui, en plus d'être rapprochés aux systèmes modélisés en ce qui concerne le comportement, soient modulaires ou au moins explicables par découpage @@ -468,16 +468,16 @@ ont des applications concrètes dans les domaines respectifs. Autrement dit, ma recherche vise d'abord à contribuer à la résolution d'un problème concret et à en tirer des conclusions généralisatrices qui peuvent être appliquées à d'autres situations et qui ont donc une -valeur en soi. +valeur en elles-mêmes. Mon projet de recherche se compose de trois parties. La première se focalise sur les sujets que j'ai abordés pendant mes études doctorales, y compris ceux qui n'ont pas été présentés dans le manuscrit de thèse. La deuxième partie consiste en l'étude des structures algébriques et topologiques fondamentales afin de les -utiliser pour la conception de composants pour la construction +utiliser pour la conception des composants pour la construction modulaire de modèles de systèmes complexes. La troisième partie se -focalise sur les implémentations logiciel des structures abstraites +focalise sur les implémentations logiciel de structures abstraites dans le but d'utiliser la puissance de calcul des ordinateurs modernes pour la simulation de systèmes et la vérification de modèles.