source: doc/theses/andrew_beach_MMath/thesis.tex @ bce76d1

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since bce76d1 was 2c052c0, checked in by Andrew Beach <ajbeach@…>, 4 years ago

First rough draft of how unwinding works in ABMM.

  • Property mode set to 100644
File size: 12.1 KB
Line 
1% Main tex file for thesis document.
2\documentclass[digital]{uw-ethesis}
3
4% Commands used in documenting how to use the template. To remove.
5\newcommand{\package}[1]{\textbf{#1}}
6\newcommand{\cmmd}[1]{\textbackslash\texttt{#1}}
7\newcommand{\href}[1]{#1}
8
9% For a nomenclature (optional; available from ctan.org)
10%\usepackage{nomencl}
11% Lots of math symbols and environments
12\usepackage{amsmath,amssymb,amstext}
13% For including graphics, sets the pdftex graphics driver.
14\usepackage[pdftex]{graphicx}
15
16\usepackage{cfalab}
17
18\usehyperrefpackage[pdftex,pagebackref=false]{
19    pdftitle={Exception Handling in CFA},
20    pdfauthor={Andrew James Beach},
21    pdfsubject={Programming Languages},
22    pdfkeywords={exceptions,implementation},
23}
24
25% The \phantomsection is used to help the hyperref package create links.
26
27% Maybe only package that should be loaded after the hyperref package.
28% From http://ctan.org/pkg/glossaries-extra, extends glossaries which replaces
29% glossary and builds off of the makeindex system.
30\usepackage[toc,abbreviations]{glossaries-extra}
31
32% Main glossary entries -- definitions of relevant terminology
33\newglossaryentry{computer}
34{
35name=computer,
36description={A programmable machine that receives input data,
37               stores and manipulates the data, and provides
38               formatted output}
39}
40
41% Nomenclature glossary entries -- New definitions, or unusual terminology
42\newglossary*{nomenclature}{Nomenclature}
43\newglossaryentry{dingledorf}
44{
45type=nomenclature,
46name=dingledorf,
47description={A person of supposed average intelligence who makes incredibly
48               brainless misjudgments}
49}
50
51% List of Abbreviations (abbreviations are from the glossaries-extra package)
52\newabbreviation{aaaaz}{AAAAZ}{American Association of Amature Astronomers
53               and Zoologists}
54
55% List of Symbols
56\newglossary*{symbols}{List of Symbols}
57\newglossaryentry{rvec}
58{
59name={$\mathbf{v}$},
60sort={label},
61type=symbols,
62description={Random vector: a location in n-dimensional Cartesian space, where
63               each dimensional component is determined by a random process}
64}
65
66% Generate the glossaries defined above.
67\makeglossaries
68
69\begin{document}
70
71%----------------------------------------------------------------------
72% FRONT MATERIAL
73%----------------------------------------------------------------------
74\input{thesis-frontpgs} 
75
76%----------------------------------------------------------------------
77% MAIN BODY
78%----------------------------------------------------------------------
79\input{unwinding}
80
81%======================================================================
82\chapter{Introduction}
83%======================================================================
84In the beginning, there was $\pi$:
85
86\begin{equation}
87   e^{\pi i} + 1 = 0  \label{eqn_pi}
88\end{equation}
89A \gls{computer} could compute $\pi$ all day long. In fact, subsets of digits
90of $\pi$'s decimal approximation would make a good source for psuedo-random
91vectors, \gls{rvec} .
92
93%----------------------------------------------------------------------
94\section{State of the Art}
95%----------------------------------------------------------------------
96
97See equation \ref{eqn_pi} on page \pageref{eqn_pi}.\footnote{A famous equation.}
98
99\section{Some Meaningless Stuff}
100
101The credo of the \gls{aaaaz} was, for several years, several paragraphs of gibberish, until the \gls{dingledorf} responsible for the \gls{aaaaz} Web site realized his mistake:
102
103"Velit dolor illum facilisis zzril ipsum, augue odio, accumsan ea augue molestie lobortis zzril laoreet ex ad, adipiscing nulla. Veniam dolore, vel te in dolor te, feugait dolore ex vel erat duis nostrud diam commodo ad eu in consequat esse in ut wisi. Consectetuer dolore feugiat wisi eum dignissim tincidunt vel, nostrud, at vulputate eum euismod, diam minim eros consequat lorem aliquam et ad. Feugait illum sit suscipit ut, tation in dolore euismod et iusto nulla amet wisi odio quis nisl feugiat adipiscing luptatum minim nisl, quis, erat, dolore. Elit quis sit dolor veniam blandit ullamcorper ex, vero nonummy, duis exerci delenit ullamcorper at feugiat ullamcorper, ullamcorper elit vulputate iusto esse luptatum duis autem. Nulla nulla qui, te praesent et at nisl ut in consequat blandit vel augue ut.
104
105Illum suscipit delenit commodo augue exerci magna veniam hendrerit dignissim duis ut feugait amet dolor dolor suscipit iriure veniam. Vel quis enim vulputate nulla facilisis volutpat vel in, suscipit facilisis dolore ut veniam, duis facilisi wisi nulla aliquip vero praesent nibh molestie consectetuer nulla. Wisi nibh exerci hendrerit consequat, nostrud lobortis ut praesent dignissim tincidunt enim eum accumsan. Lorem, nonummy duis iriure autem feugait praesent, duis, accumsan tation enim facilisi qui te dolore magna velit, iusto esse eu, zzril. Feugiat enim zzril, te vel illum, lobortis ut tation, elit luptatum ipsum, aliquam dolor sed. Ex consectetuer aliquip in, tation delenit dignissim accumsan consequat, vero, et ad eu velit ut duis ea ea odio.
106
107Vero qui, te praesent et at nisl ut in consequat blandit vel augue ut dolor illum facilisis zzril ipsum. Exerci odio, accumsan ea augue molestie lobortis zzril laoreet ex ad, adipiscing nulla, et dolore, vel te in dolor te, feugait dolore ex vel erat duis. Ut diam commodo ad eu in consequat esse in ut wisi aliquip dolore feugiat wisi eum dignissim tincidunt vel, nostrud. Ut vulputate eum euismod, diam minim eros consequat lorem aliquam et ad luptatum illum sit suscipit ut, tation in dolore euismod et iusto nulla. Iusto wisi odio quis nisl feugiat adipiscing luptatum minim. Illum, quis, erat, dolore qui quis sit dolor veniam blandit ullamcorper ex, vero nonummy, duis exerci delenit ullamcorper at feugiat. Et, ullamcorper elit vulputate iusto esse luptatum duis autem esse nulla qui.
108
109Praesent dolore et, delenit, laoreet dolore sed eros hendrerit consequat lobortis. Dolor nulla suscipit delenit commodo augue exerci magna veniam hendrerit dignissim duis ut feugait amet. Ad dolor suscipit iriure veniam blandit quis enim vulputate nulla facilisis volutpat vel in. Erat facilisis dolore ut veniam, duis facilisi wisi nulla aliquip vero praesent nibh molestie consectetuer nulla, iriure nibh exerci hendrerit. Vel, nostrud lobortis ut praesent dignissim tincidunt enim eum accumsan ea, nonummy duis. Ad autem feugait praesent, duis, accumsan tation enim facilisi qui te dolore magna velit, iusto esse eu, zzril vel enim zzril, te. Nisl illum, lobortis ut tation, elit luptatum ipsum, aliquam dolor sed minim consectetuer aliquip.
110
111Tation exerci delenit ullamcorper at feugiat ullamcorper, ullamcorper elit vulputate iusto esse luptatum duis autem esse nulla qui. Volutpat praesent et at nisl ut in consequat blandit vel augue ut dolor illum facilisis zzril ipsum, augue odio, accumsan ea augue molestie lobortis zzril laoreet. Ex duis, te velit illum odio, nisl qui consequat aliquip qui blandit hendrerit. Ea dolor nonummy ullamcorper nulla lorem tation laoreet in ea, ullamcorper vel consequat zzril delenit quis dignissim, vulputate tincidunt ut."
112
113%======================================================================
114\chapter{Observations}
115%======================================================================
116
117This would be a good place for some figures and tables.
118
119Some notes on figures and photographs\ldots
120
121\begin{itemize}
122\item A well-prepared PDF should be
123  \begin{enumerate}
124    \item Of reasonable size, {\it i.e.} photos cropped and compressed.
125    \item Scalable, to allow enlargment of text and drawings.
126  \end{enumerate} 
127\item Photos must be bit maps, and so are not scaleable by definition. TIFF and
128BMP are uncompressed formats, while JPEG is compressed. Most photos can be
129compressed without losing their illustrative value.
130\item Drawings that you make should be scalable vector graphics, \emph{not} 
131bit maps. Some scalable vector file formats are: EPS, SVG, PNG, WMF. These can
132all be converted into PNG or PDF, that pdflatex recognizes. Your drawing
133package probably can export to one of these formats directly. Otherwise, a
134common procedure is to print-to-file through a Postscript printer driver to
135create a PS file, then convert that to EPS (encapsulated PS, which has a
136bounding box to describe its exact size rather than a whole page).
137Programs such as GSView (a Ghostscript GUI) can create both EPS and PDF from
138PS files. Appendix~\ref{AppendixA} shows how to generate properly sized Matlab
139plots and save them as PDF.
140\item It's important to crop your photos and draw your figures to the size that
141you want to appear in your thesis. Scaling photos with the
142includegraphics command will cause loss of resolution. And scaling down
143drawings may cause any text annotations to become too small.
144\end{itemize}
145 
146For more information on \LaTeX\, see the uWaterloo Skills for the
147Academic Workplace \href{https://uwaterloo.ca/information-systems-technology/services/electronic-thesis-preparation-and-submission-support/ethesis-guide/creating-pdf-version-your-thesis/creating-pdf-files-using-latex/latex-ethesis-and-large-documents}{course notes}.
148\footnote{
149Note that while it is possible to include hyperlinks to external documents,
150it is not wise to do so, since anything you can't control may change over time.
151It \emph{would} be appropriate and necessary to provide external links to
152additional resources for a multimedia ``enhanced'' thesis.
153But also note that if the \package{hyperref} package is not included,
154as for the print-optimized option in this thesis template, any \cmmd{href} 
155commands in your logical document are no longer defined.
156A work-around employed by this thesis template is to define a dummy
157\cmmd{href} command (which does nothing) in the preamble of the document,
158before the \package{hyperref} package is included.
159The dummy definition is then redifined by the
160\package{hyperref} package when it is included.
161}
162
163The classic book by Leslie Lamport \cite{lamport.book}, author of \LaTeX , is
164worth a look too, and the many available add-on packages are described by
165Goossens \textit{et al} \cite{goossens.book}.
166
167%----------------------------------------------------------------------
168% END MATERIAL
169%----------------------------------------------------------------------
170
171%----------------------------------------------------------------------
172% BIBLIOGRAPHY
173%----------------------------------------------------------------------
174
175% Use \clearpage instead if the document class uses the "oneside" argument.
176\cleardoublepage
177\phantomsection
178
179% Bibliography setup and creation, renamed to References.
180\addcontentsline{toc}{chapter}{\textbf{\bibname}}
181\bibliographystyle{plain}
182\bibliography{thesis}
183
184% Include all uncited entries in the bibliography.
185\nocite{*}
186
187% Begin the appendix, add a title and table of contents entry.
188\appendix
189\chapter*{APPENDICES}
190\addcontentsline{toc}{chapter}{APPENDICES}
191%======================================================================
192\chapter[PDF Plots From Matlab]{Matlab Code for Making a PDF Plot}
193\label{AppendixA}
194% Tip 4: Example of how to get a short chapter title for the Table of Contents
195%======================================================================
196\section{Using the GUI}
197Properties of Matab plots can be adjusted from the plot window via a graphical
198interface. Under the Desktop menu in the Figure window, select the Property
199Editor. You may also want to check the Plot Browser and Figure Palette for
200more tools. To adjust properties of the axes, look under the Edit menu and
201select Axes Properties.
202
203To set the figure size and to save as PDF or other file formats, click the
204Export Setup button in the figure Property Editor.
205
206\section{From the Command Line} 
207All figure properties can also be manipulated from the command line. Here's an
208example:
209\begin{verbatim}
210x=[0:0.1:pi];
211hold on % Plot multiple traces on one figure
212plot(x,sin(x))
213plot(x,cos(x),'--r')
214plot(x,tan(x),'.-g')
215title('Some Trig Functions Over 0 to \pi') % Note LaTeX markup!
216legend('{\it sin}(x)','{\it cos}(x)','{\it tan}(x)')
217hold off
218set(gca,'Ylim',[-3 3]) % Adjust Y limits of "current axes"
219set(gcf,'Units','inches') % Set figure size units of "current figure"
220set(gcf,'Position',[0,0,6,4]) % Set figure width (6 in.) and height (4 in.)
221cd n:\thesis\plots % Select where to save
222print -dpdf plot.pdf % Save as PDF
223\end{verbatim}
224
225\end{document}
Note: See TracBrowser for help on using the repository browser.