partage/tpIFT7020
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

correction mineures rapport

Browse source
This commit is contained in:
François Pelletier 2018-02-04 00:50:04 -05:00
parent 789bc73cd4
commit 85bf8c0ca3
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
tp/question2.tex
View file

@ -24,7 +24,7 @@ On définit aussi ces constantes pour simplifier les calculs.
\begin{itemize}
\item $MAX_{PERIODE} = MAX_H-MIN_{PERIODE}-1$ = Nombre minimal de période dans le bloc de travail précédant et suivant la pause
\item $MAX_{PERIODE_REPOS} = MAX_{PERIODE}-MIN_H-1$ = Nombre minimal de période dans le bloc de repos débutant ou terminant la journée
\item $MAX_{PERIODE\_REPOS} = MAX_{PERIODE}-MIN_H-1$ = Nombre minimal de période dans le bloc de repos débutant ou terminant la journée
\end{itemize}
\subsection{Variables}
@ -58,17 +58,17 @@ La contrainte du nombre d'employés requis s'énonce comme suit: pour chaque pé
\subsubsection{Motif de la journée de travail}
\label{sec:q2automatefini}
Afin de représenter le motif correspondant à une journée de travail alternant les périodes de travail et celles de repos, on utilisera une contrainte \texttt{REGULAR} qui est paramétrée par un automate fini, c'est à dire une chaîne de caractère formant une expression régulière qui valide plusieurs contraintes définies par l'énoncé du problème.
Afin de représenter le motif correspondant à une journée de travail alternant les périodes de travail et celles de repos, on utilisera une contrainte de type \texttt{REGULAR} qui est paramétrée par un automate fini, c'est à dire une chaîne de caractère formant une expression régulière qui valide plusieurs contraintes définies par l'énoncé du problème.
Dans Choco 4, la contrainte \texttt{model.regular} prend en paramètre une séquence de variables entières à valider, et un automate fini défini par la classe \texttt{FiniteAutomaton}. Pour construire une instance de cette classe, on doit construire l'expression régulière en n'utilisant que des nombres comme valeurs. Comme nous avons choisi de représenter les différents états d'un employé par une variable boolenne, cette condition est satisfaite.
Voici comment nous avons construit l'expression:
\begin{itemize}
\item On débute par 0 ou plusieurs périodes de repos, allant jusqu'à $MAX_{PERIODE_REPOS}$
\item On débute par 0 ou plusieurs périodes de repos, allant jusqu'à $MAX_{PERIODE\_REPOS}$
\item On a ensuite une période de travail d'au moins $MIN_{PERIODE}$ et au plus $MAX_{PERIODE}$
\item On a ensuite une pause
\item On a ensuite une pause d'une durée d'une période
\item On a ensuite une période de travail d'au moins $MIN_{PERIODE}$ et au plus $MAX_{PERIODE}$
\item On termine par 0 ou plusieurs périodes de repos, allant jusqu'à $MAX_{PERIODE_REPOS}$
\item On termine par 0 ou plusieurs périodes de repos, allant jusqu'à $MAX_{PERIODE\_REPOS}$
\end{itemize}
\subsection{Paramètres}