.


:




:

































 

 

 

 


( reactive systems )




(reactive system) . [86] -, . - : , .

( ), 4. (, ). , . [87], , , - , , , . UML.

. . , , , , ( ), . . 6.3. , . , , , (), . . , . -, , , : . ,


. , . . . , . . 6.3 y1 Y2 , .

6.3 . : (), , . .

, , . . 6.4 d , : b , , . , . 6.4 .


, . d . . 6.4 - , {, , .

-. .

. 6.5 {, , , ( , ). , , .

. , , , . , , . . 6.6

, . ( ) , , . -, d. , , , .

- IEEE 802.12 (. 6.7). , . .


 



. , . , , , . , , . , , . . ( ) . , , .


, . ( , - ) , , . , . .

, . AnyLogic .

6.3. :

, .

, , : - (), ( ), (), () ( ) (. 6.8).

, . - .


:

- ;

- , ;

- ;

- ;

- .

Pedestriancross Model.

, , Model . Model . -

, statechart. traffic_light (. 6.9).

traffic_light ( state) , , (. 6.10). , , <F2>, .

, , , ( ).

( , ),

, , . , "" .


, , , , -

. , ,

. , -

, ,



, , . -
, -
. . . -
,
.


(. 6.11). go ( ), attention ( ), slow ( ), stop ( ) ready ( ). attention : ( ), ( ). .

, . , . . , . g 25 , 7 , 4 slow, 20 4 ready. : 1 .


, t1, , 25 (. 6.12). - . 1 (1 , 1 -). , ( ) .

. , - root. - . - . Pedestriancross1, Model Examples\Part II.

: , ready . . Model. (boolean) red, yellow green, , "": , (. 6.13). : false.

, . , go , - stop ( ), ready . . .


go green=true;, green=false; (. 6.14). , , ( false). , slow , . . yellow true, false. stop red, ready red yellow true false .


. root green, yellow red ( 1 0) -.

AnyLogic (. 6.15). -, . -, 45 ( ). : red , color.red, Color.gray (). Java:

red? Color.red: Color.gray


, , :

yellow? Color.yellow: Color.gray green? Color.green: Color.gray

, color Java, a gray , .

PedestrianCross2. . . 6.15 ready. go , .





:


: 2018-10-15; !; : 939 |


:

:

,
==> ...

958 - | 873 -


© 2015-2024 lektsii.org - -

: 0.024 .