moved surjection paragraph

This commit is contained in:
Robin Clark 2011-11-02 19:38:55 +00:00
parent e0dc16c671
commit ac37253736

View File

@ -545,15 +545,6 @@ that converges to one top level {\dc}. At this stage we have a complete failure
mode model of the system under investigation. mode model of the system under investigation.
\paragraph{surjective constraint applied to symptom scollection}
We can stipulate that symptom collection process is surjective.
% i.e. $ \forall f in F $
By stipulating surjection for symptom collection, we ensure
that each component failure mode maps to at least one one symptom.
We also ensure that all symptoms have at least one component failure
mode.
%
\subsection { Definitions } \subsection { Definitions }
@ -647,6 +638,16 @@ where its failure modes, are the symptoms from $FG$.
Note that the component must have a higher abstraction level than the {\fg} Note that the component must have a higher abstraction level than the {\fg}
it was derived from. it was derived from.
\paragraph{Surjective constraint applied to symptom collection.}
We can stipulate that symptom collection process is surjective.
% i.e. $ \forall f in F $
By stipulating surjection for symptom collection, we ensure
that each component failure mode maps to at least one one symptom.
We also ensure that all symptoms have at least one component failure
mode.
%
\subsection{FMMD Hierarchy} \subsection{FMMD Hierarchy}
By applying stages of analysis to higher and higher abstraction By applying stages of analysis to higher and higher abstraction