This commit is contained in:
Robin Clark 2010-10-30 12:55:42 +01:00
parent c3e8946c39
commit 35942a023c

View File

@ -109,7 +109,6 @@ for each test case.
\pagebreak[1] \pagebreak[1]
\section{A theoretical `Derived Component' example} \section{A theoretical `Derived Component' example}
Consider a functional group $FG$ with components $C_1$, $C_2$ and $C_3$. Consider a functional group $FG$ with components $C_1$, $C_2$ and $C_3$.
$$ FG = \{ C_1 , C_2 , C_3 \} $$ $$ FG = \{ C_1 , C_2 , C_3 \} $$
@ -178,6 +177,7 @@ This can be seen as all the failure modes that can affect the failure mode group
\subsection{Analysis of the functional group failure modes} \subsection{Analysis of the functional group failure modes}
\label{theoreticalsx}
For this example we shall consider single failure modes. For this example we shall consider single failure modes.
%For each of the failure modes from $fm(FG)$ we shall %For each of the failure modes from $fm(FG)$ we shall
%create a test case ($g_i$). Next each test case is examined/analysed %create a test case ($g_i$). Next each test case is examined/analysed
@ -286,9 +286,13 @@ Where $\mathcal{FG}$ is the set of all sets of functional groups, and $\mathcal{
is the set of all derived components, we can define the symptom abstraction process thus: is the set of all derived components, we can define the symptom abstraction process thus:
$$ $$
%\bowtie : SubSystemComponentFaultModes \rightarrow DerivedComponent %\bowtie : SubSystemComponentFaultModes \rightarrow DerivedComponent
\bowtie : \mathcal{FG} \rightarrow \mathcal{DC} \bowtie : \mathcal{FG} \rightarrow \mathcal{DC} .
$$ $$
Given by
$ \bowtie ( FG ) = DC $
as per the example in preceeding section \ref{theoreticalsx}.
\paragraph{Extending $\bowtie$ to {\dcs}} \paragraph{Extending $\bowtie$ to {\dcs}}
It is useful to further define the $\bowtie$ function, to It is useful to further define the $\bowtie$ function, to