Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add new figures for the incremental techniques

Browse Source
This commit is contained in:
Jip J. Dekker 2021-07-15 15:29:13 +10:00
parent 19e5e976a9
commit ee7d13ab53
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
3 changed files with 9 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
assets/img/inc_cmp_lex.pdf Normal file
View File

Binary file not shown.

BIN
assets/img/inc_cmp_lns.pdf Normal file
View File

Binary file not shown.

25
chapters/5_incremental.tex
View File

@ -566,15 +566,6 @@ We implemented both approaches using the \nanozinc\ prototype, with the results
The incremental \nanozinc\ translation shows a 12x speedup compared to re-compiling the model from scratch in each iteration. The incremental \nanozinc\ translation shows a 12x speedup compared to re-compiling the model from scratch in each iteration.
For this particular problem, incrementally instructing the target solver (\gls{gecode}) does not lead to a significant reduction in runtime. For this particular problem, incrementally instructing the target solver (\gls{gecode}) does not lead to a significant reduction in runtime.
\begin{figure}
\centering
\includegraphics[width=0.5\columnwidth]{assets/img/6_gbac}
\caption{\label{fig:6-gbac}A run-time performance comparison between incremental processing (Incr.)
and re-evaluation (Redo) of 5 GBAC \minizinc\ instances in the application of \gls{lns} on a 3.4 GHz Quad-Core Intel Core i5 using the Gecode 6.1.2 solver.
Each run consisted of 2500 iterations of applying neighbourhood predicates.
Reported times are averages of 10 runs.}
\end{figure}
\paragraph{Radiation} Our second experiment is based on a problem of planning cancer radiation therapy treatment using multi-leaf collimators \autocite{baatar-2011-radiation}. \paragraph{Radiation} Our second experiment is based on a problem of planning cancer radiation therapy treatment using multi-leaf collimators \autocite{baatar-2011-radiation}.
Two characteristics mark the quality of a solution: the amount of time the patient is exposed to radiation, and the number of ``shots'' or different angles the treatment requires. Two characteristics mark the quality of a solution: the amount of time the patient is exposed to radiation, and the number of ``shots'' or different angles the treatment requires.
However, the first characteristic is considered more important than the second. However, the first characteristic is considered more important than the second.
@ -592,13 +583,15 @@ Given two variables \mzninline{exposure} and \mzninline{shots}, once we have fou
Since each added lexicographic constraint is strictly stronger than the previous one, we never have to retract previous constraints. Since each added lexicographic constraint is strictly stronger than the previous one, we never have to retract previous constraints.
\begin{figure} \begin{figure}
\centering \begin{subfigure}[b]{0.5\linewidth}
\includegraphics[width=0.5\columnwidth]{assets/img/6_radiation} \includegraphics[width=\columnwidth]{assets/img/inc_cmp_lex.pdf}
\caption{\label{fig:6-radiation}A run-time performance comparison between \caption{\label{subfig:inc-cmp-lex}Radiation}
incremental processing (Incr.) and re-evaluation (Redo) of 9 Radiation \end{subfigure}
\minizinc\ instances in the application of Lexicographic objectives on a 3.4 \begin{subfigure}[b]{0.5\linewidth}
GHz Quad-Core Intel Core i5 using the \gls{gecode} 6.1.2 solver. Each test was run \includegraphics[width=\columnwidth]{assets/img/inc_cmp_lns.pdf}
to optimality and was conducted 20 times to provide an average.} \caption{\label{subfig:inc-cmp-lns}GBAC}
\end{subfigure}
\caption{\label{fig:inc-cmp} A comparison of the two new incremental techniques and a recompilation strategy.}
\end{figure} \end{figure}
As shown in \cref{fig:6-radiation}, the incremental processing of the added \mzninline{lex_less} calls is a clear improvement over the re-evaluation of the whole model. As shown in \cref{fig:6-radiation}, the incremental processing of the added \mzninline{lex_less} calls is a clear improvement over the re-evaluation of the whole model.