From 522cad8831bf06aa858ebb0ec5083bf4599e5f62 Mon Sep 17 00:00:00 2001 From: charlie Date: Wed, 27 Jan 2016 15:00:26 +0100 Subject: [PATCH] modellen terug gehaalt en kromme zinnen aangepast --- a4/models.tex | 320 ++++++++++++------------ a4/question2.tex | 46 ++-- a4/question3.tex | 2 +- a4/tcp/results/van_learnlib_naar_dot.py | 0 4 files changed, 184 insertions(+), 184 deletions(-) mode change 100755 => 100644 a4/tcp/results/van_learnlib_naar_dot.py diff --git a/a4/models.tex b/a4/models.tex index aa8049d..c06b967 100644 --- a/a4/models.tex +++ b/a4/models.tex @@ -1,160 +1,160 @@ -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.LStar.rand.eps} -% \vspace{5mm} -% \caption{small alphabet, LStar, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.TTT.rand.eps} -% \vspace{5mm} -% \caption{small alphabet, TTT, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.RS.rand.eps} -% \vspace{5mm} -% \caption{small alphabet, RivestSchapire, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.KV.rand.eps} -% \vspace{5mm} -% \caption{small alphabet, KearnsVazirani, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.LStar.wm.eps} -% \vspace{5mm} -% \caption{small alphabet, LStar, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.TTT.wm.eps} -% \vspace{5mm} -% \caption{small alphabet, TTT, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.RS.wm.eps} -% \vspace{5mm} -% \caption{small alphabet, RivestSchapire, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.KV.wm.eps} -% \vspace{5mm} -% \caption{small alphabet, KearnsVazirani, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.partial.LStar.rand.eps} -% \vspace{5mm} -% \caption{partial alphabet, LStar, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.partial.TTT.rand.eps} -% \vspace{5mm} -% \caption{partial alphabet, TTT, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.partial.RS.rand.eps} -% \vspace{5mm} -% \caption{partial alphabet, RivestSchapire, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.partial.KV.rand.eps} -% \vspace{5mm} -% \caption{partial alphabet, KearnsVazirani, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.partial.LStar.wm.eps} -% \vspace{5mm} -% \caption{partial alphabet, LStar, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.partial.TTT.wm.eps} -% \vspace{5mm} -% \caption{partial alphabet, TTT, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.partial.RS.wm.eps} -% \vspace{5mm} -% \caption{partial alphabet, RivestSchapire, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.partial.KV.wm.eps} -% \vspace{5mm} -% \caption{partial alphabet, KearnsVazirani, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=\textwidth]{model.full.LStar.rand.eps} -% \vspace{5mm} -% \caption{full alphabet, LStar, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=\textwidth]{model.full.TTT.rand.eps} -% \vspace{5mm} -% \caption{full alphabet, TTT, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=\textwidth]{model.full.RS.rand.eps} -% \vspace{5mm} -% \caption{full alphabet, RivestSchapire, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=\textwidth]{model.full.KV.rand.eps} -% \vspace{5mm} -% \caption{full alphabet, KearnsVazirani, Random} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=\textwidth]{model.full.LStar.wm.eps} -% \vspace{5mm} -% \caption{full alphabet, LStar, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=\textwidth]{model.full.TTT.wm.eps} -% \vspace{5mm} -% \caption{full alphabet, TTT, WMethod} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=\textwidth]{model.full.RS.wm.eps} -% \vspace{5mm} -% \caption{full alphabet, RivestSchapire, WMethod} -%\end{figure} +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.LStar.rand.eps} + \vspace{5mm} + \caption{small alphabet, LStar, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.TTT.rand.eps} + \vspace{5mm} + \caption{small alphabet, TTT, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.RS.rand.eps} + \vspace{5mm} + \caption{small alphabet, RivestSchapire, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.KV.rand.eps} + \vspace{5mm} + \caption{small alphabet, KearnsVazirani, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.LStar.wm.eps} + \vspace{5mm} + \caption{small alphabet, LStar, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.TTT.wm.eps} + \vspace{5mm} + \caption{small alphabet, TTT, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.RS.wm.eps} + \vspace{5mm} + \caption{small alphabet, RivestSchapire, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.KV.wm.eps} + \vspace{5mm} + \caption{small alphabet, KearnsVazirani, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.partial.LStar.rand.eps} + \vspace{5mm} + \caption{partial alphabet, LStar, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.partial.TTT.rand.eps} + \vspace{5mm} + \caption{partial alphabet, TTT, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.partial.RS.rand.eps} + \vspace{5mm} + \caption{partial alphabet, RivestSchapire, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.partial.KV.rand.eps} + \vspace{5mm} + \caption{partial alphabet, KearnsVazirani, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.partial.LStar.wm.eps} + \vspace{5mm} + \caption{partial alphabet, LStar, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.partial.TTT.wm.eps} + \vspace{5mm} + \caption{partial alphabet, TTT, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.partial.RS.wm.eps} + \vspace{5mm} + \caption{partial alphabet, RivestSchapire, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.partial.KV.wm.eps} + \vspace{5mm} + \caption{partial alphabet, KearnsVazirani, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=\textwidth]{model.full.LStar.rand.eps} + \vspace{5mm} + \caption{full alphabet, LStar, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=\textwidth]{model.full.TTT.rand.eps} + \vspace{5mm} + \caption{full alphabet, TTT, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=\textwidth]{model.full.RS.rand.eps} + \vspace{5mm} + \caption{full alphabet, RivestSchapire, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=\textwidth]{model.full.KV.rand.eps} + \vspace{5mm} + \caption{full alphabet, KearnsVazirani, Random} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=\textwidth]{model.full.LStar.wm.eps} + \vspace{5mm} + \caption{full alphabet, LStar, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=\textwidth]{model.full.TTT.wm.eps} + \vspace{5mm} + \caption{full alphabet, TTT, WMethod} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=\textwidth]{model.full.RS.wm.eps} + \vspace{5mm} + \caption{full alphabet, RivestSchapire, WMethod} +\end{figure} diff --git a/a4/question2.tex b/a4/question2.tex index cf879c0..6d74c08 100644 --- a/a4/question2.tex +++ b/a4/question2.tex @@ -2,8 +2,8 @@ In order to be allow learnlib to learn the TCP model it was necessary to have a deterministic model. We accomplished this by modifying the adapter so it can reach a \texttt{ERROR} or \texttt{CLOSED} state. In these states all inputs are discarded and a default output is returned. In the case of a state where an -input results in a non-deterministic output we jump to the \texttt{ERROR} state -for additional this given input. When the connection is successfully closed +input results in a non-deterministic output we jump to the \texttt{ERROR} which will give the \emph{ERR} output for any input. +When the connection is successfully closed using a \texttt{FIN} packet we move the adapter to the \texttt{CLOSED} state. We divided the input alphabet into three sets, this way we can control the size @@ -29,24 +29,24 @@ input alphabets will influence the size of the model produced. \emph{small} will result in a 2 state model, \emph{partial} will be the full model without the \texttt{CLOSED} state and \emph{full} should result in the full model as used in the previous assignment. -% -%\begin{figure}[H] -% \centering -% \includegraphics[scale=0.75]{model.small.LStar.rand.eps} -% \vspace{5mm} -% \caption{Model learned with small input alphabet} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=\textwidth]{model.partial.LStar.rand.eps} -% \vspace{5mm} -% \caption{Model learned with partial input alphabet} -%\end{figure} -% -%\begin{figure}[H] -% \centering -% \includegraphics[width=1.2\textwidth]{model.full.LStar.rand.eps} -% \vspace{5mm} -% \caption{Model learned with full input alphabet} -%\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.75]{model.small.LStar.rand.eps} + \vspace{5mm} + \caption{Model learned with small input alphabet} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=\textwidth]{model.partial.LStar.rand.eps} + \vspace{5mm} + \caption{Model learned with partial input alphabet} +\end{figure} + +\begin{figure}[H] + \centering + \includegraphics[width=1.2\textwidth]{model.full.LStar.rand.eps} + \vspace{5mm} + \caption{Model learned with full input alphabet} +\end{figure} diff --git a/a4/question3.tex b/a4/question3.tex index d5a1a13..2902e96 100644 --- a/a4/question3.tex +++ b/a4/question3.tex @@ -1,6 +1,6 @@ The table below contains some statistics about all the different parameter configurations we ran learnlib with. The \emph{RivestSchapire} learner using -the Random test method resulted in an incorrect model being learned. When the +the Random test method resulted in an incorrect model being learned. The \emph{KearnsVazirani} learner using the WMethod tester wasn't able to learn a model, this is due the learner hitting a non-deterministic path. This problem hasn't anything to do with the actual learner and is the result of a diff --git a/a4/tcp/results/van_learnlib_naar_dot.py b/a4/tcp/results/van_learnlib_naar_dot.py old mode 100755 new mode 100644 -- 2.20.1