X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=63d3f92b022f9ac0d4deeed21d27d15eb8272ef9;hb=5be4e2b2dc655e3e4572f67fb1f9243024a1fefe;hp=7861e6a23a7b4de348ee8ccecc16c462cbaeb82b;hpb=96c38eaced38e4a3cb8df44ec54b778a1dc11b24;p=msc-thesis1617.git diff --git a/thesis.tex b/thesis.tex index 7861e6a..63d3f92 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1,116 +1,99 @@ -%&output/thesis -\usepackage[nonumberlist,acronyms]{glossaries} -\makeglossaries% +%&thesis +\usepackage[nonumberlist]{glossaries} % Glossaries and acronyms +\usepackage[algochapter]{algorithm2e} % Pseudocode + +% Fix the algorithm font +\renewcommand\AlCapFnt{\normalfont} -\newacronym{GADT}{GADT}{Generalized Algebraic Datatype} -\newacronym{GPIO}{GPIO}{General-Purpose Input/Output} -\newacronym{ADT}{ADT}{Algebraic Datatype} -\newacronym{SDS}{SDS}{Shared Data Source} -\newacronym{IoT}{IoT}{Internet of Things} -\newacronym{TOP}{TOP}{Task Oriented Programming} -\newacronym{EDSL}{(E)DSL}{(Embedded) Design Specific Language} -\newacronym{RISC}{RISC}{Reduced Instruction Set Computer} -\newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine} -\newacronym{LTN}{LTN}{Low Throughput Network} -\newacronym{IDE}{IDE}{Integrated Development Environment} -\newacronym{TCP}{TCP}{Transmission Control Protocol} -\newglossaryentry{Clean}{name=Clean, - description={is a pure lazy functional programming language based on graph - rewriting}} -\newglossaryentry{iTasks}{name=iTasks, - description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL} - in the \gls{Clean} programming language}} -\newglossaryentry{Task}{name=Task, - description={is the basic building block of a \acrshort{TOP} system}} -\newglossaryentry{mTask}{name=mTask, - description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}} -\newglossaryentry{C}{name=C, - description={is low-level programming language suitable for embedded devices}} +% Initialize the glossaries +\makeglossaries% +\input{glossaries} \begin{document} \frontmatter{} %Titlepage -\maketitleru[ - pagenr=1, - course={Master Thesis}, - institute={Radboud University Nijmegen}, - authorstext={Author:}, - righttextheader={Supervisors:}, - righttext={prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\dr.~P.W.M.~Koopman}] -\listoftodos[Todo] - -\glsaddall{} +\input{titlepage} %Abstract \chapter*{\centering Abstract} +\addcontentsline{toc}{chapter}{Abstract} \begin{quotation} \centering\noindent - \input{abstract.tex} + \input{abstract} \end{quotation} +%Acknowledgements \chapter*{\centering Acknowledgements} +\addcontentsline{toc}{chapter}{Acknowledgements} \begin{quotation} \centering\it\noindent - \input{acknowledgements.tex} + \input{acknowledgements} \end{quotation} %Table of contents \tableofcontents \mainmatter{} + +%Reset glossary and thus the acronyms \glsresetall{} + \chapter{Introduction}\label{chp:introduction} -\input{introduction.tex} +\input{intro} -\chapter{\acrlong{TOP}}\label{chp:top} -\input{methods.top.tex} +\chapter{Task Oriented Programming}\label{chp:top} +\input{top} -\chapter{\acrlongpl{EDSL}}\label{chp:dsl} -\input{methods.dsl.tex} +\chapter{Embedded Domain Specific Languages}\label{chp:dsl} +\input{edsl} -\chapter{mTask}\label{chp:mtask} -\input{methods.mtask.tex} +\chapter[The mTask-EDSL]{The \gls{mTask}-\gls{EDSL}}\label{chp:mtask} +\input{mtask} -\chapter{Architecture}\label{chp:arch} -\input{results.arch.tex} +\chapter[System Overview]{System Overview}\label{chp:system} +\input{system} -\chapter{mTask continued}\label{chp:mtaskcont} -\input{results.mtask.tex} +\chapter[Extending the mTask EDSL]% + {Extending the \gls{mTask} {EDSL}}\label{chp:mtaskcont} +\input{mtaskext} -\chapter{Conclusion \& Discussion}\label{chp:conclusion} -\input{conclusion.tex} +\chapter{System Considerations \& Implementation}\label{chp:arch} +\input{arch} -\appendix\label{chp:appendix} +\chapter{Discussion \& Conclusion}\label{chp:conclusion} +\input{conclusion} -\chapter{Planning}\label{app:planning} -\input{appendix-planning.tex} +\appendix% +\label{chp:appendix} -\chapter{Communication protocol}\label{app:communication-protocol} -\input{appendix-protocol.tex} +\chapter{Communication Protocol}\label{app:communication-protocol} +\input{appendix-protocol} -\chapter{Device client interface}\label{app:device-interface} -\input{appendix-device-interface.tex} +\chapter{Device Client Interface}\label{app:device-interface} +\input{appendix-device-interface} -\cleardoublepage{} +% Bibliography \phantomsection{} -\addcontentsline{toc}{chapter}{Lists of \ldots} -\begingroup -\let\clearpage\relax -\listoffigures -\listoftables -\lstlistoflistings{} -\endgroup +\addcontentsline{toc}{chapter}{Bibliography} +\bibliographystyle{ieeetr} +\bibliography{thesis} -\cleardoublepage{} -\addcontentsline{toc}{chapter}{Glossaries \& Acronyms} +% Glossary +\addcontentsline{toc}{chapter}{Glossary} +\printglossaries% +% Lists of +\cleardoublepage{} +\phantomsection{} +\addcontentsline{toc}{chapter}{Lists of \ldots} \begingroup \let\clearpage\relax \let\cleardoublepage\relax -\printglossaries% +\listoffigures% +\listoftables% +\listofalgorithms% +\lstlistoflistings% \endgroup -\bibliographystyle{ieeetr} -\bibliography{thesis} \end{document}