doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex
changeset 48767 582caed78c5f
parent 48766 7132779e2ff4
child 48768 1cd294108e69
equal deleted inserted replaced
48766:7132779e2ff4 48767:582caed78c5f
   244 \caption{Step-wise problem solving guided by the TP-based program
   244 \caption{Step-wise problem solving guided by the TP-based program
   245 \label{fig-interactive}}
   245 \label{fig-interactive}}
   246 \end{center}
   246 \end{center}
   247 \end{figure}
   247 \end{figure}
   248 
   248 
   249 The problem is from the domain of Signal Processing and requests to
   249 \paragraph{The Engineering Background of the Problem} comes out of the domain 
   250 determine the inverse ${\cal z}$-transform for a given term.
   250 Signal Processing, which takes a major part n the authors field of education. 
   251 Fig.\ref{fig-interactive}
   251 The given Problem requests to determine the inverse $z$-transform for a 
   252 also shows the beginning of the interactive construction of a solution
   252 given term.
   253 for the problem. This construction is done in the right window named
   253 \par
   254 ``Worksheet''.
   254 ``The $z$-Transform for discrete-time signals is the counterpart of the 
       
   255 Laplace transform for continuous-time signals, and they each have a similar 
       
   256 relationship to the corresponding Fourier transform. One motivation for 
       
   257 introducing this generalization is that the Fourier transform does not 
       
   258 converge for all sequences, and it is useful to have a generalization of the 
       
   259 Fourier transform that encompasses a broader class of signals. A second 
       
   260 advantage is that in analytic problems, the $z$-transform notation is often 
       
   261 more convenient than the Fourier transform notation.''
       
   262 ~\cite[p. 128]{oppenheim2010discrete}
       
   263 \par
       
   264 The $z$-transform can be defined as:
       
   265 \begin{equation}
       
   266 X(z)=\sum_{n=-\infty }^{\infty }x[n]z^{-n}
       
   267 \end{equation}
       
   268 Upper equation transforms a discrete time sequence $x[n]$ into the function 
       
   269 $X(z)$ where $z$ is a continuous complex variable. The inverse function (as it 
       
   270 is used in the given problem) is defined as:
       
   271 \begin{equation}
       
   272 x[n]=\frac{1}{2\pi j} \oint_{C} X(z)\cdot z^{n-1} dz
       
   273 \end{equation}
       
   274 The letter $C$ represents a contour within the range of converge of the $z$-
       
   275 transform. The unit circle can be a special case of this contour. Remember 
       
   276 that $j$ is the complex number in the field of engineering.
       
   277 As this transformation requires high effort to be solved, tables of 
       
   278 common transform pairs are used in education as well as in (TODO: real); such 
       
   279 tables can be found at~\cite{wiki:1} or~\cite[Table~3.1]{oppenheim2010discrete} as well.
       
   280 A completely solved and more detailed example can be found at
       
   281 ~\cite[p. 149f]{oppenheim2010discrete}. The upcoming implementation tries to 
       
   282 fit this example in the way it is toughed at the authors university.
       
   283 
       
   284 
       
   285 
       
   286 \paragraph{The educational aspect} can be explained by having a look at 
       
   287 Fig.\ref{fig-interactive} which shows the beginning of the interactive 
       
   288 construction of a solution for the problem. This construction is done in the 
       
   289 right window named ``Worksheet''.
   255 \par
   290 \par
   256 User-interaction on the Worksheet is {\em checked} and {\em guided} by
   291 User-interaction on the Worksheet is {\em checked} and {\em guided} by
   257 TP services:
   292 TP services:
   258 \begin{enumerate}
   293 \begin{enumerate}
   259 \item Formulas input by the user are {\em checked} by TP: such a
   294 \item Formulas input by the user are {\em checked} by TP: such a