Fix some typos in the paragraph introducing my research project.
This commit is contained in:
parent
b0cd93a447
commit
24e014c15a
1 changed files with 4 additions and 4 deletions
|
@ -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.
|
||||
|
||||
|
|
Loading…
Reference in a new issue