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 |