From ac37253736be923860658a4067a0f4ef064c167d Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Wed, 2 Nov 2011 19:38:55 +0000 Subject: [PATCH] moved surjection paragraph --- opamp_circuits_C_GARRETT/opamps.tex | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/opamp_circuits_C_GARRETT/opamps.tex b/opamp_circuits_C_GARRETT/opamps.tex index 1cca6bf..53f9132 100644 --- a/opamp_circuits_C_GARRETT/opamps.tex +++ b/opamp_circuits_C_GARRETT/opamps.tex @@ -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. -\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 } @@ -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} 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} By applying stages of analysis to higher and higher abstraction