1.1 --- a/doc-src/isac/jrocnik/present-1.tex Tue Jul 19 09:30:10 2011 +0200
1.2 +++ b/doc-src/isac/jrocnik/present-1.tex Tue Jul 19 13:12:30 2011 +0200
1.3 @@ -1,35 +1,11 @@
1.4 -% $Header: /cvsroot/latex-beamer/latex-beamer/solutions/conference-talks/conference-ornate-20min.en.tex,v 1.7 2007/01/28 20:48:23 tantau Exp $
1.5
1.6 \documentclass{beamer}
1.7
1.8 -% This file is a solution template for:
1.9 -
1.10 -% - Talk at a conference/colloquium.
1.11 -% - Talk length is about 20min.
1.12 -% - Style is ornate.
1.13 -
1.14 -
1.15 -
1.16 -% Copyright 2004 by Till Tantau <tantau@users.sourceforge.net>.
1.17 -%
1.18 -% In principle, this file can be redistributed and/or modified under
1.19 -% the terms of the GNU Public License, version 2.
1.20 -%
1.21 -% However, this file is supposed to be a template to be modified
1.22 -% for your own needs. For this reason, if you use this file as a
1.23 -% template and not specifically distribute it as part of a another
1.24 -% package/program, I grant the extra permission to freely copy and
1.25 -% modify this file as you see fit and even to delete this copyright
1.26 -% notice.
1.27 -
1.28
1.29 \mode<presentation>
1.30 {
1.31 \usetheme{Hannover}
1.32 - % or ...
1.33 -
1.34 \setbeamercovered{transparent}
1.35 - % or whatever (possibly just delete it)
1.36 }
1.37
1.38 %\usepackage{setspace} %for "\begin{onehalfspace}"
1.39 @@ -105,61 +81,108 @@
1.40
1.41 \begin{document}
1.42
1.43 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.44 +%% Title Page %%
1.45 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.46 +
1.47 \begin{frame}
1.48 \titlepage
1.49 \end{frame}
1.50
1.51 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.52 +%% Table of Contents %%
1.53 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.54 +
1.55 \begin{frame}{Outline}
1.56 \tableofcontents
1.57 % You might wish to add the option [pausesections]
1.58 \end{frame}
1.59
1.60 -
1.61 -% Structuring a talk is a difficult task and the following structure
1.62 -% may not be suitable. Here are some rules that apply for this
1.63 -% solution:
1.64 -
1.65 -% - Exactly two or three sections (other than the summary).
1.66 -% - At *most* three subsections per section.
1.67 -% - Talk about 30s to 2min per frame. So there should be between about
1.68 -% 15 and 30 frames, all told.
1.69 -
1.70 -% - A conference audience is likely to know very little of what you
1.71 -% are going to talk about. So *simplify*!
1.72 -% - In a 20min talk, getting the main ideas across is hard
1.73 -% enough. Leave out details, even if it means being less precise than
1.74 -% you think necessary.
1.75 -% - If you omit details that are vital to the proof/implementation,
1.76 -% just say so once. Everybody will be happy with that.
1.77 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.78 +%%---------------------------------------------------------------%%
1.79 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.80
1.81 \section[Fourier]{Fourier transform}
1.82 -\subsection[Series]{Fourier series}
1.83 -\begin{frame}\frametitle{TODO}
1.84 -TODO
1.85 +
1.86 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.87 +%% Fourier INTRO %%
1.88 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.89 +
1.90 +\begin{frame}\frametitle{Fourier Transformation: Introduction}
1.91 +\begin{itemize}
1.92 +\item Transform operation by using property-tables $\rightarrow$ \emph{easy}
1.93 +\item Transform operation by using integral $\rightarrow$ \emph{difficult}
1.94 +\item No math \emph{tricks}
1.95 +\item Important: Visualisation?!
1.96 +\end{itemize}
1.97 \end{frame}
1.98
1.99 -\subsection[Transform]{Fourier transform}
1.100 -\begin{frame}\frametitle{FT expl 1}
1.101 -TODO
1.102 +\subsection[simple]{Fourier transform Example 1}
1.103 +
1.104 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.105 +%% Transform expl 1 SPEC %%
1.106 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.107 +
1.108 +\begin{frame}\frametitle{Fourier Transform 1: Specification}
1.109 +{\footnotesize\it
1.110 +Fourier Transform
1.111 +\begin{tabbing}
1.112 +1\=postcond \=: \= \= $\;\;\;\;$\=\kill
1.113 +\>given \>:\> Time continiues, not periodic Signal \\
1.114 +\> \> \> \>$(x (t::real), exp(-\,(\alpha::real\,+\,\alpha::imag)\,*\,t::real)*u(t::real))$\\
1.115 +\>precond \>:\> TODO\\
1.116 +\>find \>:\> $X(j\cdot\omega)$\\
1.117 +\>postcond \>:\> TODO\\
1.118 +\end{tabbing}
1.119 +
1.120 +}
1.121 +\end{frame}
1.122 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.123 +%% Transform expl 1 CALC %%
1.124 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.125 +
1.126 +\begin{frame}\frametitle{Fourier Transformation 1: Calculation}
1.127 +TODO: Bernhard fragen ob Tabelle oder Rechnung
1.128 \end{frame}
1.129
1.130 -\begin{frame}\frametitle{FT expl 2a}
1.131 -TODO
1.132 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.133 +%% Transform expl 1 REQ %%
1.134 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.135 +
1.136 +\begin{frame}\frametitle{Fourier Transform 1: Development effort}
1.137 +{\small
1.138 +\begin{center}
1.139 +\begin{tabular}{l|l|r}
1.140 +requirements & comments &effort\\ \hline\hline
1.141 +solving Intrgrals & simple via propertie table & 20\\
1.142 + & \emph{real} & MT\\ \hline
1.143 +transformation table & simple transform & 20\\ \hline
1.144 +example collection & with explanations & 20\\ \hline\hline
1.145 + & & 60-80\\
1.146 +\end{tabular}
1.147 +\end{center}
1.148 +effort --- in 45min units\\
1.149 +MT --- thesis ``Integrals'' (mathematics)
1.150 +}
1.151 \end{frame}
1.152
1.153 -\begin{frame}\frametitle{FT expl 2b}
1.154 -Problem (from Bernhard)
1.155 -\end{frame}
1.156 +\subsection[difficult]{Fourier transform Example 2}
1.157
1.158 -\begin{frame}\frametitle{FT expl 2b: specification }
1.159 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.160 +%% Transform expl 2 SPEC %%
1.161 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.162 +
1.163 +\begin{frame}\frametitle{Fourier Transform 2: Specification}
1.164 {\footnotesize\it
1.165 -fourier transform
1.166 +Fourier Transform
1.167 \begin{tabbing}
1.168 1\=postcond \=: \= \= $\;\;\;\;$\=\kill
1.169 \>given \>:\> piecewise\_function \\
1.170 \> \> \> \>$(x (t::real), [(0,-\infty<t<1), (1,1\leq t\leq 3), (0, 3<t<\infty)])$\\
1.171 %?(iterativer) datentyp in Isabelle/HOL
1.172 \> \> \> translation $T=2$\\
1.173 +%WN these 2 inputs calculated to [(0,-\infty<t<-1), (1,-1\leq t\leq 1), (0, 1<t<\infty)]
1.174 +%WN translation helpful only, if solution available from other calculation - DROP T ???
1.175 \>precond \>:\> TODO\\
1.176 \>find \>:\> $X(j\cdot\omega)$\\
1.177 \>postcond \>:\> TODO\\
1.178 @@ -168,10 +191,15 @@
1.179 }
1.180 \end{frame}
1.181
1.182 -\begin{frame}\frametitle{FT expl 2b: calculation}
1.183 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.184 +%% Transform expl 2 CALC %%
1.185 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.186 +
1.187 +\begin{frame}\frametitle{Fourier Transform 2: Calculation}
1.188 \footnotesize{
1.189 \begin{tabbing}
1.190 000\=\kill
1.191 +%WN first
1.192 01 \> ${\cal F}\;(x(t-2)) =$\\
1.193 \`${\cal F}\;(x(t-T)) = e^{-j\cdot\omega\cdot T}\cdot X\;j\cdot\omega$\\
1.194 02 \> $e^{-j\cdot\omega\cdot 2}\cdot X\;(j\cdot\omega)$\\
1.195 @@ -196,29 +224,157 @@
1.196 }
1.197 \end{frame}
1.198
1.199 -\begin{frame}\frametitle{FT expl 2b}
1.200 -prerequisites
1.201 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.202 +%% Transform expl 2 REQ %%
1.203 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.204 +
1.205 +%WN ...
1.206 +\begin{frame}\frametitle{Fourier Transform 2: Development effort}
1.207 +{\small
1.208 +\begin{center}
1.209 +\begin{tabular}{l|l|r}
1.210 +requirements & comments &effort\\ \hline\hline
1.211 +solving Intrgrals & simple via propertie table & 20\\
1.212 + & \emph{real} & MT\\ \hline
1.213 +transformation table & simple transform & 20\\ \hline
1.214 +visualisation & backend & 10\\ \hline
1.215 +example collection & with explanations & 20\\ \hline\hline
1.216 + & & 70-80\\
1.217 +\end{tabular}
1.218 +\end{center}
1.219 +effort --- in 45min units\\
1.220 +MT --- thesis ``Integrals'' (mathematics)
1.221 +}
1.222 \end{frame}
1.223 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.224 +%-----------------------------------------------------------------%
1.225 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.226
1.227 \section[Discrete time]{Discrete-time systems}
1.228 \subsection[Convolution]{Convolution}
1.229 -\begin{frame}\frametitle{Convolution (Faltung)}
1.230 +
1.231 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.232 +%% DTS INTRO %%
1.233 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.234 +
1.235 +\begin{frame}\frametitle{Convolution: Introduction}
1.236 +\begin{itemize}
1.237 +\item Calculation\ldots
1.238 +\item Visualisation\ldots
1.239 +\end{itemize}
1.240 +\begin{center}
1.241 +\ldots of parallel filter structures
1.242 +\end{center}
1.243 +\end{frame}
1.244 +
1.245 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.246 +%% DTS SPEC %%
1.247 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.248 +
1.249 +\begin{frame}\frametitle{Convolution: Specification}
1.250 +{\footnotesize\it
1.251 +Convolution
1.252 +\begin{tabbing}
1.253 +1\=postcond \=: \= \= $\;\;\;\;$\=\kill
1.254 +\>given \>:\> Signals h1[n], h2[n] \\
1.255 +\> \> \> \>((h1 (n::real),(3/5)\textasciicircum{}n\,u(n::real)),\,(h2 (n::real),(-2/3)\textasciicircum{}n\,u(n::real)))\\
1.256 + %?(iterativer) datentyp in Isabelle/HOL
1.257 +\>precond \>:\> TODO\\
1.258 +\>find \>:\> $h1[n]\,*\,h2[n]$\\
1.259 +\>postcond \>:\> TODO\\
1.260 +\end{tabbing}
1.261 +
1.262 +}
1.263 +\end{frame}
1.264 +
1.265 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.266 +%% DTS CALC %%
1.267 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.268 +
1.269 +\begin{frame}\frametitle{Convolution: Calculation}
1.270 TODO
1.271 \end{frame}
1.272
1.273 -\section[${\cal Z}$ transform]{${\cal Z}$ transform}
1.274 -%\subsection[]{}
1.275 -\begin{frame}\frametitle{TODO}
1.276 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.277 +%% DTS REQ %%
1.278 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.279 +
1.280 +\begin{frame}\frametitle{Convolution: Development effort}
1.281 +{\small
1.282 +\begin{center}
1.283 +\begin{tabular}{l|l|r}
1.284 +requirements & comments &effort\\ \hline\hline
1.285 +simplify rationals & \sisac & 0\\ \hline
1.286 +define $\sum\limits_{i=0}^{n}i$ & partly \sisac & 10\\ \hline
1.287 +simplify sum & termorder & 10\\
1.288 + & simplify rules & 20\\
1.289 + & use simplify rationals& 0\\ \hline
1.290 +index adjustments & with unit step & 10\\ \hline
1.291 +example collection & with explanations & 20\\ \hline\hline
1.292 + & & 70-90\\
1.293 +\end{tabular}
1.294 +\end{center}
1.295 +effort --- in 45min units\\
1.296 +}
1.297 +\end{frame}
1.298 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.299 +%-----------------------------------------------------------------%
1.300 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.301 +
1.302 +\section[Z-transform]{Z-Transform}
1.303 +\subsection[(Inverse) Z-Transform]{(Inverse) Z-Transform}
1.304 +
1.305 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.306 +%% Z-Transform INTRO %%
1.307 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.308 +
1.309 +\begin{frame}\frametitle{(Inverse) ${\cal Z}$-Transformation: Introduction}
1.310 +\begin{itemize}
1.311 +\item Pure Transformation is simple to realise with Z-Transform Properties (Table)
1.312 +\item Partial Fraction are just math simplifications
1.313 +\end{itemize}
1.314 +\end{frame}
1.315 +
1.316 +% does not fit?!
1.317 +%\subsection[]{Indextranformation}
1.318 +%\begin{frame}\frametitle{TODO}
1.319 +%TODO
1.320 +%\end{frame}
1.321 +
1.322 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.323 +%% Z-Transform SPEC %%
1.324 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.325 +
1.326 +\begin{frame}\frametitle{(Inverse) ${\cal Z}$-Transformation: Specification}
1.327 +{\footnotesize\it
1.328 +Convolution
1.329 +\begin{tabbing}
1.330 +1\=postcond \=: \= \= $\;\;\;\;$\=\kill
1.331 +\>given \>:\> Expression of z \\
1.332 +\> \> \> \>(X (z::real\,+z::imag),3/(z-1/4-1/8\,z\textasciicircum{}(-1)))\\
1.333 +\>precond \>:\> TODO\\
1.334 +\>find \>:\> Expression of n\\
1.335 +\> \> \> \>$h[n]$\\
1.336 +\>postcond \>:\> TODO\\
1.337 +\end{tabbing}
1.338 +
1.339 +}
1.340 +\end{frame}
1.341 +
1.342 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.343 +%% Z expl CALC %%
1.344 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.345 +
1.346 +\begin{frame}\frametitle{(Inverse) ${\cal Z}$-Transformation: Calculation}
1.347 TODO
1.348 \end{frame}
1.349
1.350 -\subsection[]{Indextranformation}
1.351 -\begin{frame}\frametitle{TODO}
1.352 -TODO
1.353 -\end{frame}
1.354 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.355 +%% Z expl REQ %%
1.356 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.357
1.358 -\subsection[Inverse ${\cal Z}$]{Inverse ${\cal Z}$ transform}
1.359 -\begin{frame}\frametitle{Development effort}
1.360 +
1.361 +\begin{frame}\frametitle{(Inverse) ${\cal Z}$-Transformation: Development effort}
1.362 {\small
1.363 \begin{center}
1.364 \begin{tabular}{l|l|r}