Skip to Main content Skip to Navigation
Theses

Algorithmique discrète et réseaux d'automates

Résumé : Les quatres chapîtres de cette thèse aborde quatre thèmes de la théorie des itérations: 1) nous élaborons un algorithme de vérification de l'attraction d'un point fixe d'une itération discrète dans son voisinage second. Cet algorithme est comparé aux conditions nécessaires et suffisantes énoncées par F. Robert avant d'être généralisé à d'autres attracteurs et d'autres bassins d'attraction. 2) Après un tour d'horizon des méthodes de calcul de racines pième de matrices réelles nous proposons un algorithme de calcul de racines carrées de matrices booléennes quelconques. 3) Nous utilisons un opérateur monotone pour étudier les itérations bloc-séquentielles de réseaux à seuil: on caractérise ainsi leurs dynamiques. Nous étendons ces méthodes aux fonctions majorité et verres de spin généralisés. 4) Après avoir comparé les différents outils d'observation des dynamiques des réseaux booléens aléatoires d'interconnectivité 2, nous proposons une approche basée sur le calcul d'une approximation de chacune des 3 composantes: le coeur stable du réseau, le coeur oscillant, les paliers (notion introduite ici). En application nous nous intéressons au problème de la reconnaissance de séquences booléennes par ce type de réseaux
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00321866
Contributor : Thèses Imag <>
Submitted on : Tuesday, September 16, 2008 - 9:48:32 AM
Last modification on : Friday, November 6, 2020 - 4:11:56 AM
Long-term archiving on: : Thursday, June 3, 2010 - 8:22:20 PM

Identifiers

  • HAL Id : tel-00321866, version 1

Collections

Citation

Didier Pellegrin. Algorithmique discrète et réseaux d'automates. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1986. Français. ⟨tel-00321866⟩

Share

Metrics

Record views

263

Files downloads

189