Biomedical Engineering Reference
In-Depth Information
(
∀
l
1
,k
1
·
l
1
∈
LEADS
∧
k
1
∈
LEADS
∧
((ST
_
elevation(l
1
)
=
FA L S E
∨
ST
_
elevation(k
1
)
=
FA L S E )
((ST
_
seg
_
ele(l
1
)<
1000
∨
ST
_
seg
_
ele(k
1
)<
1000
)
(Abnormal
_
Shaped
_
ST(l
1
)
=
FA L S E
∨
Abnormal
_
Shaped
_
ST(k
1
)
=
FA L S E )))
⇒
l
1
=
k
1
))
grd4
:∀
l
·
l
∈
LEADS
⇒
T
_
inversion(l) <
5000
grd5
:
T
_
Normal
_
Status
=
FA L S E
THEN
act1
:
Mice
_
State
:=
normal
_
variant
END
The event
T_Wave_Assessment_Peaked_V12_MI
is used to discover the poste-
rior MI from the ECG signal. A list of guards has characterised the conditions for
assessing the posterior MI. These guards state that the state of T-wave is peaked in
V1 and V2, the ST elevation is TRUE and the ST segment elevation is greater than
or equal to 1000 µm, or the abnormal shape of ST segment is TRUE in anyone lead,
or the ST elevation is FALSE or the ST segment elevation is less than 1000 µm, and
the abnormal shape of ST segment is FALSE in any two leads, inversion in T-wave
is greater than 5000 µm in all leads, and the deep inversion in T-wave is localised in
leads from V2 to V5 and II, III, aVF.
EVENT T
_
Wave
_
Assessment
_
Peaked
_
V12
_
MI
WHEN
grd1
:
T
_
Wa v e
_
State(V
1
)
=
Peaked
∧
T
_
Wa v e
_
State(V
2
)
=
Peaked
grd2
:
((
∃
l,k
·
l
∈
LEADS
∧
k
∈
LEADS
∧
(ST
_
elevation(l)
=
TRUE
∧
ST
_
elevation(k)
=
TRUE)
((ST
_
seg
_
ele(l)
1000
)
(Abnormal
_
Shaped
_
ST(l)
=
TRUE
∧
Abnormal
_
Shaped
_
ST(k)
=
TRUE))
∧
l
=
k)
(
∀
l
1
,k
1
·
l
1
∈
LEADS
∧
k
1
∈
LEADS
∧
((ST
_
elevation(l
1
)
=
FA L S E
∨
ST
_
elevation(k
1
)
=
FA L S E )
((ST
_
seg
_
ele(l
1
)<
1000
≥
1000
∧
ST
_
seg
_
ele(k)
≥
∨
ST
_
seg
_
ele(k
1
)<
1000
)
(Abnormal
_
Shaped
_
ST(l
1
)
=
FA L S E
∨
Abnormal
_
Shaped
_
ST(k
1
)
=
FA L S E )))
⇒
l
1
=
k
1
))
grd3
:∀
l
·
l
∈
LEADS
⇒
T
_
inversion(l) >
5000
grd4
:
T
_
inversion
_
l
_
d(V
2
)
=
Localized
∧
T
_
inversion
_
l
_
d(V
3
)
=
Localized
∧
T
_
inversion
_
l
_
d(V
4
)
=
Localized
∧
Search WWH ::
Custom Search