Information Technology Reference
In-Depth Information
If
Cr
is some of the above discussed or another criterion for correctness, and if
all vertices and arcs of a given TIFCM satisfy criterion
Cr
in a fixed time-moment
t
-correct TIFCM.
If for the same criterion
Cr
all vertices and arcs of the same TIFCM satisfy it in
all time-moments
t
∈
T
, then this TIFCM is called
(
Cr
,
t
)
-correct TIFCM.
The validity of the following assertion is checked easily on the basis of the above
definitions for correctness.
If the TIFCM is:
∈
T
, then this TIFSM is called
(
Cr
,
T
)
(a)
(
Cr
,
t
)
-(top-down-min-max)-correct,
then it
is
(
Cr
,
t
)
-(top-down-average)-
correct and
(
Cr
,
t
)
-(top-down-max-min)-correct;
(b)
(
Cr
,
t
)
-(top-down-average)-correct,
then it
is
(
Cr
,
t
)
-(top-down-max-min)-
correct;
(c)
(
Cr
,
t
)
-(bottom-up-max-min)-correct, then it is
(
Cr
,
t
)
-(bottom-up-average)-
correct and
(
Cr
,
t
)
-(bottom-up-min-max)-correct;
(d)
(
Cr
,
t
)
-(bottom-up-average)-correct, then it is
(
Cr
,
t
)
-(bottom-up-min-max)-
correct;
(e)
(
Cr
,
T
)
-(top-down-min-max)-correct, then it is
(
Cr
,
T
)
-(top-down-average)-
correct and
(
Cr
,
T
)
-(top-down-max-min)-correct;
(f)
(
Cr
,
T
)
-(top-down-average)-correct, then it is
(
Cr
,
T
)
-(top-down-max-min)-
correct;
(g)
(
Cr
,
T
)
-(bottom-up-max-min)-correct, then it is
(
Cr
,
T
)
-bottom-up-average)-
correct and
(
Cr
,
T
)
-(bottom-up-min-max)-correct;
(
,
)
(
,
)
(h)
Cr
T
-(bottom-up-average)-correct, then it is a
Cr
T
-(bottom-up-min-max)-
correct.
If the TIFCM is a
(
Cr
,
T
)
-correct TIFCM for a set of time-moments
T
, then it is a
(
Cr
,
t
)
-correct TIFCM for each time-moment
t
∈
T
and vice versa, if it is a
(
Cr
,
t
)
-
correct TIFCM for each separate time-moment
t
∈
T
, then it is a
(
Cr
,
T
)
-correct
TIFCM.
Search WWH ::
Custom Search