Discrétisation automatique de machines à signaux en automates cellulaires
Dans le contexte du calcul géométrique abstrait, les machines à signaux ont été développées comme le pendant continu des automates cellulaires capturant les notions de particules, de signaux et de collisions. Une question importante est la génération automatique d un automate cellulaire reproduisant...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | , , , , |
| Μορφή: | Thèse numérique |
| Γλώσσα: | Français |
| Έκδοση: |
2018.
|
| Θέματα: | |
| Διαθέσιμο Online: | Accès au texte intégral https://theses.univ-orleans.fr/public/2018ORLE2009_va.pdf http://www.theses.fr/2018ORLE2009/abes https://theses.hal.science/tel-01975875 |
| Σημείωση: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Olivier Bournez (Président du jury) ; Jérôme Durand-Lose, Olivier Bournez, Christine Eisenbeis, Jean-Baptiste Yunès, Sama Goliaei, Thierry Monteil (Membre(s) du jury) ; Christine Eisenbeis (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Automatic discretization of signal machines into cellular automata |
| LEADER | 04826nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 693398 | ||
| 008 | 190109s2018 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN233087834 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Besson, Tom, |d 1991- | |
| 240 | 1 | 0 | |a Automatic discretization of signal machines into cellular automata |
| 245 | 1 | 0 | |a Discrétisation automatique de machines à signaux en automates cellulaires |c Tom Besson ; sous la direction de Jérôme Durand-Lose. |
| 256 | |a Données textuelles | ||
| 260 | |c 2018. | ||
| 500 | |a Titre provenant de l'écran-titre | ||
| 500 | |a Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) | ||
| 500 | |a Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) | ||
| 500 | |a Autre(s) contribution(s) : Olivier Bournez (Président du jury) ; Jérôme Durand-Lose, Olivier Bournez, Christine Eisenbeis, Jean-Baptiste Yunès, Sama Goliaei, Thierry Monteil (Membre(s) du jury) ; Christine Eisenbeis (Rapporteur(s)) | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2018 | ||
| 520 | |a Dans le contexte du calcul géométrique abstrait, les machines à signaux ont été développées comme le pendant continu des automates cellulaires capturant les notions de particules, de signaux et de collisions. Une question importante est la génération automatique d un automate cellulaire reproduisant la dynamique d une machine à signaux donnée. D une part, il existe des conversions ad hoc. D autre part, ce n est pas toujours possible car certaines machines à signaux présentent des comportements continus . Par conséquent, la discrétisation automatique de telles structures est souvent complexe et pas toujours possible. Cette thèse propose trois manières différentes de discrétiser automatiquement les machines à signaux en automates cellulaires, avec ou sans approximation possible. La première s intéresse à une sous-catégorie de machines à signaux, qui présente des propriétés permettant d assurer une discrétisation automatique exacte pour toute machine de ce type. La deuxième est utilisable sur toutes les machines mais ne peut assurer ni l exactitude ni la correction du résultat. La troisième s appuie sur une nouvelle expression de la dynamique d une machine à signaux pour proposer une discrétisation. Cette expression porte le nom de modularité et est décrite avant d être utilisée pour discrétiser. | ||
| 520 | |a In the context of abstract geometrical computation, signal machines have been developed as a continuous counter part of cellular automata capturing the notions of particles, signals and collisions. An important issue is the automatic generation of a cellular automaton mimicking the dynamics of a given signal machine. On the one hand, ad hoc conversions exist.On the other hand, it is not always possible since some signal machines exhibit purely continuous behaviors. Therefore, automatically discretizing such structures is often complicated and not always possible. This thesis proposes different ways to automatically discretize signal machines into cellular automata, both with and without handling the possiblity of approximation.The first is concerned with a subcategory of signal machines, which has properties ensuring an exact automatic discretization for any machine of this type. The second is usable on all machines but cannot guarantee the exactness and correction of the result. The third is based on a new expression of the dynamics of a signal machine to propose a discretization.This dynamical expression takes the name of modularity and is described before being used to discretize. | ||
| 538 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 650 | |a Géométrie |x Informatique | ||
| 650 | |a Numérisation | ||
| 650 | |a Géométrie discrète | ||
| 650 | |a Automates cellulaires | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Durand-Lose, Jérôme, |d 19..- |4 ths |4 opn | |
| 700 | 1 | |a Bournez, Olivier. |4 opn | |
| 700 | 1 | |a Eisenbeis, Christine, |d 1961- |4 opn | |
| 700 | 1 | |a Yunès, Jean-Baptiste, |d 19..- |4 opn | |
| 700 | 1 | |a Monteil, Thierry, |d 1969-...., |c spécialiste des objets connectés. |4 opn | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 856 | 4 | |q PDF |s 11485168 |u http://www.theses.fr/2018ORLE2009/document |z Accès au texte intégral | |
| 856 | 4 | |u https://theses.univ-orleans.fr/public/2018ORLE2009_va.pdf | |
| 856 | 4 | |u http://www.theses.fr/2018ORLE2009/abes | |
| 856 | 4 | |u https://theses.hal.science/tel-01975875 | |
| 997 | |0 693398 |1 Thèse numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||