From af19e40ef0a0e8ad8bde434e382a8b42aefef1e5 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 3 Dec 2015 13:07:56 +0100 Subject: [PATCH] Write an extended introduction to Projet de recherche. --- recherche.tex | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/recherche.tex b/recherche.tex index c508d3f..32021aa 100644 --- a/recherche.tex +++ b/recherche.tex @@ -450,6 +450,38 @@ Web~\cite{brsimweb} qui permet d'utiliser mon simulateur sans à avoir à télécharger et compiler le code. \subsection{Projet de recherche} +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 +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 +en sous-parties. + +Le but général que je me propose étant audacieux, il est important de +préciser que les travaux que je compte mener (et que j'ai déjà menés) +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. + +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 +modulaire de modèles de systèmes complexes. La troisième partie se +focalise sur les implémentations logiciel des 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. + +Les sous-sections suivantes donnent une vue plus détaillée sur les +trois parties de mon projet de recherche. + Mon projet de recherche vise tout d'abord à approfondir les travaux effectués lors de ma thèse. Je souhaite continuer l'étude des systèmes d'insertion/effacement avec des contextes de petite taille afin de