287 partial fractions, cancellation of multivariate rational terms, ... |
291 partial fractions, cancellation of multivariate rational terms, ... |
288 |
292 |
289 \subsection{Survey: Requiered Knowledge and Selected Problem(s)}\label{know-missing} |
293 \subsection{Survey: Requiered Knowledge and Selected Problem(s)}\label{know-missing} |
290 Following tables (Table~\ref{tab:eff-four},~\ref{tab:eff-conv},~\ref{tab:eff-ztrans}) are showing the expected development effort for speciefic problems. The values are only very inaccurately approximations of the real work, but needed as a basis for descieding with which problem to start: |
294 Following tables (Table~\ref{tab:eff-four},~\ref{tab:eff-conv},~\ref{tab:eff-ztrans}) are showing the expected development effort for speciefic problems. The values are only very inaccurately approximations of the real work, but needed as a basis for descieding with which problem to start: |
291 |
295 |
292 \begin{table}[h] |
296 \begin{table} |
293 \begin{centering} |
297 \centering |
294 \begin{tabular}{p{4cm}|p{5cm}|rp{2.5cm}} |
298 \begin{tabular}{p{4cm}|p{5cm}|rp{2.5cm}} |
295 requirements & comments &effort\\ \hline\hline |
299 \textbf{Requirements} & \textbf{Comments} &\textbf{Effort}\\ \hline\hline |
296 solving Intrgrals & simple via propertie table & 20\\ |
300 solving Intrgrals & simple via propertie table & 20\\ |
297 & \emph{real} & MT\\ \hline |
301 & \emph{real} & MT\\ \hline |
298 transformation table & simple transform & 20\\ \hline |
302 transformation table & simple transform & 20\\ \hline |
299 visualisation & backend & 10\\ \hline |
303 visualisation & backend & 10\\ \hline |
300 example collection & with explanations & 20\\ \hline\hline |
304 example collection & with explanations & 20\\ \hline\hline |
301 \multicolumn{2}{c|}{} & 70-80\\ |
305 \multicolumn{2}{c|}{} & 70-80\\ |
302 \end{tabular} |
306 \end{tabular} |
303 \par\end{centering} |
307 |
304 \caption{Fourier-Transformation development effort\label{tab:eff-four}} |
308 \caption{Fourier-Transformation development effort\label{tab:eff-four}} |
305 \end{table} |
309 \end{table} |
306 |
310 |
307 \begin{table}[h] |
311 |
308 \begin{centering} |
312 \begin{table} |
309 \begin{tabular}{p{4cm}|p{5cm}|rp{2.5cm}} |
313 \centering |
310 requirements & comments &effort\\ \hline\hline |
314 \begin{tabular}{p{4cm}|p{5cm}|rp{2.5cm}} |
311 simplify rationals & {\sisac} & 0\\ \hline |
315 \textbf{Requirements} & \textbf{Comments} &\textbf{Effort}\\ \hline\hline |
312 define $\sum\limits_{i=0}^{n}i$ & partly {\sisac} & 10\\ \hline |
316 simplify rationals & {\sisac} & 0\\ \hline |
313 simplify sum & termorder & 10\\ |
317 define $\sum\limits_{i=0}^{n}i$ & partly {\sisac} & 10\\ \hline |
314 & simplify rules & 20\\ |
318 simplify sum & termorder & 10\\ |
315 & use simplify rationals& 0\\ \hline |
319 & simplify rules & 20\\ |
316 index adjustments & with unit step & 10\\ \hline |
320 & use simplify rationals& 0\\ \hline |
317 example collection & with explanations & 20\\ \hline\hline |
321 index adjustments & with unit step & 10\\ \hline |
318 \multicolumn{2}{c|}{} & 70-90\\ |
322 example collection & with explanations & 20\\ \hline\hline |
319 \end{tabular} |
323 \multicolumn{2}{c|}{} & 70-90\\ |
320 \par\end{centering} |
324 \end{tabular} |
321 \caption{Convolution Operations development effort\label{tab:eff-conv}} |
325 |
|
326 \caption{Convolution Operations development effort\label{tab:eff-conv}} |
322 \end{table} |
327 \end{table} |
323 |
328 |
324 \begin{table}[h] |
329 \begin{table} |
325 \begin{centering} |
330 \centering |
326 \begin{tabular}{p{4cm}|p{5cm}|rp{2.5cm}} |
331 \begin{tabular}{p{4cm}|p{5cm}|rp{2.5cm}} |
327 requirements & comments &effort\\ \hline\hline |
332 \textbf{Requirements} & \textbf{Comments} &\textbf{Effort}\\ \hline\hline |
328 solve for part.fract. & {\sisac}: degree 2 & 0\\ |
333 solve for part.fract. & {\sisac}: degree 2 & 0\\ |
329 & complex nomminators & 30\\ |
334 & complex nomminators & 30\\ |
330 & degree > 2 & MT\\ \hline |
335 & degree > 2 & MT\\ \hline |
331 simplify polynomial & {\sisac} & 0\\ |
336 simplify polynomial & {\sisac} & 0\\ |
332 simplify rational & {\sisac} & 0\\ \hline |
337 simplify rational & {\sisac} & 0\\ \hline |
333 partial fraction & degree 2, & 20\\ |
338 partial fraction & degree 2, & 20\\ |
334 decomposition & specification, method& 30\\ \hline |
339 decomposition & specification, method& 30\\ \hline |
335 ${\cal Z}^{-1}$ table & explanations, figures& 20\\ \hline |
340 ${\cal Z}^{-1}$ table & explanations, figures& 20\\ \hline |
336 example collection & with explanations & 20\\ \hline\hline |
341 example collection & with explanations & 20\\ \hline\hline |
337 \multicolumn{2}{c|}{} & 90-120\\ |
342 \multicolumn{2}{c|}{} & 90-120\\ |
338 % & & 1 MT |
343 \end{tabular} |
339 \end{tabular} |
344 |
340 \par\end{centering} |
|
341 \caption{Z-Transformation development effort\label{tab:eff-ztrans}} |
345 \caption{Z-Transformation development effort\label{tab:eff-ztrans}} |
342 \end{table} |
346 \end{table} |
343 |
347 |
344 As conclusion of the summerized efforts it is evident that only one topic can be tried to realized as a baccalaureate thesis. In accord with Dr. Neuper we decided after some practical tests to start with the implementation of the (Inverse) Z-Transformation. The Reason is that this topic can mostly be done with knowledge which was already tried to be mechanized in {\sisac}. |
348 As conclusion of the summerized efforts it is evident that only one topic can be tried to realized as a baccalaureate thesis. In accord with Dr. Neuper we decided after some practical tests to start with the implementation of the (Inverse) Z-Transformation. The Reason is that this topic can mostly be done with knowledge which was already tried to be mechanized in {\sisac}. |
345 |
349 |
422 }} |
426 }} |
423 \caption{Symbol Interpretation}\label{eg:symbint2} |
427 \caption{Symbol Interpretation}\label{eg:symbint2} |
424 \end{example} |
428 \end{example} |
425 Exclusive from the input, also the output can be a problem. We are familar with a specified notations and style taught in university but a computer programm has no knowledge of the form probved by a professor and the maschines themselve also have not yet the possibilities to print every symbol (correct) Recent developments provide proofs in a humand readable format but according to the fact that there is no mony for good working formel editors yet, the style is one thing we have to live with. |
429 Exclusive from the input, also the output can be a problem. We are familar with a specified notations and style taught in university but a computer programm has no knowledge of the form probved by a professor and the maschines themselve also have not yet the possibilities to print every symbol (correct) Recent developments provide proofs in a humand readable format but according to the fact that there is no mony for good working formel editors yet, the style is one thing we have to live with. |
426 |
430 |
427 \section{Milestones for the Thesis} |
431 \section{Project Controlling} |
428 The thesis was splitted into six iterations |
432 We decided to split the thesis into five Iteration defined in Section~\ref{sec:milesurv}. As there is also a lot of work todo outer the thesis we accord on an increased contact by mail. For the coordination of the whole {\sisac} files i got access to the mercurial repository. We also appointed on periodic team meetings. |
|
433 |
|
434 \subsection{Survay on Milestones\label{sec:milesurv}} |
|
435 Doing something completly new requires a good controlling, the thesis itself also needs it. After the first meetings and the definition of the intrinsic work we decided on splitting the thesis into the following iterations. |
429 \begin{description} |
436 \begin{description} |
430 \item[(29.06. -- 27.07.)] Collection of detailed informations about different STEOP topics \ref{ssec:infcol} |
437 \item[1st Iteration] Information Collection |
431 \item[(27.07.)] First Prsentation - Decition on which Problems will be implemented \ref{ssec:pres1} |
438 \item[2nd Iteration] Problem Selection |
432 \item[(01.09. -- 11.11.)] Implementing the Problem Class in {{\sisac{}}} \ref{ssec:impl} |
439 \item[3rd Iteration] Implementation |
433 \item[(14.11. -- 02.12.)] Documentation of the Implementation \ref{ssec:doc} |
440 \item[4th Iteration] Thesis Writing |
434 \item[(05.12. -- todo)] Writting on the thesis \ref{ssec:thes} |
441 \item[5th Iteration] Finalization |
435 \item[todo] Second Prsentation - Work review \ref{ssec:pres2} |
|
436 \end{description} |
442 \end{description} |
437 |
443 A more detailed description of this milestones can be found in Section~\ref{sec:detmile}. |
438 \section{Detailed Milestone Description} |
444 |
439 \subsection{Collection of detailed informations about different STEOP topics}\label{ssec:infcol} |
445 \subsection{Milestone Details\label{sec:detmile}} |
440 identify problems relevant for certain SP lectures |
446 \begin{description} |
441 estimate chances to realized them within the scope of this thesis |
447 \item[Information Collection] The first iteration starts by an intruduction to the {\sisac} System and ends up with the first presentation. Listeners of the first presentation were \em Dr. Walther Neuper \normalfont and \em DI Bernhard Geiger\normalfont. We talked about common SPSC problems and the possibilities of realize them in the {\sisac} System. In preparation of the Presentation \em DI Geiger \normalfont sent us a few example problems and we had a experimental survay about the realization effort. |
442 order for implementing the problems negotiated with lecturers |
448 \item[Problem Selection] In the second iteration we collected informations about the knowledge mechanized in {\sisac} (cf. Section~\ref{know-isab}). After the first iteration it was clear that implementing of problems in {\sisac} requires a higher effort than originally excpected due this fact the second iteration ends up on the decission which of the provided problems is going to be implemented. We wrote and collected a handfull of experimental scripts regarding sums, fourie transformation and partial fraction decomposition. |
443 \subsection{First Prsentation - Decition on which Problems will be implemented}\label{ssec:pres1} |
449 \item[Implementation] Unfortunataly the biggest and most importent part is the implementation. The iteration started with the decission on the problem and ends up by finishing the test Script (seen in Part~\ref{part:impl}) as well as the integration of this work into the {\sisac}-Knowledge. For a better controlling and result of this iteration we had severell regular meetings (\em Dr. Neuper \normalfont and \em Jan Rocnik\normalfont) and contact over e-mail to assess the state of the {\sisac}-developers work. |
444 \subsection{Implementing the Problem Class in {\sisac}}\label{ssec:impl} |
450 \item[Thesis Writing] One part of this thesis is generated automatically out of \ttfamily Build\_Inverse\_Z\_Transform\normalfont. Maybe this part well be the most important result of the thesis as it will be used as a documentation for the upcoming developers. Due this fact this iteration started also contemporaneous with the implementation but ends up seperate after finishing the implementation with describing the needed theory and background. |
445 \subsection{Documentation of the Implementation}\label{ssec:doc} |
451 \item[Finalization] The work ends up with the last iteration - finalization. It is started by completing the written thesis and the preperation of the second presentation which concludes this project. In the second presentation we will have demonstrated our realised problem embedded in the new {\sisac}-frontend as well as the work, hiding behind. We will also want to give a clear view about the power of {\sisac} and animate the attending agents to go on working within this project. |
446 \subsection{Writting on the thesis}\label{ssec:thes} |
452 \end{description} |
447 \subsection{Second Prsentation - Work review}\label{ssec:pres2} |
453 |
448 |
454 %\clearpage |
|
455 |
|
456 %----------// PART 2 \\----------% |
|
457 |
|
458 \newevenside |
|
459 |
|
460 \part{Implementation\label{part:impl}} |
|
461 \input{./preambleForGeneratedDocuments.tex} |
|
462 \HRule |
|
463 %\setcounter{section}{0} |
|
464 \input{../../../test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform} |
|
465 |
|
466 %\clearpage |
|
467 |
|
468 %----------// PART 3 \\----------% |
|
469 |
|
470 \newevenside |
|
471 \part{Summary, Conclusion and Related Work} |
449 \section{Related Work}\label{sec:related} |
472 \section{Related Work}\label{sec:related} |
450 Unusual for a Baccalaureate Thesis, there is {\em no} related work; this requires explanation. |
473 Unusual for a Baccalaureate Thesis, there is {\em no} related work; this requires explanation. |
451 Of course, this thesis relies on front-of-the wave computer mathematics, on CTP. But {{\sisac{}}} uses CTP in a very specific way, which is too weakly related to other work: programming in the CTP-based language and rigorous formal specification of problems in Signal Processing where the main tasks in the practical part of this thesis. The major challenge for the practical work was given by the fact, that the work concerned alpha-testing of the CTP-based programming environment. |
474 Of course, this thesis relies on front-of-the wave computer mathematics, on CTP. But {{\sisac{}}} uses CTP in a very specific way, which is too weakly related to other work: programming in the CTP-based language and rigorous formal specification of problems in Signal Processing where the main tasks in the practical part of this thesis. The major challenge for the practical work was given by the fact, that the work concerned alpha-testing of the CTP-based programming environment. |
452 \par Another area of work could be considered as related work: authoring of e-learning content. However, {{\sisac{}}} provides division of concern such that the practical part of this thesis could focus on computer mathematics; this work was not concerned with interaction (the CTP-based programming language has neither input statements nor output statements), nor with dialog guidance nor with any kind of learning theory. |
475 \par Another area of work could be considered as related work: authoring of e-learning content. However, {{\sisac{}}} provides division of concern such that the practical part of this thesis could focus on computer mathematics; this work was not concerned with interaction (the CTP-based programming language has neither input statements nor output statements), nor with dialog guidance nor with any kind of learning theory. |
453 \par These two reasons are given for the unusual statement, that there is no related work to be discussed in this thesis. |
476 \par These two reasons are given for the unusual statement, that there is no related work to be discussed in this thesis. |
454 |
477 |
455 \section{Review} |
478 \section{Summary} |
456 todo |
479 todo |
457 \section{Open Questions} |
480 \section{Open Questions} |
458 todo |
481 todo |
459 \section{Conclusions} |
482 \section{Conclusions} |
460 todo |
483 todo |
461 |
484 |
462 %\bibliographystyle{alpha} |
|
463 %\bibliography{references} |
|
464 %\bibliography{bib/math-eng,bib/didact,bib/bk,bib/RISC_2,bib/isac,bib/pl,bib/math} |
|
465 |
|
466 |
|
467 \clearpage |
|
468 |
|
469 %----------// PART 2 \\----------% |
|
470 |
|
471 \newevenside |
|
472 |
|
473 \part{Implementation} |
|
474 |
|
475 |
|
476 \input{./preambleForGeneratedDocuments.tex} |
|
477 |
|
478 \HRule |
|
479 |
|
480 %\setcounter{section}{0} |
|
481 \input{../../../test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform} |
|
482 |
|
483 \clearpage |
|
484 |
|
485 |
|
486 %----------// APPENDIX \\-----------% |
|
487 |
|
488 \appendix |
|
489 |
|
490 %----------// BIB \\-----------% |
485 %----------// BIB \\-----------% |
491 |
486 |
492 %\renewcommand{\refname}{\section{Sources}} % Using "Sources" as the title of the section |
487 \renewcommand{\refname}{\section{Reference}} % Using "Sources" as the title of the section |
493 \bibliographystyle{alpha} |
488 \bibliographystyle{alpha} |
494 \bibliography{references} |
489 \bibliography{references} |
495 \clearpage |
490 \clearpage |
496 |
491 |
|
492 %----------// APPENDIX \\-----------% |
|
493 |
|
494 \appendix |
|
495 |
497 %----------// WORK TIME \\-----------% |
496 %----------// WORK TIME \\-----------% |
498 |
497 |
499 \section{Stundenliste} |
498 \newevenside |
|
499 \section{Record of Working Time} |
500 \begin{footnotesize} |
500 \begin{footnotesize} |
501 \begin{longtable}[h]{l p{6.5cm} c c r} |
501 \begin{longtable}[h]{l p{6.5cm} c c r} |
502 {\bf Date} & {\bf Description} & {\bf Begin} & {\bf End} & {\bf Dur.}\\ |
502 {\bf Date} & {\bf Description} & {\bf Begin} & {\bf End} & {\bf Dur.}\\ |
503 \hline \hline |
503 \hline \hline |
504 \endhead |
504 \endhead |
505 29.06.2011 & Treffen mit Geiger und Neuper & 15:00 & 17:30 & 2,50\\ |
505 29.06.2011 & Treffen mit Geiger und Neuper & 15:00 & 17:30 & 2,50\\ |
506 02.07.2011 & Beispielaufbereitung (Bsp. Geiger Mail) & 20:00 & 21:30 & 1,50\\ |
|
507 03.07.2011 & Beispielaufbereitung, Vorraussetzungsausw. & 21:00 & 22:45 & 1,75\\ |
|
508 05.07.2011 & Treffen mit Neuper, Informationsaustausch & 10:00 & 13:00 & 3,00\\ |
|
509 06.07.2011 & Isabelle Installation & 20:00 & 22:30 & 2,50\\ |
|
510 07.07.2011 & Treffen mit Neuper, Präsentationsvorbereitung & 14:45 & 16:15 & 1,50\\ |
|
511 18.07.2011 & Präsentationsvorbereitung - Struktur & 14:15 & 16:00 & 1,75\\ |
|
512 19.07.2011 & Präsentationsvorbereitung - Inhalt & 07:20 & 09:20 & 2,00\\ |
|
513 19.07.2011 & Treffen mit Neuper & 10:00 & 12:00 & 2,00\\ |
|
514 21.07.2011 & HG Fehlersuche, Latex Ausarbeitung & 11:10 & 14:00 & 2,83\\ |
|
515 22.07.2011 & Treffen mit Neuper & 10:00 & 12:00 & 2,00\\ |
|
516 23.07.2011 & Berechnungen in Latex fertigstellen & 13:45 & 16:30 & 2,75\\ |
|
517 24.07.2011 & Präsentation fertigstellen & 20:10 & 20:40 & 0,50\\ |
|
518 25.07.2011 & Treffen mit Neuper, Präsentation \& erste Tests & 15:15 & 17:55 & 2,67\\ |
|
519 26.07.2011 & Test\_Complex.thy erarbeiten & 10:45 & 12:10 & 1,42\\ |
|
520 27.07.2011 & present-1 mit Neuper, Geiger & 10:00 & 12:00 & 2,00\\ |
|
521 \hline |
|
522 02.09.2011 & Treffen mit Neuper, Vorlage Bakk-Arbeit & 08:30 & 10:20 & 1,83\\ |
|
523 05.09.2011 & Treffen mit Neuper, Beginn Partialbruchzerlegung & 09:30 & 12:45 & 3,25\\ |
|
524 05.09.2011 & Partialbruchzerlegung & 17:10 & 18:30 & 1,33\\ |
|
525 06.09.2011 & Dokumentation Partialbruchzerlegung & 10:00 & 13:15 & 3,25\\ |
|
526 07.09.2011 & Treffen mit Neuper, Einführung Programmierung & 10:00 & 12:50 & 2,83\\ |
|
527 08.09.2011 & Latex Umgebung einrichten - Theory export & 19:00 & 22:45 & 3,75\\ |
|
528 09.09.2011 & Latex Umgebung einrichten - Makefile & 11:40 & 15:00 & 3,33\\ |
|
529 10.09.2011 & Treffen mit Neuper, HG Fehler, Skript Inv.-Z-Transf. & 10:00 & 12:00 & 2,00\\ |
|
530 14.09.2011 & Skript Inv.-Z-Transf Prgrammierung & 09:10 & 12:25 & 3,25\\ |
|
531 16.09.2011 & Informationssammlung Summen & 13:15 & 16:00 & 2,75\\ |
|
532 19.09.2011 & Programmierübung & 10:00 & 13:10 & 3,17\\ |
|
533 20.09.2011 & Trefffen mit Neuper, Unterstützung bei Program. & 15:30 & 18:10 & 2,67\\ |
|
534 23.09.2011 & Neukonfiguration IsaMakefile & 13:00 & 14:30 & 1,50\\ |
|
535 23.09.2011 & Treffen Neuper, Programmierung Build\_Inverse\_Z & 14:30 & 17:30 & 3,00\\ |
|
536 26.09.2011 & Skript Partialbruchzerlegung - getArgument & 13:30 & 16:15 & 2,75\\ |
|
537 27.09.2011 & Treffen mit Neuper, HG Fehler & 09:00 & 12:20 & 3,33\\ |
|
538 28.09.2011 & Treffen mit Neuper, Dateiumstrukturierung & 10:00 & 12:30 & 2,50\\ |
|
539 01.10.2011 & Testen & 10:00 & 11:00 & 1,00\\ |
|
540 02.10.2011 & Fehlersuche & 15:00 & 16:10 & 1,17\\ |
|
541 06.10.2011 & Treffen mit Neuper & 15:00 & 17:50 & 2,83\\ |
|
542 07.10.2011 & Treffen mit Neuper, Programmbesprechung & 15:00 & 16:50 & 1,83\\ |
|
543 09.10.2011 & Bakk. Arbeit & 16:30 & 18:45 & 2,25\\ |
|
544 11.10.2011 & Treffen mit Neuper, Programmbespr., Abstract & 14:10 & 17:10 & 3,00 |
|
545 \end{longtable} |
506 \end{longtable} |
546 \end{footnotesize} |
507 \end{footnotesize} |
547 |
508 |
|
509 %----------// CALCULATIONS \\-----------% |
|
510 |
|
511 \newevenside |
548 \section{Calculations\label{app:calc}} |
512 \section{Calculations\label{app:calc}} |
549 \input{calulations} |
513 \input{calulations} |
550 \end{document} |
514 \end{document} |
551 |
515 |