1.1 --- a/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex Tue Oct 11 18:16:22 2011 +0200
1.2 +++ b/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex Fri Oct 14 09:03:25 2011 +0200
1.3 @@ -9,15 +9,19 @@
1.4 \usepackage{endnotes}
1.5 \usepackage{trfsigns}
1.6 \usepackage{setspace}
1.7 -\usepackage{isabelle}
1.8 -\usepackage{isabellesym}
1.9 \usepackage[pdfpagelabels]{hyperref}
1.10 +\usepackage{longtable}
1.11 +%isabelle relevant
1.12 +\usepackage{isabelle,isabellesym}
1.13 +\usepackage{pdfsetup}
1.14
1.15 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
1.16 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
1.17
1.18 \begin{document}
1.19
1.20 +%----------// INFO SETUP \\----------%
1.21 +
1.22 \title{
1.23 \Large{
1.24 \bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\~\\
1.25 @@ -28,7 +32,7 @@
1.26 Graz University of Technology\\
1.27 \vspace{0.7cm}
1.28 \normalsize{
1.29 - Supervisor: Univ.-Prof. Dipl.-Ing. Dr.techn. Wotawa Franz
1.30 + Supervisor: Univ.-Prof. Dipl.-Ing. Dr.techn. Franz Wotawa
1.31 }
1.32 }
1.33
1.34 @@ -36,11 +40,15 @@
1.35
1.36 \date{\today}
1.37
1.38 +%----------// TITLE PAGE \\----------%
1.39 +
1.40 \begin{titlepage}
1.41 \maketitle
1.42 \thispagestyle{empty}\end{titlepage}
1.43 \clearpage
1.44
1.45 +%----------// THANKS \\----------%
1.46 +
1.47 \setcounter{page}{2}
1.48 \begin{center}
1.49 Special Thanks to\\
1.50 @@ -51,6 +59,7 @@
1.51 \thispagestyle{empty}
1.52 \clearpage
1.53
1.54 +%----------// ABSTRACT \\----------%
1.55
1.56 \begin{abstract}
1.57 The Baccalaureate Thesis creates interactive course material for Signal Processing based on the experimental math assistant Isabelle/\sisac.
1.58 @@ -75,7 +84,12 @@
1.59 \pagenumbering{arabic}
1.60
1.61 \setcounter{page}{5}
1.62 -This thesis is structured as follows:
1.63 +
1.64 +This thesis is structured into a generell part describing the math fundamentals, a practical part including the work on \cal{ISAC} and finally the management part overviewing the work process.
1.65 +
1.66 +%----------// PART-1 \\----------%
1.67 +
1.68 +\part{Project Fundamentals}
1.69
1.70 \section{Introduction --TODO--}
1.71
1.72 @@ -111,23 +125,6 @@
1.73
1.74 todo
1.75
1.76 -\subsection{Milestones for the Project}
1.77 -Die Planung des Projekts teilt sich in folgende Iterationen:
1.78 -\begin{enumerate}
1.79 -\item \textbf{Sammeln von Informationen "uber Themengebiete und deren Realisierbarkeit } (29.06. -- 27.07.)
1.80 -identify problems relevant for certain SP lectures
1.81 -
1.82 -estimate chances to realized them within the scope of this thesis
1.83 -
1.84 -order for implementing the problems negotiated with lecturers
1.85 -
1.86 -
1.87 -\item \textbf{1. Prsentation - Auswhlen der realisierbaren Themengebiete} (27.07.)
1.88 -\item \textbf{Ausarbeiten der Aufgaben in \isac} (01.09. -- 11.11.)
1.89 -\item \textbf{Dokumentation der Aufgaben} (14.11. -- 02.12.)
1.90 -\item \textbf{Ausarbeitung in Latex, Bakkarbeit} (05.12. -- todo)
1.91 -\item \textbf{2. Prsentation - Abschluss der Arbeit} (todo)
1.92 -\end{enumerate}
1.93
1.94 \subsection{Structure of the Thesis}
1.95
1.96 @@ -177,36 +174,67 @@
1.97
1.98 terms are not full simplified in traditional notations, in isac we have to simplify them complete to check weather results are compatible or not. in e.g. the solutions of an second order linear equation is an rational in isac but in tradition we keep fractions as long as possible and as long as they are 'beautiful' (1/8, 5/16,...)
1.99
1.100 -\section{Implementation of Certain SP Problems}
1.101 +%----------// PART 2 \\----------%
1.102 +
1.103 +\part{Implementation}
1.104 +
1.105 +%\section{Implementation of Certain SP Problems}
1.106 +%tell why only choosen one problem given by geiger
1.107 +%
1.108 +%\subsection{Formal Specification of Problems}
1.109 +%todo
1.110 +%
1.111 +%\subsection{Methods Solving the Problems}
1.112 +%todo
1.113 +%
1.114 +%\subsection{Integration of Subproblems available in isac}
1.115 +%todo
1.116 +%
1.117 +%\subsection{Examples and Multimedia Content}
1.118 +%todo
1.119 +
1.120 +{\center todo}
1.121 +%\input{../../../test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform}
1.122 +
1.123 +\clearpage
1.124 +
1.125 +%----------// PART 3 \\----------%
1.126 +
1.127 +\part{Project Management}
1.128 +
1.129 +\section{Milestones for the Project}
1.130 +Die Planung des Projekts teilt sich in folgende Iterationen:
1.131 +\begin{enumerate}
1.132 +\item \textbf{Sammeln von Informationen "uber Themengebiete und deren Realisierbarkeit } (29.06. -- 27.07.)
1.133 +identify problems relevant for certain SP lectures
1.134 +
1.135 +estimate chances to realized them within the scope of this thesis
1.136 +
1.137 +order for implementing the problems negotiated with lecturers
1.138 +
1.139 +
1.140 +\item \textbf{1. Prsentation - Auswhlen der realisierbaren Themengebiete} (27.07.)
1.141 +\item \textbf{Ausarbeiten der Aufgaben in \isac} (01.09. -- 11.11.)
1.142 +\item \textbf{Dokumentation der Aufgaben} (14.11. -- 02.12.)
1.143 +\item \textbf{Ausarbeitung in Latex, Bakkarbeit} (05.12. -- todo)
1.144 +\item \textbf{2. Prsentation - Abschluss der Arbeit} (todo)
1.145 +\end{enumerate}
1.146 +
1.147 +\section{Beschreibung der Meilensteine}\label{ms-desc}
1.148 todo
1.149 -
1.150 -\subsection{Formal Specification of Problems}
1.151 +\section{Bericht zum Projektverlauf}
1.152 todo
1.153
1.154 -\subsection{Methods Solving the Problems}
1.155 -todo
1.156 -
1.157 -\subsection{Integration of Subproblems available in isac}
1.158 -todo
1.159 -
1.160 -\subsection{Examples and Multimedia Content}
1.161 -todo
1.162 -
1.163 -
1.164 \section{Related Work and Open Questions}
1.165 todo
1.166
1.167 See ``introduction'': This thesis tries to connect these two worlds ... this trial is one of the first; others see related work
1.168
1.169 -
1.170 -
1.171 -\section{Beschreibung der Meilensteine}\label{ms-desc}
1.172 -todo
1.173 -\section{Bericht zum Projektverlauf}
1.174 -todo
1.175 \section{Abschliesende Bemerkungen}
1.176 todo
1.177
1.178 +
1.179 +
1.180 \clearpage
1.181
1.182 \renewcommand{\refname}{\section{Sources}} % Using "Sources" as the title of the section
1.183 @@ -215,28 +243,61 @@
1.184
1.185 \clearpage
1.186
1.187 +
1.188 +%----------// APPENDIX \\-----------%
1.189 +
1.190 \appendix
1.191 -%\section*{Anhang}
1.192 -\section{Demobeispiel}
1.193
1.194 -%\input{./Inverse_Z_Transform/document/Inverse_Z_Transform.tex}
1.195 -
1.196 -\begin{verbatim}
1.197 -
1.198 -bsp
1.199 -
1.200 -\end{verbatim}
1.201
1.202 \section{Stundenliste}
1.203 -
1.204 -\subsection*{Voraussetzungen zum Arbeitsbeginn schaffen}
1.205 -\begin{tabular}[t]{lll}
1.206 - {\bf Datum} & {\bf Stunden} & {\bf Beschreibung} \\
1.207 - 10.02.2011 & 2:00 & Besprechung der Problemstellung \\
1.208 -\end{tabular}
1.209 +\begin{footnotesize}
1.210 +\begin{longtable}[h]{l p{6.5cm} c c r}
1.211 +{\bf Date} & {\bf Description} & {\bf Begin} & {\bf End} & {\bf Dur.}\\
1.212 +\hline \hline
1.213 +\endhead
1.214 +29.06.2011 & Treffen mit Geiger und Neuper & 15:00 & 17:30 & 2,50\\
1.215 +02.07.2011 & Beispielaufbereitung (Bsp. Geiger Mail) & 20:00 & 21:30 & 1,50\\
1.216 +03.07.2011 & Beispielaufbereitung, Vorraussetzungsausw. & 21:00 & 22:45 & 1,75\\
1.217 +05.07.2011 & Treffen mit Neuper, Informationsaustausch & 10:00 & 13:00 & 3,00\\
1.218 +06.07.2011 & Isabelle Installation & 20:00 & 22:30 & 2,50\\
1.219 +07.07.2011 & Treffen mit Neuper, Präsentationsvorbereitung & 14:45 & 16:15 & 1,50\\
1.220 +18.07.2011 & Präsentationsvorbereitung - Struktur & 14:15 & 16:00 & 1,75\\
1.221 +19.07.2011 & Präsentationsvorbereitung - Inhalt & 07:20 & 09:20 & 2,00\\
1.222 +19.07.2011 & Treffen mit Neuper & 10:00 & 12:00 & 2,00\\
1.223 +21.07.2011 & HG Fehlersuche, Latex Ausarbeitung & 11:10 & 14:00 & 2,83\\
1.224 +22.07.2011 & Treffen mit Neuper & 10:00 & 12:00 & 2,00\\
1.225 +23.07.2011 & Berechnungen in Latex fertigstellen & 13:45 & 16:30 & 2,75\\
1.226 +24.07.2011 & Präsentation fertigstellen & 20:10 & 20:40 & 0,50\\
1.227 +25.07.2011 & Treffen mit Neuper, Präsentation \& erste Tests & 15:15 & 17:55 & 2,67\\
1.228 +26.07.2011 & Test\_Complex.thy erarbeiten & 10:45 & 12:10 & 1,42\\
1.229 +27.07.2011 & present-1 mit Neuper, Geiger & 10:00 & 12:00 & 2,00\\
1.230 +\hline
1.231 +02.09.2011 & Treffen mit Neuper, Vorlage Bakk-Arbeit & 08:30 & 10:20 & 1,83\\
1.232 +05.09.2011 & Treffen mit Neuper, Beginn Partialbruchzerlegung & 09:30 & 12:45 & 3,25\\
1.233 +05.09.2011 & Partialbruchzerlegung & 17:10 & 18:30 & 1,33\\
1.234 +06.09.2011 & Dokumentation Partialbruchzerlegung & 10:00 & 13:15 & 3,25\\
1.235 +07.09.2011 & Treffen mit Neuper, Einführung Programmierung & 10:00 & 12:50 & 2,83\\
1.236 +08.09.2011 & Latex Umgebung einrichten - Theory export & 19:00 & 22:45 & 3,75\\
1.237 +09.09.2011 & Latex Umgebung einrichten - Makefile & 11:40 & 15:00 & 3,33\\
1.238 +10.09.2011 & Treffen mit Neuper, HG Fehler, Skript Inv.-Z-Transf. & 10:00 & 12:00 & 2,00\\
1.239 +14.09.2011 & Skript Inv.-Z-Transf Prgrammierung & 09:10 & 12:25 & 3,25\\
1.240 +16.09.2011 & Informationssammlung Summen & 13:15 & 16:00 & 2,75\\
1.241 +19.09.2011 & Programmierübung & 10:00 & 13:10 & 3,17\\
1.242 +20.09.2011 & Trefffen mit Neuper, Unterstützung bei Program. & 15:30 & 18:10 & 2,67\\
1.243 +23.09.2011 & Neukonfiguration IsaMakefile & 13:00 & 14:30 & 1,50\\
1.244 +23.09.2011 & Treffen Neuper, Programmierung Build\_Inverse\_Z & 14:30 & 17:30 & 3,00\\
1.245 +26.09.2011 & Skript Partialbruchzerlegung - getArgument & 13:30 & 16:15 & 2,75\\
1.246 +27.09.2011 & Treffen mit Neuper, HG Fehler & 09:00 & 12:20 & 3,33\\
1.247 +28.09.2011 & Treffen mit Neuper, Dateiumstrukturierung & 10:00 & 12:30 & 2,50\\
1.248 +01.10.2011 & Testen & 10:00 & 11:00 & 1,00\\
1.249 +02.10.2011 & Fehlersuche & 15:00 & 16:10 & 1,17\\
1.250 +06.10.2011 & Treffen mit Neuper & 15:00 & 17:50 & 2,83\\
1.251 +07.10.2011 & Treffen mit Neuper, Programmbesprechung & 15:00 & 16:50 & 1,83\\
1.252 +09.10.2011 & Bakk. Arbeit & 16:30 & 18:45 & 2,25\\
1.253 +11.10.2011 & Treffen mit Neuper, Programmbespr., Abstract & 14:10 & 17:10 & 3,00
1.254 +\end{longtable}
1.255 +\end{footnotesize}
1.256
1.257 \section{Calculations}
1.258 \input{calulations}
1.259 -
1.260 -
1.261 \end{document}