robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

.

Browse Source
This commit is contained in:
Robin Clark 2010-06-28 20:27:13 +01:00
parent e6dadcdef0
commit 33231e4405
5 changed files with 14 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -6,3 +6,7 @@ pdf:
pdflatex thesis pdflatex thesis
okular thesis.pdf okular thesis.pdf
bib:
bibtex thesis
pdf

7
logic_diagram/logic_diagram.tex
View File

@ -157,7 +157,6 @@ practical differences between the way they are used to represent software as opp
representing electronics and mechanical systems. representing electronics and mechanical systems.
\subsection{Concrete PLD Definition} \subsection{Concrete PLD Definition}
\paragraph{MUST REFERENCE CONSTRAINT DIAGRAMS HERE}
A concrete {\em Propositional logic diagram} is a set of labelled {\em contours} A concrete {\em Propositional logic diagram} is a set of labelled {\em contours}
(closed curves) in the plane. The minimal regions formed by the closed curves (closed curves) in the plane. The minimal regions formed by the closed curves
@ -167,8 +166,8 @@ A group of `test points' connected by joining lines
is defined as a `test point disjunction' or Spider. is defined as a `test point disjunction' or Spider.
Spiders may be labeled. Spiders may be labeled.
To differentiate these from common Euler diagram notation (normally used to represent set theory) %To differentiate these from common Euler diagram notation (normally used to represent set theory)
the curves are drawn using dotted and dashed lines. %the curves are drawn using dotted and dashed lines.
\subsection{ PLD Definition} \subsection{ PLD Definition}
%In English: %In English:
@ -275,7 +274,7 @@ Test points on the concrete diagram pair-wise connected by a `joining line'
A collection of test points connected by joining lines, is an Symptom Merged Group, $SMG$ A collection of test points connected by joining lines, is an Symptom Merged Group, $SMG$
or `test point disjunction'. The $SMG$ is the analog of the Spider in constraint diagrams. or `test point disjunction'. The $SMG$ is the analog of the Spider in spider/constraint diagrams\ref{howse:sd}.
An $SMG$ has members which are test points. An $SMG$ has members which are test points.
{ {

6
mybib.bib
View File

@ -158,10 +158,4 @@
howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html", howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html",
year = "2000" year = "2000"
} }
@MISC{javaarea,
author = "Sun~Micro~Systems",
title = "Java Area Operations",
howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html",
year = "2000"
}

8
thesis.tex
View File

@ -25,7 +25,6 @@
% Contents % Contents
% -------- % --------
\pagenumbering{roman} % Lower case roman page numbers
\cfoot{Page \thepage} % Contents page numbers centred \cfoot{Page \thepage} % Contents page numbers centred
\clearpage \clearpage
@ -143,9 +142,10 @@ Software documentation for fmmd tool.
%\chapter{FMMD tool : Algorithms and Euler Diagram Parsing} %\chapter{FMMD tool : Algorithms and Euler Diagram Parsing}
\small %\paragraph{bibliography}
\bibliographystyle{abbrv} %\small
\bibliographystyle{plain}
\bibliography{vmgbibliography,mybib} \bibliography{vmgbibliography,mybib}
\normalsize %\normalsize
\end{document} \end{document}

5
titlepage/titlepage.tex
View File

@ -5,6 +5,7 @@
%\middlefoot{ } % No page number on title page %\middlefoot{ } % No page number on title page
\begin{center} \begin{center}
\pagenumbering{roman} % Lower case roman page numbers
{\LARGE \bf Failure Mode Modular De-Composition } {\LARGE \bf Failure Mode Modular De-Composition }
\vspace{2.15in} \vspace{2.15in}
@ -21,10 +22,10 @@
\vspace{1.0in} \vspace{1.0in}
{\large Version 1.0 } {\large Version 1.0 \today }
\vspace{0.2in} \vspace{0.2in}
{\large Author : R.P. Clark - 2007 } {\large Author : R.P. Clark - 2010 }
\end{center} \end{center}