X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/fa0f3e5db965380aa9a72b5098cd11cfee161c6d..020defdbb2ac938563eba1071c78520973093e4b:/main.tex diff --git a/main.tex b/main.tex index dcbfa74..658149c 100644 --- a/main.tex +++ b/main.tex @@ -17,6 +17,7 @@ \usepackage[utf8]{inputenc} \usepackage{thmtools, thm-restate} \usepackage{multirow} +\usepackage{algorithm2e} %\declaretheorem{theorem} %%-------------------- @@ -124,6 +125,7 @@ \newtheorem{theorem}{Théorème} \newtheorem{lemma}{Lemme} +\newtheorem{corollary}{Corollaire} \newtheorem*{xpl}{Exemple} \newtheorem*{Proof}{Preuve} \newtheorem{Def}{Définition} @@ -175,7 +177,7 @@ au chaos} \chapter[Caracterisation des systèmes discrets chaotiques]{Caracterisation des systèmes - discrets chaotiques pour les schémas unaires et généralisés} + discrets chaotiques pour les schémas unaires et généralisés}\label{chap:carachaos} 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), @@ -195,7 +197,7 @@ On montre qu'on a des résultats similaires. \input{15TSI} -\section{Générer des fonctions chaotiques} +\section{Générer des fonctions chaotiques}\label{sec:11FCT} \input{11FCT} \chapter{Prédiction des systèmes chaotiques} @@ -209,6 +211,8 @@ On montre qu'on a des résultats similaires. \chapter{Caractérisation des générateurs chaotiques} \input{15RairoGen} +\chapter{Engendrer une classe de générateurs} +\input{14Secrypt} @@ -217,6 +221,9 @@ On montre qu'on a des résultats similaires. \part{Conclusion et Perspectives} + + + \JFC{Perspectives pour SDD->Promela} Among drawbacks of the method, one can argue that bounded delays is only realistic in practice for close systems. @@ -242,9 +249,11 @@ will then be stated. Ajouter lefait que le codede gray n'est pas optimal. On pourrait aussi travailler à établir un classement qui préserverait le fait que deux configurations voisines seraient représentées -par deux entiers voisins. +par deux entiers voisins. Par optimisation? - +\JFC{Perspectives pour les générateurs} : marcher ou sauter... comment on +pourrait étendre, ce que l'on a déjà, ce qu'il reste à faire. +% TSI 2015 @@ -290,7 +299,8 @@ par deux entiers voisins. \input{annexesccg} - +\chapter{Preuves sur les générateurs de nombres pseudo-aléatoires}\label{anx:generateur} +\input{annexePreuveDistribution} \backmatter