X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/2b04820abccb0772b10b2c53542ecddc6a6f600c..b3411a22f651c0dbca34dca87df92f8d3d130e1a:/main.tex diff --git a/main.tex b/main.tex index c16595e..a31f0bd 100644 --- a/main.tex +++ b/main.tex @@ -165,7 +165,41 @@ de l'asynchronisme en terme de vitesse de convergence. -\JFC{Mixage} + + + +\part{Des systèmes dynamiques discrets +au chaos} + +\chapter{Characterisation des systèmes + discrets chaotiques} + +La première section rappelle ce que sont les systèmes dynamiques chaotiques. +Dire que cette caractérisation dépend du type de stratégie : unaire (TIPE), +généralisée (TSI). Pour chacune d'elle, +on introduit une distance différente. + +On montre qu'on a des résultats similaires. + +\section{Systèmes dynamiques chaotiques selon Devaney} +\label{subsec:Devaney} +\input{devaney} + +\section{Schéma unaire} +\input{12TIPE} + +\section{Schéma généralisé} +\input{15TSI} + + +générer des fonctions vérifiant ceci (TIPE12 juste sur le résultat d'adrien). + +\chapter{Prédiction des systèmes chaotiques} + +13 JournalMichel + + + @@ -183,19 +217,44 @@ de l'asynchronisme en terme de vitesse de convergence. \chapter{Preuves sur les SDD} -\section{Théorème~\ref{th:Adrien}}\label{anx:sccg} -\input{annexesccg} +\section{Convergence du mode mixe}\label{anx:mix} +\input{annexePreuveMixage} + + +\section{Correction et complétude de la + vérification de convergence par SPIN}\label{anx:promela} +\input{annexePromelaProof} + + + +\chapter{Preuves sur les systèmes chaotiques} + \section{Continuité de $G_f$ dans $(\mathcal{X},d)$}\label{anx:cont} \input{annexecontinuite.tex} -\section{Convergence du mode mixe}\label{anx:mix} -\input{annexePreuveMixage} -\section{Correction et complétude de la vérification de convergence par SPIN}\label{anx:promela} -\input{annexePromelaProof} +\section{Caractérisation des fonctions $f$ rendant chaotique $G_f$ dans $(\mathcal{X},d)$}\label{anx:chaos:unaire} +\input{caracunaire.tex} + + +\section{Preuve que $d$ est une distance sur $\mathcal{X}$}\label{anx:distance:generalise} +\input{preuveDistanceGeneralisee} + + +\section{Caractérisation des fonctions $f$ rendant chaotique $G_f$ dans $(\mathcal{X},d)$}\label{anx:chaos:generalise} +\input{caracgeneralise.tex} + + + + +\section{Théorème~\ref{th:Adrien}}\label{anx:sccg} +\input{annexesccg} + + + \backmatter