Biomedical Engineering Reference
In-Depth Information
inv
1
:
MC
_
Step
10_
Te s t
_
Needed
∈
BOOL
inv
2
:
Disease
_
step
10
∈
Misc
Disease
_
Codes
_
Step
10
inv
3
:
Sinus
Incomplete
_
RBBB,
Long
_
QT, Hypokalemia, Digitalis
_
toxicity, Hypothermia,
Electronic
_
pacing, Pericarditis, Hypercalcemia
=
Ye s
∧
Disease
_
step
10
∈{
}
Electrical
_
alternans
Heart
_
State
=
KO
inv
4
:
Sinus
=
Ye s
∧
Disease
_
step
9
=
Dextrocardia
Heart
_
State
=
KO
The event
Miscellaneous_Conditions_Step10
is used to assess miscellaneous dis-
ease. It is very difficult to identify all the possible diseases using ECG signal, there-
fore a set of disease is classified under the miscellaneous conditions. This event is
used to find the several diseases. A set of guards is used that specifies that the fur-
ther test is needed that is presented as a boolean type, and the heart is in abnormal
state.
EVENT Miscellaneous
_
Conditions
_
Step10
WHEN
grd1
:
MC
_
Step
10_
Te s t
_
Needed
=
TRUE
grd2
:
Heart
_
State
=
KO
THEN
act1
:
Disease
_
step
10
:∈ {
Incomplete
_
RBBB, Pericarditis, Long
_
QT, Hypokalemia,
Digitalis
_
toxicity, Electrical
_
alternans, Electronic
_
pacing, Hypothermia,
Hypercalcemia
}
END
The event
Misc_Disease_Step10_Dextrocardia_Test
refines
Misc_Disease_
Step9_RAD
and this event is modelled to assess the Dextrocardia. A list of required
conditions is formalised in form of guards. These guards present that the axis devia-
tion is right axis deviation (RAD) in leads, minimum angle is 110, maximum angle
is 180, boolean state for further testing is TRUE, and the heart is in abnormal state.
EVENT
Misc_Disease_Step10_Dextrcardia_Test
Refines Misc
_
Disease
_
Step9
_
RAD
WHEN
grd1
:
Axis
_
Devi
=
RAD
∧
minAngle
=
110
∧
maxAngle
=
180
grd2
:
MC
_
Step
10_
Te s t
_
Needed
=
TRUE
grd3
:
Heart
_
State
=
KO
THEN
act1
:
Disease
_
step
9
:=
Dextrocardia
END
Search WWH ::
Custom Search