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

luchtime edit

Browse Source
This commit is contained in:
Robin Clark 2011-03-15 14:27:48 +00:00
parent b830e16e11
commit cab6906fb4
3 changed files with 37 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
logic_diagram/logic_diagram.tex
View File

@ -378,7 +378,7 @@ $$ \mathcal{G}:SMG \rightarrow P. $$
The logic equation (using $oplus$ to represent exclusive-or) representing an SMG $p_{fmg}$ is given thus; The logic equation (using $oplus$ to represent exclusive-or) representing an SMG $p_{fmg}$ is given thus;
$$\mathcal{G}(fmg) = \bigoplus_{t \in fmg} (\; \mathcal{F_t}_{t} (t) \;) \; .$$ $$\mathcal{G}(fmg) = \bigoplus_{t \in fmg} (\; \mathcal{F_t} (t) \;) \; .$$
} }
} }
@ -391,7 +391,7 @@ and unused available zones.
\section{Context, functional groups, failure modes and symptoms} \section{Context, functional groups, failure modes and symptoms}
\include{../shortfg} \input{shortfg}
\subsection{Symptom Collection} \subsection{Symptom Collection}

19
logic_diagram/paper.tex
View File

@ -3,21 +3,28 @@
\usepackage{graphicx} \usepackage{graphicx}
\usepackage{fancyhdr} \usepackage{fancyhdr}
\usepackage{tikz} \usepackage{tikz}
\usetikzlibrary{shapes,snakes}
\usepackage{amsfonts,amsmath,amsthm} \usepackage{amsfonts,amsmath,amsthm}
\input{../style}
\usepackage{ifthen} \usepackage{ifthen}
\usepackage{lastpage}
\newboolean{paper} \newboolean{paper}
\setboolean{paper}{true} % boolvar=true or false \setboolean{paper}{true} % boolvar=true or false
\input{style}
%\newtheorem{definition}{Definition:} %\newtheorem{definition}{Definition:}
\begin{document} \begin{document}
\pagestyle{fancy} \pagestyle{fancy}
\fancyhf{}
%\renewcommand{\chaptermark}[1]{\markboth{ \emph{#1}}{}}
\fancyhead[LO]{}
\fancyhead[RE]{\leftmark}
%\fancyfoot[LE,RO]{\thepage}
\cfoot{Page \thepage\ of \pageref{LastPage}}
\rfoot{\today}
\lhead{Propositional Logic Diagram FMMD}
\outerhead{{\small\bf Propositional Logic Diagram}}
\innerfoot{{\small\bf R.P. Clark } }
% numbers at outer edges % numbers at outer edges
\pagenumbering{arabic} % Arabic page numbers hereafter \pagenumbering{arabic} % Arabic page numbers hereafter
\author{R.P.Clark} \author{R.P.Clark}

30
logic_diagram/paper.tex~
View File

@ -3,14 +3,28 @@
\usepackage{graphicx} \usepackage{graphicx}
\usepackage{fancyhdr} \usepackage{fancyhdr}
\usepackage{tikz} \usepackage{tikz}
\usepackage{amsfonts,amsmath} \usetikzlibrary{shapes,snakes}
\usepackage{amsfonts,amsmath,amsthm}
\input{../style} \input{../style}
\usepackage{ifthen}
\usepackage{lastpage}
\newboolean{paper}
\setboolean{paper}{true} % boolvar=true or false
%\newtheorem{definition}{Definition:}
\begin{document} \begin{document}
\pagestyle{fancy} \pagestyle{fancy}
\fancyhf{}
%\renewcommand{\chaptermark}[1]{\markboth{ \emph{#1}}{}}
\fancyhead[LO]{}
\fancyhead[RE]{\leftmark}
%\fancyfoot[LE,RO]{\thepage}
\cfoot{Page \thepage\ of \pageref{LastPage}}
\rfoot{\today}
\lhead{Propositional Logic Diagram FMMD}
\outerhead{{\small\bf Propositional Logic Diagram}}
\innerfoot{{\small\bf R.P. Clark } }
% numbers at outer edges % numbers at outer edges
\pagenumbering{arabic} % Arabic page numbers hereafter \pagenumbering{arabic} % Arabic page numbers hereafter
\author{R.P.Clark} \author{R.P.Clark}
@ -19,10 +33,10 @@
\input{logic_diagram_paper} \input{logic_diagram_paper}
\bibliographystyle{plain} \bibliographystyle{plain}
\bibliography{vmgbibliography,mybib} \bibliography{../mybib,../vmgbibliography}
\begin{verbatim} %\begin{verbatim}
$Id: paper.tex,v 1.3 2008/11/07 19:54:52 robin Exp $ %$Id: paper.tex,v 1.4 2009/11/28 20:05:52 robin Exp $
\end{verbatim} %\end{verbatim}
\end{document} \end{document}