joshua/phd-thesis
Archived
1
Fork 0
Code Activity

Grey colours

Browse source
This commit is contained in:
Joshua Moerman 2019-05-24 13:00:02 +02:00
parent 10097dbc90
commit 1a2e988bdf
10 changed files with 50 additions and 35 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
content.tex
View file

@ -11,7 +11,14 @@
\component content-other/acknowledgements \component content-other/acknowledgements
\setupwhitespace[none] \setupwhitespace[none]
\startmode[zwartwit]
\setupinteraction[focus=standard, color=black, contrastcolor=black, style=normal]
\stopmode
\completecontent[criterium=all] \completecontent[criterium=all]
\startmode[zwartwit]
\setupinteraction[focus=standard, color=darkgray, contrastcolor=darkgray, style=normal]
\stopmode
\page[empty]\page[empty]
\stopfrontmatter \stopfrontmatter

8
content/applying-automata-learning.tex
View file

@ -160,8 +160,8 @@ Other products can be connected to an engine that pre- or postprocess the paper,
(eia) edge[conn] (c); (eia) edge[conn] (c);
\startscope[on background layer] \startscope[on background layer]
\node (es) [rounded corners, fit=(eia) (m) (f) (os), inner sep=11pt, fill=black!10] {}; \node (es) [rounded corners, fit=(eia) (m) (f) (os), inner sep=11pt, fill=lgrijs] {};
\node at (es.north) [rounded corners, fill=black!10] {Engine Software}; \node at (es.north) [rounded corners, fill=lgrijs] {Engine Software};
\stopscope \stopscope
\stoptikzpicture} \stoptikzpicture}
\stopplacefigure \stopplacefigure
@ -206,7 +206,7 @@ Finally, it handles status transitions when an error occurs.
\node (acm) [comp, right of=ehm] {Action Control Manager}; \node (acm) [comp, right of=ehm] {Action Control Manager};
\node (oc) [coms, right of=acm] {Other Client}; \node (oc) [coms, right of=acm] {Other Client};
\node (tc) [comp, below of=ehm] {Top Capsule}; \node (tc) [comp, below of=ehm] {Top Capsule};
\node (esm) [comp, below of=acm, fill=black!10] {Engine Status Manager}; \node (esm) [comp, below of=acm, fill=lgrijs] {Engine Status Manager};
\node (im) [comp, below of=oc] {Information Manager}; \node (im) [comp, below of=oc] {Information Manager};
\node (fn) [coms, below of=esm] {Function}; \node (fn) [coms, below of=esm] {Function};
@ -268,7 +268,7 @@ These messages are placed in a queue to be processed later.
reference=fig:esm-states] reference=fig:esm-states]
\hbox{\switchtobodyfont[small]\starttikzpicture \hbox{\switchtobodyfont[small]\starttikzpicture
[comp/.style={draw, rounded corners, minimum width=1.7cm, minimum height=0.6cm, inner sep=2pt}, [comp/.style={draw, rounded corners, minimum width=1.7cm, minimum height=0.6cm, inner sep=2pt},
grco/.style={comp, fill=black!10}, grco/.style={comp, fill=lgrijs},
conn/.style={->, shorten >=1pt}, conn/.style={->, shorten >=1pt},
dot/.style={fill, circle}, dot/.style={fill, circle},
x=1.4cm, y=-0.45cm] x=1.4cm, y=-0.45cm]

4
content/introduction.tex
View file

@ -288,7 +288,7 @@ In this example, a test suite should include sequences such as \playstop\,\spin\
(tr) edge [bend right] node [above] {\spin} (tl) (tr) edge [bend right] node [above] {\spin} (tl)
(tr) edge [bend right] node [left] {\playstop} (br) (tr) edge [bend right] node [left] {\playstop} (br)
(br) edge [bend right] node [right] {\playstop} (tr) (br) edge [bend right] node [right] {\playstop} (tr)
(br) edge [loop below, color=red] node [above] {\spin} (br); (br) edge [loop below, color=darkred] node [above] {\spin} (br);
\stoptikzpicture}}{(a)} \stoptikzpicture}}{(a)}
{\hbox{\starttikzpicture[node distance=3cm, bend angle=10] {\hbox{\starttikzpicture[node distance=3cm, bend angle=10]
\node[state, initial above, align=center] (tl) {slow\\spinning}; \node[state, initial above, align=center] (tl) {slow\\spinning};
@ -302,7 +302,7 @@ In this example, a test suite should include sequences such as \playstop\,\spin\
(bl) edge [bend right] node [right] {\playstop} (tl) (bl) edge [bend right] node [right] {\playstop} (tl)
(bl) edge [bend right] node [below] {\spin} (br) (bl) edge [bend right] node [below] {\spin} (br)
(tr) edge [bend right] node [above] {\spin} (tl) (tr) edge [bend right] node [above] {\spin} (tl)
(tr) edge [color=red] node [below right] {\playstop} (bl) (tr) edge [color=darkred] node [below right] {\playstop} (bl)
(br) edge [bend right] node [right] {\playstop} (tr) (br) edge [bend right] node [right] {\playstop} (tr)
(br) edge [bend right] node [above] {\spin} (bl); (br) edge [bend right] node [above] {\spin} (bl);
\stoptikzpicture}}{(b)} \stoptikzpicture}}{(b)}

6
content/learning-nominal-automata.tex
View file

@ -109,9 +109,9 @@ As an example, and to set notation, consider the following table (over the alpha
\draw[decorate, decoration=brace] (tab-1-2.north) -- node[above]{$E$} (tab-1-4.north) ; \draw[decorate, decoration=brace] (tab-1-2.north) -- node[above]{$E$} (tab-1-4.north) ;
\draw[decorate, decoration=brace] (tab-4-1.west) -- node[left]{$S \cup S \Lext A$} (tab-2-1.west); \draw[decorate, decoration=brace] (tab-4-1.west) -- node[left]{$S \cup S \Lext A$} (tab-2-1.west);
\node[fit=(tab-2-2)(tab-2-3)(tab-2-4), dotted, draw, inner sep=-2pt] (r1) {}; \node[fit=(tab-2-2)(tab-2-3)(tab-2-4), dashed, draw, inner sep=-2pt] (r1) {};
\node[fit=(tab-3-2)(tab-3-3)(tab-3-4), dotted, draw, inner sep=-2pt] (r2) {}; \node[fit=(tab-3-2)(tab-3-3)(tab-3-4), dashed, draw, inner sep=-2pt] (r2) {};
\node[fit=(tab-4-2)(tab-4-3)(tab-4-4), dotted, draw, inner sep=-2pt] (r3) {}; \node[fit=(tab-4-2)(tab-4-3)(tab-4-4), dashed, draw, inner sep=-2pt] (r3) {};
\node[right=1cm of tab](row){$row \colon S \cup S \Lext A \to 2^E$}; \node[right=1cm of tab](row){$row \colon S \cup S \Lext A \to 2^E$};
\node[below=0em of row](rowd){$row(u)(v) = 1 \iff uv \in \lang$}; \node[below=0em of row](rowd){$row(u)(v) = 1 \iff uv \in \lang$};

6
content/minimal-separating-sequences.tex
View file

@ -671,15 +671,15 @@ We note that different slopes imply different complexity classes, since both axe
\startcombination[2*1] \startcombination[2*1]
{\starttikzpicture {\starttikzpicture
\startloglogaxis[width=0.5\textwidth, xtick={500, 1000, 2000, 3000}, xticklabels={$500$, $1000$, $2000$, $3000$}] \startloglogaxis[width=0.5\textwidth, xtick={500, 1000, 2000, 3000}, xticklabels={$500$, $1000$, $2000$, $3000$}]
\addplot[color=darkgray] table[x=states, y=Moore] {esm.table}; \addplot[color=grijs] table[x=states, y=Moore] {esm.table};
\addplot[color=black] table[x=states, y=Hopcroft] {esm.table}; \addplot[color=black] table[x=states, y=Hopcroft] {esm.table};
\stoploglogaxis \stoploglogaxis
\stoptikzpicture} {(a) Embedded control software.} \stoptikzpicture} {(a) Embedded control software.}
{\starttikzpicture {\starttikzpicture
\startloglogaxis[width=0.5\textwidth, xtick={4, 64, 2048, 32768}, xticklabels={$2^2$, $2^6$, $2^{11}$, $2^{15}$}] \startloglogaxis[width=0.5\textwidth, xtick={4, 64, 2048, 32768}, xticklabels={$2^2$, $2^6$, $2^{11}$, $2^{15}$}]
\addplot[color=darkgray, dashed] table[x=states, y=Moore] {hopcroft_b.table}; \addplot[color=grijs, dashed] table[x=states, y=Moore] {hopcroft_b.table};
\addplot[color=black, dashed] table[x=states, y=Hopcroft] {hopcroft_b.table}; \addplot[color=black, dashed] table[x=states, y=Hopcroft] {hopcroft_b.table};
\addplot[color=darkgray] table[x=states, y=Moore] {hopcroft_a.table}; \addplot[color=grijs] table[x=states, y=Moore] {hopcroft_a.table};
\addplot[color=black] table[x=states, y=Hopcroft] {hopcroft_a.table}; \addplot[color=black] table[x=states, y=Hopcroft] {hopcroft_a.table};
\stoploglogaxis \stoploglogaxis
\stoptikzpicture} {(b) Class $A$ (dashed) and class $B$ (solid).} \stoptikzpicture} {(b) Class $A$ (dashed) and class $B$ (solid).}

34
content/ordered-nominal-sets.tex
View file

@ -723,27 +723,27 @@ This in contrast to both \LOIS{} and \NLambda{}, which take more than $2$ hours
list={Running times for minimisation.}, list={Running times for minimisation.},
reference=minimize_results] reference=minimize_results]
\starttabulate[|l|c|c|cg{.}|cg{.}|cg{.}|cg{.}|][distance=none] \starttabulate[|l|c|c|cg{.}|cg{.}|cg{.}|cg{.}|][distance=none]
\NC Type \NC $\Nsize(S)$ \NC $\Nsize(S^{\text{min}})$ \VL \ONS{} (s) \NC \color[darkgray]{Gen (s)} \VL \NLambda{} (s) \VL \LOIS{} (s) \NC\NR \NC Type \NC $\Nsize(S)$ \NC $\Nsize(S^{\text{min}})$ \VL \ONS{} (s) \NC \color[grijs]{Gen (s)} \VL \NLambda{} (s) \VL \LOIS{} (s) \NC\NR
\HL \HL
\NC rand$_{5,1}$ (x10) \NC 5 \NC n/a \VL 0.02 \NC \color[darkgray]{n/a} \VL 0.82 \VL 3.14 \NC\NR \NC rand$_{5,1}$ (x10) \NC 5 \NC n/a \VL 0.02 \NC \color[grijs]{n/a} \VL 0.82 \VL 3.14 \NC\NR
\NC rand$_{10,1}$ (x10) \NC 10 \NC n/a \VL 0.03 \NC \color[darkgray]{n/a} \VL 17.03 \VL 92 \NC\NR \NC rand$_{10,1}$ (x10) \NC 10 \NC n/a \VL 0.03 \NC \color[grijs]{n/a} \VL 17.03 \VL 92 \NC\NR
\NC rand$_{10,2}$ (x10) \NC 10 \NC n/a \VL 0.09 \NC \color[darkgray]{n/a} \VL 2114 \VL $\infty$ \NC\NR \NC rand$_{10,2}$ (x10) \NC 10 \NC n/a \VL 0.09 \NC \color[grijs]{n/a} \VL 2114 \VL $\infty$ \NC\NR
\NC rand$_{15,1}$ (x10) \NC 15 \NC n/a \VL 0.04 \NC \color[darkgray]{n/a} \VL 87 \VL 620 \NC\NR \NC rand$_{15,1}$ (x10) \NC 15 \NC n/a \VL 0.04 \NC \color[grijs]{n/a} \VL 87 \VL 620 \NC\NR
\NC rand$_{15,2}$ (x10) \NC 15 \NC n/a \VL 0.11 \NC \color[darkgray]{n/a} \VL 3346 \VL $\infty$ \NC\NR \NC rand$_{15,2}$ (x10) \NC 15 \NC n/a \VL 0.11 \NC \color[grijs]{n/a} \VL 3346 \VL $\infty$ \NC\NR
\NC rand$_{15,3}$ (x10) \NC 15 \NC n/a \VL 0.46 \NC \color[darkgray]{n/a} \VL $\infty$ \VL $\infty$ \NC\NR \NC rand$_{15,3}$ (x10) \NC 15 \NC n/a \VL 0.46 \NC \color[grijs]{n/a} \VL $\infty$ \VL $\infty$ \NC\NR
\HL \HL
\NC FIFO($2$) \NC 13 \NC 6 \VL 0.01 \NC \color[darkgray]{0.01} \VL 1.37 \VL 0.24 \NC\NR \NC FIFO($2$) \NC 13 \NC 6 \VL 0.01 \NC \color[grijs]{0.01} \VL 1.37 \VL 0.24 \NC\NR
\NC FIFO($3$) \NC 65 \NC 19 \VL 0.38 \NC \color[darkgray]{0.09} \VL 11.59 \VL 2.4 \NC\NR \NC FIFO($3$) \NC 65 \NC 19 \VL 0.38 \NC \color[grijs]{0.09} \VL 11.59 \VL 2.4 \NC\NR
\NC FIFO($4$) \NC 440 \NC 94 \VL 39.11 \NC \color[darkgray]{1.60} \VL 76 \VL 14.95 \NC\NR \NC FIFO($4$) \NC 440 \NC 94 \VL 39.11 \NC \color[grijs]{1.60} \VL 76 \VL 14.95 \NC\NR
\NC FIFO($5$) \NC 3686 \NC 635 \VL $\infty$ \NC \color[darkgray]{39.78} \VL 402 \VL 71 \NC\NR \NC FIFO($5$) \NC 3686 \NC 635 \VL $\infty$ \NC \color[grijs]{39.78} \VL 402 \VL 71 \NC\NR
\HL \HL
\NC $ww(2)$ \NC 8 \NC 8 \VL 0.00 \NC \color[darkgray]{0.00} \VL 0.14 \VL 0.03 \NC\NR \NC $ww(2)$ \NC 8 \NC 8 \VL 0.00 \NC \color[grijs]{0.00} \VL 0.14 \VL 0.03 \NC\NR
\NC $ww(3)$ \NC 24 \NC 24 \VL 0.19 \NC \color[darkgray]{0.02} \VL 0.88 \VL 0.16 \NC\NR \NC $ww(3)$ \NC 24 \NC 24 \VL 0.19 \NC \color[grijs]{0.02} \VL 0.88 \VL 0.16 \NC\NR
\NC $ww(4)$ \NC 112 \NC 112 \VL 26.44 \NC \color[darkgray]{0.25} \VL 3.41 \VL 0.61 \NC\NR \NC $ww(4)$ \NC 112 \NC 112 \VL 26.44 \NC \color[grijs]{0.25} \VL 3.41 \VL 0.61 \NC\NR
\NC $ww(5)$ \NC 728 \NC 728 \VL $\infty$ \NC \color[darkgray]{6.37} \VL 10.54 \VL 1.80 \NC\NR \NC $ww(5)$ \NC 728 \NC 728 \VL $\infty$ \NC \color[grijs]{6.37} \VL 10.54 \VL 1.80 \NC\NR
\HL \HL
\NC $\Lmax$ \NC 5 \NC 3 \VL 0.00 \NC \color[darkgray]{0.00} \VL 2.06 \VL 0.03 \NC\NR \NC $\Lmax$ \NC 5 \NC 3 \VL 0.00 \NC \color[grijs]{0.00} \VL 2.06 \VL 0.03 \NC\NR
\NC $\Lint$ \NC 5 \NC 5 \VL 0.00 \NC \color[darkgray]{0.00} \VL 1.55 \VL 0.03 \NC\NR \NC $\Lint$ \NC 5 \NC 5 \VL 0.00 \NC \color[grijs]{0.00} \VL 1.55 \VL 0.03 \NC\NR
\stoptabulate \stoptabulate
\stopplacetable \stopplacetable

4
content/test-methods.tex
View file

@ -677,7 +677,7 @@ The transition cover is simply constructed by extending each access sequence wit
(0) edge [bend right] node [below] {${b}/0$} (4) (0) edge [bend right] node [below] {${b}/0$} (4)
(1) edge node [left ] {${a}/0$} (2) (1) edge node [left ] {${a}/0$} (2)
(4) edge [bend left] node [right] {${a}/1$} (3); (4) edge [bend left] node [right] {${a}/1$} (3);
\path[trans, color=gray] \path[trans, color=grijs]
(0) edge [loop below] node [below] {${c}/0$} (0) (0) edge [loop below] node [below] {${c}/0$} (0)
(1) edge [bend left] node [above] {${b}/0$, ${c}/0$} (0) (1) edge [bend left] node [above] {${b}/0$, ${c}/0$} (0)
(2) edge [bend right] node [below] {${b}/0$, ${c}/0$} (0) (2) edge [bend right] node [below] {${b}/0$, ${c}/0$} (0)
@ -763,7 +763,7 @@ The UIO-method and ADS-method are not applicable in this example because state $
(0) edge [loop below] node [below] {$c/0$} (0) (0) edge [loop below] node [below] {$c/0$} (0)
(1) edge node [left ] {$a/0$} (2) (1) edge node [left ] {$a/0$} (2)
(1) edge [bend left] node [above] {$b/0$, $c/0$} (0) (1) edge [bend left] node [above] {$b/0$, $c/0$} (0)
(2) edge [bend right] node [below] {$a/1$, $b/0$, $c/0$} (0) (2) edge [bend right] node [below] {\color[darkred]{$a/1$}, $b/0$, $c/0$} (0)
(3) edge [bend left] node [right] {$a/1$} (4) (3) edge [bend left] node [right] {$a/1$} (4)
(3) edge [bend right] node [above] {$b/0$} (0) (3) edge [bend right] node [above] {$b/0$} (0)
(3) edge [loop right] node [right] {$c/1$} (3) (3) edge [loop right] node [right] {$c/1$} (3)

3
environment.tex
View file

@ -5,8 +5,9 @@
\setupexternalfigures[directory={images,../images}] \setupexternalfigures[directory={images,../images}]
\definemode[afloop][yes] % \definemode[afloop][yes]
% \definemode[draft][yes] % \definemode[draft][yes]
\definemode[zwartwit][yes]
\environment bib \environment bib
\environment font \environment font

7
environment/paper.tex
View file

@ -24,9 +24,6 @@
header=10mm, % nodig? header=10mm, % nodig?
footer=10mm] footer=10mm]
% Snijranden
\setuplayout[marking=on]
% Assymetrisch % Assymetrisch
\setuppagenumbering[state=start, style=normal, location={header, right}, alternative=doublesided] \setuppagenumbering[state=start, style=normal, location={header, right}, alternative=doublesided]
@ -41,4 +38,8 @@
footer=5mm] footer=5mm]
\stopmode \stopmode
\startmode[afloop, draft]
\setuplayout[marking=on] % Snijranden
\stopmode
\stopenvironment \stopenvironment

6
environment/pdf.tex
View file

@ -6,6 +6,12 @@
% Klikbare referenties % Klikbare referenties
\setupinteraction[state=start, focus=standard, contrastcolor=darkgreen, style=normal] \setupinteraction[state=start, focus=standard, contrastcolor=darkgreen, style=normal]
\startmode[zwartwit]
\setupinteraction[state=start, focus=standard, color=darkgray, contrastcolor=darkgray, style=normal]
\stopmode
\definecolor[grijs][k=0.5]
\definecolor[lgrijs][k=0.25]
% Metadata % Metadata
\setupinteraction \setupinteraction