Diagnosis of Repeated Failures For Discrete Event Systems With Linear-Time Temporal Logic

发布时间:2021-11-29 06:03:39

??× × ? ? ? ? ??? × ?? × ? ? ? ?? ??×? ?× ? ? ? ? ??? ? ? ???? ? ?? ?? ? ? ??× ?
? ? ? ? ? ? ? ?? × ? ? ??? ? ? ? ? ??? ?? ? ? ?? ?

?? ? ?× ?? ? ? ? ? ???? ? × ???

? ??? ? ? ? ??? ?

?? ?  ? ??? ??

×?? ?

?? ??? ?? ? ??? ???? ? ???? ? ×? ? ? × ???? ?? ? ??× × ? ? ? ? ?? ? ??? ? ??? × ? × ? ? ? ?? ×?×? ?× ? ?×?? ? ? ? ???? ? ?? ???? × × ??? ? ? ? ? ×? ? ? ×?×? ? ???? ?? ×? ? ? × ? ? ? ? ???? ? ?? × ???? ?? ??× ? ? ? ??? ? ? ? ? ? ??? ? ? ??? × × ? ??? ? ? ? ??? ? ? ???? ? ?? ????? ????? ? ?× ?? ? ?? × ?? ? ×? ? ? ??× ? ?×? ??? ??× ? ?? ? ??× ? ?? ?? ??? × ? ??× ? ?? ?? ? ? ? ??? × ? ???? ? ? ? × ?? ? ? ? ???? ? ?? ? ??????? ? ? ?? ? ? ?? ? ? ×? ? ?? ? ??× ? ?? ?? ??? × × ???? ? ? ??× × ??? ? ? ?? ? ? ? ??? × ? ? ? ???? ? ?? × ?? ? × ? ? ?? ?? ? ×? ? ? × × ?? ? ? ? ×? ? ?? ?? ? ×???× ? ×? ? ? × ? ? ? ??? ??× × ??? ? ??? ? ? ???? × ??? ? ??? × ? ? ?? ???×?? ? ???
? ????

?? ?

×

× ? ?

? ?? ×?×? ?? ? ? ?

???

??× ×? ? ? ??? ? ? ???? ?

?

????? ? ? ??

? ? × ? ? × ×?????? ? ? ?? ? ? ? ? ?? ? ? ? ??? ? ?? ?? ? ? ? ??× ?? ? ?? ? ? ?? ? ???? ?? ? ? ?? ?? ? ?? ? ??? ? ?? ? ? ? ? ? × ? ?? ? ? ? ?? ????? ???? ??? ? ? ?? ?? ? ???
?

??? ? ??× × ? × ? ? ? ?? ×?×? ?× × ? ? ? ? ? ? × ? ? × ?? ? ??? ??? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ??? ??? ? ?? ? ? ??? ×? ? ? ??? × × ?? ? ? ??? ? ×?×? ? ? ×?×? ? ? ?? × ? ?? ? ? ? ?? ? × ×? ? ? ?? ? ?? × ?? ? ×?×? ??× ??? ? ? ? ??? ? ??? × ? ??? × ? ?? ? ?? ?? ? ???? ? ?? ? ?? ? ? ???? ×? ? ???? ?? ??? ? ? ??? ? ?? ? ? ??? ? ×? ? ? ?? ??? ×× ? × ?? ? ? ???? ? ?? ?? ? ? × ? ??? ? ??× × × ?? ??? ??? ? ×?×? ?

?

? ??? ? ? ?? ? ? ? ??? ? ? ?? ??? × ? ?? ??? ? ? ???? ? ?? ? ?× ??? ?? ?? ? ? ?? ??? ×?? ? ?? ?? ??× ×?? ??? ?? ? ??? ??× × ? ?? ? ? ? ? ? ??× ? × ? ? ? ?? ×?×? ?× ? × ??×? ?????× ? ? ?? ? ? ?? ? ?? ? ? ? ? ? × ? ? ? ?? ×?×? ? ? ??? ??? ? ?? × ???? ? ??? ? ? ? ??×? ??× ? ? ? ??? ??? ? ? ? ??? ? × ? ×? ? ??? ?× ? ??×? ? ??×? ? ? ? ?? ??×??? ? ? ??× ? ? × ? ?? ?? ? ? ? ×× ?? ? ×?? ?? ?? ? ?? ? ??× ? ?? ? × ? ? ? ? ? ??× ? ?? ? ???? ?? × ? ? ??×??? ? ??× ?? ? ? ?? ? ? ? ??????? ? ???? ? ?? ?? ? ×? ? ??× ? ?? ? ? ??? ? ? ?? ??×??? ? ??× ? ? × ? ? ? ? ? ? ?? ? × ? ? ? ??? ??? ???? ???? ????? ? ?? ??? ×?? ? ?? ? ×? ?? ??× ? ??? ?? ?×? ? ???? ? ? × ? ×?? ? ??×??? ? ?? ? ??× ? ?? ×?×? ?× ? ? ? ? ?? ? ?? ??? ??× ? ? ?? ? ? ? ×? ? × ??? ? ?? ? ?? ×?×? ?× ??? ? ? ? ? × ? ??? × ?? ? ? ??× ? ???? ? ??? ?? ? ??× ? ?? ? ??? ? ? ? ? × ??? ?? ??? ??× × ? ?? ? ? ? ? ? ?? ? ? ? ? ? ?? ?? ? ?? ? ? ×?×? ?× ? ? ?? ? ×?? ?? ??? ? ?? ? ?? ?? ??× ? ? × ? ???? ? ?? ?? ? ?? ? ??? ?? ? ??? ??× × ? × ?? ? ?? ??? ?? ? ? ? ??? ??× ×? ? ? ?? ??? ?????? ? ? ?? ? ? ×?×? ? ?? ?? ? ??× ?? ? ??? ? × ???? ?? ??? ? ? ?? ? ? ? × ? ? ? ?? ×?×? ? ? × ? ??? ? ? ?? ? ?? ????? ?? ?? ? × ??? × ? ? ? ? ? ? ??? × ? ?? ? ? × ???? × ? ? ? ?? ?× ?? ?? ? ? ×?×? ?× ? ? ??× ? ? ??? ??? ???? ?? × ??? ??? ? ? ? ??? ???? × ? ? ??? × ? ×? ? ? × ? ? ?? ? ? ?? ? ?? ? ??????? ??? ? ? ?? ??? ?? ?? ?? ? × ?? ?? ??? ? ? ? ??? ? ? ??? × ×? ? ? ? × ? ? ??? ? ? ???? ? ?? ? ? ??? × ???? ? ?? × ? ? × ? ? ???? ×? ? ? ×? ? ? × ?? ??? ?? ??? ? ?? ??? ? ? ??? ??? ? ?? ?? ? ? ?? ?? ? ×? ? ? ? ?? ?? ? ? ? ?? ? × ? ? ??? ? ×? ? ? ??? ×? × ? ? ?? ×? ? ? ?? ? ? ? ? ? ??? × ? ? ×? ? ×? ?? ? ? ×? ? ??? ? ? ?? ? ? ?? ?? × ??×× ? ? ???? ? ? × ? ?? ?? ??? ??? ?× ? ?? ?? ??? × ? ? ? ? ? ??? ? ×? ? ? ?? × ?? ? ? ? ?? ? ? ? ? × ? × ? ?? ?? ? ? ?????? ?× ? ?? ?? ??? × ? ? ? ? ? ??? ? ×? ? ? ?? × ??? ? ×× ? ?? ? ?? ? ? ? ?? ?? ?? ? ?× ?? ? ?? ?× ??×? ?? × ? ?? ? ? ?? ?× × ? ??? ? ?? ?× ??×? ??? ??? ? ?? ? ?? ? ? ? × ?? ?? ? ?? ? ?× ??? ? ?? ?× ?? ? × ? × ? ?? × ? × ? ? ? ?? ? × ? ? ? ×? ? ? ??? ?? × ? ?? ??? ?? ?? ? ??× ? ? ??? ??? × ? ? ?????? ? ?? ??? ??? ?× ??? ?? ?? ? ?? ???? ???× ? ??? ? ??? ? ? ?? ? ?????× ? ? ? ?× ? ? ? ??? ? ? ???? ? ?? ????? ?? ??? ×× ??? ×? ? ? ??×? ? ? ? ? ??? ? ? ? ??? ??× × ?? ? ? ? ?? ?? ? ??? ? ? ? ?? ? ? ? ???? ? ?? ??????? ? ? ? ??? ? ? ×?×? ? ×? ? × ? ???? ?? ? ? ? ? ? ? ? ? ??? ×? ? ? ?? ????? ? × ? ? ? ?? ??? ??× ×? ??× ? ? ? × ??? ? ?? ? ×? ×? ? ? ? ? ? ? ? × × ? ? ? × ??????? ? ? ? × ? ? ? ×?×? ? ×? ? × ? ???? ?? ? ? ? ? ? ? ? ? ??? ×? ? ? ?? ????? ? ? × ?×? ? ? ? ? ? ? ? ×? ??? ? ?? ?? ×? ? ?? × ?? ? ?? ? ? ??× ? ? × ? ?? ? ? ?? ? ? ×??? ? ?? ? ? ? ? ? ?? ? ×? ? ?? × ?? ? ?? × ? ?? ?? ? × ? ? ? × ???? ?? ? ? ? × ? ? ×?×? ? ×? ? ×?? ??×? ?? ?? ??? ?? ??? ? ??× × ? × ? ? ? ?? ×?×? ?× ??× ? ? ? ? ?? ??? ?

??? ? ??? ? ? ? ?? ? ?× ??? ? ? ? ??? ? ?? ? ? ? ? ???? ?? ?? ? ? ? ??? ? ? ? ??? ??? ??? ? ? ? ? ?? × ??×× ? ? ? ? ×?? ×?×? ?× ? × ? ??? ? ??? ? ? ?× ???? ?? ??? ? ? ? ? ×? ?? ? ??? ? ???? ??? ? ×? ? ??? ???? ?? ??? ? ? ???? × ? ? ??? ????? ???? ?? ? ? ??? × ? ??? × ? ? ? ?? ? ? ? ?? ? ?? ?? ?? ?? ?? ??? ×? ×? × ???× ? ? ? ?? ?? ? ??? ?? ? ??? ? ???? ?? ?? ??? ? ? ?? ??× ? ? ? ?? ? ×? ? ? ? ?? ? ??? ? ??? ×? ? ??? ??? ? ? ??? ?? ? ? ? ?? ???? ? ?? ? ? ? ???? ?? ?? ? ? ? ??? ? ? ??? ? ?? × ????? ?? ?? ? ? ? ??× ??? ? ?? ? ? ? ? ??×? ??? ?×? ? ??×? ? ? ? ? ??×? ? ? ? × ??? ? ? ??? ? ?????× ? ??? ×? ? ? × ???? ?? ??× ? ? ? ? ??? × ? ?×? ? ???? ? ? ? ?? ??? ??× ? ? ? ? ??? ??× ? ?? ?? ??× ? ? ???? ?? ?? ? ??? ×? ? × ? ? ? ? ? ?? ? ??? ?? ? ??× ? ?? ? ??? ? ? ?? ? ? ? ? ? ? ? × ?? ??× ? ? ??? ? ? ??? ? ?? ??? ?× ???? ?? ?? ? ? ??? ? ? ??????? ? ? ?? ? ?× ?? ? ×? ? ? × ? ? ??× ??? ??× ? ? ? ? ??? ??× ? ??? × ? ?? × ??? ?? ? ??????? ? ???? ? ?? ?? ? ???? ? ??× × ? ? ? ? ??? ×? ? ? ? ? ? ? ???? ?? ? × ? ? ?? ? ?? × ?? ? ???? ? ?? × ???? ?? ??× × ? ? ? ? ??? ×? ? × ?×? ?? ? × ??? ?? ? ??? ?? ? ???? ? ?? × ???? ?? ??× × ? ????? ? ? ? ??? × ?? ? ? ? ?? ??× ? ? ?× ??? ????? ?? ? ?????× ? ×? ? ? ×? ? ? ??? ? ??? ? ?? ? ? ×?×? ? × × ?? ???? ? ? ?? ? × ? ? ? ??? ????? ? ? ? ? ? ? ??× × × ?? ? ? ? ??× ??? ? ??×? ? ? ? ? ??×? ? ×?? × ?? ? ?? ??× ? ? ??? ? ? ? ? ?????? ? ? ???? ? ? ? ? ??? × ? ? ? ? ?? ??? ? ? ??? ? ? ??? ? ??? ?? ? ?? ? ? ? ?? ? ? ? ? ??× ? ??? ? ?? ? ? ? ? ??×? ? ? ? ×???? ? ??? ?? ? ??? ??? ? ? ?× ? ??? ? ??? × ? ? ??? × ?? ? ? ??? ? ? ? ??? ×? ? ? ?? ? ×?×? ? × × ?? ? ??? ?? ? ??× ? ? ?? ??? ? ? ??? ?? ? ? ? ? ? ×?×? ? ??×× ×× × ?? ? ? ??? ?? × ?× ?? ? ??? ? ???? ??? ? ? ??? ?? ? ??× ? ?? × ??? ? ? × ?? ? ?? ? ?? ?? ? ? ? ??? ??× ? ??? × ? ? ? ??? ? × ???? ???? ? ? ? ?? ? ? ? ?? ? ?? ? ? ×? ? ? ?? ? ??? ? ? ??? ? ? × ?? ? ?? ? ?? ? ? ? ? ?? ×? ? ? ?? ? ???? ? ? × ?? ? ?? ? ? ??×? ??? ? ? ? × ???? ??? ???? ? ??? ?? × ? ×? ? ? ?? × ???? × ?? ×? ? ? ??? ? ???? ? ? ? ? ??? ?? ? ??× ? ?? × ?? ? ? ?? ?? ? ? ? ? ? ??×?? ???? ???? ?? ? × ? ? ?? ? ? ?? ? ×? ? ? ??× × ? ? ? ? ??? ×? ? ??? × ? ? × ? ??? ? ??? ? ? ?? ???? ?? ??? ? ? ? ? ×? ?? ×? ??? ?? ??? ? ??? ? ×? ? ? ?? × ??? × ? ×? ?? ??? ? ? ? ×× ? ? ??? ?? ×? ? ? ? ×?×? ?? ? ?? ? ??? ????? ? ?? × ?? ? ? ×? ? ? ?? × ??? ? ? ??? ? ? ? ? ×? ? × ?? ?? ??? ? ? ?? ×? ? ×? ? × ??? ????? ? ?? ?? ? ?? ? ?? ? ? ??? ? ? ? ? × ? ×? ? ? ?? × ? ?? ? ??? ?? ? ?? ? ? ×?×? ?? ? ??? ?? ? ? ??? ?? ??× × ???? ? ? ? ? ? ??? ?? ?? ? ?? ? ? × ? ?? ? ?? ? ? ×? ? ? ?? ??? ? ? ?? ? ? ?× ?? ??× × ? ? ? ? ??? ×? ? ???? ? ?? ??× ? ??? ? ? ? ? ??? ? ? ? ? ??? ?? ??× ??? ?? ? ?? ? ? ×?×? ?? ?? ??× × ? ? ? ? ??? ×? ? ???? ? ? ??? ??× ? ?? ??× ? ?? ?? ?? ?? × ??× ? ???? ????? ??× ? ?? ?? ? ??? ? ??? × ??× ? ???? ? ????? ??× ? ?? ?? ? ??? ? ??? × ??× ? ??? ? ? ? ???? ? ?? × ?? ? ? × ? ? ? ?? ?

? ?× ? ? ×? ? ? × × ?? ? ???? ? ??? ? × ?? ? ? ? ? ? ? ??× × ? ? ? ???? ? ?? × ?? ? ? ? ? ?? ? ?? ? ? ×? ? ? × × ?? ? ? ? ? ?? ? ? × ???? ?? ? × ? ? ? ??? ? ??? ? × ? ? ? ?? ? ? ×???× ? ??? ?? ? ??? ?? ? ? ? ??? ??× × ? ×? ? ? × × ?? ? ? ??? ?? ? ? ? ? ? ? ? ? ? ×?×? ? × ??× ? ?? ? ? ? ??? ×? ? ? ×? ? ? ? ? ? × ?? ? ? × ?????×? ? ? ?? ? ? × ? ?? ? ?? ? ??? ? ???? ? ?? ? ?? ? ? ?? ?? ? ??? ??× ? ? ??? ?? ? ? ??? ?? ? ??× ? ?? ? ???? ? ? ? ? ? ?? ? ? ?? ? ×? ? ? ? ??? ?? ? ??× ? ?? × ???? ? ?? ? ? ?? ? ? ? ??? ?? ?? × ?? ? ? ? ? ?? ? ? ?? ?? ? ? ? ??? ?? ??× × ? ? ? ? ? ? ?? ?? × ??× ? ?? ? ??× ? ? ? ??× ??? ??× ? ??× ? ?? ? ? ? ? ??? ? ? ? ???? ? ?? × ?? ? ? ? × ??× ? ? ? ? ? ? ??× × ? ? ? ???? ? ?? × ?? ? ? ? ? ?? ? ? ? ? ×? ? ? × × ?? ? ? ? ???? ? ? ?? ?? × ??× ? ???×?? ? ? ? ??? ? ? ? ? ?? ?? ?? × ? ??? ?? × ?? ?
? ??? ? ??× ? ?? ? ? ? ? ×

?? ? × ? ? ?? ? ?× ??? ? ???? ? ?? ?? ??? ×× ? ×? ? ? ??× ? ?× ?? ? ?????× ? ??? ??× ×? ?? ? ????? ? ? ? ? ? ?? ? ?? ? ???? ?? ???? ? ???? ? ? ?? ?? ? ???? ? ?? ? ? ?× ? ? ? ? ?? ?? ?? ? ?? ? × ? ? ??? ?????× ? ?? ×?? ??×? ?× ? ? ??? ?????× ? ??× ? ??? ? ??? ? ? × ×? × ?? ?? ? ??? × ?? ? ??? ? ? ? ??? ?? ? ??×??? ? ??? ??? ×× ??× × ? ? ???? ?? × ? ×? ? ×? ??? ? ? ?? × ?×? ?? ? ×? ? × ? ? ? ???? ?? × ? × ?? ? × ? ×? ? ×? ?? ???? ?? × ? ??? ×× ?× ? ? ???? ? ?? ? ???× ? ? ???? ? ?? ? ??? ? ???? ? ?? × ×? ? ? ???? ? ?? ??? ? ×?? ? ????? ? ? ???? ? ?? ? ???× ? ?× ? ??? ?? × ? ? ? ???? ?? × ??? ×? ? ×? ? ??? ? ? ? ? ?? ? ? ? ?? ? ?? ? × ? ? ???? ??? ?? ? ? ? ?? ×? ? ? ? ×? ? ??? ? ? ? ? ??? ? ? ?? × ?× ?? ?? ? ??? ???? ?? ×? ? ?? ? ???? ??? ?? × ? ? × ×? ? ? ? ×? ? ??? ? ? ? × ?? ???? ??? ?? ×? ? ? ? ?? ?? ? ×? ? ? ? ×? ? ??? ? ? ??×? ???? ??? ?? ×? ? ? ? ??? ??? ?? ? ? ???? ? ?? × ?× ?? ×× ?? ? ? ???? ??? ? ?? ?? ? ×?? ???? ×? ? ? ? ×? ? ??? ? ?? × ×? ? × ? ??? ? ? ? ? ?? ??? ?? ?? ?× ? ?? ×? ? × ? ? ???? ??? ?? × ? ? ?? ×? ? ? ? ×? ? ??? ? ? ? ?? ? ?? ?×? ?? ? × ??? ???? ?? ×? ?? ? ?? ? × ? ? ? ? × ×? ? ? ? ×? ? ??? ? ? ? × ?? ???? ??? ?? ×? ? ? ? ? ? ×?× ?? ? ×? ? ? ? ×? ? ??? ? ? ? ??×? ???? ??? ?? ×? ? ?? ? ? ? ×??? ? ? ???? ??? ????? ? ? ? ? ? ??? × ????? ? ? ???? ?? ? ? ? ? ? ? ? ? × ??? ????? ? ?? ? ? ? ??? ????? ? ? ? ×? ? ? ? ? ?
? ? ? ? ? ? ?

? ? ? ??? ????? ? ? ? ×? ? ? ? ? ? ? ? ? ? ?× ?? ??? ? ? ? ? ? ? ? × ? ??? ? ? ??? ? ? ? ???? ? ?? ? ???× ? ? ? ?? ? ? ? × ? ?? × ? ???? ? × ?? ?? ? ??? ? ?????× ? ????? ×? ? ? ? ? ? ? ? ? ? ?? ? ? × ? ? ?? ?? ? ?????× ? ????? × ?? ? ? ? ? ? ? ? × ? ? ?? ??? ? ?????× ? ????? × ?? ? ? ? ?? ??? ????? ? ? ? ? ? ? ??? ? ?? ?? ×??? ? ? ?× ? ? ?? × ?? ×??? ? × ??? ?? ? ??? ? ??? ? ?????× ? ??? ?? ? ? ? ? ? ?? × ?? ? ? ? ? ?? × ?????×? ? ? ? ××?? ? ? ? ? ??? ????? ? ? ?? ?? ? ?? ? ? ? ? ?? ? ? ? ? ?? ? ? ? ? ?? ?? ?? ?? ?? ? ? ? ? ? ? ?? ? ? ? ?? ?? ?? ? ?? ?? ?? ? ? ?? ?? ? ? ?? ? ? ? ?? ? ? ? ?? ?? ? ? ? ? ??? ?? ? ? ? ?? ?? ? ? ?? ?? ? ??? ?? ??? ? ? ? ? ??? ?? ? ? ? × ? ?? × ? ??? ? ?? ???? ?? ? ??? ? ?????× ? ????? × ?? ? × ? ?? ?? ? ?? ? ? ?? ? ? × ? ?? × ? ??? ?? ?? ? ?????× ? ????? × × ?????× ?? ?? ? ?????× ? ????? ?? ? ? ? ???? ? × ? ×? × ??? ????? ? ???? ? ??? ? ?????× ? ????? ?? ? ? ? ?? ?? ? ? ?? ?? ? ? ? ?? ? × ? ×? × ? ?? ? ????? ? ? ? ??×? ???? ? ×?? ??? ? ??× ? ??? ? ? ? ? × ???? ? ? ? ? ?? ? ?? ? ? ??? ????? ? ? ? ? ? × ? ? ? ? ?? ? ???? ? ?? ? ×? ? ? ? ? ? ???? ??? ??? ??? ?? ? ? ?? × ?? ?? ? × ? ? ?? ?? ? ? ? ? × ?? ? × ? ? ??× ??? ? ? ?? ? ? ? ?? ? ? ? ?? ?? ? ? × ? ? ?? ??? ? ? ? ? × ?? ? × ? ? ??× ??? ?? ? ?? ?? ? ? ? × ?? ??? ? ? ?? ? ? ? ?? ? ? × ?? ?? ? ? ?? ? ? ? ? ? ?? ?? ?? ? ? ?? ?? ?? ?? × ?? × ?? ??? ? × ? ?? ? × × ?? ?? ? ? ? ? ? ?? ? ? ?? ? ? ?? ? × ?? × ? ? ? ? ? ??? ? ?? ??? ? ?? ? ?? ? ? ? × ? ? ? ?
??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

? ? ? ??? × ? ?? ?? ? ? ? ? ? ? ? ? ?? ? ??? ??? ? ? ? ??? ???? ? ? ??? ??? ? ? ?? ? ? ?? ? ? × ? ? × × ?? ? ??× ? ???? ? ??? ??? ? ? ? ???? ? ?? ?? ?× ?? ×? × × ?? ? ? ? ? ?? ? ??× ? ? ? ×? ? ?? ??? ? ?? ? ? ? ? ? ? ???? ? ?? ? ? ? ? ??? ????? ? ? ? ? ??? ? × ? ? ?? ??? ? ?? ??? ?????× ? ????? × ?? ? ? × ?×?? ? ? ? ?? ? ? ? ? ???? ? ?? ? ×? ? ? ? ? ? ???? ??? ? ?? ? ?×? ? ? ?? ??? ? ? ??× ? ?? ? ? ? ? ? ???? ? ?? ? ×? ? ? ? ? ? ???? ??? ? ? ?? × ?? × ? ?? ? ? ? ? ? ? ? ? ? × ?? ? ×? ? × ? ? ? ? ? ? × ? ? ?? × ? ? ? ? ? ? ? ? ? × ? ×? ? ??? ?× ? ?? ? ? ? ?? ? ? ? ? × ? ? ? ? ×? ? ? ? ? ?? × ? ? ? ? ? ? ?? ? ?? ? ??? ? ??? ? ? ? ? ?????× ? ????? ? ?? ? ? ? ?? ? ? ? × ?? ? ? ? ???? ? ? ? ×?× ? ??? ? ? ? ? ×? ? ??? ?? ? ? ? ?? ? ? ×? ? ? ? ? ? ?? ? ? ? ? ? ? ?? ?? ?? ? ? × ?× ? ? ? ? ? ? ?? ??? ? ?? ? ? ?? ? ?× ?? ?? ??? ? ?? ? ? ?? ? ? ? ? ? ? ? ?? ? ? ?? ? ???? ? ?? ? ? ??×??? ? ?? ? ? ? ? ? ??? ? ? ×? ? × ? ? ? ? ???? ?? ? ? ? ? ? ? ? ? ??? ????? ? ? ????? ? ?? ? ?? ? ? ? ? ??? ??× ? ?? ? ×? ? ? × × ?? ? × ? ? ??? ???? ?????× ? ? ? × ? ? ? ?? ×?×? ? ? ?? ??× ?? ? ? ? ??? × × ?? ? ? ????? ? ? ? ? ? ? ?? ? ? ? ? × ?? ? × ? ? ×? ? × ? ? × ?? ? × ? ? ? ?? ? ?× ?? ? ? ? ? × ×? ? ?? ?× ? ?? ? ? ? ?? ? ? ? × ???? ?? ? ? ?? ???? ? ?? ? ×? ? ? × ? ? ? ? ? ×? ? × ? ×? ? ? ? ? × ? × ? ? ??? ??? × ? ? ? ??? ×× ?? ?? ?? ? ?? ?? ×? ? ? ? ? ? ?? ? ?? ??? ? ×? ? ??? ?? ? ? ? ?? × ?? ??? ? ? ? ?? ?? ? ? ? ? ×?× ? ? ? ×? ? ? ?? ? ? ? ? ? × ?? ? ? ? ? ? × ??? ? ? ? ? ? ? ? ? ?× ??? ?? ??? ? × ? ? ?? ?? ? ×? ? ??? × ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

? × ?? ? ??× ? ? ??× ? ?? ? ? ? ??? ? ? ??? ? ? × ?? ? ?? ? × ? ? ? ? ? ? ? ? ??? ?? ? ? ? × ? × ? ? ? × ?? ×?? ??× ? ? ? ? × ? ?? ? ? ?? ? ? × ?? ? ?? ? × ? × ?× ?? ???? ? ? ? ? × ?×??× ? ? ??? ??? ? ? ???? ? ? ??? ? ? ? ??×? ? ?? ? ?? ? ? ? ?? ? ?? ? ????? × ? ? ? ? ?? × ?????× × ? ?? ? ?? ? ?× ? ? ?×?? ? ?? ?? ? ?? ??? ? ? ????? ? ? ? ?? ?? ? ? ? × × ?? ××? ? ? ? ×? ? ??? ?? ? ? ? ?? ?? ?? ? ? ? ? ?? ? ?× ?? ??? ? × ? ? ?? ? ????? × ××? ? ? ? ×? ? ??? ? ??? ? ? ? ??? ? ? × ?? ? ??× ? ? ????? × ? ? ? ?? ? ? ?×? ? ?? × ? ? ?? ?? ??? ?? ? ×? ? ??? × ?? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ??? ? ? ? ?? ? ×? ? ? × ? ?? ? ? ×? ? ?? ? ? × ? ? ? ? ? ? ?? ? ? × ? ? × ?? ? ??× ? ×??? ? ??? ? ? ?? ?? ? ××? ? ? ????? ×? ?? ?? ? ? ? ??? ? ? ? ? ??? ? ??? ? ? ×? ? × ? ? ? ? ? ???? ??? ? ? × × × ?? ??? ? ? ??? × ? ??? ? ?? ? ?? ? ? ? ×?×? ? ? ? ? ? × ?? ? ?? ? × ? ? ? ??? ×× ?? ?? ?? ? ?? ? ? × × ?? ? ? ??× ? ?? ??? ?? ×??? ? ? ?? ??× ? ? ?? ? ??? ??× ? ? ? ? ? ×? ? ?? ? ? ? ????? ? ?? × ? ? ?? ? ? ? ? ? ? ? ??? ×??? ? ? ? ? ? ?? ?? ? ? ??? ? ? ??? ? ? ? ? ? ??? ?? ? ? ?? ? ? ? ? ? ? ?? ? ? ? ? ? × ? × ? ? ?? ? ??? ? ??? ?× ? ??? × ? × ? ? ?? ?? ? ×? ? ??? × ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ?
?

?

? ?

? ?

?

?

?

?

?

?

?

?

?

?

?

?

?

?

??? ??× ?

?

???

?? ×
?

?

?? ?

??×
?

? ??

?? ? ? ???? ? ?? × ?? ? ? ? ×?×? ? ? ?? ??× ?? ? ??? ? ? ??? × × ?? ? ? ????? ? ? ? ? ? ? ? ??? ? ? ? ? ×? × ? ? ?? ?? ? ? × ? ?? ? ? × ?? ? × ? ? ??? ?????× ? ??×? ? ? ? ? ?? ? ?? ? ?? ×? ? ? ? ? ? ? ? ? ???? ? ?× ? ? ? ?? × ? ?? ? ? ? ???? ? ?× ? ? ? ? × ??? ?? ? ?? ?? ? ?? ??? ? ?????× ? ????? ?? ? ? ? ?? ?? ? ? × × ?? ××? ? ? ? ×? ? ??? ?? ? ? ? ?? ?? ? ??? ?? ?? ? ?? ??? ? ?????× ? ????? ?? ? ? × ?? ??? ? ?? ×??? ? ? ? ? ? ? ? × ××? ? ? ? ×? ? ??? ??? ? ?? ×??? ? ? ? ? ? ? ? ? ?× ? ???? ? ??? ? ? ? ?? ?? ??? ? ?????× ? ????? ××? ? ? ? ? ×? ? ??? ? ? ?× ?? ? ? ? ?? ??? ? × ? ? ?? ??? ? ? ? ? ?????× ? ????? × ?? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ??? ????? ? ? ??? ? ×? ? ??? ?? ? ? ? ??? ? ???? ? ?? ×? ? ? ? ?? ?? ? ? ? ?? ??? ? ?? ??? ? ? ? ?? ? ×? ? ??? ?? ? ? ? ? ? ?? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

??? ? ? ×? ? × ? × ??? ? ? ? ? ?? ? ? ? ? ?? ? ?? ? × ?? ??? ?? ? ? × ?? ? ?? ?× ?? ? ? ? ? ? ? ? ?? × ?? × ?? ? ?? ? ? ?? × ?? ? ?×??? ? ? ?? ??× ? ? ? ??? ? ? ??? ? ??×? ? ? ? ? ??×? ? ??? ?? ? ? ???? ?? × ? × ???? ? ? ?? ? ? ?? ?? ? ? ? ?????? ??? × ? ? ??? × ? ? ? ? ? ???? ? ? × ??? ?? ? ? ??? ?? ?? ??× × ? ? ? ? ??? ×? ? × ??? ??? ?? ?×? ? ? ? ? ? ? ? ?? ? ??? ? ? ? ? ?× ?? ? ? ??? ? ? ??? ×???? ? ??? ??? ? ? ? ??? ??? ×? × ? ???? ? ? ??? ?? ? ?? ? ? ? ? ×?×? ?? ??? ????? ? ?? ? ?? ??? ? ×? ? ??? ? ? ? ? ? ? ? ? ? ?????× ? ????? ××? ? ? ? ? ? ? ?? ×??? ? ? × ?? ? ??? ×? ? ??? ?? ×??? ? ??? ?????× ? ????? ?? ?? ??? ? ?? ?× ??× ? ? ????? ? ?? ?? ?? ??? ? ?????× ? ????? ? ? ?? ? ? ? ? ? ? ? ? ? ??? ?? ? ? ? ? ? ? ? ?? × ?? ?? ? ??? ?? ? ? ? ? ? ? ? ? ??? ? ? ? × ? ? ? ? ?? ? ? ? ?? ×? ? ? ? × ? ? ? ? ×? ? ? ? ? ? ? ??? ? ? ? ?? ? ?? ?? ? ? × ? ??? ? ?? ? ? ? ? × ? ??? ?? ? ???? ? ? × ? ? × ? ? ? ?? ? ?? ???? ? ? ?? ? ×? ? ?? ?? ? ?? × ??? ? ? × ? ? ? ? ? ?? ? ? ?? ? ? ? ?? ?×? ??? ? ? ? ×? ? ? ?? ?? × ×? ?? ? ??? ? ? ? ? ×? ? ? ? ? ???? ? ×? ? ? ?? ?? × ? ×? ? ? ? ? ?? ?? ? ? ????? ? ×? ? ? ?? ?? × ?? ? ? ? × ? ? ? ??? ? ? ?? ? ? ×? ? ? ? × ? ? ? ? ×? ? ? ?? ?? ? ???? ? ? ??? ?? ? ? ??? ?? ×? ? ? ?? ? ? ??? ?? ? ? × ? ? ??? × ? ? ? ? ? ?? ? ? ? ??? ? ?? ? ? ?? ? ??? ?? ?? ? ?? ? ? ??? × ? ? ??? × ?? ? ? ??? ? ? ? ? ? ? ? ?? ? ?? ? ??? ×? ? ??? ? ? ? ??? ×? ? ??? × ? ? ?? ?? ? ??? ×? ? ??? ? ?? ?× ??? ? ?? ?× ??× ???? ? ×× ? ?? ? ?× × ? ? ? ×?×? ?? ? ????? ? ? × ?? ?? ? ? ??? ×? ? ??? ? ???? ? ?× ??? ? ?? ?× ??× ? ? ? × ? ? ? ×?×? ? ? ????? ?? ?????× ? ? ?? ? ??? ×? ? ??? ? ? × ? ? ??? × ?? ? ? ??? ? ? ?? ? ? ??? ×? ? ??? ???? ? ? × ? ? ??? × ? ? ? ? ? ? ×?×? ?? ?? × ? ?? ? ? ?? ? ??? ?? × ? ? ??? ?? ? ?? ? ??? ?× ? ? ??? ?? ? × × ??? ? ? ??? ? ???? ??? ? ? ?? ? ??? ? ?? ? ?? ? ? ×? ? ? ??? ? ? ? ?? ? ? ??? ? ?? ? ??? ×? ? ??? × ?× ?? ??? ? ? ???? ?? ? ??? ×? ? ??? × ??? ? ? ? ??? ? ?? ? ? × ?? ? ??×? ? × ??? ? ? × ? ????? ? ?? ? ?? ? ? ??? ?? ? ??× ? ??? ? × × ? ? ? ?? ? ?? ? ?? ? ? ?????? ??× ? ?? ? ? ? ?? ?? ? ?? ? ? ? ? ×?×? ? ? ??? ????? ? ? × × ?? ? ??? ?? ? ??× ? ? ?? ??? ? ? ??? ×? ? ??? ? ? ??×× ×× × ?? ? ? ??? ×? ? ??? × ?× ?? ??? ? × × ?? ? ??? ?? ? ??× ? ? ?? ??? ? ? ??? ×? ? ??? ? ? ??×× ×× × ?? ? ? ??? ×? ? ??? × ?× ?? ??? ? ? ? ? ??? ?? ? ??× ? ? ?? ? ??? ? ? ? ? ??? ?? ? ??× ? ?? ? ? ?? ? × ? ? ? ?? ??? ? ? ??? ×? ? ??? ??? ? ? ? ×?×? ? ???? ? ×× ? ?? ×? ?? ??? ? ? ? ? ×? ? ? ? ×?×? ?? × ??? ??×× ×× ?? ? ? ??? ×? ? ??? × ?× ?? ???
? ? ? ? ? ? ? ? ? ? ? ? ·? ? ? ? ? ? ?

b x0 p0, p1 a x1 p1 c

d x2 p2

?? ? ? ??? ? ?? ?
? ??? ?
? ?

??× ? ?? ?? ??? ×
? ? ?

??× ? ? ×?×? ? × ??? ? ?? ?? ×????× ? ×? ? ? ?? × ? ? × ? ? ?? × ×? ?? ? ? ? ? ? ?? ? ??? ? ??? ?? ?? ? ? ? ? ? ? ? ? ×?×? ?? ?? ?? ? ?? ?? ? × ? ??? ×? ? ??? ? ?× ?? ?? ?? ?? ? ? ? ? ? ??? ? ? ? ?? ? ?? ?? ?? ? ? ? ? × ? ? ??? ×? ? ??? ? ? ?×? ? ×?×? ? × ??? ?? ? ??× ? ?? ??? × ? ? ? ×? ? ?? ? ?? ? × ?? ? ??× ? ?? ? ???× ? ? ? ×? ? ?? ? ??? ×????× ? ×? ? ? ?? × ? ? × ? ?? ? ? ?? ? ? ? × ×? ?? ? ? ? ×?×? ? × ?? ? ??? ?? ??? ?? ? ??× ? ? ??? ??? ? ?? ??? ×? ? ??? ? ? ? ? ? ? ×?×? ??? ? ????? ? ? ×??? ?????× ? ??? ??? ?? ? ??× ? ? ?? ? ? ? × ? ??? ? ? ? ? ??? ?? ? ??× ? ?? ?? ? ? ? ? ??? ?? ? ??× ? ??? ? ?? ? ? ? ? ? ×?×? ? ? ??? ????? ? ? ? ? × ? ??? ?? ? ??× ? ? ???? ? × ? ??? ?? ? ??× ? ? ? ? ? × ? × ? × ? ? ?? ? ? ? ?? ×? ? ? ? × ? ? ? ? ×? ? ? ? ? ?? ? ? ×? ? ? ??? ?? ? ??× ? ??? ? ? ? ????? ? ? ×???? ? ?? ? ? ? ? ? ×?×? ? ? ??? ×? ? ? ??? ? × ? ??? ?? ? ??× ? ? ???? ? ?? ? ? ? ? ? × ? ? ? ? ?? ? ??× ? ? ? ×? ? ?? ?? ? ? ? ?? ? ? ? ?? ? ???? ?? ?? ?? ? ? ? ? ? ? ? ? ? ??? × ? × ? ? ?? ??? ? ?????× ? ????? × ?? ? ? × ? × ? ? ? ? ?? ? ??? × ? × ? ? ?? ?????× ? ????? × ? ? ? ? ?? ???? ?? ? ×× ??? ×????× ? × ? ??? ?? ? ??× ? ? ?? ???? ? ??? ×????× ? ? ? × ??? ? ? ? ? ?? ? ??× ? ? ? ×? ? ?? ?? ? ? ? ?? ? ? ? ? ?? ? ? ? ? ? ?? ?????? ?? ?? ? ? ?? ?? ?? ? ? ? ? ? ?????? ?? ?? ?? ? ? ??? ?? ? ×? ? ? ? ? ? ?? ? ? ? ? ? × ? ??? ? ? ??? ?? ? ? ? ? × ? ??? ?? ? ??× ? ? ? ??×? ? ?? ? ? ??? ?? ?? ?? ?? ? ? ? ? ??? ?× ? ? ? ? ???? ?? ?? ?? ? ??? ? ?? ? ?? ? ? ? ?? ? ? ??? ? ? ??×? ? ×? ? ×? ? ? ? ? ? ? ? ? ? ???? ?? ? ??? × ? ? ? × ?? ?? ? ×?? ???? ???? ?? ? ? ? ?? ?????× ? ? ?? ??? ??? ? ??? ?? ? ? × ???? ? ??? ?? ? ? ×× ?? ?? ×? ?? ×?? ? ?? ×????× ×????× ? ? ? × ? ? ? ? ?? ? ??× ? ? ? ×? ? ?? ?? ? ? ? ?? ?? ?????? ?? ?? ? ? ? ?? ?? ? ? ? ?? ???? ? ??? ? × ??? ? ??? ?? ? ??× ? ? ? ? ??? ?? ? ?? ? ? ??? ? ? ? ×?× ? ??? ? ? ??? ×? ? ??? ?? ? ? ? ?? ? ? ×? ? ? ?? ?? ? ?? ?? ? × ? ??? ×? ? ??? ? ?? ?? ? ??? ×? ?? ???? ? ? ? ? ?????? × ?? ?? ? ×?? ???? ???? ?? ? ? ?? ? ?? ? ?? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

??

?? ? × ? ??? ?? ? ??× ? ? ? ? ? ? ??? ? ? ? ?? × ??× ×?? × ?? ???? ?? × ????? ? ? ? ? ? ? ? ? ? ? × ? ??× ? ? ?? ? ?????? ?? ? ? ? ?×? ? ?? × ???? ? ??? ? ? ? × ? ? ? ? ?? ? ??× ? ? ? ×? ? ?? ?? ?? ? ? ? ?? ? ?? ×?×? ? × ??? ??? ??× ? ? ? ? ×? ? ?? ????? ? ? ? ?? × ??× × ?? ???? ?? × ????? ? ? ? ?? ?? ? ???? ? ? ? × ?? ? ??× ? ?? ? ???× ? ???? ? ?? ? × ? ??× ? ? ?×? ? ?? ? ?? ?? ? ?????? ??× ? ?? × ? ? ??×?? ? ? ?? ? ? ? ? × ? ?? ? ?? ?? ??? ??? ??× ? ?? × ? ? ? ? ? ? ??×?? ? ? ? ? ? ×? ? ?? ?? ? ? ? ??? ?? ? ??× × ? ? ? ?? ? ? ??? ? ?? ? ? ? ???? ?? ? ? ??×? ?? ? ?? ? ?????? ??× ? ??? × ?? ? ? ?? ?? ? ? ? ? ? ? ??×?? ? ? ?? ? ? ? ? ×? ? ?? ?? ? ? ?? × ? ×? ? ? ? ? ? ? ??×?? ? ? ?? ? ? ? ? ×? ? ?? ? ?? ? ?? ? × ? ? ? ? ???? ?? ?? ?? ?? ? ? ?? ? ? ? ? ?????? ?? ? ?? ? ??????? ? ??? ? ?? ? × ? ??× ?? × ???? ??× ?? ??? ? ×? ? ??? × ? ? ? ? × ?? ? ?? ? ??????? ? ?? ?? ? ? ? ? ? ? ? ? ??×?? ? ? ?? ? ? ?? × ?? ? ? ?? ?? ? ? ???? ?? ?? ?? ? ?? ? ? × ? ? ??×?? ? ? ?? ? ? ? ??? ? × ? ? ? ? ? ? ? ? ? ? ??×?? ? ? ??? × ? ? ? ? ? ? ??×?? ? ? ? ?? ? × ? ?????? ?? ? ?? ? ?????? ??? ? ??? × ? ? ???? ?? ?? ?? ?? ? ? ?????? ?? ?? ? ? ?? ? ? ? ? ? ×? ? ?? ? ?? ?????× ??? ? ? ? ? ? ? ??×?? ? ? ? ??? ? ??? ?? ? ??× ? ?? × ×???? ? ??? ?? ? ? ? ? ??? ?? ??× ? ??? × ? ? ? ?? ? ???? ?? ??? ??? ??× ? ??? ? ?? ?× ? ??? ? ? ?? ? ?? ? ? × ? ? ?? ? ? ? ? ? ? ? ? ?? ? ?? ? × ? ? ? ? ??? ??? ??× ? ?? ? ? ?? ?????? ??× ? ?? ?×? ?? ? × ? ? ? × × ?? ?? ? ? × ? ? ? ?? ? ? ? ? ? ? ?????× ??? ? ?? ? ??× ? ? ??? ? ??? ?? × ? ? ? ??? ??? ??× ? ? ? ? ????? ? ? ?? ? ? ?? ? ×? ? ??? ??? ??× ? ?? ?????× ? ??? ??? ? ?? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

? ???? ? ?? ? ?? ? ?? ? ? ? ???? ? ? ? ?? ? ?????× ? ????? ××? ? ? ? ? ? ? ? × ? ? ??× ? ? ? ? ?? ? ? ? ? ?× ?? ? ???? ? ?? ? ?? ? ?? ? ? ? ? ? ?????? ??? ? ? ? ? ? ? ? ? ??? ?? ? ? ? ? ? ?? ???? ?? ?? ?? ? ? ?? ?? ? ? ? ?? ?? ?????? ?? ?? ? ? ? ?? ?? ? ? ? ? × ???? ? ?? ?? ? ???? × ×?
? ? ? ? ? ? ? ? ? ? ?

??

? ?? ? ? ?

?? ??

??

?

? ?? ? ? ?? ? ×? ? ??? ??? ??× ? ?? ? × ×? ? × ?? ? ??×??? ? ?? ? ???? ? ?? ? ×? ? ? ? ? ? ???? ??? ? ? ? ?? ? ? ? ??× ?? ? ??? ? ?????× ? ????? × × ? × ? ? ? ? ? ?? ?? ?? ? ? ? × ×? ? × ?? ? ??×??? ? ?? ? ×? ? ? ? ? ? ? ? ? × ? ?? ? ? ? ???? ?? ??? ? ×? ? ? ? × ? ? ? ??? ? ? ? ? ? ? ?? ? ? ? ? ?× ×? ? × ?? ? ? ? ××? ? ?? ?× ? ??× ? ? ? × ?? ×? ××??? ?? ?? ×? ? ? ?? ? ? ×?? ? ? ? ??? ?? ??? ? ?? ??? ×? ×? ? × ? ?? ?× ? ??× ? ? ? ? ? ? ×? ? ?× ? ??? ? ??? ? ?× ? ?? ??? ? ×? ? ? ? ? ? ? ? ? × ×? ?? ? × ×? ? × ?? ? ? ??×??? ? ?? ? ×? ? ? ? ? ? ? ? ? ? × ? ?? ? ? ? ???? ?? ?? ?? ? ? ?? ? ? ? ? ? ? × ??×??? ? ??? ? ?????? × ? ?? ×?? ??? ? ? ?? ? ? ? ? ? ? ? ? ? ? ? ? ?? ?? ? ? ? ?? × ?????× ?? ? ? × ? × ? ? ×? ? ×? ? ? ?? ? ? ? ? ? ? ? ???? ? ?????× ? ?? ??? ??× ×? ?? ? ? ? ? ? ? ? ???? ? × ?? ?????× ? ?? ??? ??× ×? ?? ? ? ? ? ? ? ? ? ? ? ? ? ????? ? ? ? ? ? ? ? ? ????? ? ? × ? × ? ? ? ??× ? ? ? ? ? ? ? ? × ? ?? ?× ? ?? ? ? ? ??? ? ?? ??? ? ? ? ?? ?? ? ? ?? ? ?? ? ?? ? ? ?? ?? ? ? ? ? ? ? ? ? ? × ? × ? ? ? ? ? ×? ? × ? ? × ? ? ? × ? ? ??? ?????× ? ??× ? ? ? ? ? × ? ? ?? ? ?? ? ?? ×? ? ? ? ?? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ?? ? ? ? ????? ? ?? ? ? ? ?? ? ? ×? ? ? ? ? ? ?× ××? ? ?? ?× ? ??× ? × ?? ×? ××??? ??? ? ?? ??? ×? ×? ? × ? ?? ?× ? ??× ? ?? ? ? ? ?? ? ??? ? × ? ? ?? ??? ? ? ? ? ?????× ? ????? × ? ? ? ? ? ? ? ? ? ? ? ??? ? ??×??? ? ?? ? ? ?? ? ?? ? ? ?????? ?? ?? ? ? ? ? ? ? × ? ? ? ? ?? ? ??× ? ? ? ×? ? ?? ?? ? ? ? ?? ? ? ? ? ? ?? ? ???? ?? ?? ?? ? ? × × ?? ? ? ? ? ? ? ?? ??? ? ?????× ? ????? ? ? ? ? ? ? × ?× ? ?? ?? ?? ? ? ×? ? × ??? ? ?? ? ? ?? ?? ?? ? ? ????? ? ? ? ? × ? ×? × ? ? ??? ????? ? ? ? ? × ? × ? ?? ? ? ??? ????? ? ×?×? ? × ?? ? ? ?? ?? ? × ? × ? ?? ? ? ?? ? ????? ? ????? ??? ?? ?????
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
?

?

?

?

?

?

?

?

?

?

?

?

?

?

?

?

?

??

? ? ×?×? ?? ? ?? ?? ? ? ? ??? × ×?? ? ?? ???? ? ?? ? ? ??? ?? ? ? ? ? ? ? ? ? × ? ×? × ? ?? ????? ?× ? ? ? ? ? ? ? ? ??? ? ? ?? ????? × ??? × ? ×? ? ? ? ? ? ?????? ? ? ? ×?×? ? × ??? ?? ? ??× ? ?? ??? × ?? ?? × ?????? ? ? ? ×?×? ? × ?? ? ??× ? ?? ??? × ? ? ? ? ?? ? ? ? ? ? ? ? ?? ? ? ? × ???? ? ?? ? ???? ? ?? ? ?× ??? ?? ×× ?????× ??? ? ??×??? ? ?? ?? ? ? ? ? ? ?? ? ??
? ? ? ? ?

??? ?? ?

?

???

?? ??

× ? ?? ?? ?? ? ?? ??× × ? ? ? ? ??? ×? ? × ? ??? ? ?? ? ×? ? ? ?? ? ? ??×? ?? ? ?? ?? ???? ? ? ? ×× ? ? ??? ?? ×? ? ? ? ×?×? ?? ??? ? ×? ? ? ?? ? ? ? ?? ? ? ??? ? ? ? ? ×? ? × ?? ?? ??? ? ? ?? ×? ? ×? ? × ??? ????? ? ?? × ??? ?×? ??? ? ? ? ? × ?? ??×× ? ??? ×× ? ?? ? ?× ? ??? ????? ? ? ??? ? ? × ?? ??? ????? ? ?×? ??? ×× ? ? ??? ? ? ?? × ? ×? ?? ×?×? ? ? ? ? ? ? ? ?? ?× ×? ? ? ?? × ? ? × ? ? ? ? ? ?? ?× ??? ? × ??? ? ?? ? ? ?? ×? ? ? ?? ? ? ? ? ? ? ? ? ?? ?× ??? ? ? ? ? ×?×? ? ??? ? ? ×?×? ? ?? ? ? ? ? ? ?? ? ? ? ?? ? ? ×? ? ? ? ? ? ? ? ?? ? ?? ? ? ??? ? ?? ?? ? ?? ?? ? ? ? ? ? ? ? ?? ? ?? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ? ?? ? ??? ????? ? ?? ? ?? ? ? ? ? ?? ? ??? ? ??? ???? ? ? ? ?? × ×? ?? ? ? ? ? ? ? ? × ? ?? ?????? ??? ×??? ? ?? ? ? ×? ? ?? × ? ? ? ? ? ? ?? ? ? ? ?? ? ??? ? ×? ? ??? ? ? ? ? ?? ? ???? ? ? ? ? ? ? ? ? ? × ? ??? ×??? ? ?? ? ? ?? ? ? ? ??? ? ?? ? ?? ? ?? ? ? ??? ? ? ??? × ? ? ? ? ??? ??? ?? ? ?? ? ? ×?×? ?? ? ???? ? ? ??? ?? ? ? ??? ?? ??×? ?? ? ?? ? ? ? ×?×? ?? ??? ????? ? ?? × ?? ? ? ×? ? ? ??? ? ? ?? ?? ? ?? ??? ? ×? ? ??? ?? ? ? ? ? ?? ? ? ? ? ? ? ? ? ?? ?? × ?? ? ??? ?? ?? ? ?? ?? ×? ? ? ?? ?? ? ? ? ? ? ? ? ?? × ? ??? ×? ? ??? ?? ? ? ? ?? ? ? ? ? ? ? ? ?? × ??? ? ??? ×? ? ??? ? ? ?× ? ?? ??? ? ??? ? ? ?? ? ??? ?? ??× ? ?
? ? ? ? ? ? ?

??

? ?× ? ? ×? ? ? ? ? ? ? ??? ? ×? ? ??? × ? ??? ?? ?? ? ? ? ×?× ×? ? ??? × ? ?? ?? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ×? ? ? × ? ??? ×? ? ??? ? ?? ?? ?? ? × ? ??? ×? ? ??? ? × ? × ??? ×? ? ??? ×? ? ??? ? ? ? ? ? ??? ? ? ? ??? ? × ? ?? × ? ? ? ??? ? ? ? ??? ?? ?? ? ?? ? ? × ?? ? ?? ? ?? ? ? ×? ? ? ?? ??? ? ?? ? ? ?× ?? ? ??× × ? ? ? ? ??? ×? ? ?×? ? ?? ??× ? ??? ? ? ? ? ??? ? ? ? ? ??? ?? ??× ??? ?? ×? ? ??? ? ?? ? ? ×?×? ?? ??? ??? ??? ? ? ??? ×? ? ? × ?? ? ? ??? ? ? ? ??? ?? ??× ? ? ??? ? ? ??? × ? ? ×? ? ? ?? ? ? ? ??? ? ? ?? ? ×? ? ? ??× × ? ? ??? ?? ??×? ? × ? ??? ? ?? ? ?? ? ? ? ? ?? ??? ? ? ??? ?? ? ? × ?? ??? ? ? ??? ?? ??? ? ?? ? ×?×? ? × ?? ? ??? ?? ? ??× ? ? ??? ??? ??? ? ××?? ? × ?? ? × ? ? ? ? ??? ? ? ?? ? ?×? ? ??? ?? ? ? ? ??? ?? ?? ? ? ?? ? ? ??? ×? ? ??? ? ? ? ? ??? ×? ? ??? ? ?? ? ?? ? ? ? ? ? ??? ?? ?? ???? ? ? × ? ? ? ? ? ?? ? ??? ? ???? ? ? ??? ?× ?? ? ? ??? ? ?? ? ? ? ? ? ×? ???? ?? ??? ? ? ? ??? ?? ??× ?? × ? ? ??? ?? ??? ? × × ? ? ×?? ? ??? ? ??? ?? ? ? ??? ?? ?? ? ??? ? ? ? ? ? ??? ?? ??? ? × × ???×?? ? ??? ?? ? ? ?? ? ? ????? ? ? ??? ? ? ??? ? ??× ? ? ×?×? ? × ??? ? ?? ?? ?????× ? ×? ? ? ?? × ? ? × ?? ? ?? ? × ??? ?? ? ? ?? ×? ? ? × ? ? ?? ??? ? ?? ? ? ×?×? ?? ?? ×
d x0 p a x1 p b x2 p c x3 p

?? ? ? ??? ?? ? ??? ?? ?? ×? ?? ? ? ? ? ? ? ? ??? ? ?? ?? ? ? ? ?? ? ? × ???? ?? ??? ? ? ? ? ?? ? ? ? ? × ?×? ? ???? ?? ??? ?? ?? ? ? ??? ? ?? ? ??? ? ??? ?? ? ? ? ??? ?? ??? ? ? ? ?? ? ? ? ? ? ? ? ? ?? ? ?? ? ??? ?? ??× ? ? ? × × ?× ? ??? ? ? ? ?? ? ?? ? ? ? ?? ? ? ? ? ? × ? ?? × ? ? ? ? ? ? ??? ?? ? ? ? ??? ×? ? ??? × ? ? ?? ?? ? ? ? ? ?? ? ×? ? ???? ? ? ? ? ? ? ?? ??? ??? × ? ??? ? ?? ? ??×? ?×? ? ?? ? ? ? ??? × ? ??? ? ? ? ? ??×? ??? ? ??? ?? ? ? ??? ×? ? ??? ? ?? ? ????? ? ? ? ???? ? ? ?? ? ? ?? ? ? ??? ? ? ? ??? ?? ??× ? ×? ? ??? × ? ? ×?×? ? ? ? ?? ? ? ??? ?? ?? × ???? ×? ? ? ? ? ? ? ? ?? ? ?? ????? ?? ? ? ? ×?×? ?? ? ? ? × ?? ? ?? ? × ? ? ?? ? ? × ? ? ??? ×? ? ? ??×? ? ? ? ? ?? ? ? ?? ?? ? ? ? ??? ?? ??× ? ? ?? ?? ? ? ? ? ? ? × × ? × ?????×? ? ?? ? ? ? ? ?? ? ? ?? ?? ? ? ? ??? ?? ??×
? ? ? ? ? ? ? ? ? ? ? ? ?

??

?? ? × ×? ? × ?? ? ??×??? ? ?? ? ? ? ? ? ?? ????? ? ? ??? ?× ?? ? ??? ? ?????× ? ????? × × ? × ? ? ? ????? ? ? ? ? ? ? ?? ? ? ??? ×??? ? × ? ? ? ? ? ?? ? ? × ? ×? ? × ?? ? ? ×? ?? ?× ? ?? ? ? ? ??? ? ? ? ? ? × ×? ? ????? ? × ? × ? ? ??? ?????× ? ??× ?? ? ? ? ? × ? ? ?? ? ?? ? ??? ?? ? × ×? ? × ?? ? ??×??? ? ?? ? ? ?? ? ×? ?? ? ×? ? ? ? ? ? ??× ? ? ? ? × ? ?? ? ? ? ? ? × ? ×? ? ? ? ? ?? ? ? ? ? × ??×??? ? ??? ? × ?????× ? ? ??×??? ? ???? ? ?? ? ×? ?? ? ×? ? ? ? ? ? ? ? ?? ? ? ??? ? ? ? ? ? × ? ×? ? × ? ? ? ? ? × ? ? ?? × ? ?? ? ? ? ? × ? × ? ? ?? ?× ? ??×? ? × ?? × ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ?? ? ? ? ? ? ? ?? ? ?? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ?? ? ? ? ?? ? ? ? ? ? ? ×? ? ? × ? ? ? ? ×? ? ? ? ? ? ? ? × ? ? ?? ? ? ? ?? ? ? ? ? ? ?? ? ?? ×× ? ? ? ?? ? ?? ×? ? ? × ? ? ??? ?× ? ? ? ×? ? ? × ??? ×× ? ? ? ? ? ? ? ×× ? ? ? ? ? ? ?× ×? ? × ? ? ? ××? ? ?? ?× ? ??× ??? ? ? ? ??? ? ? ??? ? ? ?? ? × ×? ? × ?? ? ??×??? ? ?? ? ???? ? ?? ? ×? ?? ? ×? ? ? ? ? ? ? ? ? ? ? ? ??× ? ? ? ? ?? ? ? ? × ? ?? ? ?? ? ?? ? ? ?? ×? ? ? × ? ? ? ? ? × ? ? ? ? ? ? ? ? ? ??×??? ? ??? × ?????× ? × ? ×? ? × ?? ? ? ?? ? ?? × ? ?? ?? ? ? ? ? ? ? ? ? × ? × ? ? ?? ?× ? ??×? ? ? ? ? ? ? ? ? ? ?? × ?? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ?? × ? ?? ?? ? ? ? ? ?? ? ? ?? ?? ?? ? ? ??? ? ? ? ? ??? ? ?? ? ? ? ? ? ? ? ? ?? ? ? ?? ?? ?? ? ? ??? ? ? ? ? ??? ? ?? ? ? ? ? ? ? ? ? ?? × ? ?? ?? ? ? ? ? ?? ? ? ?? ?? ?? ? ? ??? ? ? ? ? ???? ? ? ? × ? ? ? ? ×? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

?

× ? ? ?? ? ?? ? ?? ?? × ?? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ?? ? ? ?? ?? × ? ? ? ?? ×× ? ? ? ??? ? ? ?× ×? ? × ? ? ? ××? ? ?? ?× ? ??× ??? ? ? ? ??? ? ? ??? ? ? ? ? × ×? ? × ?? ? ? ?? ? ? ? ?? ? ? ? ??×??? ? ?? ? ? ? ? ?? ? ?? ? ?? ? ?? ?? ? × ? ? ×? ? × ? ?×? ? ?? ? × ? ? ?? ?× ? ??×?? ? ?? ? ×? ?? ? ×? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ?? ? ? ??×??? ? ??? ? ? × ?????× ?? ? ?? ? ??? ? ? ? ? ? ? ? × ? ? ?? ? ? ? ?? ? ? ? ??×??? ? ??? × ?????× ? ×? ? × ?? ? ? ? ? ×? ?? ?? ? ? × ? ? ? ??? ?? ? ? ? ? ? ? ? ?? × ? ? ? ? ? ? ? ? ? ?? ?? ? ? × ? × ? ? ?? ?× ? ??× ? × ?? × ?? ?? ? ? ? ? ? ? ? ?? ?? ? ? ? ? ???? ?? ? ? ????? ? ?? × ? ?? ?? ? ? ? ? ? ? ? ?? ? ?? × ? ? ?? ?? ? ? ? ? ?? ?? ? ? ? ? ?? ? ? ? ? ?? ??? ? ? ? ? ? ? ?? ? ? × ? ? ?? ?? ? ? ? ? ? ? ? ? ? ?? ?? ?? ? ? ? ? ?? ?? ? ? ? ? ? ? ?? ? ? × ? ? ?? ?? ? ? ? ? ?? ?? ? ? ? ? ?? ??? ?? ? ? ? ? ?? ??? ? ? ? ? ? ? ?? ? ? ? × ? ? ?? ?? ? ?? ?? ? × ? ? ? ? ×? ? ? ? ? × ?? × ? ? ? ? ??? ? ? ? ? ? ? ?? ?? ?? × ? ??? ? ? ? ?? ×× ? ? ? ??? ? ? ?× ×? ? × ? ? ? ××? ? ?? ?× ? ??× ??? ? ? ? ??? ? ? ??? ? ? ? ? × ×? ? × ?? ? ??×??? ? ?? ? ?? ? ×? ? ? ? ? ? ? ?? ?? ? ?? ? ?? ? ? ??? ?? ??× ? ? ? ? ? × ? ??? ×× ?? ?? ?? ? ??? ? × ? ? ? ??? ? ×?? ?????× ????× ? ?? ? ? ? × ?????× ? ? ? × ? × ? ? ×? ? ×? ? ?? ? ? ? ? × ? × ? ? ?? ?× ? ??×? ? × ?? × ??? ? ? ??? ?? ?? ? ? ? ? ? ? ??? ? ? ??? ?? ?? ? ?? ? ?? ???? ? ? ?? ? ? ? ? ?? ?? ? ? ??
?
?? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

?

? ? ? ?? ? ? × ? × ? ? ? ? ? ×? ? ×? × ? ? ?? ? ?? ? ??? ? × ?? × ?? ? ? ? ? ?? ? ? ? ?? ?? ? ? ? ?? ×× ? ? ? ??? ? ? ?× ×? ? × ? ? ? ××? ? ?? ?× ? ??× ??? ? ? ? ? ??? ? ? ??? ? ? ? ? ?? × ?×? ?? ? ? ? ? ? × ? ?? × × ? ??×? ??? ??? ? ? ×? ? ×? × ? ??×? ? ??? ? ? ×? ? ×? ? ? × ? ??×? ??? ? ? ? ??? ? ? ×? ? ×? ? ?× ? ?? ? ? ? × ???×? × ???? ? ?? ? ?? ?? ???? ?? ? ? ? ? ? ? ? ? ????? ? ? ? ? ? ? ??? ? ? ? ×? ? × ? ? ×?×? ? ? ? ? ? ? ????? ? ? ?? ? ? × ? × ×?? ???? ?? × ? ? ×? ? ? ? × ??×??? ? ? ? ?? ? ? ?? ? ?? ? ? ? ? ? ? ? ? ? ? ?? ????? ?? ? ? ? ×?×? ? ? ? ×? ? ? ?? × ? ?? ? ? ? ? ? ? ? ? ? ? ?? ? ?? ??? ?? ??? ? ? ? ? ? ? ? ? ? ? ? ? ?? ? ?? ? ?? ? ?? ? ?? ? ?? ? ? ? ? ? ? ? ? ?? ? ? ?? ? ×? ? ? ? × ??×??? ? ? ? ?? ? ? ?? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ??? ? ? ? × × ? ?? ? ? ? ? ? × ? ×? ?? ? ? ? ? ? ? ? ? ? ??? ? ? ? × ?? ? ? ? ? ? ? ?? ? ?? ? ? ? ? ?? ? ? ? ×?× ? ×? ? ? ? ? ? ? ?? × ? ??? ?????× ? ????? ? ???? ? ? ? ×?× ? ? ?? ? ? ? ? ? ?? ? ?? ? ? ? ? ?? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ? ??? ? ?? ? ?? ?? ? ? ?? × ? ?? ? ×? ? ? ? ? ? ? ? ? ? ??? ? ? ? × ?? ? ? ? ? ? ? ?? ? ?? ? ? ? ? ?? ? ? ? ×?× ? ×? ? ? ? ? ? ? ?? × ? ??? ?????× ? ????? ? ???? ?? ? ? ? ?? ? ? ? ? ? ?? ? ?? ? ? ? ? ?? ? ? ? ? ? ? ?? ? ? ? ? ? ? ?? × ? ? ? ??? ? ? ? ? ? × ? ?? ?????? ??? ×??? ? ?? ? ??? ? ??? ? ? ?? ? ? ? ??? ???? ? ??? ? ? ? ? ? ??? ???? ???? ? ? ? ? ? ? ??? ? ? ? ? ? ??? ???? ???? ? ? ?? ? ? ? ??? ???? ? ? ? ? ??
? ?
? ?

?? ??? ?
?

?

?

??

? ?

? ??

?

?

?

?

?

?

?

?

?

? ?
?

?

?

??

?

?

??

?

? ?

?

?

?

?

?

?

? ?

?

?

?

?

?

?

? ?

? ?

?

?

?

?

?

?

?

? ?

?

?

·?

?

·?

?

?

·?

·?

?

?

?

?

?

? ?

?

?

·?

?

·?

?

?

·?

?

?

?

?

?

?

?

?? ? ? ? ??? ???? ? ?× ??? ×??? ? ?? ??? ? ?? ? ? ?? ??? ???? ? ??? ? ? × ?? ×? ? ? ?? ?? ? ? ??? ?? ?? ? ???? ?? ? ? ? ???? ? ??×? ? ? ???? ×× ?? ??× ????? ? ??? ??? ? ??×??? ? ?? ? ? ?? ? ? ? ×× ?? ?? ?????× ? ??? ??? ? ??×??? ? ?? ? ? ? × ?? ×× ?? ??? ? ? ×? ×× ?? ?? ?????× ? ??? ??? ? ??×??? ? ?? ? ? ? ? ? ? ×× ?? ??? ?? ? ???? ? ?? ???? ? × ?? ×× ?? ??? ?? ? × ?? ×× ?? ??? ??? ? ??×??? ? ?? ? ? ? × ×? ?? ? ? ? ? ? ??× ? ? ? ? ?? ? ? ?? ? ????? ? ? ? ???? ? ? ? ? ? ? ?? ? ?? ? ? ? ? ?? ? ? ? ×?× ? ×? ? ? ? ? ? ? ?? × ? ??? ?????× ? ????? ? ???? ? ? ? ×?× ?? ?? ? ? ? ? ? ?? ? ?? ? ? ? ? ? ? ? ??? ? ?? ? ?? ?? ? ? ?? ? ×?? ? ? ? ? ?? ×× ?? ??? ×????× ? ? ? ×?× ? ? ?? ? ? ? ? ? ?? ? ?? ? ? ? ? ? ? ? ??? ? ?? ? ?? ?? ? ? ? ?? ? ? ? ? ?? ? ??? ? ?? ? ?? ? ? ??? ? ? ? ?? × ? ??? ?????× ? ????? ? ? ?? ? ?? ? ??? ? ?? ? ? ? ? ??×? ? ? ? ??? ? ?? ? ? ? ? ? ??? × ? ? ?? ? ? ??? ? ??×??? ? ?? ? ? ??? ? ? ?? ??×? ? ? ??? ? ? ?? ? ? ? ??? ?? ? ?? ??? ? ? ? ? ?? ? ? ? ? ? ? ?? ??? ? ??? × ? ? ? ? ? ? ? ?? ? ? ? ?? ? ? ? ? ? ?? ? ? ? ? ?? ? ? ? ? ? ?? × ? ??? ?????× ? ??? ?? ? ?? ? ×?? ? ? ? ? ?? ×× ?? ?? ?? ×? ?? ? ? ×× ?? ? ? ?? ×× ?? ??? ×????× ? ? ? ×?× ? ×? ? ? ? ? ? ? ?? × ? ??? ?????× ? ????? ? ? ? ? ? ? ?? ? ? ??? ?????× ? ????? ×? ? ? ?? ? ? ? ? ?? ? ? × ? ??? ?????× ? ????? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ?? ? ? ? ? ?? ? ? ? ? ? ??? × × ? ? ? ?? ? ? ? ? ? ??×? ? ? ? ? ? ? ? ? ??× ? ? ? ? ?? ? ? ? ??? ? ? ? ? ? ×?× ? ? ?? ? ? ? ? ? ?? ?? ? ? ? ??? ? ??×??? ? ?? ? ? ? ??? ? ? ? ? ? ?? ? ? ? ? ? ?? ?? ? ?? ?? × ?×? ??? ? ? ? ? ?? ? ? ?? ? ? ? ? ? ? ??×? ? ×? ? ? ?? ? ? ? ? ?? ??? ? ? ?? ?? ?× ? ?? ? ? ??? ? ??? ? ??? ? ×?× ? ? ? ??? ? ??×??? ? ?? ? ? ? ??? ? ? ? ? ? ×?× ? ? ?? ? ? ? ? ? ? ? ? ? ?? ?? ? ?? ? ? ? ? ? ??? ? ?? ? ? ? ? ? ? ? ? ? ??? ? ?? ? ? ??? ? ?? ? ? ??? ? ? ? ? ×× ?? ? ? ×× ?? ?? ?×? ?? ×? ? × ???? ? × ? ???? ? ? × ?? ×× ?? ??? ??? ? ?? ? ?? ? ??? ? ? ? ?? ? ??? ?? ?? ? ? × ?? ? ? ? × ×? ? ? ?? ? ? ? ? ?× ?? ? ?????× ? ? ? ? ??? ??× ×? ? ×?×? ? ? × ? ??? ?? ? ??× ? ? ? ? ? ?×? ? ?? ??× ? × ? ?? ?? ?? ×? ? ? ??
?
? ? ? ? ? ? ? ? ? ? ? ? ? ·? ? ? ·? ·? ? ? ? ? ? ·? ? ? ·? ·? ·? ·? ? ·? ? ·? ? ·? ? ? ? ? ? ? ? ?
?

?

?

?

?

?

?

?

?

?

?

? ?

?

?

?

?

?

? ?

?

?

?

·?

?

·?

?

? ?

·?

?

?

?

?

? ?

?

·?

?

·?

?

·?

?

?

·?

?

??× × ?? ? ?

?

??? ×

?? ? × × ? ??? ? ? ?? ? ??× ? ? ? ??× ??? ??× ? ??× ? ?? ?? ??× ? ? ???? ?? ?? ? ? ? ??? ? ? ??? × ? ? ? ???? ? ?? × ?? ? ?? ??? ? ??? ×??? ? ?? ? ??× ? ? ? ? ×? ? ? × × ?? ? ? ???? ? × ?? ? ? ? ??× × ?? ? ? ? ??? × ? ? ? ???? ? ?? × ?? ? ? ? ? ?? ? ??× × ? ? ×? ? ? × × ?? ? ? ? × ×?? ? ???? ? ?? ? ?? ? ??× ? ?? ?? ? ? ? ??? × ? ? ? ???? ? ?? × ?? ? × ? ? ???? ?? ? ?? ? ? ×?×? ? ? ? ? ? × ?? ? ?? ? × ? ? ? × ? ? ×? ? ? ??× ?? ? ? ? ? × × ?? ? ? ??× ? ?? ??? ?? ×??? ? ? ?? ??× ? ? ?? ? ??? ??× ? ? ? ? ? ×? ? ?? ? ? ?? ? × ? ??? ?? ? ??× ? ?? ? ? ? ?? ?? ? ? ? ? ? ? ? ???? ×??? ? ? ? ? ? ?? ?? ? ? ???? ? ? ??? ? ? ? ? ? ??? ?? ? ? ?? ? ? ? ? ? ? ?? ? ? ??? ? ?? ? ? ?? ? ??? ? ? ? ??? ?? ?? ? ?? ? ? ? ?? ×? ? ? ? × ×? ×? ? ? ? ? ? ? ??× × ? ? ? ???? ? ?? × ?? ? ? ? ? ?? ? ? ? ? ×? ? ? × × ?? ? ? ?? ? ????? ? ? ? × ?? ? ? ? ?? ?? ? ??× ? ??× ? ?? ?? ? ? ? ??? × ? ? ? ???? ? ?? × ?? ? ? ?? ? ? ?? ?? ? ?× ?? ? ? ×? ? ? × × ?? ? ? ???? ? ? ×?×? ? ? ? ? ? ? ? ?? ? ? ? ? × ?? ? ?? ? × ? ? ×? ? ? ? ?? × ? ?? ? ? ? ??? ? ?? ? ? ? ? ? ? ? ? ×?×? ? ? ? ? ?? ? ?? ? ? ? ? ?? ??? ? ?? ? ?? ? ? ?? ? ??× ? ??×? ? ?? ? ? ???? ? ?? ? ×? ? ? × × ?? ? ×? ? ????? ? ? ×??? ?? × ? ? ??×??? ? ?? ? ? ? × ? ??? ?? ? ??× ? ?? ? ?? ? ? ? ? × ? ? ??× ? ?? ×??? ? ? ?? ?? ? ??? ??× ? ? ? ? ? ×? ? ?? ? ? ?? ? ???? ? ? ? ? ? ? ? ? × ?? ??× ? ?? ×??? ? ? ?? ?? ? ??? ??× ? ? ? ? ? ×? ? ?? ? ? ? ? ?? ? ×??? × ? ??? ? ? ? ? ? ? ??? ??× × ? ? ? ???? ? ?? × ?? ? ? ? ? ? ? ?? ? ??? ×??? ? ??? ? ? ? ? ×? ? × × ?? ? ? ??? ?× ??? ? ? ×?×? ? ? ? ? ? ? ? ? ? ? ? × ?? ? ?? ? × ? ? ? ? ? ? ? ??? ? ×?×? ? ? ? ? ?? ? ? ?? ? ? ? ? ???? ??? ?? ?? ? ? ? ? ? ×? ? ? ?? × ? ?? ? ? ? ?? × ×? ?? ? ? ? ? ? ? ? ? ? ?? × ? × ? ? ×? ? ? ?? ? ? ? ?? ? ? ? ? ? ?? ? ? ?? ?? ×? ? ?? ??? ??? ? ? ?? ?? ×? ? ??? × ? ??? ?? ?? ? ? ???? ? ??? ? ?? ?? ?? × ? ? ??× ? ? ? ?? ? × ? ? ??? ?? ? ??× ? ?? ? ?? ? × ? ? ?? ? ?? × × ?? ???? ???? ??? ? ?? ? ??× ? ??× ? ?? ? ? ???? ? ?? × ?? ? ? ? ×? ? ? × × ?? ? ? ? ????? ? ? ×??? ?????×?
?
?

?

?

?

?

?

?

?

?

?

?

?

?

?

? ?? ?

× ? ? ??× ? ?? ×??? ? ? ?? ?? ? ??? ??× ? ? ? ? ? ×? ? ?? ? ? ? ???? ? ? × ? ? ??× ? ?? ×??? ? ? ?? ?? ? ??? ??× ? ? ? ? ? ×? ? ?? ? ? ?? ? ? ? ? ? ?? ?× ? ×? ? × ? ?? ? ? ? ? ??× ? ? × ?? ? ? ? ?? ?? × ? ? ×? ? ? × × ?? ? ? ? ?× ? ? ? ???? ? ?? × ?? ? ? ??? ? ??? ? ? ?? ? ? ??? ? ? ?? ? ×?×? ? ? ×× × ? ? ×? ? ?? ? ??× ? ?? ?? ??? × ? ? ??? ?? ? ? ? ? ? ? ? ??? ? ??× × ?? ? ? ? ??? × ? ? ×? ? ? × × ?? ? ? ? ? ? ×???× ? ??? ? ? ??? ??? ?
?

????×?? ? ?

? ???

?? ? × × ? ??? ? ?? × ?? × ??? ? ??? ?? ???×?? ? ? ?? ??× ? ? ?? ? ?× ? ??? ? ? × ? ? ?? ??× ? ?? ? ??? ??? ? ??? ? ? ? ???× ? ? ? ? ? ? ? ? × ??? ? ?? ?? ??× ×?× ? ??? ????× ??? ? ? ? ? ??× ?? ?? ? ? ×× ×? ?
0 mouse 1 2 : observable : unobservable 3

?? ? ???× ? ? ? ? ? ? ??? ??? ? ×?? ? ? ? ? × ?×??× ?×? ?? ?? ? ? ? ??? ?? ? ? ???× ? ??? ? ?? ? ???× × ? ? ??? ? ???? ?? ? ? ? ? × ? ?? ? ????× ? ?× ? ? ?? ? ? ? ×× ×? ? ? ? ? ? ×? ?× ? ?? ???? ?? ? ?? ??? × × ?? ? ? ??? ? ???× ? ? ? ?? ? ????× ? ? ? ? ? ??? ? × ? ? ?? ?? ? ????? ? ?? ? ×? ?× ?? ? × ????? ?? ???? ?? ???? ?? ? ????? ?? ???? ?? ???? ?? ? ?? ?? ? ? × ? ? ? ? ??? ??× × × ?? ??? ??? ? ??? ?? ? ? ???× ? ? × ?? ? ? × ?×?? × ? ?×? ? ?? ? ? ? ??? ? ? ? ? × ? ??? × ? ??? ? ? ?? ??? ? ? ? ? ? × ?? ? ? ??? ??× × ? ? ? ???? ? ?? × ?? ? ? ? ? ? ×?×? ? ? ? ? ? ? ? ? ?? ?? ??× × × × ??? ? ?? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? × ? × ? ? × ? ??? ? ? ? ? ?? ? ? ?? ? ? ?? ? ? ? ? ? ? ?? ? ?? ? ?? ? × ? ? × ??? ? ??? ? ? ??? ? ??? ? ? ? ? ×? ? ? ?? × ? ?? × ?? ? ? ? ? ??? ?? × ? ? ??× ? ? ? ?? ×?×? ? × ?? ? ??? ? ??? ?? ? ??× ? ? × ? × × ?? ???? ???? ? ??? ? ? ? ? ?? ??? ? ? ? ? ? ???? ? ?? × ?? ? ?? ? ?? ? ×? ? ? × × ?? ? ? ?× ? ? ?? ? ? ? ?? ?? ? ? ?× ? ??? ?? ??× ? ? ? ? ? ? ? ? ?? × ? ? ? ?? ? ? ? ?? ? ×? ×? ? ? ? ? ? ? ? ??? ? ? × × × ??? ? ?? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
?

?

? ?

?

?

p o1 p

x0 u x2

u

x1 u

o3 o2 x3

??

??×? ? ?? ?

f 1 , p, X

p p, X p

f 1 , p, XX p, X

p

f1 ,

p

p

p p

??

? ? ? ??

?

p u1

u0 p u4 p u6 p p

p u2 p u5 p p p

p

u3 p p

?? ??

? ??

? ?

p p p p F1 p p u3 p u1 p

u0 p p p p u4 p u6 p p p p u2 p

p

p

p u5 p p p

??
? ? ? ? ? ? ? ? ? ? ?

? ??

? ?

? ×? ? ? ? ? ? ? ??? ? × × × ??? ? ?? ? ? ? ???? ? ?? ?× ? ?? ?? ? ? ? × ? ?? ? ? ? ? ? ?? ? ?? ? ?? ? ? ? ?? ? ?? ? ? ? ? ? ×? ? ? ? ? ? ? ??? ? × × × ??? ? ?? ? ? ? ???? ×? ? × ?
? ? ? ? ? ?

p w1

w0

p w10 p p p p w6 p

p w2 p F1 w3 p p w4 p

p w9 p p p w5 p p p w
7

p p w8 F

1

p
? ?

? ?? ? ? ? ? ?? ? ? ? ? ? ?? ? ?? ? ?? ? ? ? ×? ? ? ? ? ? ? ? ??? ? ×?? ?????× ????× ? ?? ? ? ?? × × × ??? ? ?? ? ? ? ???? ×? ? × ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ?? ? ?? ? ?? ? ??? ? ??? ? ? ? ??? ×× × ? ??? ??× × ??? ? ? ? ? ×? ? ? × × ?? ? × ?????×? ? ×?×? ? × ? ?? × ?? ? ? ? × ? ? ??? ??? × × ? ???
? ? ? ? ? ? ?? ?? ? ? ? ?

??

??

o1 y u F1 y 3 o1 y F1
4 1

y

0

u y
2

u u u
7

y u

y

6

u F1 o3

u y o1 y
10 9

o2 u y

y

8

11

u

o1 o3
5

F1

o2

o3 y

o3

??
?

? ??

??

×× ?? ?? ?? ? ?? × ? ? × ?? ? ?? ? × × ? ? ? ???? ? ? ? ×???× ? ??? ?? ? ?? ×? ? ? × ? ? ? ??× × ??? ? ? ? ? ?× ? ?? ?? ?? ? ? ?? ? ? ? × ? ??? ??× ? ? ? ? ×? ? ?? ? ? ? ? ???? ? ??× ? ?? ? ? ??? ? ? ? × × ??? ? ?? ??? ? ??× ? ? ????× ? ? ? ?? ? ? ? ? ??? × ? ? ? ? × ×? ? ? ? ? ??
? ?

?? ??× ??

?? ? × ? ? ?? ? ??? ? ? ? ? ? ? ??? ??× × ?? × ? ? ? ?? ×?×? ?× ? ? ??? ×? ? ? ??× × ×?? ? ??? ??× ? ?? ? ??× ? ?? ?? ??? × ? ? ? ? ??×? ? ?? ? ? ? ???? ? ?? × ?? ? ? ?? ? ? ?? ? ?× ?? ? ? ×? ? ?? ? ??× ? ?? ?? ??? × ? ?? ? ? ? ? ?? ? ? ? ? ??? ??× × ? ? ? ???? ? ?? × ?? ? ?? ? ? ? ? ×? ? ? × × ?? ? ? ???? ? ? ???×?? ? ? ? ??? × ?×? ? ?? ??? ? ? ? ? ×??? ? ??? ? ? ? ? ? ? ??? ??× × ? ? ? ???? ? ?? × ?? ? ? ? ? ? ? ?? ? ?? ? ? ×? ? ? × × ?? ? ? × ???? ? × ? ? ? ??? ?? ? ? ? ?? ?? ? ? ? ? ? ? ? ? ? ? ???× ? ??× × ? ??? ? ? ? ???? ? ?? × ?? ? ? ?×? ? ?? ? ? ? ? ??? × ? ? ? ? ×?×? ? × ??? ? ??? ?? ? ? ?× ? ??? ? ?? ? ?????? ? ?× × ?×? ???? ? × ? ??? ?
? ? ? ×

?? ? ?? ? ? ? ? ? ? ?×??? ???? ? ? ? ? ? ?? ? ?? ? ?×? ? ?? ??? ?? ×?×? ? ?× ?× ? ? ???? ? ?? ? ? ?? ?× ? ??× ?? ??? ? ?? ? ? ? ? × ? ??×? ?×? ??

q 0 , I =0 d o1 q 1 , I =0 d o1 q 3 , I =2 d o1 o3 o3 o3 o3 o2 o2

o2 o2 o2 q 2 , I =0 d o2 o1 o1 o1 q 5 , I =1 d o2

q 4 , I =1 d o2

q 7 , I =0 d

q 6 , I =2 d o1 o3

o3

?? ?? ???? ? ?? ?? ? ? ? ? ?

??× ?

??? ? ?? ?? ? ? ? ?? ? ? ? ?? ??? ? ? ? ? ? ? ? ? ?? ? ? ? ??? ?? ××? ? ? ? ? ?? ? ?? ?? × ? ?? ? ?????? ?? ? ? ? ? ? ??? ? ×? ?? × ? ? ? ?? ? ? ? × ?? ??? ??? ??? ? ?× ? × ? ? × ?× ? ? ?? ? ?? × ? ?×? ? ?? ?×? ? ??× ?? ??×? ?×? ? ?? ? ? ?? ? × ? ?? ??×? ?× ? ??? ?×? ????? ?? ? ????? ?? ?? ? ?? ? ????? ? ? ? ? ? ?? ×? ??? ? ? ??? ? ? ????? ??× ?? ??? ??× × ? × ? ? ? ?? ×?×? ?×? × ? ? ? ?? ?? ? ? ??×? ?× ? ??? ? ??? ? ??×? ?? ??? ? ????? ? ? ? ?×??? ? ???? ? ? ?? ? ?? ? ?? ?? ? ? ? ?? ?? ???? ? ? ?? ? ? ?? ? ? ????? ? ? ? ? ?× ? ? ? ? ?? ? × ?×? ? ?? ? ?? ? ?? ? ?? ?? ??×? ? ? ? ? ? × ? ? ? ? ? ? ? ? × ?? ????? ? ?? ???? ??× ?? ??????? ? ?? ???? ? ? ? ×?×? ?? ? ?? ?× ? ??× ?? ?????? ??×? ?× ? ???? ?? ? ? ? ??? ? ?? ? ? ????? ?? ? ?????? ? ? ?? ? ? ×?? ?? ??? ??? ??? ? ? ? ?? ??? ? ×?×? ?× ?× ? ?? ??? ?? × ? ? ? ? ?? ? × ?? ? ??×? ??? ? ? ????? ?? ? ? ?? ? ?? ?? ? ? ?? ? ? ? ? ?? ? ? ?? ? ? ? ? ?? ??? ?? ??????? ? ? ?? ? ? ?? ? ×? ? ??× ? ?? ? × ? ? ? ?? ×?×? ?×? ? ?? ?× ? ??× ?? ???? ? ??????? ? ? ??? ?????? ? ?×? ????? ??

? ?? ? ? ? ?? ??? ?? ??? ??× × ? × ? ? ? ?? ×?×? ?× ? ? ? ? ??? ? ? ???? ? ?? ??? ×? ? ? ??×? ? ?? ?× ? ??× ?? ???? ? ??????? ????? ?? ? ?? ? ??? ?? ? ? ? ?? ??? ?? ? ?? ? ? ? ??× × ? ? ? ? ??? × ? × ? ? ? ?? ×?×? ?×? ? ?? ?× ? ??× ?? ?? ?? × ? ???? ? ??? ???? ????? ?? ? ?? ? ??? ?? ??? ? ? ?? ?? ? ? ?? ? ? ? ?????? ? ?? ? × ? ? ? ?? ??×? ?×? ???? ? ? ?? ? × ?×? ?×???? ? ? ? ? ??? ?? ? ?××??? ? ?? ? ? ×??? ??? ? ?? ? × ???? × ?? × ? ? ??× ×? ? ? × ×? ? ? ?? ? ?? ? ?× ??? ? ? ?? ? ? ?? ?? ? ? ??? ? ? ?? ??× ? ?? ? × ? ? ? ?? ×?×? ?× ? ?× ??? ? ??×? × ? ? ? ?? ?? ? ??×? ?× ? ??? ? ??? ? ??×? ??? ? ????? ? ? ? ? ?? ?? ??×? ? ?? ? ?? ? ? ?? ??? ? ??? ??? ? ?? ?????? ? ? ??? ?? ???? ? ? ? ×?×? ?? ? ?? ?× ? ??× ?? ?????? ??×? ?× ? ???? ?? ??? ?? ??? ? ? ? ????? ? ? ? ? ? ? ? ?? ?????? ?? ? ??? ? ? ? ? × ?? ??? ??? ??? ? ? ? ? × ? ? ? ?? ??? ×× ×? ? ?? ?× ? ??× ?? ???? ? ??????? ? ? ? ?? ? ? ????? ? ? ?? ? ?? ? ? ?? ? ????? ? ? ? ??× × ? × ? ? ? ?? ×?×? ?×? ? ?? ?×? ? ??× ?? ???? ? ??????? ?? ? ? ? ? ? ? ? ? ? ?? ? ?? ? ? ?? ? ? ??? ? ?? ? ????? ? ?? ? ? ?? ?? ? ? ? ? ?? ×? ??×? ? ?? ? × ? ? ? ?? ×?×? ?×? ? ?? ?× ? ??× ?? ???? ? ??????? ?? ? ? ? ? ? ? ?? ? ? ? ? ? ? ?? ? ?? ? ? ?? ? ? ??? ? ?? ? ????? ? ?? ? ? ?? ?? ? ? ? ? ?? ×? ??? ??× × ?× ? × ? ? ? ?? ?? ?×? ? ?? ?× ? ??× ?? ?????? ??×? ?× ? ???? ? ?? ??? ?? ??? ? ? ? ? ? ? ? ?? ?? ? ?? ? ????? ? ?? ? ????? ? ?? ? ???? ? ?? ? ×?? ??? ? ?× ? × ? ? ? ?? ????? × ?? × ? ? ? ?? ×?×? ?×? ?? ??? ? × ? ???? ? ? ? ?????? ?? ? ? ? ?? ? ???? ? ? ??? ????? ??? ?? ?? ? ??? ??× × ? × ? ? ? ? ?? ? ? ? ×?×? ?×? ? ? × ×? ?? ? ?× ?? ? ???????? ???????? ? ? ? ?

?


相关文档

  • Failure diagnosis of discrete event systems with linear-time temporal logic fault specifica
  • Dynamic Linear Time Temporal Logic
  • Output regulation for linear discrete-time systems subject to input saturation
  • SACHEM, a Real-Time Intelligent Diagnosis System Based on the Discrete Event Paradigm
  • On-line configuration of a Time Warp parallel discrete event simulator
  • The Relationship Between Discrete Time and Continuous Time Linear Estimation
  • Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic
  • Robust switching of discrete-time switched linear systems
  • A max-plus algebra of signals for the supervisory control of real-time discrete event syste
  • Longitudinal Data-Event–History Analysis in Discrete Time
  • 猜你喜欢

  • 八年级语文下册课件18吆喝 (共19张PPT)
  • 英文版——大话西游剧本。
  • 刍议新闻传播的制约因素与传播策略
  • Android App:获取屏幕旋转角度
  • 天津财经大学国际经济01.第一讲 绪论
  • 打造阳光心态培训课件课件
  • 动感时尚MG动画图文介绍宣传动态ppt模板
  • 汽油发动机起动困难原因分析与探微
  • 新生命的诞生(知识点整理)
  • 英国留学签证面试官常问问题
  • 【精品模板】c038TGp_education_diagram_v2文化教育类PPT模板
  • 公文写作提速的方法
  • 治疗老年人风湿痛的药酒
  • 2019年牛津译林版九年级英语 上册Unit 3 Teenage problems单元测试卷(含答案)
  • 【公文范文】大学生村官年度考核情况报告
  • 微信零钱提现手续费
  • 四川省2016年下半年监理工程师执业资格:工程师的口头指示试题
  • 老人怎样保护心脏
  • 期中考试语文反思作文
  • 【IT专家】为什么我的ajax请求将空对象发送到服务器
  • 汽机实操题集
  • 江西省金溪县第一中学2018_2019学年高二历史12月月考试题(含解析)
  • 益气熄风汤对高血压大鼠AngⅡ和ALD的干预作用
  • 运行Hadoop自带的wordcount单词统计程序
  • 幼儿简笔画:可怕的小恐龙
  • 湖南省益阳市2016-2017学年高一下学期3月月考试题 数学 Word版含答案
  • 云南省2018年保育员三级考试试题试卷及答案
  • (技术合同)设计委托合同书
  • 2011届高考政治第一轮复习课件9
  • 三星s8home键隐藏设置
  • 北师大版 二年级数学上册 《5.6回家路上》 精品PPT课件 (2)
  • 职业培训工作计划通用4篇
  • 初中语文阅读教学提问策略研究
  • 广州市声皇音响设备有限公司(企业信用报告)- 天眼查
  • 江苏省扬州市高邮市车逻镇九年级数学上册第1章一元二
  • 最新-市人大机关扶贫工作计划 精品
  • 05第五章 内燃机混合气的形成与燃烧partI
  • 2017_2018学年高中地理第三章防灾与减灾第一节自然灾害的监测与防御课件新人教版选修5
  • 【精品】最新组织变革中的HR战略
  • [小初高学*]XX六年级数学下册总复*第六单元集体备课上课学*上课学*教案
  • 2020年大学学生会各部门工作计划【精品】
  • 2014年1-6月青海省及全国农用氮、磷、钾化学肥料总计(折纯)月度产量
  • 电脑版