From: couchot Date: Tue, 1 Jul 2014 07:42:36 +0000 (+0200) Subject: debut mixage X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/commitdiff_plain/34e00a6500730757d4ddf6e9d9bd8c96cb3c1cbe debut mixage --- diff --git a/J.aux b/J.aux deleted file mode 100644 index f2fc38f..0000000 --- a/J.aux +++ /dev/null @@ -1,2 +0,0 @@ -\bibstyle{hdr} -\gdef\numberofJ{0\xspace } diff --git a/images/xplCnx.dot~ b/images/xplCnx.dot~ deleted file mode 100644 index e69de29..0000000 diff --git a/images/xplgraph.dot~ b/images/xplgraph.dot~ deleted file mode 100755 index a6e08ca..0000000 --- a/images/xplgraph.dot~ +++ /dev/null @@ -1,12 +0,0 @@ - digraph G{ - -2 -> 2 -0 -> 2 -3 -> 4 -2 -> 4 -4 -> 3 -0 -> 0 -1 -> 0 -0 -> 1 -1 -> 1 -} \ No newline at end of file diff --git a/main.aux b/main.aux deleted file mode 100644 index 5e71ca6..0000000 --- a/main.aux +++ /dev/null @@ -1,191 +0,0 @@ -\relax -\providecommand\hyper@newdestlabel[2]{} -\catcode `:\active -\catcode `;\active -\catcode `!\active -\catcode `?\active -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\providecommand\HyField@AuxAddToCoFields[2]{} -\providecommand\@newglossary[4]{} -\@newglossary{main}{glg}{gls}{glo} -\select@language{french} -\@writefile{toc}{\select@language{french}} -\@writefile{lof}{\select@language{french}} -\@writefile{lot}{\select@language{french}} -\@writefile{toc}{\contentsline {part}{I\hspace {1em}Syst\IeC {\`e}me Bool\IeC {\'e}ens}{1}{part.1}} -\@writefile{toc}{\contentsline {chapter}{\numberline {1}Iterations discr\IeC {\`e}tes de Syst\IeC {\`e}mes Dynamiques bool\IeC {\'e}ens}{3}{chapter.1}} -\@writefile{lof}{\addvspace {10\p@ }} -\@writefile{lot}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {1.1}Syst\IeC {\`e}me dynamique bool\IeC {\'e}en}{3}{section.1.1}} -\newlabel{sub:sdd}{{1.1}{3}{Système dynamique booléen}{section.1.1}{}} -\newlabel{eq:asyn}{{1.1}{3}{Système dynamique booléen}{equation.1.1.1}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces $g(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}) $}}{4}{figure.1.1}} -\newlabel{fig:g:iter}{{1.1}{4}{$g(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}) $}{figure.1.1}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {1.2}{\ignorespaces $h(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}+\overline {x_1}x_2)$}}{4}{figure.1.2}} -\newlabel{fig:h:iter}{{1.2}{4}{$h(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}+\overline {x_1}x_2)$}{figure.1.2}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {1.3}{\ignorespaces Graphes d'it\IeC {\'e}rations de fonctions bool\IeC {\'e}ennes dans $\ensuremath {\mathds {B}}^2$}}{4}{figure.1.3}} -\newlabel{fig:xplgraphIter}{{1.3}{4}{Graphes d'itérations de fonctions booléennes dans $\Bool ^2$}{figure.1.3}{}} -\@writefile{toc}{\contentsline {section}{\numberline {1.2}Graphe d'it\IeC {\'e}rations}{4}{section.1.2}} -\newlabel{sub:grIter}{{1.2}{4}{Graphe d'itérations}{section.1.2}{}} -\@writefile{toc}{\contentsline {section}{\numberline {1.3}Graphe d'interactions}{4}{section.1.3}} -\newlabel{sub:sdd:inter}{{1.3}{4}{Graphe d'interactions}{section.1.3}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {1.4}{\ignorespaces $g(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}) $}}{5}{figure.1.4}} -\newlabel{fig:g:inter}{{1.4}{5}{$g(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}) $}{figure.1.4}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {1.5}{\ignorespaces $h(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}+\overline {x_1}x_2)$}}{5}{figure.1.5}} -\newlabel{fig:h:inter}{{1.5}{5}{$h(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}+\overline {x_1}x_2)$}{figure.1.5}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {1.6}{\ignorespaces Graphes d'interactions de fonctions bool\IeC {\'e}ennes dans $\ensuremath {\mathds {B}}^2$}}{5}{figure.1.6}} -\newlabel{fig:xplgraphInter}{{1.6}{5}{Graphes d'interactions de fonctions booléennes dans $\Bool ^2$}{figure.1.6}{}} -\@writefile{toc}{\contentsline {section}{\numberline {1.4}Distance sur l'espace $\delimiter "487E912 1;n\delimiter "587F913 ^{\ensuremath {\mathbb {N}}}\times \ensuremath {\mathds {B}}^n$}{5}{section.1.4}} -\newlabel{sub:metric}{{1.4}{5}{Distance sur l'espace $\llbracket 1;n\rrbracket ^{\Nats }\times \Bool ^n$}{section.1.4}{}} -\@writefile{toc}{\contentsline {chapter}{\numberline {2}Combinaisons Synchrones et Asynchrones de Syst\IeC {\`e}mes Bool\IeC {\'e}ens}{7}{chapter.2}} -\@writefile{lof}{\addvspace {10\p@ }} -\@writefile{lot}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {2.1}G\IeC {\'e}n\IeC {\'e}ralisation au cadre asynchrone}{7}{section.2.1}} -\newlabel{eq:pseudo}{{2.1}{7}{Généralisation au cadre asynchrone}{equation.2.1.1}{}} -\newlabel{eq:async}{{2.2}{7}{Généralisation au cadre asynchrone}{equation.2.1.2}{}} -\newlabel{eq:conv}{{2.3}{7}{Généralisation au cadre asynchrone}{equation.2.1.3}{}} -\citation{Bah00} -\@writefile{toc}{\contentsline {section}{\numberline {2.2}Exemple jouet}{8}{section.2.2}} -\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Fonction $f$ de l'exemple jouet.}}{8}{figure.2.1}} -\newlabel{fig:mix:map}{{2.1}{8}{Fonction $f$ de l'exemple jouet}{figure.2.1}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces Graphe d'interaction associ\IeC {\'e} \IeC {\`a} $f$.}}{8}{figure.2.2}} -\newlabel{fig:mix:xplgraph}{{2.2}{8}{Graphe d'interaction associé à $f$}{figure.2.2}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces It\IeC {\'e}rations parall\IeC {\`e}lles de $f$.}}{9}{figure.2.3}} -\newlabel{fig:mix:xplparaFig}{{2.3}{9}{Itérations parallèlles de $f$}{figure.2.3}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {2.4}{\ignorespaces Extrait d'it\IeC {\'e}rations chaotiques.}}{9}{figure.2.4}} -\newlabel{fig:mix:xplchaoFig}{{2.4}{9}{Extrait d'itérations chaotiques}{figure.2.4}{}} -\citation{Hol03} -\citation{Wei97} -\@writefile{toc}{\contentsline {chapter}{\numberline {3}Preuve de convergence de syst\IeC {\`e}mes bool\IeC {\'e}ens}{11}{chapter.3}} -\@writefile{lof}{\addvspace {10\p@ }} -\@writefile{lot}{\addvspace {10\p@ }} -\newlabel{chap:promela}{{3}{11}{Preuve de convergence de systèmes booléens}{chapter.3}{}} -\@writefile{toc}{\contentsline {section}{\numberline {3.1}Exemple jouet}{11}{section.3.1}} -\@writefile{loe}{\addvspace {10\p@ }} -\@writefile{loe}{\contentsline {xpl}{\numberline {\let \autodot \@empty }Exemple}{11}{thmt@dummyctr.dummy.1}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces Fonction \IeC {\`a} it\IeC {\'e}rer}}{11}{figure.3.1}} -\newlabel{fig:map}{{3.1}{11}{Fonction à itérer}{figure.3.1}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces Graphe d'int\IeC {\'e}raction}}{11}{figure.3.2}} -\newlabel{fig:xplgraph}{{3.2}{11}{Graphe d'intéraction}{figure.3.2}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.3}{\ignorespaces Exemple pour SDD $\approx $ SPIN.}}{11}{figure.3.3}} -\@writefile{toc}{\contentsline {section}{\numberline {3.2}Rappels sur le langage PROMELA}{12}{section.3.2}} -\newlabel{sec:spin:promela}{{3.2}{12}{Rappels sur le langage PROMELA}{section.3.2}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.4}{\ignorespaces Declaration des types de la traduction.}}{12}{figure.3.4}} -\newlabel{fig:arrayofchannels}{{3.4}{12}{Declaration des types de la traduction}{figure.3.4}{}} -\@writefile{loe}{\contentsline {xpl}{\numberline {\let \autodot \@empty }Exemple}{12}{thmt@dummyctr.dummy.2}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.5}{\ignorespaces Process init.}}{13}{figure.3.5}} -\newlabel{fig:spin:init}{{3.5}{13}{Process init}{figure.3.5}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.6}{\ignorespaces Process scheduler pour la strat\IeC {\'e}gie pseudo p\IeC {\'e}rodique. }}{13}{figure.3.6}} -\newlabel{fig:scheduler}{{3.6}{13}{Process scheduler pour la stratégie pseudo pérodique}{figure.3.6}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.7}{\ignorespaces Codage du graphe d'int\IeC {\'e}raction de $f$. }}{13}{figure.3.7}} -\newlabel{fig:spin:hasnext}{{3.7}{13}{Codage du graphe d'intéraction de $f$}{figure.3.7}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.8}{\ignorespaces Sauvegarde de l'\IeC {\'e}tat courant}}{14}{figure.3.8}} -\newlabel{fig:spin:sauve}{{3.8}{14}{Sauvegarde de l'état courant}{figure.3.8}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.9}{\ignorespaces Mise \IeC {\`a} jour des \IeC {\'e}l\IeC {\'e}ments.}}{14}{figure.3.9}} -\newlabel{fig:proc}{{3.9}{14}{Mise à jour des éléments}{figure.3.9}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.10}{\ignorespaces Application de la fonction $f$.}}{14}{figure.3.10}} -\newlabel{fig:p}{{3.10}{14}{Application de la fonction $f$}{figure.3.10}{}} -\@writefile{toc}{\contentsline {section}{\numberline {3.3}Du syst\IeC {\`e}me bool\IeC {\'e}en au mod\IeC {\`e}le PROMELA}{14}{section.3.3}} -\newlabel{sec:spin:translation}{{3.3}{14}{Du système booléen au modèle PROMELA}{section.3.3}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}La strat\IeC {\'e}gie}{14}{subsection.3.3.1}} -\newlabel{sub:spin:strat}{{3.3.1}{14}{La stratégie}{subsection.3.3.1}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}It\IeC {\'e}rer la fonction $f$}{14}{subsection.3.3.2}} -\newlabel{sub:spin:update}{{3.3.2}{14}{Itérer la fonction $f$}{subsection.3.3.2}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.11}{\ignorespaces R\IeC {\'e}cup\IeC {\'e}rer les valeurs des elements}}{15}{figure.3.11}} -\newlabel{fig:val}{{3.11}{15}{Récupérer les valeurs des elements}{figure.3.11}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.12}{\ignorespaces Diffuser les valeurs des elements}}{15}{figure.3.12}} -\newlabel{fig:broadcast}{{3.12}{15}{Diffuser les valeurs des elements}{figure.3.12}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}Gestion des d\IeC {\'e}lais}{15}{subsection.3.3.3}} -\newlabel{sub:spin:vt}{{3.3.3}{15}{Gestion des délais}{subsection.3.3.3}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.4}Propri\IeC {\'e}t\IeC {\'e} de convergence universelle}{16}{subsection.3.3.4}} -\newlabel{eq:ltl:conv}{{3.1}{16}{Propriété de convergence universelle}{equation.3.3.1}{}} -\@writefile{toc}{\contentsline {section}{\numberline {3.4}Correction et compl\IeC {\'e}tude de la d\IeC {\'e}marche}{16}{section.3.4}} -\newlabel{sec:spin:proof}{{3.4}{16}{Correction et complétude de la démarche}{section.3.4}{}} -\@writefile{loe}{\contentsline {theorem}{\numberline {1}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Correction}}{16}{theorem.1}} -\newlabel{Theo:sound}{{1}{16}{Correction}{theorem.1}{}} -\@writefile{loe}{\contentsline {theorem}{\numberline {2}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Compl\IeC {\'e}tude}}{16}{theorem.2}} -\newlabel{Theo:completeness}{{2}{16}{Complétude}{theorem.2}{}} -\citation{RC07} -\citation{BM99} -\citation{BM99} -\citation{RC07} -\citation{BM99} -\@writefile{toc}{\contentsline {section}{\numberline {3.5}Donn\IeC {\'e}es pratiques}{17}{section.3.5}} -\newlabel{sec:spin:practical}{{3.5}{17}{Données pratiques}{section.3.5}{}} -\@writefile{loe}{\contentsline {theorem}{\numberline {3}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Nombre d'\IeC {\'e}tats }}{17}{theorem.3}} -\@writefile{loe}{\contentsline {Proof}{\numberline {1}Preuve}{17}{Proof.1}} -\citation{RC07} -\citation{BM99} -\citation{BCVC10:ir} -\citation{BM99} -\citation{BCV02} -\citation{Cha06} -\citation{CGK05} -\@writefile{lof}{\contentsline {figure}{\numberline {3.13}{\ignorespaces Exp\IeC {\'e}rimentations avec des it\IeC {\'e}rations synchrones}}{18}{figure.3.13}} -\newlabel{fig:sync:exp}{{3.13}{18}{Expérimentations avec des itérations synchrones}{figure.3.13}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.14}{\ignorespaces Exp\IeC {\'e}rimentations avec des it\IeC {\'e}rations asynchrones}}{18}{figure.3.14}} -\newlabel{fig:async:exp}{{3.14}{18}{Expérimentations avec des itérations asynchrones}{figure.3.14}{}} -\@writefile{toc}{\contentsline {section}{\numberline {3.6}Conclusion}{18}{section.3.6}} -\newlabel{sec:spin:concl}{{3.6}{18}{Conclusion}{section.3.6}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.15}{\ignorespaces Contre exemple de convergence pour~\ref {fig:RC07CE}}}{19}{figure.3.15}} -\newlabel{fig:RC07CE}{{3.15}{19}{Contre exemple de convergence pour~\ref {fig:RC07CE}}{figure.3.15}{}} -\@writefile{toc}{\contentsline {chapter}{\numberline {A}Preuves sur les SDD}{21}{appendix.A}} -\@writefile{lof}{\addvspace {10\p@ }} -\@writefile{lot}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {A.1}Preuve du th\IeC {\'e}or\IeC {\`e}me~\ref {th:Adrien}}{21}{section.A.1}} -\newlabel{anx:sccg}{{A.1}{21}{Preuve du théorème~\ref {th:Adrien}}{section.A.1}{}} -\@writefile{loe}{\addvspace {10\p@ }} -\@writefile{loe}{\contentsline {lemma}{\numberline {1}Lemme}{21}{lemma.1}} -\newlabel{lemma:subgraph}{{1}{21}{}{lemma.1}{}} -\@writefile{loe}{\contentsline {Proof}{\numberline {2}Preuve}{21}{Proof.2}} -\@writefile{loe}{\contentsline {lemma}{\numberline {2}Lemme}{21}{lemma.2}} -\newlabel{lemma:iso}{{2}{21}{}{lemma.2}{}} -\@writefile{loe}{\contentsline {Proof}{\numberline {3}Preuve}{21}{Proof.3}} -\@writefile{loe}{\contentsline {Proof}{\numberline {4}Preuve}{21}{Proof.4}} -\@writefile{toc}{\contentsline {section}{\numberline {A.2}Preuve de continuit\IeC {\'e} de $G_f$ dans $(\mathcal {X},d)$}{22}{section.A.2}} -\newlabel{anx:cont}{{A.2}{22}{Preuve de continuité de $G_f$ dans $(\mathcal {X},d)$}{section.A.2}{}} -\@writefile{toc}{\contentsline {section}{\numberline {A.3}Preuve de Correction et de compl\IeC {\'e}tude de l'approche de v\IeC {\'e}rification de convergence \IeC {\`a} l'aide de SPIN}{23}{section.A.3}} -\newlabel{anx:promela}{{A.3}{23}{Preuve de Correction et de complétude de l'approche de vérification de convergence à l'aide de SPIN}{section.A.3}{}} -\@writefile{loe}{\contentsline {lemma}{\numberline {3}Lemme\thmtformatoptarg {Strategy Equivalence}}{23}{lemma.3}} -\newlabel{lemma:strategy}{{3}{23}{Strategy Equivalence}{lemma.3}{}} -\@writefile{loe}{\contentsline {Proof}{\numberline {5}Preuve}{23}{Proof.5}} -\@writefile{loe}{\contentsline {lemma}{\numberline {4}Lemme\thmtformatoptarg {Existence of SPIN Execution}}{24}{lemma.4}} -\newlabel{lemma:execution}{{4}{24}{Existence of SPIN Execution}{lemma.4}{}} -\newlabel{eq:Mij0}{{A.1}{24}{Existence of SPIN Execution}{equation.A.3.1}{}} -\newlabel{eq:correct_retrieve}{{A.2}{24}{Existence of SPIN Execution}{equation.A.3.2}{}} -\@writefile{loe}{\contentsline {Proof}{\numberline {6}Preuve}{24}{Proof.6}} -\@writefile{toc}{\contentsline {paragraph}{Initial case:}{24}{section*.3}} -\@writefile{toc}{\contentsline {paragraph}{Inductive case:}{24}{section*.4}} -\@writefile{loe}{\contentsline {lemma}{\numberline {5}Lemme}{25}{lemma.5}} -\@writefile{loe}{\contentsline {Proof}{\numberline {7}Preuve}{25}{Proof.7}} -\@writefile{loe}{\contentsline {theorem}{\numberline {4}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Soundness wrt universal convergence property}}{25}{theorem.4}} -\newlabel{Theo:sound}{{4}{25}{Soundness wrt universal convergence property}{theorem.4}{}} -\@writefile{loe}{\contentsline {Proof}{\numberline {8}Preuve}{25}{Proof.8}} -\@writefile{loe}{\contentsline {theorem}{\numberline {5}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Completeness wrt universal convergence property}}{26}{theorem.5}} -\newlabel{Theo:completeness}{{5}{26}{Completeness wrt universal convergence property}{theorem.5}{}} -\@writefile{loe}{\contentsline {Proof}{\numberline {9}Preuve}{26}{Proof.9}} -\bibstyle{apalike} -\bibdata{abbrev,biblioand} -\bibcite{Bah00}{Bahi, 2000} -\bibcite{BCV02}{Bahi and Contassot-Vivier, 2002} -\bibcite{BCVC10:ir}{Bahi et~al., 2010} -\bibcite{BM99}{Bahi and Michel, 1999} -\bibcite{Cha06}{Chandrasekaran, 2006} -\bibcite{CGK05}{Couchot et~al., 2005} -\bibcite{Hol03}{Holzmann, 2003} -\bibcite{RC07}{Richard and Comet, 2007} -\bibcite{Wei97}{Weise, 1997} diff --git a/main.bbl b/main.bbl deleted file mode 100644 index 7754142..0000000 --- a/main.bbl +++ /dev/null @@ -1,53 +0,0 @@ -\begin{thebibliography}{} - -\bibitem[Bahi, 2000]{Bah00} -Bahi, J.~M. (2000). -\newblock Boolean totally asynchronous iterations. -\newblock {\em International Journal of Mathematical Algorithms}, 1:331--346. - -\bibitem[Bahi and Contassot-Vivier, 2002]{BCV02} -Bahi, J.~M. and Contassot-Vivier, S. (2002). -\newblock Stability of fully asynchronous discrete-time discrete-state dynamic - networks. -\newblock {\em IEEE Transactions on Neural Networks}, 13(6):1353--1363. - -\bibitem[Bahi et~al., 2010]{BCVC10:ir} -Bahi, J.~M., Contassot-Vivier, S., and Couchot, J.-F. (2010). -\newblock Convergence results of combining synchronism and asynchronism for - discrete-state discrete-time dynamic network. -\newblock Research Report RR2010-02, LIFC - Laboratoire d’{I}nformatique de - l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}. - -\bibitem[Bahi and Michel, 1999]{BM99} -Bahi, J.~M. and Michel, C. (1999). -\newblock Simulations of asynchronous evolution of discrete systems. -\newblock {\em Simulation Practice and Theory}, 7:309--324. - -\bibitem[Chandrasekaran, 2006]{Cha06} -Chandrasekaran, N. (2006). -\newblock Verifying convergence of asynchronous iterative algorithms based on - lyapunov functions. - -\bibitem[Couchot et~al., 2005]{CGK05} -Couchot, J.-F., Giorgetti, A., and Kosmatov, N. (2005). -\newblock A uniform deductive approach for parameterized protocol safety. -\newblock In Redmiles, D.~F., Ellman, T., and Zisman, A., editors, {\em ASE}, - pages 364--367. ACM. - -\bibitem[Holzmann, 2003]{Hol03} -Holzmann, G.~J. (2003). -\newblock {\em The SPIN Model Checker: Primer and Reference Manual}. -\newblock Addison-Wesley, Pearson Education. - -\bibitem[Richard and Comet, 2007]{RC07} -Richard, A. and Comet, J.-P. (2007). -\newblock Necessary conditions for multistationarity in discrete dynamical - systems. -\newblock {\em Discrete Applied Mathematics}, 155(18):2403--2413. - -\bibitem[Weise, 1997]{Wei97} -Weise, C. (1997). -\newblock An incremental formal semantics for {PROMELA}. -\newblock In {\em SPIN97, the Third SPIN Workshop}. - -\end{thebibliography} diff --git a/main.blg b/main.blg deleted file mode 100644 index 2fbfa3d..0000000 --- a/main.blg +++ /dev/null @@ -1,49 +0,0 @@ -This is BibTeX, Version 0.99d (TeX Live 2013/Debian) -Capacity: max_strings=35307, hash_size=35307, hash_prime=30011 -The top-level auxiliary file: main.aux -The style file: apalike.bst -Database file #1: abbrev.bib -Database file #2: biblioand.bib -Warning--empty note in Cha06 -You've used 9 entries, - 1935 wiz_defined-function locations, - 586 strings with 5930 characters, -and the built_in function-call counts, 3380 in all, are: -= -- 334 -> -- 114 -< -- 9 -+ -- 41 -- -- 35 -* -- 268 -:= -- 590 -add.period$ -- 27 -call.type$ -- 9 -change.case$ -- 60 -chr.to.int$ -- 9 -cite$ -- 10 -duplicate$ -- 136 -empty$ -- 250 -format.name$ -- 50 -if$ -- 665 -int.to.chr$ -- 1 -int.to.str$ -- 0 -missing$ -- 8 -newline$ -- 47 -num.names$ -- 29 -pop$ -- 54 -preamble$ -- 1 -purify$ -- 61 -quote$ -- 0 -skip$ -- 102 -stack$ -- 0 -substring$ -- 254 -swap$ -- 17 -text.length$ -- 2 -text.prefix$ -- 0 -top$ -- 0 -type$ -- 52 -warning$ -- 1 -while$ -- 29 -width$ -- 0 -write$ -- 115 -(There was 1 warning) diff --git a/main.loe b/main.loe deleted file mode 100644 index b6279b1..0000000 --- a/main.loe +++ /dev/null @@ -1,23 +0,0 @@ -\addvspace {10\p@ } -\contentsline {xpl}{\numberline {\let \autodot \@empty }Exemple}{11}{thmt@dummyctr.dummy.1} -\contentsline {xpl}{\numberline {\let \autodot \@empty }Exemple}{12}{thmt@dummyctr.dummy.2} -\contentsline {theorem}{\numberline {1}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Correction}}{16}{theorem.1} -\contentsline {theorem}{\numberline {2}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Compl\IeC {\'e}tude}}{16}{theorem.2} -\contentsline {theorem}{\numberline {3}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Nombre d'\IeC {\'e}tats }}{17}{theorem.3} -\contentsline {Proof}{\numberline {1}Preuve}{17}{Proof.1} -\addvspace {10\p@ } -\contentsline {lemma}{\numberline {1}Lemme}{21}{lemma.1} -\contentsline {Proof}{\numberline {2}Preuve}{21}{Proof.2} -\contentsline {lemma}{\numberline {2}Lemme}{21}{lemma.2} -\contentsline {Proof}{\numberline {3}Preuve}{21}{Proof.3} -\contentsline {Proof}{\numberline {4}Preuve}{21}{Proof.4} -\contentsline {lemma}{\numberline {3}Lemme\thmtformatoptarg {Strategy Equivalence}}{23}{lemma.3} -\contentsline {Proof}{\numberline {5}Preuve}{23}{Proof.5} -\contentsline {lemma}{\numberline {4}Lemme\thmtformatoptarg {Existence of SPIN Execution}}{24}{lemma.4} -\contentsline {Proof}{\numberline {6}Preuve}{24}{Proof.6} -\contentsline {lemma}{\numberline {5}Lemme}{25}{lemma.5} -\contentsline {Proof}{\numberline {7}Preuve}{25}{Proof.7} -\contentsline {theorem}{\numberline {4}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Soundness wrt universal convergence property}}{25}{theorem.4} -\contentsline {Proof}{\numberline {8}Preuve}{25}{Proof.8} -\contentsline {theorem}{\numberline {5}Th\IeC {\'e}or\IeC {\`e}me\thmtformatoptarg {Completeness wrt universal convergence property}}{26}{theorem.5} -\contentsline {Proof}{\numberline {9}Preuve}{26}{Proof.9} diff --git a/main.lof b/main.lof deleted file mode 100644 index 925e9f9..0000000 --- a/main.lof +++ /dev/null @@ -1,30 +0,0 @@ -\select@language {french} -\addvspace {10\p@ } -\contentsline {figure}{\numberline {1.1}{\ignorespaces $g(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}) $}}{4}{figure.1.1} -\contentsline {figure}{\numberline {1.2}{\ignorespaces $h(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}+\overline {x_1}x_2)$}}{4}{figure.1.2} -\contentsline {figure}{\numberline {1.3}{\ignorespaces Graphes d'it\IeC {\'e}rations de fonctions bool\IeC {\'e}ennes dans $\ensuremath {\mathds {B}}^2$}}{4}{figure.1.3} -\contentsline {figure}{\numberline {1.4}{\ignorespaces $g(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}) $}}{5}{figure.1.4} -\contentsline {figure}{\numberline {1.5}{\ignorespaces $h(x_1,x_2)=(\overline {x_1},x_1\overline {x_2}+\overline {x_1}x_2)$}}{5}{figure.1.5} -\contentsline {figure}{\numberline {1.6}{\ignorespaces Graphes d'interactions de fonctions bool\IeC {\'e}ennes dans $\ensuremath {\mathds {B}}^2$}}{5}{figure.1.6} -\addvspace {10\p@ } -\contentsline {figure}{\numberline {2.1}{\ignorespaces Fonction $f$ de l'exemple jouet.}}{8}{figure.2.1} -\contentsline {figure}{\numberline {2.2}{\ignorespaces Graphe d'interaction associ\IeC {\'e} \IeC {\`a} $f$.}}{8}{figure.2.2} -\contentsline {figure}{\numberline {2.3}{\ignorespaces It\IeC {\'e}rations parall\IeC {\`e}lles de $f$.}}{9}{figure.2.3} -\contentsline {figure}{\numberline {2.4}{\ignorespaces Extrait d'it\IeC {\'e}rations chaotiques.}}{9}{figure.2.4} -\addvspace {10\p@ } -\contentsline {figure}{\numberline {3.1}{\ignorespaces Fonction \IeC {\`a} it\IeC {\'e}rer}}{11}{figure.3.1} -\contentsline {figure}{\numberline {3.2}{\ignorespaces Graphe d'int\IeC {\'e}raction}}{11}{figure.3.2} -\contentsline {figure}{\numberline {3.3}{\ignorespaces Exemple pour SDD $\approx $ SPIN.}}{11}{figure.3.3} -\contentsline {figure}{\numberline {3.4}{\ignorespaces Declaration des types de la traduction.}}{12}{figure.3.4} -\contentsline {figure}{\numberline {3.5}{\ignorespaces Process init.}}{13}{figure.3.5} -\contentsline {figure}{\numberline {3.6}{\ignorespaces Process scheduler pour la strat\IeC {\'e}gie pseudo p\IeC {\'e}rodique. }}{13}{figure.3.6} -\contentsline {figure}{\numberline {3.7}{\ignorespaces Codage du graphe d'int\IeC {\'e}raction de $f$. }}{13}{figure.3.7} -\contentsline {figure}{\numberline {3.8}{\ignorespaces Sauvegarde de l'\IeC {\'e}tat courant}}{14}{figure.3.8} -\contentsline {figure}{\numberline {3.9}{\ignorespaces Mise \IeC {\`a} jour des \IeC {\'e}l\IeC {\'e}ments.}}{14}{figure.3.9} -\contentsline {figure}{\numberline {3.10}{\ignorespaces Application de la fonction $f$.}}{14}{figure.3.10} -\contentsline {figure}{\numberline {3.11}{\ignorespaces R\IeC {\'e}cup\IeC {\'e}rer les valeurs des elements}}{15}{figure.3.11} -\contentsline {figure}{\numberline {3.12}{\ignorespaces Diffuser les valeurs des elements}}{15}{figure.3.12} -\contentsline {figure}{\numberline {3.13}{\ignorespaces Exp\IeC {\'e}rimentations avec des it\IeC {\'e}rations synchrones}}{18}{figure.3.13} -\contentsline {figure}{\numberline {3.14}{\ignorespaces Exp\IeC {\'e}rimentations avec des it\IeC {\'e}rations asynchrones}}{18}{figure.3.14} -\contentsline {figure}{\numberline {3.15}{\ignorespaces Contre exemple de convergence pour~\ref {fig:RC07CE}}}{19}{figure.3.15} -\addvspace {10\p@ } diff --git a/main.log b/main.log deleted file mode 100644 index 92b063f..0000000 --- a/main.log +++ /dev/null @@ -1,1873 +0,0 @@ -This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.4.22) 1 JUL 2014 09:09 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**main.tex -(./main.tex -LaTeX2e <2011/06/27> -Babel <3.9h> and hyphenation patterns for 4 languages loaded. -(./spimufchdr.cls -Document Class: spimufchdr 2014/03/03 -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-document.cls -Document Class: upmethodology-document 2014/06/23 -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-p-common.sty -Package: upmethodology-p-common 2014/03/03 - -(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) -) -(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty -Package: xspace 2009/10/20 v1.13 Space after command names (DPC,MH) -) -(/usr/share/texmf/tex/latex/xcolor/xcolor.sty -Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg -File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive -) -Package xcolor Info: Driver file: pdftex.def on input line 225. - -(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def -File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO) -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count79 -) -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. -Package xcolor Info: Model `RGB' extended on input line 1353. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in PDF mode is detected. -) -(/usr/share/texmf/tex/latex/upmethodology/UPMVERSION.def)) -*********** UPMETHODOLOGY BOOK CLASS (WITH PART AND CHAPTER) -(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls -Document Class: book 2007/10/19 v1.4h Standard LaTeX document class -(/usr/share/texlive/texmf-dist/tex/latex/base/bk11.clo -File: bk11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -\c@part=\count80 -\c@chapter=\count81 -\c@section=\count82 -\c@subsection=\count83 -\c@subsubsection=\count84 -\c@paragraph=\count85 -\c@subparagraph=\count86 -\c@figure=\count87 -\c@table=\count88 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -(/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty -Package: a4wide 1994/08/30 - -(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty -Package: a4 2004/04/15 v1.2g A4 based page layout -)) -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-document.sty -Package: upmethodology-document 2013/09/29 - -**** upmethodology-document is using French language **** -(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty -Package: babel 2013/12/03 3.9h The Babel package - -(/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf -Language: frenchb 2013/12/30 v2.6g French support from the babel system - -(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def -File: babel.def 2013/12/03 3.9h Babel common definitions -\babel@savecnt=\count89 -\U@D=\dimen103 -) -\FB@interchartokenstateORI=\count90 -Package babel Info: Making : an active character on input line 244. -Package babel Info: Making ; an active character on input line 245. -Package babel Info: Making ! an active character on input line 246. -Package babel Info: Making ? an active character on input line 247. -\FB@Mht=\dimen104 -\std@mcc=\count91 -\dec@mcc=\count92 -\listindentFB=\skip43 -\labelwidthFB=\skip44 -\leftmarginFB=\skip45 -\parindentFFN=\dimen105 -) -(/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf -Language: frenchb 2013/12/30 v2.6g French support from the babel system -)) -(/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty) -(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -) -(/usr/share/texlive/texmf-dist/tex/latex/vmargin/vmargin.sty -Package: vmargin 2004/07/15 V2.5 set document margins (VK) - -Package: vmargin 2004/07/15 V2.5 set document margins (VK) -\PaperWidth=\dimen106 -\PaperHeight=\dimen107 -) (/usr/share/texmf/tex/latex/upmethodology/upmethodology-extension.sty -Package: upmethodology-extension 2012/09/21 -\upmext@tmp@putx=\skip46 - -*** define extension value frontillustrationsize **** -*** define extension value watermarksize **** -*** undefine extension value publisher **** -*** undefine extension value copyrighter **** -*** undefine extension value printedin ****) -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-fmt.sty -Package: upmethodology-fmt 2014/06/23 - -**** upmethodology-fmt is using French language **** -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg -File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live -) -Package graphics Info: Driver file: pdftex.def on input line 91. -) -\Gin@req@height=\dimen108 -\Gin@req@width=\dimen109 -) -(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty -Package: subfigure 2002/03/15 v2.1.5 subfigure package -\subfigtopskip=\skip47 -\subfigcapskip=\skip48 -\subfigcaptopadj=\dimen110 -\subfigbottomskip=\skip49 -\subfigcapmargin=\dimen111 -\subfiglabelskip=\skip50 -\c@subfigure=\count93 -\c@lofdepth=\count94 -\c@subtable=\count95 -\c@lotdepth=\count96 - -**************************************** -* Local config file subfigure.cfg used * -**************************************** -(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg) -\subfig@top=\skip51 -\subfig@bottom=\skip52 -) -(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty -Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty -Package: array 2008/09/09 v2.4c Tabular extension package (FMi) -\col@sep=\dimen112 -\extrarowheight=\dimen113 -\NC@list=\toks15 -\extratabsurround=\skip53 -\backup@length=\skip54 -) -\TX@col@width=\dimen114 -\TX@old@table=\dimen115 -\TX@old@col=\dimen116 -\TX@target=\dimen117 -\TX@delta=\dimen118 -\TX@cols=\count97 -\TX@ftn=\toks16 -) -(/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty -Package: multicol 2011/06/27 v1.7a multicolumn formatting (FMi) -\c@tracingmulticols=\count98 -\mult@box=\box26 -\multicol@leftmargin=\dimen119 -\c@unbalance=\count99 -\c@collectmore=\count100 -\doublecol@number=\count101 -\multicoltolerance=\count102 -\multicolpretolerance=\count103 -\full@width=\dimen120 -\page@free=\dimen121 -\premulticols=\dimen122 -\postmulticols=\dimen123 -\multicolsep=\skip55 -\multicolbaselineskip=\skip56 -\partial@page=\box27 -\last@line=\box28 -\mult@rightbox=\box29 -\mult@grightbox=\box30 -\mult@gfirstbox=\box31 -\mult@firstbox=\box32 -\@tempa=\box33 -\@tempa=\box34 -\@tempa=\box35 -\@tempa=\box36 -\@tempa=\box37 -\@tempa=\box38 -\@tempa=\box39 -\@tempa=\box40 -\@tempa=\box41 -\@tempa=\box42 -\@tempa=\box43 -\@tempa=\box44 -\@tempa=\box45 -\@tempa=\box46 -\@tempa=\box47 -\@tempa=\box48 -\@tempa=\box49 -\c@columnbadness=\count104 -\c@finalcolumnbadness=\count105 -\last@try=\dimen124 -\multicolovershoot=\dimen125 -\multicolundershoot=\dimen126 -\mult@nat@firstbox=\box50 -\colbreak@box=\box51 -\multicol@sort@counter=\count106 -) -(/usr/share/texlive/texmf-dist/tex/latex/colortbl/colortbl.sty -Package: colortbl 2012/02/13 v1.0a Color table columns (DPC) -\everycr=\toks17 -\minrowclearance=\skip57 -) -(/usr/share/texlive/texmf-dist/tex/latex/picinpar/picinpar.sty -Pictures in Paragraphs. Version 1.2a, July 13, 1993 -\br=\count107 -\bl=\count108 -\na=\count109 -\nb=\count110 -\tcdsav=\count111 -\tcl=\count112 -\tcd=\count113 -\tcn=\count114 -\cumtcl=\count115 -\cumpartcl=\count116 -\lftside=\dimen127 -\rtside=\dimen128 -\hpic=\dimen129 -\vpic=\dimen130 -\strutilg=\dimen131 -\picwd=\dimen132 -\topheight=\dimen133 -\ilg=\dimen134 -\lpic=\dimen135 -\lwindowsep=\dimen136 -\rwindowsep=\dimen137 -\cumpar=\dimen138 -\twa=\toks18 -\la=\toks19 -\ra=\toks20 -\ha=\toks21 -\pictoc=\toks22 -\rawtext=\box52 -\holder=\box53 -\windowbox=\box54 -\wartext=\box55 -\finaltext=\box56 -\aslice=\box57 -\bslice=\box58 -\wbox=\box59 -\wstrutbox=\box60 -\picbox=\box61 -\waslice=\box62 -\wbslice=\box63 -\fslice=\box64 -) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2013/01/14 v2.14 AMS math features -\@mathmargin=\skip58 - -For additional information on amsmath, use the `?' option. -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 -\@emptytoks=\toks23 -\ex@=\dimen139 -)) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d -\pmbraise@=\dimen140 -) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 1999/12/14 v2.01 operator names -) -\inf@bad=\count117 -LaTeX Info: Redefining \frac on input line 210. -\uproot@=\count118 -\leftroot@=\count119 -LaTeX Info: Redefining \overline on input line 306. -\classnum@=\count120 -\DOTSCASE@=\count121 -LaTeX Info: Redefining \ldots on input line 378. -LaTeX Info: Redefining \dots on input line 381. -LaTeX Info: Redefining \cdots on input line 466. -\Mathstrutbox@=\box65 -\strutbox@=\box66 -\big@size=\dimen141 -LaTeX Font Info: Redeclaring font encoding OML on input line 566. -LaTeX Font Info: Redeclaring font encoding OMS on input line 567. -\macc@depth=\count122 -\c@MaxMatrixCols=\count123 -\dotsspace@=\muskip10 -\c@parentequation=\count124 -\dspbrk@lvl=\count125 -\tag@help=\toks24 -\row@=\count126 -\column@=\count127 -\maxfields@=\count128 -\andhelp@=\toks25 -\eqnshift@=\dimen142 -\alignsep@=\dimen143 -\tagshift@=\dimen144 -\tagwidth@=\dimen145 -\totwidth@=\dimen146 -\lineht@=\dimen147 -\@envbody=\toks26 -\multlinegap=\skip59 -\multlinetaggap=\skip60 -\mathdisplay@stack=\toks27 -LaTeX Info: Redefining \[ on input line 2665. -LaTeX Info: Redefining \] on input line 2666. -) -(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2004/08/06 v2.20 -\thm@style=\toks28 -\thm@bodyfont=\toks29 -\thm@headfont=\toks30 -\thm@notefont=\toks31 -\thm@headpunct=\toks32 -\thm@preskip=\skip61 -\thm@postskip=\skip62 -\thm@headsep=\skip63 -\dth@everypar=\toks33 -) -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thmtools.sty -Package: thmtools 2012/05/04 v63 -\thmt@toks=\toks34 -\c@thmt@dummyctr=\count129 - -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-patch.sty -Package: thm-patch 2012/05/04 v63 - -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/parseargs.sty -Package: parseargs 2012/05/04 v63 -\@parsespec=\toks35 -)) -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-kv.sty -Package: thm-kv 2012/05/04 v63 -Package thm-kv Info: Theorem names will be uppercased on input line 40. - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO) - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO) - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -)) -Package thm-kv Info: kvsetkeys patch (v1.16 or later) on input line 156. -) -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-autoref.sty -Package: thm-autoref 2012/05/04 v63 - -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/aliasctr.sty -Package: aliasctr 2012/05/04 v63 - -(/usr/share/texlive/texmf-dist/tex/latex/carlisle/remreset.sty))) -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-listof.sty -Package: thm-listof 2012/05/04 v63 -) -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-restate.sty -Package: thm-restate 2012/05/04 v63 -) -(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-amsthm.sty -Package: thm-amsthm 2012/05/04 v63 -\thmt@style@headstyle=\toks36 -)) -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/pifont.sty -Package: pifont 2005/04/12 PSNFSS-v9.2a Pi font support (SPQR) -LaTeX Font Info: Try loading font information for U+pzd on input line 63. - -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/upzd.fd -File: upzd.fd 2001/06/04 font definitions for U/pzd. -) -LaTeX Font Info: Try loading font information for U+psy on input line 64. - -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/upsy.fd -File: upsy.fd 2001/06/04 font definitions for U/psy. -)) -(/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty -Package: setspace 2011/12/19 v6.7a set line spacing -) -(/usr/share/texlive/texmf-dist/tex/latex/tools/varioref.sty -Package: varioref 2011/10/02 v1.4z package for extended references (FMi) -\c@vrcnt=\count130 -) -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/txfonts.sty -Package: txfonts 2008/01/22 v3.2.1 -LaTeX Font Info: Redeclaring symbol font `operators' on input line 21. -LaTeX Font Info: Overwriting symbol font `operators' in version `normal' -(Font) OT1/cmr/m/n --> OT1/txr/m/n on input line 21. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/txr/m/n on input line 21. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) OT1/txr/m/n --> OT1/txr/bx/n on input line 22. -\symitalic=\mathgroup4 -LaTeX Font Info: Overwriting symbol font `italic' in version `bold' -(Font) OT1/txr/m/it --> OT1/txr/bx/it on input line 26. -LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 29. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' -(Font) OT1/cmr/bx/n --> OT1/txr/bx/n on input line 29. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/txr/bx/n on input line 29. -LaTeX Font Info: Redeclaring math alphabet \mathit on input line 30. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' -(Font) OT1/cmr/m/it --> OT1/txr/m/it on input line 30. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmr/bx/it --> OT1/txr/m/it on input line 30. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/txr/m/it --> OT1/txr/bx/it on input line 31. -LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 40. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' -(Font) OT1/cmss/m/n --> OT1/txss/m/n on input line 40. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/txss/m/n on input line 40. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/txss/m/n --> OT1/txss/b/n on input line 41. -LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 50. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' -(Font) OT1/cmtt/m/n --> OT1/txtt/m/n on input line 50. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/txtt/m/n on input line 50. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/txtt/m/n --> OT1/txtt/b/n on input line 51. -LaTeX Font Info: Redeclaring symbol font `letters' on input line 58. -LaTeX Font Info: Overwriting symbol font `letters' in version `normal' -(Font) OML/cmm/m/it --> OML/txmi/m/it on input line 58. -LaTeX Font Info: Overwriting symbol font `letters' in version `bold' -(Font) OML/cmm/b/it --> OML/txmi/m/it on input line 58. -LaTeX Font Info: Overwriting symbol font `letters' in version `bold' -(Font) OML/txmi/m/it --> OML/txmi/bx/it on input line 59. -\symlettersA=\mathgroup5 -LaTeX Font Info: Overwriting symbol font `lettersA' in version `bold' -(Font) U/txmia/m/it --> U/txmia/bx/it on input line 67. -LaTeX Font Info: Redeclaring symbol font `symbols' on input line 77. -LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' -(Font) OMS/cmsy/m/n --> OMS/txsy/m/n on input line 77. -LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' -(Font) OMS/cmsy/b/n --> OMS/txsy/m/n on input line 77. -LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' -(Font) OMS/txsy/m/n --> OMS/txsy/bx/n on input line 78. -\symAMSa=\mathgroup6 -LaTeX Font Info: Overwriting symbol font `AMSa' in version `bold' -(Font) U/txsya/m/n --> U/txsya/bx/n on input line 94. -\symAMSb=\mathgroup7 -LaTeX Font Info: Overwriting symbol font `AMSb' in version `bold' -(Font) U/txsyb/m/n --> U/txsyb/bx/n on input line 103. -\symsymbolsC=\mathgroup8 -LaTeX Font Info: Overwriting symbol font `symbolsC' in version `bold' -(Font) U/txsyc/m/n --> U/txsyc/bx/n on input line 113. -LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 120. -LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' -(Font) OMX/cmex/m/n --> OMX/txex/m/n on input line 120. -LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' -(Font) OMX/cmex/m/n --> OMX/txex/m/n on input line 120. -LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' -(Font) OMX/txex/m/n --> OMX/txex/bx/n on input line 121. -\symlargesymbolsA=\mathgroup9 -LaTeX Font Info: Overwriting symbol font `largesymbolsA' in version `bold' -(Font) U/txexa/m/n --> U/txexa/bx/n on input line 129. -LaTeX Info: Redefining \not on input line 1043. -LaTeX Info: Redefining \textsquare on input line 1063. -LaTeX Info: Redefining \openbox on input line 1064. -) -(/usr/share/texlive/texmf-dist/tex/latex/relsize/relsize.sty -Package: relsize 2013/03/29 ver 4.1 -) -(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty -Package: xkeyval 2012/10/14 v2.6b package option processing (HA) - -(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex -\XKV@toks=\toks37 -\XKV@tempa@toks=\toks38 -\XKV@depth=\count131 -File: xkeyval.tex 2012/10/14 v2.6b key=value parser (HA) -)) -(/usr/share/texlive/texmf-dist/tex/latex/hyphenat/hyphenat.sty -Package: hyphenat 2009/09/02 v2.3c hyphenation utilities -\langwohyphens=\language5 -LaTeX Info: Redefining \_ on input line 43. -) -(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty -Package: bbm 1999/03/15 V 1.2 provides fonts for set symbols - TH -LaTeX Font Info: Overwriting math alphabet `\mathbbm' in version `bold' -(Font) U/bbm/m/n --> U/bbm/bx/n on input line 33. -LaTeX Font Info: Overwriting math alphabet `\mathbbmss' in version `bold' -(Font) U/bbmss/m/n --> U/bbmss/bx/n on input line 35. -) -(/usr/share/texlive/texmf-dist/tex/latex/environ/environ.sty -Package: environ 2013/04/01 v0.3 A new environment syntax - -(/usr/share/texlive/texmf-dist/tex/latex/trimspaces/trimspaces.sty -Package: trimspaces 2009/09/17 v1.1 Trim spaces around a token list -)) -\c@upm@subfigure@count=\count132 -\c@upm@fmt@mtabular@columnnumber=\count133 -\c@upm@format@section@sectionlevel=\count134 -\c@upm@fmt@savedcounter=\count135 -\c@@@upm@fmt@inlineenumeration=\count136 -\c@@upm@fmt@enumdescription@cnt@=\count137 -\upm@framed@minipage=\box67 -\upm@highlight@box@save=\box68 -\c@upmdefinition=\count138 -) -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-version.sty -Package: upmethodology-version 2013/08/26 - -**** upmethodology-version is using French language **** -\upm@tmp@a=\count139 -) -\listendskip=\skip64 -) -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-frontpage.sty -Package: upmethodology-frontpage 2009/10/30 - -**** upmethodology-frontpage is using French language **** -\upm@front@tmpa=\dimen148 -\upm@front@tmpb=\dimen149 - -*** define extension value frontillustrationsize ****) -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-backpage.sty -Package: upmethodology-backpage 2013/12/14 - -**** upmethodology-backpage is using French language ****) -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-task.sty -Package: upmethodology-task 2009/10/30 - -**** upmethodology-task is using French language ****) -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-code.sty -Package: upmethodology-code 2009/10/30 -\upm@code@current@lang=\count140 -) -(/usr/share/texmf/tex/latex/upmethodology/upmethodology-spec.sty -Package: upmethodology-spec 2009/10/30 - -(/usr/share/texlive/texmf-dist/tex/generic/ulem/ulem.sty -\UL@box=\box69 -\UL@hyphenbox=\box70 -\UL@skip=\skip65 -\UL@hook=\toks39 -\UL@height=\dimen150 -\UL@pe=\count141 -\UL@pixel=\dimen151 -\ULC@box=\box71 -Package: ulem 2012/05/18 -\ULdepth=\dimen152 -) -**** upmethodology-spec is using French language **** -\upm@spec@detailspec@description@width=\skip66 -\upm@spec@detailspec@savebox=\box72 -\upm@spec@detailspec@itrn@width=\skip67 -\c@upm@detailspec@return@counter=\count142 -\c@upm@detailspec@function@counter=\count143 -) -(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip11 -Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO) - - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO) -Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package hobsub Info: Skipping package `ifluatex' (already loaded). -Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO) -Package ifvtex Info: VTeX not detected. -Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO) -Package hobsub Info: Skipping package `ifpdf' (already loaded). -Package hobsub Info: Skipping package `etexcmds' (already loaded). -Package hobsub Info: Skipping package `kvsetkeys' (already loaded). -Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO) -Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO) -Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO -) -Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO) -Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) -Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO) -Package: xcolor-patch 2011/01/30 xcolor patch -Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO) -Package atveryend Info: \enddocument detected (standard20110627). -Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO) -Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO) -Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO) -) -(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty -Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO) -) -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO) -) -\@linkdim=\dimen153 -\Hy@linkcounter=\count144 -\Hy@pagecounter=\count145 - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count146 - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Option `breaklinks' set `true' on input line 4319. -Package hyperref Info: Option `pageanchor' set `true' on input line 4319. -Package hyperref Info: Option `bookmarks' set `false' on input line 4319. -Package hyperref Info: Option `hyperfigures' set `true' on input line 4319. -Package hyperref Info: Option `hyperindex' set `true' on input line 4319. -Package hyperref Info: Option `linktocpage' set `true' on input line 4319. -Package hyperref Info: Option `bookmarks' set `true' on input line 4319. -Package hyperref Info: Option `bookmarksopen' set `true' on input line 4319. -Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 4319 -. -Package hyperref Info: Option `colorlinks' set `false' on input line 4319. -Package hyperref Info: Hyper figures ON on input line 4441. -Package hyperref Info: Link nesting OFF on input line 4448. -Package hyperref Info: Hyper index ON on input line 4451. -Package hyperref Info: Plain pages OFF on input line 4458. -Package hyperref Info: Backreferencing OFF on input line 4463. -Package hyperref Info: Implicit mode ON; LaTeX internals redefined. -Package hyperref Info: Bookmarks ON on input line 4688. -LaTeX Info: Redefining \href on input line 4952. -\c@Hy@tempcnt=\count147 -LaTeX Info: Redefining \url on input line 5041. -\XeTeXLinkMargin=\dimen154 -\Fld@menulength=\count148 -\Field@Width=\dimen155 -\Fld@charsize=\dimen156 -Package hyperref Info: Hyper figures ON on input line 6293. -Package hyperref Info: Link nesting OFF on input line 6300. -Package hyperref Info: Hyper index ON on input line 6303. -Package hyperref Info: backreferencing OFF on input line 6310. -Package hyperref Info: Link coloring OFF on input line 6315. -Package hyperref Info: Link coloring with OCG OFF on input line 6320. -Package hyperref Info: PDF/A mode OFF on input line 6325. -LaTeX Info: Redefining \ref on input line 6365. -LaTeX Info: Redefining \pageref on input line 6369. -\Hy@abspage=\count149 -\c@Item=\count150 -\c@Hfootnote=\count151 -) - -Package hyperref Message: Driver: hpdftex. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX -\Fld@listcount=\count152 -\c@bookmark@seq@number=\count153 - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -) -\Hy@SectionHShift=\skip68 -) -\upm@smalllogo@height=\dimen157 -) -(/usr/share/texlive/texmf-dist/tex/latex/multibib/multibib.sty -Package: multibib 2008/12/10 v1.4 Multiple bibliographies for one document. -\mb@biblabelwidth=\count154 -) -(/usr/share/texlive/texmf-dist/tex/latex/eurosym/eurosym.sty -Package: eurosym 1998/08/06 v1.1 European currency symbol ``Euro'' -\@eurobox=\box73 -) -*** define extension value defensemessage **** -**** including upm extension spimufchdr (upmext-spimufchdr.cfg) **** -(./upmext-spimufchdr.cfg *** define extension value copyright **** -*** style extension spimufchdr, Copyright {(c)} 2013--14 Dr. St\unhbox \voidb@x - \bgroup \let \unhbox \voidb@x \setbox \@tempboxa \hbox {e\global \mathchardef -\accent@spacefactor \spacefactor }\accent 19 e\egroup \spacefactor \accent@spac -efactor phane GALLAND. **** *** define extension value trademarks **** -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/helvet.sty -Package: helvet 2005/04/12 PSNFSS-v9.2a (WaS) -) -*** define extension value frontillustration **** -*** define extension value p3illustration **** -*** define extension value backillustration **** -*** define extension value watermarksize **** -*** define extension value universityname **** -*** define extension value speciality **** -*** define extension value defensedate **** -*** define extension value jurytabwidth **** -*** define extension value jurystyle ****)) -(/usr/share/texlive/texmf-dist/tex/latex/doublestroke/dsfont.sty -Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts -) -(/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/glossaries.sty -Package: glossaries 2014/01/20 v4.03 (NLCT) - -(/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/mfirstuc.sty -Package: mfirstuc 2013/11/04 v1.08 (NLCT) - -(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty -Package: etoolbox 2011/01/03 v2.1 e-TeX tools for LaTeX - -(/usr/share/texlive/texmf-dist/tex/latex/etex-pkg/etex.sty -Package: etex 1998/03/26 v2.0 eTeX basic definition package (PEB) -\et@xins=\count155 -) -\etb@tempcnta=\count156 -) -\@glsmfirst=\toks40 -\@glsmrest=\toks41 -) -(/usr/share/texlive/texmf-dist/tex/latex/textcase/textcase.sty -Package: textcase 2004/10/07 v0.07 Text only upper/lower case changing (DPC) -) -(/usr/share/texlive/texmf-dist/tex/latex/xfor/xfor.sty -Package: xfor 2009/02/05 v1.05 (NLCT) -) -(/usr/share/texlive/texmf-dist/tex/latex/datatool/datatool-base.sty -Package: datatool-base 2013/09/06 v2.18 (NLCT) - -(/usr/share/texlive/texmf-dist/tex/latex/substr/substr.sty -Package: substr 2009/10/20 v1.2 Handle substrings -\c@su@anzahl=\count157 -) -(/usr/share/texlive/texmf-dist/tex/latex/datatool/datatool-fp.sty -Package: datatool-fp 2013/08/29 v2.17 (NLCT) - -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp.sty -Package: fp 1995/04/02 - -`Fixed Point Package', Version 0.8, April 2, 1995 (C) Michael Mehlich -(/usr/share/texlive/texmf-dist/tex/latex/fp/defpattern.sty -Package: defpattern 1994/10/12 -\actioncount=\count158 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-basic.sty -Package: fp-basic 1996/05/13 -\FP@xs=\count159 -\FP@xia=\count160 -\FP@xib=\count161 -\FP@xfa=\count162 -\FP@xfb=\count163 -\FP@rega=\count164 -\FP@regb=\count165 -\FP@regs=\count166 -\FP@times=\count167 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-addons.sty -Package: fp-addons 1995/03/15 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-snap.sty -Package: fp-snap 1995/04/05 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-exp.sty -Package: fp-exp 1995/04/03 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-trigo.sty -Package: fp-trigo 1995/04/14 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-pas.sty -Package: fp-pas 1994/08/29 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-random.sty -Package: fp-random 1995/02/23 -\FPseed=\count168 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-eqn.sty -Package: fp-eqn 1995/04/03 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-upn.sty -Package: fp-upn 1996/10/21 -) -(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-eval.sty -Package: fp-eval 1995/04/03 -))) -\@dtl@toks=\toks42 -\@dtl@tmpcount=\count169 -\dtl@tmplength=\skip69 -\dtl@sortresult=\count170 -\@dtl@numgrpsepcount=\count171 -\@dtl@datatype=\count172 -\dtl@codeA=\count173 -\dtl@codeB=\count174 -\@dtl@foreach@level=\count175 -) -(/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/glossaries-compatible- -307.sty -Package: glossaries-compatible-307 2013/11/14 v4.0 (NLCT) -) (/usr/share/texmf/tex/latex/beamer/base/translator/translator.sty -Package: translator 2010/06/12 ver 1.10 - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator-language-mappings -.tex)) -\gls@level=\count176 -\@gls@tmpb=\toks43 -\gls@tmplen=\skip70 -\glswrite=\write3 -\glskeylisttok=\toks44 -\glslabeltok=\toks45 -\glsshorttok=\toks46 -\glslongtok=\toks47 - -(/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-hypernav.st -y -Package: glossary-hypernav 2013/11/14 v4.0 (NLCT) -) (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-list.sty -Package: glossary-list 2013/11/14 v4.0 (NLCT) -\glslistdottedwidth=\skip71 -) (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-long.sty -Package: glossary-long 2013/11/14 v4.0 (NLCT) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty -Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC) -\LTleft=\skip72 -\LTright=\skip73 -\LTpre=\skip74 -\LTpost=\skip75 -\LTchunksize=\count177 -\LTcapwidth=\dimen158 -\LT@head=\box74 -\LT@firsthead=\box75 -\LT@foot=\box76 -\LT@lastfoot=\box77 -\LT@cols=\count178 -\LT@rows=\count179 -\c@LT@tables=\count180 -\c@LT@chunks=\count181 -\LT@p@ftn=\toks48 -) -\glsdescwidth=\skip76 -\glspagelistwidth=\skip77 -) -(/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-super.sty -Package: glossary-super 2013/11/14 v4.0 (NLCT) - -(/usr/share/texlive/texmf-dist/tex/latex/supertabular/supertabular.sty -Package: supertabular 2004/02/20 v4.1e the supertabular environment -\c@tracingst=\count182 -\ST@wd=\dimen159 -\ST@rightskip=\skip78 -\ST@leftskip=\skip79 -\ST@parfillskip=\skip80 -\ST@pageleft=\dimen160 -\ST@headht=\dimen161 -\ST@tailht=\dimen162 -\ST@pagesofar=\dimen163 -\ST@pboxht=\dimen164 -\ST@lineht=\dimen165 -\ST@stretchht=\dimen166 -\ST@prevht=\dimen167 -\ST@toadd=\dimen168 -\ST@dimen=\dimen169 -\ST@pbox=\box78 -)) -(/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-tree.sty -Package: glossary-tree 2013/11/14 v4.0 (NLCT) -\glstreeindent=\skip81 -)) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count183 -\lst@gtempboxa=\box79 -\lst@token=\toks49 -\lst@length=\count184 -\lst@currlwidth=\dimen170 -\lst@column=\count185 -\lst@pos=\count186 -\lst@lostspace=\dimen171 -\lst@width=\dimen172 -\lst@newlines=\count187 -\lst@lineno=\count188 -\lst@maxwidth=\dimen173 - -(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2013/08/26 1.5b (Carsten Heinz) -\c@lstnumber=\count189 -\lst@skipnumbers=\count190 -\lst@framebox=\box80 -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2013/08/26 1.5b listings configuration -)) -Package: listings 2013/08/26 1.5b (Carsten Heinz) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty -Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements -\every@verbatim=\toks50 -\verbatim@line=\toks51 -\verbatim@in@stream=\read1 -) -(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty -Package: inputenc 2008/03/30 v1.1d Input encoding file -\inpenc@prehook=\toks52 -\inpenc@posthook=\toks53 - -(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def -File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc -Now handling font encoding OML ... -... no UTF-8 mapping file for font encoding OML -Now handling font encoding T1 ... -... processing UTF-8 mapping file for font encoding T1 - -(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu -File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc - defining Unicode char U+00A1 (decimal 161) - defining Unicode char U+00A3 (decimal 163) - defining Unicode char U+00AB (decimal 171) - defining Unicode char U+00BB (decimal 187) - defining Unicode char U+00BF (decimal 191) - defining Unicode char U+00C0 (decimal 192) - defining Unicode char U+00C1 (decimal 193) - defining Unicode char U+00C2 (decimal 194) - defining Unicode char U+00C3 (decimal 195) - defining Unicode char U+00C4 (decimal 196) - defining Unicode char U+00C5 (decimal 197) - defining Unicode char U+00C6 (decimal 198) - defining Unicode char U+00C7 (decimal 199) - defining Unicode char U+00C8 (decimal 200) - defining Unicode char U+00C9 (decimal 201) - defining Unicode char U+00CA (decimal 202) - defining Unicode char U+00CB (decimal 203) - defining Unicode char U+00CC (decimal 204) - defining Unicode char U+00CD (decimal 205) - defining Unicode char U+00CE (decimal 206) - defining Unicode char U+00CF (decimal 207) - defining Unicode char U+00D0 (decimal 208) - defining Unicode char U+00D1 (decimal 209) - defining Unicode char U+00D2 (decimal 210) - defining Unicode char U+00D3 (decimal 211) - defining Unicode char U+00D4 (decimal 212) - defining Unicode char U+00D5 (decimal 213) - defining Unicode char U+00D6 (decimal 214) - defining Unicode char U+00D8 (decimal 216) - defining Unicode char U+00D9 (decimal 217) - defining Unicode char U+00DA (decimal 218) - defining Unicode char U+00DB (decimal 219) - defining Unicode char U+00DC (decimal 220) - defining Unicode char U+00DD (decimal 221) - defining Unicode char U+00DE (decimal 222) - defining Unicode char U+00DF (decimal 223) - defining Unicode char U+00E0 (decimal 224) - defining Unicode char U+00E1 (decimal 225) - defining Unicode char U+00E2 (decimal 226) - defining Unicode char U+00E3 (decimal 227) - defining Unicode char U+00E4 (decimal 228) - defining Unicode char U+00E5 (decimal 229) - defining Unicode char U+00E6 (decimal 230) - defining Unicode char U+00E7 (decimal 231) - defining Unicode char U+00E8 (decimal 232) - defining Unicode char U+00E9 (decimal 233) - defining Unicode char U+00EA (decimal 234) - defining Unicode char U+00EB (decimal 235) - defining Unicode char U+00EC (decimal 236) - defining Unicode char U+00ED (decimal 237) - defining Unicode char U+00EE (decimal 238) - defining Unicode char U+00EF (decimal 239) - defining Unicode char U+00F0 (decimal 240) - defining Unicode char U+00F1 (decimal 241) - defining Unicode char U+00F2 (decimal 242) - defining Unicode char U+00F3 (decimal 243) - defining Unicode char U+00F4 (decimal 244) - defining Unicode char U+00F5 (decimal 245) - defining Unicode char U+00F6 (decimal 246) - defining Unicode char U+00F8 (decimal 248) - defining Unicode char U+00F9 (decimal 249) - defining Unicode char U+00FA (decimal 250) - defining Unicode char U+00FB (decimal 251) - defining Unicode char U+00FC (decimal 252) - defining Unicode char U+00FD (decimal 253) - defining Unicode char U+00FE (decimal 254) - defining Unicode char U+00FF (decimal 255) - defining Unicode char U+0102 (decimal 258) - defining Unicode char U+0103 (decimal 259) - defining Unicode char U+0104 (decimal 260) - defining Unicode char U+0105 (decimal 261) - defining Unicode char U+0106 (decimal 262) - defining Unicode char U+0107 (decimal 263) - defining Unicode char U+010C (decimal 268) - defining Unicode char U+010D (decimal 269) - defining Unicode char U+010E (decimal 270) - defining Unicode char U+010F (decimal 271) - defining Unicode char U+0110 (decimal 272) - defining Unicode char U+0111 (decimal 273) - defining Unicode char U+0118 (decimal 280) - defining Unicode char U+0119 (decimal 281) - defining Unicode char U+011A (decimal 282) - defining Unicode char U+011B (decimal 283) - defining Unicode char U+011E (decimal 286) - defining Unicode char U+011F (decimal 287) - defining Unicode char U+0130 (decimal 304) - defining Unicode char U+0131 (decimal 305) - defining Unicode char U+0132 (decimal 306) - defining Unicode char U+0133 (decimal 307) - defining Unicode char U+0139 (decimal 313) - defining Unicode char U+013A (decimal 314) - defining Unicode char U+013D (decimal 317) - defining Unicode char U+013E (decimal 318) - defining Unicode char U+0141 (decimal 321) - defining Unicode char U+0142 (decimal 322) - defining Unicode char U+0143 (decimal 323) - defining Unicode char U+0144 (decimal 324) - defining Unicode char U+0147 (decimal 327) - defining Unicode char U+0148 (decimal 328) - defining Unicode char U+014A (decimal 330) - defining Unicode char U+014B (decimal 331) - defining Unicode char U+0150 (decimal 336) - defining Unicode char U+0151 (decimal 337) - defining Unicode char U+0152 (decimal 338) - defining Unicode char U+0153 (decimal 339) - defining Unicode char U+0154 (decimal 340) - defining Unicode char U+0155 (decimal 341) - defining Unicode char U+0158 (decimal 344) - defining Unicode char U+0159 (decimal 345) - defining Unicode char U+015A (decimal 346) - defining Unicode char U+015B (decimal 347) - defining Unicode char U+015E (decimal 350) - defining Unicode char U+015F (decimal 351) - defining Unicode char U+0160 (decimal 352) - defining Unicode char U+0161 (decimal 353) - defining Unicode char U+0162 (decimal 354) - defining Unicode char U+0163 (decimal 355) - defining Unicode char U+0164 (decimal 356) - defining Unicode char U+0165 (decimal 357) - defining Unicode char U+016E (decimal 366) - defining Unicode char U+016F (decimal 367) - defining Unicode char U+0170 (decimal 368) - defining Unicode char U+0171 (decimal 369) - defining Unicode char U+0178 (decimal 376) - defining Unicode char U+0179 (decimal 377) - defining Unicode char U+017A (decimal 378) - defining Unicode char U+017B (decimal 379) - defining Unicode char U+017C (decimal 380) - defining Unicode char U+017D (decimal 381) - defining Unicode char U+017E (decimal 382) - defining Unicode char U+200C (decimal 8204) - defining Unicode char U+2013 (decimal 8211) - defining Unicode char U+2014 (decimal 8212) - defining Unicode char U+2018 (decimal 8216) - defining Unicode char U+2019 (decimal 8217) - defining Unicode char U+201A (decimal 8218) - defining Unicode char U+201C (decimal 8220) - defining Unicode char U+201D (decimal 8221) - defining Unicode char U+201E (decimal 8222) - defining Unicode char U+2030 (decimal 8240) - defining Unicode char U+2031 (decimal 8241) - defining Unicode char U+2039 (decimal 8249) - defining Unicode char U+203A (decimal 8250) - defining Unicode char U+2423 (decimal 9251) -) -Now handling font encoding OT1 ... -... processing UTF-8 mapping file for font encoding OT1 - -(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu -File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc - defining Unicode char U+00A1 (decimal 161) - defining Unicode char U+00A3 (decimal 163) - defining Unicode char U+00B8 (decimal 184) - defining Unicode char U+00BF (decimal 191) - defining Unicode char U+00C5 (decimal 197) - defining Unicode char U+00C6 (decimal 198) - defining Unicode char U+00D8 (decimal 216) - defining Unicode char U+00DF (decimal 223) - defining Unicode char U+00E6 (decimal 230) - defining Unicode char U+00EC (decimal 236) - defining Unicode char U+00ED (decimal 237) - defining Unicode char U+00EE (decimal 238) - defining Unicode char U+00EF (decimal 239) - defining Unicode char U+00F8 (decimal 248) - defining Unicode char U+0131 (decimal 305) - defining Unicode char U+0141 (decimal 321) - defining Unicode char U+0142 (decimal 322) - defining Unicode char U+0152 (decimal 338) - defining Unicode char U+0153 (decimal 339) - defining Unicode char U+2013 (decimal 8211) - defining Unicode char U+2014 (decimal 8212) - defining Unicode char U+2018 (decimal 8216) - defining Unicode char U+2019 (decimal 8217) - defining Unicode char U+201C (decimal 8220) - defining Unicode char U+201D (decimal 8221) -) -Now handling font encoding OMS ... -... processing UTF-8 mapping file for font encoding OMS - -(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu -File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc - defining Unicode char U+00A7 (decimal 167) - defining Unicode char U+00B6 (decimal 182) - defining Unicode char U+00B7 (decimal 183) - defining Unicode char U+2020 (decimal 8224) - defining Unicode char U+2021 (decimal 8225) - defining Unicode char U+2022 (decimal 8226) -) -Now handling font encoding OMX ... -... no UTF-8 mapping file for font encoding OMX -Now handling font encoding U ... -... no UTF-8 mapping file for font encoding U -Now handling font encoding PD1 ... -... no UTF-8 mapping file for font encoding PD1 - defining Unicode char U+00A9 (decimal 169) - defining Unicode char U+00AA (decimal 170) - defining Unicode char U+00AE (decimal 174) - defining Unicode char U+00BA (decimal 186) - defining Unicode char U+02C6 (decimal 710) - defining Unicode char U+02DC (decimal 732) - defining Unicode char U+200C (decimal 8204) - defining Unicode char U+2026 (decimal 8230) - defining Unicode char U+2122 (decimal 8482) - defining Unicode char U+2423 (decimal 9251) -)) -\@auxoutJ=\write4 - (./J.aux) -\openout4 = `J.aux'. - -\c@hdr@bibliotype@numberof@J=\count191 - -*** define extension value defensedate **** -*** define extension value primaryabstractstyle **** -\c@theorem=\count192 -\c@lemma=\count193 -\c@Proof=\count194 - (./main.aux - -LaTeX Warning: Label `Theo:sound' multiply defined. - - -LaTeX Warning: Label `Theo:completeness' multiply defined. - -) -\openout1 = `main.aux'. - -LaTeX Font Info: Checking defaults for OML/txmi/m/it on input line 131. -LaTeX Font Info: Try loading font information for OML+txmi on input line 131 -. - (/usr/share/texlive/texmf-dist/tex/latex/txfonts/omltxmi.fd -File: omltxmi.fd 2000/12/15 v3.1 -) -LaTeX Font Info: ... okay on input line 131. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 131. -LaTeX Font Info: ... okay on input line 131. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 131. -LaTeX Font Info: ... okay on input line 131. -LaTeX Font Info: Checking defaults for OMS/txsy/m/n on input line 131. -LaTeX Font Info: Try loading font information for OMS+txsy on input line 131 -. - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/omstxsy.fd -File: omstxsy.fd 2000/12/15 v3.1 -) -LaTeX Font Info: ... okay on input line 131. -LaTeX Font Info: Checking defaults for OMX/txex/m/n on input line 131. -LaTeX Font Info: Try loading font information for OMX+txex on input line 131 -. - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/omxtxex.fd -File: omxtxex.fd 2000/12/15 v3.1 -) -LaTeX Font Info: ... okay on input line 131. -LaTeX Font Info: Checking defaults for U/txexa/m/n on input line 131. -LaTeX Font Info: Try loading font information for U+txexa on input line 131. - - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxexa.fd -File: utxexa.fd 2000/12/15 v3.1 -) -LaTeX Font Info: ... okay on input line 131. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 131. -LaTeX Font Info: ... okay on input line 131. -LaTeX Font Info: Try loading font information for OT1+phv on input line 131. - - -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd -File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv. -) -(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count195 -\scratchdimen=\dimen174 -\scratchbox=\box81 -\nofMPsegments=\count196 -\nofMParguments=\count197 -\everyMPshowfont=\toks54 -\MPscratchCnt=\count198 -\MPscratchDim=\dimen175 -\MPnumerator=\count199 -\makeMPintoPDFobject=\count200 -\everyMPtoPDFconversion=\toks55 -) -LaTeX Info: Redefining \degres on input line 131. -LaTeX Info: Redefining \dots on input line 131. -LaTeX Info: Redefining \up on input line 131. - - -Package frenchb.ldf Warning: OT1 encoding should not be used for French. -(frenchb.ldf) Add \usepackage[T1]{fontenc} to the preamble -(frenchb.ldf) of your document, on input line 131. - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO) -) -Package grfext Info: Graphics extension search list: -(grfext) [.pdf,.png,.jpg,.jpeg,.gif,.eps] -(grfext) \AppendGraphicsExtensions on input line 452. - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -*** Overriding the 'enumerate' environment. Pass option 'standardlists' for avo -iding this override. -*** Overriding the 'description' environment. Pass option 'standardlists' for a -voiding this override. -\AtBeginShipoutBox=\box82 -Package hyperref Info: Link coloring OFF on input line 131. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) -) -\c@section@level=\count201 -LaTeX Info: Redefining \Ref on input line 513. -) -LaTeX Info: Redefining \ref on input line 131. -LaTeX Info: Redefining \pageref on input line 131. -LaTeX Info: Redefining \nameref on input line 131. - -(./main.out) (./main.out) -\@outlinefile=\write5 -\openout5 = `main.out'. - -LaTeX Info: Redefining \Ref on input line 131. - ************ USE CUSTOM FRONT COVER - -File: spimufchdr-frontpage.pdf Graphic file (type pdf) - - -Package pdftex.def Info: spimufchdr-frontpage.pdf used on input line 131. -(pdftex.def) Requested size: 600.00592pt x 855.01823pt. - [1 - - -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./spimufchdr-frontpage.pdf ->] [2 - -] - -File: spimufchdr-p3-head.pdf Graphic file (type pdf) - - -Package pdftex.def Info: spimufchdr-p3-head.pdf used on input line 131. -(pdftex.def) Requested size: 600.0pt x 285.92554pt. -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <10.95> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 131. -LaTeX Font Info: Try loading font information for OT1+txr on input line 131. - - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/ot1txr.fd -File: ot1txr.fd 2000/12/15 v3.1 -) -LaTeX Font Info: Try loading font information for U+txmia on input line 131. - - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxmia.fd -File: utxmia.fd 2000/12/15 v3.1 -) -LaTeX Font Info: Try loading font information for U+txsya on input line 131. - - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsya.fd -File: utxsya.fd 2000/12/15 v3.1 -) -LaTeX Font Info: Try loading font information for U+txsyb on input line 131. - - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsyb.fd -File: utxsyb.fd 2000/12/15 v3.1 -) -LaTeX Font Info: Try loading font information for U+txsyc on input line 131. - - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsyc.fd -File: utxsyc.fd 2000/12/15 v3.1 -) [3 <./spimufchdr-p3-head.pdf>] [4 - -] -(/usr/share/texlive/texmf-dist/tex/latex/glossaries/dict/glossaries-dictionary- -English.dict -Dictionary: glossaries-dictionary, Language: English -) -(/usr/share/texlive/texmf-dist/tex/latex/glossaries/dict/glossaries-dictionary- -French.dict -Dictionary: glossaries-dictionary, Language: French -) (./main.glsdefs) -\c@lstlisting=\count202 - (./glossaire.tex -\@gls@deffile=\write6 -\openout6 = `main.glsdefs'. - -) [5 - -] [6 - -] [1 - -] [2] -Chapitre 1. -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <10.95> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 154. -(./sdd.tex -LaTeX Font Info: Try loading font information for U+dsrom on input line 15. - (/usr/share/texlive/texmf-dist/tex/latex/doublestroke/Udsrom.fd -File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions -) -[3 - -] -File: images/g.pdf Graphic file (type pdf) - -Package pdftex.def Info: images/g.pdf used on input line 97. -(pdftex.def) Requested size: 33.72539pt x 104.38815pt. - - -File: images/h.pdf Graphic file (type pdf) - -Package pdftex.def Info: images/h.pdf used on input line 105. -(pdftex.def) Requested size: 32.11942pt x 104.38815pt. - [4 <./images/g.pdf> <./images/h.pdf>] -File: images/gp.pdf Graphic file (type pdf) - - -Package pdftex.def Info: images/gp.pdf used on input line 161. -(pdftex.def) Requested size: 36.13435pt x 53.80003pt. - -File: images/hp.pdf Graphic file (type pdf) - - -Package pdftex.def Info: images/hp.pdf used on input line 169. -(pdftex.def) Requested size: 40.95227pt x 53.80003pt. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `math shift' on input line 203. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `\delimiter' on input line 203. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `\delimiter' on input line 203. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `superscript' on input line 203. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `\times' on input line 203. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `superscript' on input line 203. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `math shift' on input line 203. - -) [5 <./images/gp.pdf> <./images/hp.pdf>] [6 - -] -Chapitre 2. -(./mixage.tex [7] -Package epstopdf Info: Source file: -(epstopdf) date: 2014-07-01 08:59:47 -(epstopdf) size: 8970 bytes -(epstopdf) Output file: -(epstopdf) date: 2014-07-01 08:59:52 -(epstopdf) size: 5003 bytes -(epstopdf) Command: -(epstopdf) \includegraphics on input line 115. -Package epstopdf Info: Output file is already uptodate. - - -File: images/xplgraphmix-eps-converted-to.pdf Graphic file (type pdf) - - -Package pdftex.def Info: images/xplgraphmix-eps-converted-to.pdf used on input -line 115. -(pdftex.def) Requested size: 109.86076pt x 170.03577pt. -Package epstopdf Info: Source file: -(epstopdf) date: 2014-07-01 08:39:45 -(epstopdf) size: 18996 bytes -(epstopdf) Output file: -(epstopdf) date: 2014-07-01 08:47:14 -(epstopdf) size: 5999 bytes -(epstopdf) Command: -(epstopdf) \includegraphics on input line 125. -Package epstopdf Info: Output file is already uptodate. - - -File: images/para_iterate_dec-eps-converted-to.pdf Graphic file (type pdf) - -Package pdftex.def Info: images/para_iterate_dec-eps-converted-to.pdf used on i -nput line 125. -(pdftex.def) Requested size: 235.73141pt x 163.96306pt. -Package epstopdf Info: Source file: -(epstopdf) date: 2014-07-01 08:43:07 -(epstopdf) size: 10160 bytes -(epstopdf) Output file: -(epstopdf) date: 2014-07-01 08:47:31 -(epstopdf) size: 5024 bytes -(epstopdf) Command: -(epstopdf) \includegraphics on input line 130. -Package epstopdf Info: Output file is already uptodate. - - -File: images/chao_iterate_excerpt-eps-converted-to.pdf Graphic file (type pdf) - -Package pdftex.def Info: images/chao_iterate_excerpt-eps-converted-to.pdf used -on input line 130. -(pdftex.def) Requested size: 177.2126pt x 93.8509pt. - -Overfull \hbox (10.51457pt too wide) in paragraph at lines 130--131 -[][] - [] - - -Overfull \hbox (59.69626pt too wide) has occurred while \output is active -\OT1/phv/m/n/10.95 8 \OT1/phv/m/sl/10.95 CHAPITRE 2. COMBINAISONS SYNCHRONES E -T ASYNCHRONES DE SYST[]EMES BOOL[]EENS - [] - -[8 <./images/xplgraphmix-eps-converted-to.pdf>]) [9 <./images/para_iterate_dec- -eps-converted-to.pdf> <./images/chao_iterate_excerpt-eps-converted-to.pdf>] -[10 - -] -Chapitre 3. -(./modelchecking.tex -Package hyperref Info: bookmark level for unknown xpl defaults to 0 on input li -ne 8. -Package epstopdf Info: Source file: -(epstopdf) date: 2014-06-28 16:34:41 -(epstopdf) size: 7803 bytes -(epstopdf) Output file: -(epstopdf) date: 2014-06-28 16:35:22 -(epstopdf) size: 4536 bytes -(epstopdf) Command: -(epstopdf) \includegraphics on input line 33. -Package epstopdf Info: Output file is already uptodate. - - -File: images/xplCnxMc-eps-converted-to.pdf Graphic file (type pdf) - - -Package pdftex.def Info: images/xplCnxMc-eps-converted-to.pdf used on input lin -e 33. -(pdftex.def) Requested size: 113.81102pt x 33.44815pt. - -Underfull \hbox (badness 10000) in paragraph at lines 35--35 -[]\OT1/phv/m/sc/10.95 Figure \OT1/phv/m/n/10.95 3.2 { []Graphe - [] - -LaTeX Font Info: Try loading font information for OMS+phv on input line 80. -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsphv.fd -File: omsphv.fd -) -LaTeX Font Info: Font shape `OMS/phv/m/n' in size <6> not available -(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 80. - -Underfull \vbox (badness 10000) has occurred while \output is active [] - - [11 <./images/xplCnxMc-eps-converted-to.pdf>] -LaTeX Font Info: Try loading font information for OT1+txtt on input line 95. - - -(/usr/share/texlive/texmf-dist/tex/latex/txfonts/ot1txtt.fd -File: ot1txtt.fd 2000/12/15 v3.1 -) -LaTeX Font Info: Font shape `OT1/txtt/m/it' in size <10.95> not available -(Font) Font shape `OT1/txtt/m/sl' tried instead on input line 127. - - [12] -LaTeX Font Info: Try loading font information for OML+phv on input line 198. - - -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/omlphv.fd -File: omlphv.fd -) -LaTeX Font Info: Font shape `OML/phv/m/n' in size <6> not available -(Font) Font shape `OML/cmm/m/it' tried instead on input line 198. - -Underfull \hbox (badness 10000) in paragraph at lines 253--253 -[]\OT1/phv/m/sc/10.95 Figure \OT1/phv/m/n/10.95 3.6 { []Process - [] - - -Underfull \vbox (badness 10000) has occurred while \output is active [] - - [13] - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `math shift' on input line 303. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `math shift' on input line 303. - -[14] -Underfull \hbox (badness 3482) in paragraph at lines 497--499 -[]\OT1/phv/m/n/10.95 sinon, on af-fecte []a []\OT1/txtt/m/n/10.95 Xd[j].v[i] \O -T1/phv/m/n/10.95 la va-leur m[]emoris[]ee dans le ca-nal - [] - -[15] -Underfull \hbox (badness 2261) in paragraph at lines 515--523 -[]\OT1/phv/m/n/10.95 L'introduction de l'ind[]eterminisme []a la fois dans les -fonc-tions []\OT1/txtt/m/n/10.95 fetch_values \OT1/phv/m/n/10.95 et - [] - -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <8> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 575. -Package hyperref Info: bookmark level for unknown theorem defaults to 0 on inpu -t line 575. -[16] -Package hyperref Info: bookmark level for unknown Proof defaults to 0 on input -line 605. - [17] -Underfull \hbox (badness 10000) in paragraph at lines 776--779 -[]\OT1/phv/m/sl/10.95 Quid de ceci?[] \OT1/phv/m/n/10.95 La conver-gence des it -[]erations asyn-chrones de - [] - - -Underfull \hbox (badness 1303) in paragraph at lines 776--779 -\OT1/phv/m/n/10.95 l'exemple [[]] n'est pas []etablie lorsque pour $\OML/txmi/m -/it/10.95 ^^N[]$ \OT1/phv/m/n/10.95 vaut 1. Il ne peut - [] - -Package epstopdf Info: Source file: -(epstopdf) date: 2014-06-30 13:31:45 -(epstopdf) size: 51342 bytes -(epstopdf) Output file: -(epstopdf) date: 2014-06-30 13:34:16 -(epstopdf) size: 9444 bytes -(epstopdf) Command: -(epstopdf) \includegraphics on input line 782. -Package epstopdf Info: Output file is already uptodate. - -File: images/RC07ce-eps-converted-to.pdf Graphic file (type pdf) - - -Package pdftex.def Info: images/RC07ce-eps-converted-to.pdf used on input line -782. -(pdftex.def) Requested size: 189.10796pt x 340.27386pt. - -Underfull \hbox (badness 10000) in paragraph at lines 815--825 -[]\OT1/phv/m/n/10.95 Des m[]ethodes de si-mu-la-tion bas[]ees sur des strat[]eg -ies et des d[]elais - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 815--825 -\OT1/phv/m/n/10.95 g[]en[]er[]es al[]eatoirement ont d[]ej[]a []et[]e pr[]esent -[]ees [[], - [] - - -Underfull \hbox (badness 4792) in paragraph at lines 815--825 -[]\OT1/phv/m/n/10.95 ]. Ce-pen-dant, comme ces im-plan-ta-tions ne sont - [] - -) [18] [19 <./images/RC07ce-eps-converted-to.pdf>] [20] -Annexe A. -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <14.4> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 187. - -LaTeX Warning: Reference `th:Adrien' on page 21 undefined on input line 187. - -(./annexesccg.tex -Package hyperref Info: bookmark level for unknown lemma defaults to 0 on input -line 17. - - -LaTeX Warning: Reference `th:Adrien' on page 21 undefined on input line 63. - -[21 - -]) - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `math shift' on input line 190. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `subscript' on input line 190. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `math shift' on input line 190. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `math shift' on input line 190. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `math shift' on input line 190. - -(./annexecontinuite.tex) -Underfull \hbox (badness 4279) in paragraph at lines 46--192 -\OT1/phv/m/n/10.95 Pour conclure, pour tout $\OML/txmi/m/it/10.95 ^^O > \OT1/tx -r/m/n/10.95 0$\OT1/phv/m/n/10.95 , $\OMS/txsy/m/n/10.95 9 \OML/txmi/m/it/10.95 -T[] \OT1/txr/m/n/10.95 = [](\OML/txmi/m/it/10.95 t[]; t[]; t[]\OT1/txr/m/n/10.9 -5 ) \OMS/txsy/m/n/10.95 2 \U/txsyb/m/n/10.95 N[]\OMS/txsy/m/n/10.95 8\OML/txmi/ -m/it/10.95 t > - [] - -(./annexePromelaProof.tex [22] -Underfull \hbox (badness 10000) in paragraph at lines 52--58 -[]\OT1/phv/m/n/10.95 Let us show how to make the in-de-ter-mi-nism in-side the -two func-tions - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 52--58 -[]\OT1/txtt/m/n/10.95 fetch_values \OT1/phv/m/n/10.95 and []\OT1/txtt/m/n/10.95 - diffuse_values \OT1/phv/m/n/10.95 com-pliant with ([]2.2[]). The func-tion $\O -ML/txmi/m/it/10.95 M[]$ - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 52--58 -\OT1/phv/m/n/10.95 is ob-tai-ned by the suc-ces-sive up-dates of $\OML/txmi/m/i -t/10.95 M[]$ \OT1/phv/m/n/10.95 through the two func-tions - [] - - -Overfull \hbox (237.9212pt too wide) has occurred while \output is active -\OT1/phv/m/sl/10.95 A.3. PREUVE DE CORRECTION ET DE COMPL[]ETUDE DE L'APPROCHE - DE V[]ERIFICATION DE CONVERGENCE []A L'AIDE DE SPIN \OT1/phv/m/n/10.95 23 - [] - -[23] -Underfull \hbox (badness 10000) in paragraph at lines 82--86 -[][]\OT1/phv/b/n/10.95 Lemme $[]$ \OT1/phv/m/n/10.95 (Exis-tence of SPIN Exe-cu --tion)\OT1/phv/b/n/10.95 . []\OT1/phv/m/sl/10.95 For any se-quences $\OT1/txr/m -/n/10.95 (\OML/txmi/m/it/10.95 S[]\OT1/txr/m/n/10.95 )[]$\OT1/phv/m/sl/10.95 , - [] - - -Underfull \hbox (badness 4429) in paragraph at lines 118--123 -[]\OT1/phv/m/sl/10.95 Next, the first call to the func-tion []\OT1/txtt/m/n/10. -95 fetch_value \OT1/phv/m/sl/10.95 ei-ther as-si-gns the head of - [] - - -Underfull \hbox (badness 1874) in paragraph at lines 125--131 -[]\OT1/phv/m/sl/10.95 For the last item, let $\OML/txmi/m/it/10.95 k$\OT1/phv/m -/sl/10.95 , $\OT1/txr/m/n/10.95 0 \OMS/txsy/m/n/10.95 ^^T \OML/txmi/m/it/10.95 -k \OMS/txsy/m/n/10.95 ^^T \OML/txmi/m/it/10.95 n \OMS/txsy/m/n/10.95 ^^@ \OT1/t -xr/m/n/10.95 1$\OT1/phv/m/sl/10.95 . At the end of the first exe-cu-tion - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 125--131 -\OT1/phv/m/sl/10.95 of the []\OT1/txtt/m/n/10.95 update_elems \OT1/phv/m/sl/10. -95 pro-cess, the va-lue of []\OT1/txtt/m/n/10.95 Xp[k] \OT1/phv/m/sl/10.95 is - [] - - -Underfull \hbox (badness 5504) in paragraph at lines 125--131 -\OML/txmi/m/it/10.95 F\OT1/txr/m/n/10.95 ([]\OML/txmi/m/it/10.95 k[]; [] ; []k[ -]n \OMS/txsy/m/n/10.95 ^^@ \OT1/txr/m/n/10.95 1[])$\OT1/phv/m/sl/10.95 . Thus, -by de-fi-ni-tion of $\OML/txmi/m/it/10.95 Xd$\OT1/phv/m/sl/10.95 , it is equal -to - [] - - -Underfull \hbox (badness 5022) in paragraph at lines 154--164 -[]\OT1/phv/m/sl/10.95 if $[]\OT1/txr/m/n/10.95 (\OML/txmi/m/it/10.95 M[]\OT1/tx -r/m/n/10.95 ) = \OMS/txsy/m/n/10.95 f\OT1/txr/m/n/10.95 0\OMS/txsy/m/n/10.95 g$ - \OT1/phv/m/sl/10.95 and $\OMS/txsy/m/n/10.95 9\OML/txmi/m/it/10.95 k : k \OMS/ -txsy/m/n/10.95 ^^U \OML/txmi/m/it/10.95 l \OMS/txsy/m/n/10.95 ^ \OML/txmi/m/it/ -10.95 D[] \OT1/txr/m/n/10.95 = \OML/txmi/m/it/10.95 l$ \OT1/phv/m/sl/10.95 is e -s-ta-bli-shed then - [] - - -Underfull \hbox (badness 1917) in paragraph at lines 154--164 -\OML/txmi/m/it/10.95 M[]\OT1/txr/m/n/10.95 (0)$ \OT1/phv/m/sl/10.95 is $\OT1/tx -r/m/n/10.95 ([]\OML/txmi/m/it/10.95 ; l; c[]\OT1/txr/m/n/10.95 )$ \OT1/phv/m/sl -/10.95 that is ad-ded in the []\OT1/txtt/m/n/10.95 diffuse_values \OT1/phv/m/sl -/10.95 func-tion s.t. - [] - -[24] -Overfull \hbox (237.9212pt too wide) has occurred while \output is active -\OT1/phv/m/sl/10.95 A.3. PREUVE DE CORRECTION ET DE COMPL[]ETUDE DE L'APPROCHE - DE V[]ERIFICATION DE CONVERGENCE []A L'AIDE DE SPIN \OT1/phv/m/n/10.95 25 - [] - -[25]) [26] (./main.bbl) [27 - - -] [28 - -] (./main.lof) -\tf@lof=\write7 -\openout7 = `main.lof'. - - [29] [30 - -] (./main.lot) -\tf@lot=\write8 -\openout8 = `main.lot'. - - -showing upmdefinition -[31] [32 - -] (./main.loe) [33] [34 - -] [35] - -pdfTeX warning: pdflatex (file ./spimufchdr-backpage.pdf): PDF inclusion: found - PDF version <1.6>, but at most version <1.5> allowed - -File: spimufchdr-backpage.pdf Graphic file (type pdf) - - -Package pdftex.def Info: spimufchdr-backpage.pdf used on input line 204. -(pdftex.def) Requested size: 600.04684pt x 900.02122pt. -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <12> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 204. - - -Package glossaries Warning: \makeglossaries hasn't been used, -the glossaries will not be updated. - - -Package glossaries Warning: No \printglossary or \printglossaries found. -This document will not have a glossary. - -\tf@loe=\write9 -\openout9 = `main.loe'. - -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 204. -[36 - - <./spimufchdr-backpage.pdf>] -Package atveryend Info: Empty hook `AfterLastShipout' on input line 204. - (./main.aux) -Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 204. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 204. -Package rerunfilecheck Info: File `main.out' has not changed. -(rerunfilecheck) Checksum: 67DDDB32782B2C2F894DE32A335BCC37;2017. - - -LaTeX Warning: There were undefined references. - - -LaTeX Warning: There were multiply-defined labels. - -Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 204. - ) -Here is how much of TeX's memory you used: - 17062 strings out of 494999 - 255029 string characters out of 6180228 - 443742 words of memory out of 5000000 - 19402 multiletter control sequences out of 15000+600000 - 91438 words of font info for 182 fonts, out of 8000000 for 9000 - 14 hyphenation exceptions out of 8191 - 65i,15n,41p,1710b,1399s stack positions out of 5000i,500n,10000p,200000b,80000s -pdfTeX warning (dest): name{cite.BCVC10\\penalty\040\\@M\040\040:ir} has been - referenced but does not exist, replaced by a fixed one - -pdfTeX warning (dest): name{glo:partieentiere} has been referenced but does not - exist, replaced by a fixed one - -pdfTeX warning (dest): name{glo:distanceHamming} has been referenced but does n -ot exist, replaced by a fixed one - -{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} -Output written on main.pdf (42 pages, 1729613 bytes). -PDF statistics: - 950 PDF objects out of 1000 (max. 8388607) - 827 compressed objects within 9 object streams - 336 named destinations out of 1000 (max. 500000) - 253 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/main.lot b/main.lot deleted file mode 100644 index ed66e55..0000000 --- a/main.lot +++ /dev/null @@ -1,5 +0,0 @@ -\select@language {french} -\addvspace {10\p@ } -\addvspace {10\p@ } -\addvspace {10\p@ } -\addvspace {10\p@ } diff --git a/main.out b/main.out deleted file mode 100644 index 79917a5..0000000 --- a/main.out +++ /dev/null @@ -1,24 +0,0 @@ -\BOOKMARK [-1][]{part.1}{I Syst\350me Bool\351ens}{}% 1 -\BOOKMARK [0][]{chapter.1}{1 Iterations discr\350tes de Syst\350mes Dynamiques bool\351ens}{part.1}% 2 -\BOOKMARK [1][]{section.1.1}{1.1 Syst\350me dynamique bool\351en}{chapter.1}% 3 -\BOOKMARK [1][]{section.1.2}{1.2 Graphe d'it\351rations}{chapter.1}% 4 -\BOOKMARK [1][]{section.1.3}{1.3 Graphe d'interactions}{chapter.1}% 5 -\BOOKMARK [1][]{section.1.4}{1.4 Distance sur l'espace "487E912 1;n"587F913 NBn}{chapter.1}% 6 -\BOOKMARK [0][]{chapter.2}{2 Combinaisons Synchrones et Asynchrones de Syst\350mes Bool\351ens}{part.1}% 7 -\BOOKMARK [1][]{section.2.1}{2.1 G\351n\351ralisation au cadre asynchrone}{chapter.2}% 8 -\BOOKMARK [1][]{section.2.2}{2.2 Exemple jouet}{chapter.2}% 9 -\BOOKMARK [0][]{chapter.3}{3 Preuve de convergence de syst\350mes bool\351ens}{part.1}% 10 -\BOOKMARK [1][]{section.3.1}{3.1 Exemple jouet}{chapter.3}% 11 -\BOOKMARK [1][]{section.3.2}{3.2 Rappels sur le langage PROMELA}{chapter.3}% 12 -\BOOKMARK [1][]{section.3.3}{3.3 Du syst\350me bool\351en au mod\350le PROMELA}{chapter.3}% 13 -\BOOKMARK [2][]{subsection.3.3.1}{3.3.1 La strat\351gie}{section.3.3}% 14 -\BOOKMARK [2][]{subsection.3.3.2}{3.3.2 It\351rer la fonction f}{section.3.3}% 15 -\BOOKMARK [2][]{subsection.3.3.3}{3.3.3 Gestion des d\351lais}{section.3.3}% 16 -\BOOKMARK [2][]{subsection.3.3.4}{3.3.4 Propri\351t\351 de convergence universelle}{section.3.3}% 17 -\BOOKMARK [1][]{section.3.4}{3.4 Correction et compl\351tude de la d\351marche}{chapter.3}% 18 -\BOOKMARK [1][]{section.3.5}{3.5 Donn\351es pratiques}{chapter.3}% 19 -\BOOKMARK [1][]{section.3.6}{3.6 Conclusion}{chapter.3}% 20 -\BOOKMARK [0][]{appendix.A}{A Preuves sur les SDD}{part.1}% 21 -\BOOKMARK [1][]{section.A.1}{A.1 Preuve du th\351or\350me ??}{appendix.A}% 22 -\BOOKMARK [1][]{section.A.2}{A.2 Preuve de continuit\351 de Gf dans \(X,d\)}{appendix.A}% 23 -\BOOKMARK [1][]{section.A.3}{A.3 Preuve de Correction et de compl\351tude de l'approche de v\351rification de convergence \340 l'aide de SPIN}{appendix.A}% 24 diff --git a/mixage.tex~ b/mixage.tex~ deleted file mode 100644 index e69de29..0000000