Biomedical Engineering Reference
In-Depth Information
The next event
QRS_Test_Atypical_RBBB_Brugada_Syndrome
is used to trace
the symptoms of Brugada Syndrome. The guards of this event presents that the
heart is in state of Atypical RBBB, QRS interval is greater than or equal to 110 ms,
slurred S-wave is FALSE in leads V5 and V6, the heart has not the symptoms of
WPW syndrome and the possibility of any other diseases, ST elevation is TRUE in
leads V1 and V2, and the sinus rhythm is
Ye s
.
EVENT QRS
_
Te s t
_
Atypical
_
RBBB
_
Brugada
_
Syndrome
ANY
sympt, dis
WHERE
grd1
:
sympt
=
A
_
RBBB
grd2
:
QRS
_
Int
≥
110
grd3
:
Slurred
_
S(V
5
)
=
FA L S E
∧
Slurred
_
S(V
6
)
=
FA L S E
grd4
:
dis
∈
Disease
_
Codes
_
Step
3
\{
WPW
_
Syndrome, NDS
3
}
grd5
:
ST
_
elevation(V
1
)
=
TRUE
∧
ST
_
elevation(V
2
)
=
TRUE
grd6
:
Sinus
=
Ye s
THEN
act1
:
Disease
_
step
3
:=
Brugada
_
Syndrome
END
The event
QRS_Test_Atypical_RBBB_RV_Dysplasia
captures the diagnosis pro-
cess for Right Ventricular Dysplasia (RV Dysplasia), where a set of guards ex-
plores the required symptoms using predicates. These predicates express that the
heart is in state of Atypical RBBB, QRS interval is greater than or equal to
110 ms, the heart has not the symptoms of WPW syndrome, Brugada Syndrome
and the possibility of any other diseases, and epsilon wave is TRUE in leads V1
and V3.
EVENT QRS
_
Te s t
_
Atypical
_
RBBB
_
RV
_
Dysplasia
ANY
sympt, dis
WHERE
grd1
:
sympt
=
A
_
RBBB
grd2
:
QRS
_
Int
≥
110
grd3
:
dis
∈
Disease
_
Codes
_
Step
3
\{
WPW
_
Syndrome,
Brugada
_
Syndrome, NDS
3
}
grd4
:
Epsilon
_
Wa v e(V
1
)
=
TRUE
∧
Epsilon
_
Wa v e(V
3
)
=
TRUE
THEN
act1
:
Disease
_
step
3
:=
RV
_
Dysplasia
END
The event
QRS_Test_Atypical_RBBB_IVCD
captures the essential conditions to
determine the IVCD. A set of guards of this event describes that QRS interval is
Search WWH ::
Custom Search