From 24e014c15a54d2c01ec901bf620daf987ff1c9f8 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Tue, 8 Dec 2015 12:06:18 +0100 Subject: [PATCH] Fix some typos in the paragraph introducing my research project. --- recherche.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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.