main.tex

   1 %% Use the standard UP-methodology class
   2 %% with French language.
   3 %%
   4 %% You may specify the option 'twoside' or 'oneside' for
   5 %% the document.
   6 %%
   7 %% See the documentation tex-upmethodology on
   8 %% http://www.arakhne.org/tex-upmethodology/
   9 %% for details about the macros that are provided by the class and
  10 %% to obtain the list of the packages that are already included.
  11
  12 \documentclass[french]{spimufchdr}
  13 \usepackage{dsfont}
  14 \usepackage{glossaries}
  15 \usepackage{graphicx}
  16 \usepackage{listings}
  17 \usepackage{verbatim}
  18
  19 % The TeX code is entering with UTF8
  20 % character encoding (Linux and MacOS standards)
  21 \usepackage[utf8]{inputenc}
  22
  23 %%--------------------
  24 %% Search path for pictures
  25 %\graphicspath{{path1/},{path2/}}
  26
  27 %%--------------------
  28 %% Definition of the bibliography entries
  29 \declarebiblio{J}{Journaux internationaux avec comités de lecture}{mabiblio}
  30
  31 %%--------------------
  32 %% Title of the document
  33 \declarehdr{Title}{XX Mois XXXX}
  34
  35 %%--------------------
  36 %% Set the author of the HDR
  37 \addauthor[first.name@utbm.fr]{First}{Name}
  38
  39 %%--------------------
  40 %% Add a member of the jury
  41 %% \addjury{Firstname}{Lastname}{Role in the jury}{Position}
  42 \addjury{First}{Name}{Rapporteur}{Professeur à l'Université de XXX}
  43 \addjury{First}{Name}{Examinateur}{Professeur à l'Université de XXX}
  44
  45 %%--------------------
  46 %% Change the style of the text in the list of the members of the jury.
  47 %% \Set{jurystyle}{ style of the text}
  48 %\Set{jurystyle}{\small}
  49
  50 %%--------------------
  51 %% Set the University where HDR was made
  52 \hdrpreparedin{Université de Technologie de Belfort-Montbéliard}
  53
  54 %%--------------------
  55 %% Set the English abstract
  56 %\hdrabstract[english]{This is the abstract in English}
  57
  58 %%--------------------
  59 %% Set the English keywords. They only appear if
  60 %% there is an English abstract
  61 %\hdrkeywords[english]{Keyword 1, Keyword 2}
  62
  63 %%--------------------
  64 %% Set the French abstract
  65 \hdrabstract[french]{Blabla blabla.}
  66
  67 %%--------------------
  68 %% Set the French keywords. They only appear if
  69 %% there is an French abstract
  70 %\hdrkeywords[french]{Mot-cl\'e 1, Mot-cl\'e 2}
  71
  72 %%--------------------
  73 %% Change the layout and the style of the text of the "primary" abstract.
  74 %% If your document is written in French, the primary abstract is in French,
  75 %% otherwise it is in English.
  76 \Set{primaryabstractstyle}{\small}
  77
  78 %%--------------------
  79 %% Change the layout and the style of the text of the "secondary" abstract.
  80 %% If your document is written in French, the secondary abstract is in English,
  81 %% otherwise it is in French.
  82 %\Set{secondaryabstractstyle}{\tiny}
  83
  84 %%--------------------
  85 %% Change the layout and the style of the text of the "primary" keywords.
  86 %% If your document is written in French, the primary keywords are in French,
  87 %% otherwise they are in English.
  88 %\Set{primarykeywordstyle}{\tiny}
  89
  90 %%--------------------
  91 %% Change the layout and the style of the text of the "secondary" keywords.
  92 %% If your document is written in French, the secondary keywords are in English,
  93 %% otherwise they are in French.
  94 %\Set{secondarykeywordstyle}{\tiny}
  95
  96 %%--------------------
  97 %% Change the speciality of the PhD thesis
  98 %\Set{speciality}{Informatique}
  99
 100 %%--------------------
 101 %% Change the institution
 102 %\Set{universityname}{Universit\'e de Technologie de Belfort-Montb\'eliard}
 103
 104 %%--------------------
 105 %% Add the logo of a partner or a sponsor
 106 %\addpartner{partner_logo}
 107 \newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}}
 108 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
 109 \newcommand{\ie}{\textit{i.e.}}
 110 \newcommand{\Nats}[0]{\ensuremath{\mathbb{N}}}
 111 \newcommand{\Reels}[0]{\ensuremath{\mathbb{R}}}
 112 \newcommand{\Zed}[0]{\ensuremath{\mathbb{Z}}}
 113 \newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}
 114 \newcommand{\rel}[0]{\ensuremath{{\mathcal{R}}}}
 115 \newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
 116 \newcommand{\Sec}[1]{Sect.\,\ref{#1}}
 117 \newcommand{\Fig}[1]{Fig.\,\ref{#1}}
 118 \newcommand{\Alg}[1]{Algorithm~\ref{#1}}
 119 \newcommand{\Tab}[1]{Table~\ref{#1}}
 120 \newcommand{\Equ}[1]{(\ref{#1})}
 121 \newcommand{\deriv}{\mathrm{d}}
 122 \newcommand{\class}[1]{\ensuremath{\langle #1\rangle}}
 123 \newcommand{\dom}[0]{\ensuremath{\textit{dom}}}
 124
 125
 126 \newtheorem{theorem}{Théorème}
 127 \newtheorem{lemma}{Lemme}
 128 \newtheorem{xpl}{Exemple}
 129 \newtheorem{Proof}{Preuve}
 130
 131 \begin{document}
 132 \input{glossaire.tex}
 133
 134 % \chapter*{Remerciements}
 135
 136 % Blabla blabla.
 137
 138 % \tableofcontents
 139
 140
 141
 142
 143
 144 \chapter*{Introduction}
 145
 146 Blabla blabla.
 147
 148 \mainmatter
 149
 150 \part{Système Booléens}
 151
 152 \chapter{Iterations discrètes de Systèmes Dynamiques booléens}
 153
 154 \JFC{Chapeau chapitre à faire}
 155 \input{sdd}
 156
 157
 158 \chapter[Preuve de convergence de systèmes booléens]{Preuve automatique de  convergence de systèmes booléens}
 159 \input{modelchecking}
 160
 161
 162
 163
 164 \JFC{Mixage}
 165
 166
 167
 168
 169
 170
 171 % \part{Conclusion et Perspectives}
 172
 173 % \chapter{Conclusion}
 174
 175 % Blabla blabla.
 176
 177
 178 \appendix
 179
 180 \chapter{Preuves sur les SDD}
 181
 182 \section{Preuve du théorème~\ref{th:Adrien}}\label{anx:sccg}
 183 \input{annexesccg}
 184
 185 \section{Preuve de continuité de $G_f$ dans $(\mathcal{X},d)$}\label{anx:cont}
 186 \input{annexecontinuite.tex}
 187
 188 \section{Preuve de Correction et de complétude de l'approche de vérification de convergence à l'aide de SPIN}
 189 \input{annexePromelaProof}
 190
 191 \backmatter
 192
 193 \bibliographystyle{apalike}
 194 \bibliography{abbrev,biblioand}
 195 \listoffigures
 196 \listoftables
 197 \listofdefinitions
 198
 199 \end{document}
 200
 201
 202
 203
 204