diff --git a/bib/complex-sys.bib b/bib/complex-sys.bib new file mode 100644 index 0000000..8761970 --- /dev/null +++ b/bib/complex-sys.bib @@ -0,0 +1,18 @@ +@inproceedings{DBLP:conf/pads/PotierSM13, + author = {Martin Potier and + Antoine Spicher and + Olivier Michel}, + editor = {Margaret L. Loper and + Gabriel A. Wainer}, + title = {Topological computation of activity regions}, + booktitle = {{SIGSIM} Principles of Advanced Discrete Simulation, {SIGSIM-PADS} + '13, Montreal, QC, Canada, May 19-22, 2013}, + pages = {337--342}, + publisher = {{ACM}}, + year = {2013}, + url = {http://doi.acm.org/10.1145/2486092.2486136}, + doi = {10.1145/2486092.2486136}, + timestamp = {Fri, 26 Sep 2014 14:02:17 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/pads/PotierSM13}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} diff --git a/recherche.tex b/recherche.tex index 545cbf6..73be4d0 100644 --- a/recherche.tex +++ b/recherche.tex @@ -8,6 +8,7 @@ bib/arrays.bib, bib/programming.bib, bib/algebra.bib, + bib/complex-sys.bib, bib/sivanov.bib ] @@ -746,6 +747,55 @@ de la biologie et donc hétérogène. Deuxièmement, cette unification offre souvent des perspectives très éclairantes sur les combinaisons possibles d'ingrédients qui n'ont pas encore été étudiées. +\paragraph{Autres modèles de calcul} En plus des deux modèles de +calculs déjà mentionnés dans cette sous-section, je voudrais en +continuer l'exploration d'autres ayant des liens de parenté forts avec +les systèmes d'insertion/effacement et de la réécriture de +multiensembles. Ainsi, je suis intéressé par les machines à registres +universelles de petite taille et je voudrais réduire la taille des +constructions existantes. Cela permettrait d'améliorer les systèmes à +membranes universels en réduisant le nombre de règles, de symboles, ou +d'autres ingrédients utilisés. + +Je voudrais également continuer l'étude de réseaux de processeurs +évolutionnaires, mais au lieu de me pencher sur la caractérisation de +leur puissance d'expression je m'intéresse plutôt à la dimension +parallèle inhérente à ce modèle de calcul. Je voudrais notamment +explorer le lien entre les réseaux de processeurs évolutionnaires et +les systèmes à membranes ; en effet, dans les cas des deux modèles on +retrouve des processeurs qui échangent des données en réseau. Un autre +trait commun est la possibilité de distinguer deux types de +parallélisme : d'une part, le traitement des données dans un +processeur se fait de façon parallèle ; d'autre part, l'activité des +processeurs eux-mêmes se déroule parallèlement, avec une barrière de +synchronisation globale s'imposant à chaque étape d'évolution. Il me +paraît intéressant de concevoir un cadre général pour ces deux modèles +afin d'explorer à un haut niveau d'abstraction les manières +différentes dont le calcul parallèle pourrait être organisé. En plus, +ce cadre généralisant pourrait indiquer d'autres membres de la famille +des modèles de calcul dont les réseaux de processeurs évolutionnaires +et les systèmes à membranes font partie. + +Encore un modèle de calcul intrinsèquement parallèle qui m'attire +fortement sont les automates cellulaires, qui représentent +essentiellement des grilles d'automates finis qui communiquent. Les +automates dans les nœuds de la grille n'ont pas de bande, donc la +seule information dont ils peuvent disposer est leur état et les états +des voisins dans un voisinage défini statiquement. Les unités +atomiques de calcul des automates cellulaires sont ainsi moins +puissantes que les processeurs dans les réseaux de processeurs +évolutionnaires ou les membranes dans les systèmes à membranes ; +néanmoins, en terme de pouvoir d'expression les automates cellulaires +sont équivalents aux machines de Turing. On observe donc un +considérable écart entre l'expressivité globale d'un automate +cellulaire et l'expressivité locale de chaque unité. Par conséquent, +ce modèle de calcul semble être un contexte bien adapté à l'étude de +rapports entre les comportements locaux et globaux de systèmes +complexes. En effet, des travaux ont déjà été menés dans cette +direction (\cite{DBLP:conf/pads/PotierSM13}, par exemple) ; je +voudrais appliquer l'expérience que j'ai acquise pour contribuer à ces +études. + \subsection{Old} Mon projet de recherche vise tout d'abord à approfondir les travaux