ZESZYTY NAUKOWE POLITECHNIKI ŚLĄSKI EJ Seria:TRANSPORT z. 13
____________ 1989 Nr k o l. 1034
S ta n is ła w Krawiec
OPIS NIEFORMALNY MODELU RUCHU POCIĄGOW - INTERAKCJA ELEMENTÓW
S t r e s z c z e n i e . W a r t y k u l e p r z e d s ta w io n o w erb aln y o p is i n t e r a k c j i elementów modelu ru c h u pociągów , k t ó r y z re a liz o w a n o d l a p o tr z e b r e g u l a c j i ru ch u . Dla każdego ele m e n tu aktywnego w y stęp u jąceg o w modelu wyspecyfikowano e le m e n ty o d d z ia ły w u ją c e 1 ele m e n ty p o d le g łe o ra z podano w erb aln y o p i s f u n k c j i p r z e j ś c i a u z u p e łn io n y grafem stanów t e g o elem en tu . W ierzchołkami g r a f u stan ó w każdego e lem en tu s ą możliwe s t a n y danego e le m e n tu , n a to m ia s t ł u k i p r z e d s t a w i a j ą możliwe zmiany ty c h stanów .
A rtykuł t e n stan o w i p o d staw ę, u m o ż liw ia ją c ą r e a l i z a c j ę o p is u fo rm aln eg o modelu, w konw encji o p is u Systemu D yskretnych Zdarzeń.
1. E l e m e n t ak t y w n y POCIĄGi C i = 1 ,. . . , LPOO
1.1. E l e m e n t y o d d z i a ł y w u j ą c e
- POCI ĄGI . . . . . POCI ĄGi , . . . . POCI ĄGL.POC
- S Y G N A L I ZA T O R 1 , . . . , S Y G N A L I Z A T O R J , . . . , S Y G N A L I Z A T O R L S Y G N - K O L E J K A I . . . . .K O L E J K A I . . . . .K O L E J K A L P O L
- K O L W E 1 , . . . .K O L W E a , . . . ,K O L W E L P Z - G E N E R A T O R _ P O C I Ą G Ó W
1. 2 E l e m e n t y p o d l e g ł e
- P O C I Ą G I , . . . .P O C I Ą G i , . . . .P O C I Ą G L P O C
- S Y G N A L I Z A T O R 1 , . . . ,S Y G N A L I Z A T O R j ,. . . .S Y G N A L I Z A T O R L S Y G N - K O L E J K A I . . . . .K O L E J K A I .. . . ,K O L E J K A L P O L
- K O L W E 1 .. . . ,K O L W E a . . . . ,K O L W E L P Z
- S T E R O W A N I E l » . . . . S T E R O W A N I E s . . . . ,S T E R O W A N I E L S T E R - S T E R S S B L i .... ,S T E R S S B L w , . . . .S T E R S S B L L S B L
1.3. W e r b a l n y o p i s fukcji p r z e j ś c i a
s p ^ = O :P o c i ą g z n a j d u j e s i ę p o z a r e j o n e m sieci. Je ż e l i n a d s z e d ł p l a n o w y c z a s w j a z d u p o c i ą g u d o r e j o n u sieci, p o c i ą g z o s t a j e w y g e n e r o w a n y p r z e z G E N E R A T O R _ P O C I Ą G Ó W i u m i e s z -
232 St a nisław Krawiec
c z o n y w j e d n a j z k o l e j e k K O L W E .Jeżeli s y t u a c j a r u c h o wa w r e j o n i e s ieci p o z w a l a C p o ł ą c z e n i e g r a n i c z n e n i e J e s t z a j ę t e } , t o w y g e n e r o w a n y p o c i ą g n a t y c h m i a s t w j e ż d ż a d o r e j o n u s i e c i n a p o ł ą c z e n i e g r a n i c z n e , z m i e n i a ją c swój s t a n n a sp^=2 o r a z o p u s z c z a j ą c k o l e j k ę KOLWE.
Jeżeli s y t u a c j a r u c h o w a n i e p o z w a l a n a w j a z d d o r e j o n u sieci l u b k o l e j k a K O L W E n i e J e s t p u s t a , a -wygenerowany p o c i ą g n i e p o s i a d a n a j w y ż s z e g o p r i o r y t e t u z p u n k t u w i d z e n i a k o l e j n o ś c i w j a z d u d o r e j o n u s i e c i « t o p o c i ą g t e n p o z o s t a j e w k o l e j c e K O L W E i n i e z m i e n i a s w e g o stanu.
s p = 1 : P o c i ą g C c z o ł o p o c i ą g u } m inął s y g n a l i z a t o r , z m i e n i ł J e g o s t a n i j e d z i e d o t a r c z y o s t r z e g a w c z e j n a s t ę p n e g o s y g n a l i z a t o r a l u b d o w y j a z d u z r e j o n u s i e c i . P o c i ą g m o ż e z n a j d o w a ć s i ę w s t a n i e sp^=l p r z e z c z a s r ó w n y z e r o . J e żeli o d l e g ł o ś ć o d s y g n a l i z a t o r a d o t a r c z y o s t r z e g a w - zej n a s t ę p n e g o s y g n a l i z a t o r a J e s t r ó w n a z e r o .
W m o m e n c i e m i n i ę c i a p r z e z c z o ł o p o c i ą g u s y g n a l i z a t o r a , n a s t ę p u j e J e g o p r z e j ś c i e z K O L E J K I z n a j d u j ą c e j s i ę n a p o ł ą c z e n i u p r z e d s y g n a l i z a t o r e m d o k o l e j k i K O L E J K A , o d p o w i a d a j ą c e j a k t u a l n e m u n u m e r o w i p o ł ą c z e n i a , n a k t ó r y m j u ż s i ę z n a j d u j e l u b d o k t ó r e g o z m i e r z a c z o ł o p o c i ą g u . D o d a t k o w o w t y m m o m e n c i e p o c i ą g o d d z i a ł y w u j e n a S T E R O W A N I E s l u b S T E R S S B L w t e g o s y g n a l i z a t o r a o r a z na p o d s t a w i e p a r a m e t r ó w p o c i ą g u , d a n y c h t o p o l o g i c z n y c h g ł o w i c y i s ą s i a d u j ą c y c h z n i ą p o ł ą c z e ń p l a n o w a n e s ą c h w i l e z w o l n i e n i a p o ł ą c z e n i a z k t ó r e g o p o c i ą g o d j e c h a ł , z w o l n i e n i a r e l a c j i n a k t ó r ą p o c i ą g w j e c h a ł o r a z c z a s d o j a z d u d o t a r c z y o s t r z e g a w c z e j .Po p r z y j e ż d z i e d o t a r c z y o s t r z e g a w c z e j p o c i ą g z m i e n i swój s t a n n a sp^=2 , a J e ż e l i m i n i e g r a n i c ę r e j o n u s i eci t o z m i e n i swój s t a n n a sp^=0
sp^= 2 : P o c i ą g C c z o ł o p o c i ą g u } m inął t a r c z ę o s t r z e g a w c z ą
w e w n ą t r z r e j o n u s ieci l u b t a r c z ę o s t r z e g a w c z ą u s t a w i o n ą w p u n k c i e g r a n i c z n y m r e j o n u s i e c i i J e d z i e d o s y g n a l i z a t o r a a l b o k o ń c a k o l e j k i p o c i ą g ó w p r z e d t y m s y g n a l i z a t o r e m . J e żeli p o c i ą g w j e ż d ż a d o r e j o n u sieci, to p r z e c h o d z i z j e d n e j z k o l e j e k K O L W E d o o d p o w i e d n i e j k o l ejki t y p u K O L E J K A .Jeżeli p o c i ą g d o j e d z i e d o k o ń c a k o l e j k i p o c i ą g ó w l u b d o s y g n a l i z a t o r a , k t ó r e g o z r ó ż n y c h p o w o d ó w n i e m o ż e m i n ą ć , musi s i ę z a t r z y m a ć i z m i e n i swój s t a n n a sp^=3 .Jeżeli s ą s p e ł n i o n e w s z y s t k i e wa r u n k i , a b y p o c i ą g m inął n a j b l i ż s z y s y g n a l i z a t o r bez z a t r z y m a n i a , t o p o c i ą g z m i e n i s w ó j s t a n n a sp^=l sp.= 3 : P o c i ą g stoi p r z e d s y g n a l i z a t o r e m l u b w k o l e j c e p o c i ą -
Opis n ie formalny model u . 233
g ó w p r z e d s y g n a ł i z a t ę r e m S B L .W r a m a c h t e g o s t a n u p o c i ą g m o ż e s i e p r z e s u w a ć w k o l e j c e p o c i ą g ó w p r z e d s y g n a l i z a t o r e m S B L , w m o m e n t a c h o d j a z d ó w p o c i ą g ó w s t o j ą c y c h p r z e d n i m . S t a n sp^=3 t r w a d o m o m e n t u , g d y p o c i ą g m i n i e s y g n a l i z a t o r i zm i e n i sw ó j s t a n na sp.=l
Na r y s u n k u 1 p r z e d s t a w i o n y został g r a f s t a n ó w e l e m e n t u POCIĄGi.
W i e r z c h o ł k a m i g r a f u s ą m o ż l i w e s t a n y e l e m e n t u P O C I Ą G i , n a t o m i a s t łuki p r z e d s t a w i a j ą m o ż l i w e z m i a n y t y c h s t a n ó w . W a r u n k i e m k o n i e c z n y m , a l e n i e w y s t a r c z a j ą c y m z m i a n y s t a n u J e s t s p e ł n i e n i e w a r u n k u óp.=0 . Jeżeli warunek k o n i e c z n y j e s t s p e ł n i o n y , a n i e s ą s p e ł n i o n e warunki w y s t a r c z a j ą c e , w y z n a c z a n y J e s t n o w y c z a s p o z o s t a n i a e l e m e n t u POCI Ą G I w t y m s t a n i e .
Rys.l. G r a f s t a n ó w e l e m e n t u P O C I Ą G i
Fi g . 1. Gr a p h of P O C I Ą G i e l e m e n t * s condi ti ons
2. E l e m e n t a k t y w n y : S T E R O W A N I E s C s =1 ,. . . ,LSTERD
2. 1. E l e m e n t y o d d z i a ł y w u j ą c e
- D E C Y Z J A 1 ,. . . »D E C Y Z J A p , . . . . D E C Y Z J A L D E C
- P O Ł Ą C Z E N I El ... P O Ł Ą C Z E N I Ek . . . P O Ł Ą C Z E N I E L P O L - R E L A C J A 1 .... . R E L A C J A m . . . . ,R E L A C J A L R E L
- P O C I Ą G I ... P O C I Ą G i . . . . .P O C I Ą G L P O C
234 St a nisław Krawiec
- K O L E J KAI ... K O L E J KAI ... K O L E J K A L P O L - K O L D E C 1 .. . .K O L D E C t . . . K O L D E C L S Ł O W - A N U L A T O R _ D E C Y Z J I
2. 2. El ement.y p o d 1 egł e
- S Y G N A L I Z A T 0 R 1 .... .SY S M ALI Z A T O R J .... , SY G N ALI Z A T O R L S Y G N - D E C Y Z J A 1 .... . D E C Y Z J A p . . . . . D E C Y Z J A L D E C
- P O Ł Ą C Z E N I E l P O Ł Ą C Z E N I Ek .... . P O Ł Ą C Z E N I E L P O L - R E L A C J A 1 .... .RE L A C J A m . . . . .R E L A C J A L R E L
- S T E R O W A N I E l S T E R O W A N I E s .... . S T E R O W A N I E L S T E R - S T E R S S B L 1 S T E R S S B L w , . . . . S T E R S S B L L S B L
2. 3. W e r b a l n y o p i s f u kej i pr rej ści a
E l e m e n t S T R O W A N I E s p o b i e r a k o l e j n o d e c y z j e d o r e a l i z a c j i z j e d n e j z k o l e j e k d e c y z j i K O L D E C t , w e d ł u g k o l e j n o ś c i o k r e ś l o n e j p r z e z a k t u a l n i e o b o w i ą z u j ą c e k r y t e r i a r e g u l a c j i r u c h u , N a d a n e j g ł o w i c y , C z w y j ą t k i e m g ł o w i c n a k t ó r e m o d n a w j e c h a ć m i j a j ą c s y g n a l i z a t o r SBL3 m o d e J e d n o c z e ś n i e p r a c o w a ć m a k s y m a l n i e t y l e e l e m e n t ó w t y p u S T E R O W A N I E s , i l e m odna z r e a l i z o w a ć j e d n o c z e s n y c h n i e z a l e ż n y c h p r z e b i e g ó w p o c i ą g o w y c h . E l e m e n t S T E R O W A N I E s r e p r e z e n t u j e d y n a m i k ę w s z y s t k i c h t y c h c z y n n o ś c i , w y k o n y w a n y c h n a j c z ę ś c i e j p r z e z c z ł o w i e k a n a z y w a n e g o " s t e r u j ą c y r u c h e m " , k t ó r e s ą n i e z b ę d n e , a b y n a k t ó r y m ś z s y g n a l i z a t o r ó w u s t a w i ć s y g n a ł z e z w a l a j ą c y na J a z d ę . E l e m e n t t e n n a k a d d y m e t a p i e r e a l i z a c j i k o l e j n y c h c z y n n o ś c i s p r a w d z a , c z y n i e n a s t ą p i ł a a n u l a c j a r e a l i z o w a n e j a k t u a l n i e d e c y z j i . co u m o ż l i w i a s k a s o w a n i e z r e a l i z o w a n y c h w c z e ś n i e j c z y n n o ś c i , a l e k o n t r o l a ta w y s t ę p u j e t y l k o d o t e g o m o m e n t u , g d y p o c i ą g m i n i e Jud s y g n a l i z a t o r , na k t ó r y m był p o d a n y s y g n a ł z e z w a l a j ą c y .
s s t = O : R e a l i z a c j a d e c y z j i n i e z o s t a ł a J e s z c z e r o z p o c z ę t a , a
b o w i e m p l a n o w y c z a s r o z p o c z ę c i a r e a l i z a c j i J e s t w i ę k s z y o d a k t u a l n e g o c z a s u , r e a l i z a c j a d e c y z j i z o s t a ł a a n u l o w a n a a w s z y s t k i e u r z ą d z e n i a s ą w t a k i m s t a n i e Jak p r z e d r o z p o c z ę c i e m r e a l i z a c j i d e c y z j i l u b r e a l i z a c j a de c y z j i z o s t a ł a z a k o ń c z o n a , a p o c i ą g C o s t a t n i a ośD op u ś c i ł p r z e b i e g o w e m i e j s c e k o ń c a p o c i ą g u z a s y g n a l i z a t o r e m n a k t ó r y m był n a s t a w i o n y s y g n a ł z e z w a l a j ą c y . E l e m e n t S T E R O W A N I E s z m i e n i a swój s t a n n a s s t =1, j e ż e -
a
li n a d s z e d ł J u ż z a p l a n o w a n y c z a s r o z p o c z ę c i a r e a l i z a cji d e c y z j i , a p o ł ą c z e n i e k t ó r e n a l e ż y z a j ą ć n i e J e s t z a j ę t e p r z e z i n n y e l e m e n t s t e r u j ą c y .Jeż e l i t a k i e p o ł ą c z e n i e je s t z a j ę t e , t o e l e m e n t S T E R O W A N I E s p o z o s t a j e w s t a n i e s s t =0, n a t o m i a s t c o o k r e ś l o n y k w a n t c z a -
Opis niefor m al ny modelu.
Je ż e l i o d p o w i e d n i a z m i e n n a e l e m e n t u D E C Y Z J A w s k a z y w a ł a , ż e n a l e ż y r e a l i z a c j ę r o z p o c z ą ć n a t y c h m i a s t , a o d p o w i e d n i e p o ł ą c z e n i e n i e J e s t z a j ę t e p r z e z i n n y e l e m e n t s t e r u j ą c y , t o e l e m e n t S T E R O W A N I E s m o ż e b y ć w s t a n i e s s t a= 0 p r z e z o k r e s c z a s u r ó w n y z e r o .
s s t a= 1 : Z a j m o w a n i e w o l n e g o p o ł ą c z e n i a z n a j d u j ą c e g o s i ę za s y g n a l i z a t o r e m s t e r o w a n y m p r z y p o m o c y a k t u a l n i e r e a l i z o w a n e j d e c y z j i .Czas p r z e b y w a n i a e l e m e n t u S T E R O W A N I E s w t y m s t a n i e J e s t z a l e ż n y o d w y p o s a ż e n i a techni c z n e g o s ą s i a d u j ą c y c h z p o ł ą c z e n i e m g ł o w i c o r a z o d h a r m o n o g r a m u c z y n n o ś c i o r g a n i z a c y j n y c h , J a k i e s ą p o t r z e b n e d o z a j ę c i a p o ł ą c z e n i a n a k o n k r e t n y m s z l a k u l u b st a c j i . E l e m e n t S T E R O W A N I E s z m i e n i a swój s t a n n a s s t a=2 »Jeżeli p o ł ą c z e n i e J e s t J u ż z a j ę t e o r a z r e l a c j a ,
k t ó r ą n a l e ż y z a j ą ć z g o d n i e z t r e ś c i ą d e c y z j i n i e J e s t z a j ę t a .Jeżeli p o ł ą c z e n i e j e s t J u ż z a j ę t e , a r e l a c j a k t ó r ą n a l e ż y z a j ą ć n i e J e s t w o l n a , p o s z u k i w a n a Jest i n n a r e l a c j a n a tej g ł o w i c y , k t ó r a m o ż e u m o ż l i w i ć p r z e j a z d p o c i ą g u n a z a j ę t e J u z p o ł ą c z e n i e .Jeżeli t a k a i n n a r e l a c j a i s t n i e j e .to e l e m e n t S T E R O W A N I E s p r z e c h o dzi t a k ż e d o s t a n u s s t a= 2 , a J e ż e l i n i e i s t n i e j e t o e l e m e n t S T E R O W A N I E s p o z o s t a j e w s t a n i e s s t =1 p o m i m o
s
z a j ę t e g o J u ż p o ł ą c z e n i a i c o o k r e ś l o n y k w a n t c z a s u p o n a w i a n a J e s t p r ó b a p r z e j ś c i a d o s t a n u s s t =2 .
a
Je ż e l i w c z a s i e t r w a n i a s t a n u s s t fl=l n a s t ą p i ł a a n u l a c j a r e a l i z o w a n e j d e cyzji, t o e l e m e n t S T E R O W A N I E s p r z e c h o d z i d o s t a n u s s t a=0 .
s s t fl= 2 : Z a j m o w a n i e r e l a c j i u m o ż l i w i a j ą c e j p r z e j a z d z p o ł ą c z e n i a z n a j d u j ą c e g o p r z e d s y g n a l i z a t o r e m d o z a j ę t e g o w s t a n i e sst^^l p o ł ą c z e n i a z a s y g n a l i z a t o r e m ) k t ó r e g o d o t y c z y d e c y z j a o r a z z a j m o w a n i e r e l a c j i s p r z e c z n y c h z z a j m o w a n ą r e l a c j ą . Czas p r z e b y w a n i a e l e m e n t u S T E R O W A N I E s w t y m s t a n i e z a l e ż y o d r o d z a j u u r z ą d z e ń S R K na g ł o w i c y , i l o ś c i r o z j a z d ó w z n a j d u j ą c y c h s i ę n a r e l acji o r a z h a r m o n o g r a m u c z y n n o ś c i z w i ą z a n y c h z z a j m o w a n i e m i u t w i e r d z a n i e m d r ogi p r z e b i e g u .Po z a j ę c i u r e l a c j i o r a z r e l a c j i s p r z e c z n y c h e l e m e n t S T E R O W A N I E s m o ż e z m i e n i ć swój s t a n na s s t = 3 .jeżeli n i e n a s t ą p i ł a w m i e d z y c z a -
s
s i e a n u l a c j a d e cyzji. Jeżeli t a k a a n u l a c j a d e c yzji n a s t ą p i ł a , e l e m e n t S T E R O W A N I E s z m i e n i swój s t a n na s s t a= 8 , w k t ó r y m t o s t a n i e b ę d z i e z w a l n i a n a z a j ę t a u p r z e d n i o r e l a c j a o r a z r e l a c j e d o niej s p r z e c z n e . sst^- 3 -.Podawanie s y g n a ł u z e z w a l a j ą c e g o n a s y g n a l i z a t o r z e s t e
r o w a n y m p r z y p o m o c y a k t u a l n i e r e a l i z o w a n e j d e c y z j i
236 S ta nisław Krawiec
C z a s p r z e b y w a n i a e l e m e n t u S T E R O W A N I Es w t y m s t a n i e z a l e ż y o d r o d z a j u s y g n a l i z a t o r a , r o d z a j u u r z ą d z e ń S R K n a g ł o w i c y a w s z c z e g ó l n y m p r z y p a d k u t a k ż e o d o d l e g ł o ści o d “s t e r u j ą c e g o r u c h e m " d o s y g n a l i z a t o r a .
E l e m e n t S T E R O W A N I Es z m i e n i a swój s t a n n a s s t =4 w s
m o m e n c i e z m i a n y s t a n u s y g n a l i z a t o r a , jeżeli w m i ę d z y c z a s i e n i e n a s t ą p i ł a a n u l a c j a r e a l i z o w a n e j d e c y z j i J eżeli w y s t ą p i ł a a n u l a c j a d e c y z j i , t o e l e m e n t S T E R O W A N I E s
p r z e c h o d z i d o s t a n u s s t =7, w k t ó r y m b ę d z i e n a s t ę p o w a ł o a
a w a r y j n e k a s o w a n i e s y g n a ł u z e z w a l a j ą c e g o .
sst = 4 : O c z e k i w a n i e n a p r z e j a z d p o c i ą g u o b o k s y g n a l i z a t o r a i a
s k o n s u m o w a n i e s y g n a ł u z e z w a l a j ą c e g o p r z e z t e n p o c i ą g . J e ż e l i w c z a s i e t e g o o c z e k i w a n i a w y s t ą p i a n u l o w a n i e d e c y z j i , t o e l e m e n t S T E R O W A N I E s p r z e c h o d z i d o s t a n u s st =7, w k t ó r y m b ę d z i e n a s t ę p o w a ł o a w a r y j n e k a s o w a n i e
a
s y g n a ł u z e z w a l a j ą c e g o .W m o m e n c i e p r z e j a z d u p r z e j a z d u p o c i ą g u C c z o ł a p o c i ą g u } ob o k s y g n a l i z a t o r a n a s t ą p i z m i a n a j e g o s t a n u n a s y g n a ł o c h r o n n y o r a z z a p l a n o w a n y z o s t a j e C n a p o d s t a w i e p a r a m e t r ó w p o c i ą g u o r a z t o p o l o gii g ł o w i c y i o d p o w i e d n i c h p o ł ą c z e ń } c z a s z w o l n i e n i a p o ł ą c z e n i a i k t ó r e p o c i ą g w ł a ś n i e o p u s z c z a , o r a z r e l a cji, n a k t ó r ą a k t u a l n i e w j e ż d ż a . S t a n e l e m e n t u S T E R O W A N I E s z m i e n i a s i ę w t a k i m p r z y p a d k u n a sst =5 .
a
s st = 5 : Zwal n i a n i e p o ł ą c z e n i a p r z e d s y g n a l i z a t o r e m p r z e z o d - a
j e ż d ż a j ą c y p o c i ą g . E l e m e n t S T E R O W A N I E s p r z e b y w a w t y m s t a n i e p r z e z o k r e s c z a s u o d m i n i ę c i a s y g n a l i z a t o r a p r z e z c z o ł o p o c i ą g u d o o d j a z d u o s t a t n i e j osi p o c i ą g u z s y g n a ł o w e g o m i e j s c a k o ń c a p o c i ą g u .Po z w o l n i e n i u p o ł ą c z e n i a e l e m e n t S T E R O W A N I E s p r z e c h o d z i d o s t a n u sst^=6.
s s t = 6 : Z w a l n i a n i e r e l a c j i i s p r z e c z n y c h z n i ą p r z e z o d j e ż d ż a j ą c y p o c i ą g . E l e m e n t S T E R O W A N I E s p s z e b y w a w t y m s t a n i e d o c h w i l i , g d y o s t a t n i a o ś p o c i ą g u m i n i e p r z e b i e g o w e m i e j s c e k o ń ^ a p o c i ą g u i D r z e c h o d z i d o s t a n u s st -O, k o ń c z ą c r e a l i z a c j ę d e c y z j i . J e d n o c z e ś n i e w o d p o w i e d n i e j k o l e j c e K O L D E C p o s z u k i w a n a J e s t d e c y z j a , k t ó r a b ę d z i e r e a l i z o w a n a j a k o n a s t ę p n a p r z e z e l e m e n t S T E R O W A N I E s .
sst = 7 : A w a r y j n e k a s o w a n i e s y g n a ł u zezwalającerjo . S t a n taki a
w y s t ę p u j e w s y t u a c j i , g d y a n a l a c j a d e c y z j i w y s t ą p i ł a w c h w ili, g d y zo s t a ł J u ż p o d a n y sy g n a ł z e z w a l a j ą c y na s y g n a l i z a t o r z e , a n i e s k o n s u m o w a ł g o j e s z c z e p r z e j e ż d ż a j ą c y p o c i ą g . E l e m e n t S T E R O W A N I E s p r z e b y w a w t y m s t a n i e p r z e z c z a s z a l e ż n y m.in. o d r o d z a j u u r z ą d z e ń S R K o r a z o d h a r m o n o g r a m u c z y n n o ś c i p r z e w i d z i a n y c h na
Opis nieformalny modelu. . . 237
t a k ą o k o l i c z n o ś ć « a n a s t ę p n i e p r z e c h o d z i d o s t a n u s st =8 .
a
s s t = 8 : A w a r y j n e z w a l n i a n i e r e l a c j i i s p r z e c z n y c h z n i ą p r z e z s
s t e r u j ą c e g o r u c h e m . S t a n taki w y s t ę p u j e w s y t u a c j i . g d y a n u l o w a n i e d e c y z j i n a s t ą p i ł o w m o m e n c i e z a j ę c i a r e l a c j i i s p r z e c z n y c h z n i ą , a p r z e d p o d a n i e m s y g n a ł u z e z w a l a j ą c e g o l u b w s y t u a c j i , g d y a w a r y j n i e s k a s o w a n o s y g n a ł z e z w a l a j ą c y i n a l e ż y d o p r o w a d z i ć r e l a c j ę d o s t a n u z a s a d n i c z e g o . E l e m e n t S T E R O W A N I E s p r z e b y w a w t y m s t a n i e p r z e z o k r e s c z a s u p o t r z e b n y na r o z w i ą z a n i e d r o - g* p r z e b i e g u , a n a s t ę p n i e p r z e c h o d z i d o s t a n u s s t =9.
s s s t = 9 A w a r y j n e z w a l n i a n i e p o ł ą c z e n i a z a s y g n a l i z a t o r e m p r zez
a
s t e r u j ą c e g o r u c h e m . S t a n taki J e s t k o n s e k w e n c j ą a w a r y j n e g o z w a l n i a n i a r e l a c j i p r z e z s t e r u j ą c e g o r u c h e m , J a k o k o n s e k w e n c j a w c z ś n i e j s z e g o a n u l o w a n i a d e c yzji C z a s p o z o s t a w a n i a e l e m e n t u S T E R O W A N I E s w t y m s t a n i e J e s t z a l e ż n y o d w y p o s a ż e n i a t e c h n i c z n e g o s ą s i a d u j ą c y c h z p o ł ą c z e n i o m g ł o w i c o r a z h a r m o n o g r a m u c z y n n o ś c i o r g a n i z a c y j n y c h p r z e w i d z i a n y c h n a t a k ą o k o l i c z n o ś ć .Po zwoi ni eni u p o ł ą c z e n i a e l e m e n t S T E R O W A N I E s pr z e chodzi d o s t a n u ss t ^ = 0 .k o ń c z ą c p r o c e d u r ę a n u l o w a n i a decyzji.
J e d n o c z e ś n i e w o d p o w i e d n i e j k o l e j c e K O L D E C p o s z u k i w a n a j e s t d e c y z j a .k t ó r a b ę d z i e r e a l i z o w a n a J a k o n a s t ę p n a p r z e z e l e m e n t S T E R O W A N I E s .
Na r y s u n k u 2 p r z e d s t a w i o n y zo s t a ł g r a f s t a n ó w e l e m e n t u S T E R O W A N I E s . W i e r z c h o ł k a m i g r a f u s ą m o ż l i w e s t a n y e l e m e n t u S T E R O W A N I E s , n a t o m i a s t łuki p r z e d s t a w i a j ą m o ż l i w e z m i a n y t y c h s t a n ó w . W a r u n k i e m k o n i e c z n y m , a l e n i e w y s t a r c z a j ą c y m z m i a n y s t a n u J e s t s p e ł n i e n i e w a r u n k u óst =0. Jeżeli
s
w a r u n e k k o n i e c z n y Je s t s p e ł n i o n y , a n i e s ą s p e ł n i o n e w a r unki w y s t a r c z a j ą c e , w y z n a c z a n y J e s t n o w y c z a s p o z o s t a n i a e l e m e n t u S T E R O W A N I E s w t y m s t a n i e .
238 S t a n i sł aw Krawiec
Rys. 2. G r a f s t a n ó w e l e m e n t u S T E R O W A N I E s Fig. 2. G r a p h of S T E R O W A N I E s e l e m e n t c o n d i t i o n s
3. E l e m e n t a k t y w n y : S T E R S S B L 1
3.1. E l e m e n t y o d d z i a ł y w u j ą c e
C l = l .... ,L S BL3
- S T E R S S B L 1 S T E R S S B L w . . 1 . . S T E R S S B L L S B L - S T E R O W A N I El .... , S T E R O W A N I E s S T E R O W A N I E L S T E R - K O L E J K A l ... K O L E J K A 1 ... K O L E J K A L P O L
3.2. E l e m e n t y p o d l e g ł e
\
- S T E R S S B L 1 .... .S T E R S S B L w . . . . . S T E R S S B L L S B L
- S T G N A L I Z A T O R 1 .... . S Y G N A L I Z A T O R J .... , S Y G N A L I Z A T O R L S Y G N - P O Ł Ą C Z E N I E l ... P O Ł Ą C Z E N I Ek . . . P O Ł Ą C Z E N I E L P O L - R E L A C J A 1 R E L A C J A m , . . . . R E L A C J A L R E L
- POCI Ą G 1 POCI Ą G i POCI Ą G L P O C
3.3. Wer b a l n y o p i s f u n k c j i p r z e j ś c i a
Opis nieformalny modelu. 239
E l e m e n t S T E R S S B L w r e p r e z e n t u j e f u n k c j o n a l n i e u r z ą d z e n i a s t e r u j ą c e s y g n a l i z a t o r e m S B L . K a ż d y e l e m e n t S T E R S S B L s t e r u j e J e d n y m s y g n a l i z a t o r e m SB L . E l e m e n t S T E R S S B L w z r e a l i z o w a n y j e s t f u n k c j o n a l n i e w s p o s ó b p o d o b n y j a k o e l e m e n t S T E R O W A N I E s , z t ą J e d n a z a s a d n i c z ą r ó ż n i c ą , że k o n k r e t n y s t a n C w z a k r e s i e s y g n a ł ó w z e z w a l a j ą c y c h } n a s t e r o w a n y m s y g n a l i z a t o r z e J e s t f u n k c j ą s t a n u e l e m e n t u S T E R S S B L w , s t a w n o ś c i b l o k a d y o r a z s t a n u p o ł ą c z e ń i k o l e j e k p o c i ą g ó w n a t y c h p o ł ą c z e n i a c h .. Z g o d n i e z i d e ą s a m o c z y n n o ś c i w r a m a c h e l e m e n t u S T E R S S B L w n i e m a s e n s u a n u l o w a n i a ża d n e j z w y k o n y w a n y c h J u ż c z y n n o ś c i .
s s b ^ = O : O c z e k i w a n i e n a c a ł k o w i t e z w o l n i e n i e p o ł ą c z e n i a z a s y g n a l i z a t o r e m . P o ł ą c z e n i e t o J e s t z w a l n i a n e p r z e z e l e m e n t s t e r u j ą c y n a s t ę p n e g o s y g n a l i z a t o r a w m o m e n c i e o d j a z d u k o l e j n e g o p o c i ą g u , n i e z a l e ż n i e o d t e g o c z y J e s t t o s t e r o w a n i e t y p u S T E R S S B L w c z y S T E R O W A N I E s C w p r z y p a d k u w y j a z d u z r e j o n u s i eci z w o l n i e n i e p o ł ą c z e n i a n a s t ę p u j e w m o m e n c i e w y j a z d u o s t a t n i e j osi p o c i ą g u } . K a ż d o r a z o w e z w o l n i e n i e p o ł ą c z e n i a z a s y g n a l i z a t o r e m S B L p o w o d u j e p r ó b ę p r z e j ś c i a e l e m e n t u S T E R S S B L w d o s t a n u s s b ^ = l , a l e J e s t t o m o ż l i w e w ó w c z a s , g d y z p o ł ą c z e n i a z a s y g n a l i z a t o r e m o d j a d z i e o s t a t n i p o c i ą g z k o l e j k i p o c i ą g ó w n a t y m p o ł ą c z e n i u , a s t a n p o ł ą c z e n i a s p o fc b ę d z i e r ó w n y z e r o . W t a k i m p r z y p a d k u e l e m e n t S T E R S S B L w n a t y c h m i a s t p r z e j d z i e d o s t a n u s s b =1 i z a j m i e t o p o ł ą c z e n i e .
s s b ^ = 1 : Z a j m o w a n i e p o ł ą c z e n i a z a s y g n a l i z a t o r e m .relacji za s y g n a l i z a t o r e m o r a z p o d a w a n i e s y g n a ł u z e z w a l a j ą c e g o na s y g n a l i z a t o r z e » C z a s t r w a n i a t e g o s t a n u J e s t r ó w n y zero,
a l e f u n k c j o n a l n i e z a j ę c i e p o ł ą c z e n i a o r a z r e l a c j i za s y g n a l i z a t o r e m C d ł u g o ś ć r e l a c j i J e s t r ó w n a z e ro} Jest w a r u n k i e m w y ś w i e t l e n i a s y g n a ł u z e z w a l a j ą c e g o . S t a n p o d a n e g o s y g n a ł u z e z w a l a j ą c e g o z a l e ż y o d a k t u a l n e j s y t uacji r u c h o w e j n a k o l e j n y c h o d s t ę p a c h b l o k a d y , a J e d n o c z e ś n i e z m i a n a t e g o s y g n a ł u z ś w i a t ł a c z e r w o n e g o n a sy g n a ł z e z w a l a j ą c y m o ż e s p o w o d o w a ć o d p o w i e d n i e d o s t a w n o ś c i b l o k a d y i s y t u a c j i r u c h o w e j z m i a n y s t a n ó w n a s y g n a l i z a t o r a c h p o p r z e d n i c h C n i e z m i e n i a j ą c s t a n ó w e l e m e n t ó w s t e r u j ą c y c h tymi s y g n a l i z a t o r a m i } .Po p o d a n i u s y g n a ł u z e z w a l a j ą c e g o e l e m e n t S T E R S S B L w p r z e c h o dzi d o s t a n u s s b =2 .
w
s s b ^ = 2 : O c z e k i w a n i e n a s k o n s u m o w a n i e s y g n a ł u z e z w a l a j ą c e g o p r z e z p o c i ą g .W c z a s i e t r w a n i a t e g o s t a n u s y g n a ł na s y g n a l i z a t o r z e m o ż e s i ę z m i e n i a ć C w z a k r e s i e r ó ż n y c h s y g n a ł ó w z e z w a l a j ą c y c h } , a m o g ą t o p o w o d o w a ć s y g n a l i z a t o r y n a s t ę p n e , k t ó r y m i s t e r u j ą i n n e e l e m n t y s t e r u -
240 Stanisław Krawiec
j ą c e . W m o m e n c i e p r z e j a z d u c z o ł a p o c i ą g u obok s y g n a l i z a t o r a , n a s y g n a l i z a t o r z e u s t a w i o n e z o s t a n i e ś w i a t ł o c z e r w o n a , z e l e m e n t S T E R S S B L w p r z e c h o d z i d o s t a n u s s b =3 .
w
s s b = 3 : Z w a l n i a n i e p o ł ą c z e n i a p r z e d s y g n a l i z a t o r e m i r e l a c j i w
z a s y g n a l i z a t o r e m . E l e m e n t S T E R S S B L w z n a j d u j e s i ę w L y m s t a n i e p r z e z o k r e s c z a s u o d p r z e j a z d u c z o ł a p o c i ą g u o b o k s y g n a l i z a t o r a d o p r z e j a z d u o s t a t n i e j osi p o c i ą g u p r z e z p r z e b i e g o w e m i e j s c e k o ń c a p o c i ą g u C p r a k t y c z n i e m o ż n a p r z y j ą ć , ż e p r z e b i e g o w e m i e j s c e
k o ń c a p o c i ą g u z n a j d u j e s i ę w m i e j s c u u s t a w i e n i a s y g n a l i z a t o r a , b o w i e m r e l a c j a m a d ł u g o ś ć z ero} .
Z w o l n i e n i e p o ł ą c z e n i a p r z e d s y g n a ł i zatcreili p r z e z e l e m e n t S T E R S S B L w n i e o z n a c z a a u t o m a t y c z n e j z m i a n y t e g o p o ł ą c z e n i a n a spo^=0, b o w i e m w m i ę d z y c z a s i e n a t o p o ł ą c z e n i e m o g ł y w j e c h a ć i n n e p o ciągi, c o w y n i k a z z a s a d y p r o w a d z e n i a r u c h u n a s a m o c z y n n e j b l o k a d z i e l i niowej, P o z w o l n i e n i u p o ł ą c z e n i a e l e m e n t S T E R S S B L w p r z e c h o d z i d o s t a n u s s b ^ = 0 .
N a r y s u n k u 3 p r z e d s t a w i o n y z o s t a ł g r a f s t a n ó w e l e m e n t u S T E R S S B L w . W i e r z c h o ł k a m i g r a f u s ą m o ż l i w e s t a n y e l e m e n t u S T E R S S B L w , n a t o m i a s t łuki p r z e d s t a w i a j ą m o ż l i w e z m i a n y t y c h s t a n ó w . W a r u n k i e m k o n i e c z n y m , a l e n i e w y s t a r c z a j ą c y m z m i a n y s t a n u j e s t s p e ł n i e n i e w a r u n k u <5sb^=0 • Jeżeli w a r u n e k k o n i e c z n y J e s t s p e ł n i o n y , a n i e s ą s p e ł n i o n e w a r u n k i w y s t a r c z a j ą c e f w y z n a c z a n y J e s t n o w y c z a s p o z o s t a n i a e l e m e n t u S T E R S S B L w w t y m s t a n i e .
Opis ni eformalny modelu. 241
Rys. 3. G r a f s t a n ó w e l e m e n t u S T E R S S B L w Fig. 3. G r a p h of S T E R S S B L w e l e m e n t c o n d i t i o n s 4. E l e m e n t a k t y w n y : G E N E R A T O R _ D E C Y Z J I
4.1. E l e m e n t y o d d z i a ł y w u j ą c e
- P O C I Ą G 1 . . . . .P O C I Ą G i . . . . .P O C I Ą G L P O C
- S T E R O W A N I El .... .S T E R O W A N I E s , . . . . S T E R O W A N I E L S T E R - A N U L A T O R _ D E C Y Z J I
- S Y G N A L I Z A T O R l , . . . .S Y G N A L I Z A T O R J .... .S Y G N A L I Z A T O R L S Y G N - P O Ł Ą C Z E N I El .... .P O Ł Ą C Z E N I E k . . . . ,P O Ł Ą C Z E N I E L P O L - KOLE.J KAI . . . K O L E J KAI . . . . , K O L E J K A L P O L
- K O L W E 1 . . . . ,K O L W E a . . . K O L W E L P Z - R E L A C J A l R E L A C J A m . . . . ,R E L A C J A L R E L - DECYZJA1. . . . .DECYZJAp. . . . . DECYZJALDEC - K O L D E C 1 . . . K O L D E C t . . . . .K O L D E C L G Ł O W
4.2. El e m e n t y podl egł e
- D E C Y Z J A 1 . . . D E CYZJAp, . . . . D E C Y Z J A L D E C - K O L D E C 1 , . . . .K O L D E C t , . . . .K O L D E C L G Ł O W
4.3. W e r b a l n y o p i s f u n k c j i p r z e j ś c i a
G E N E R A T O R _ D E C Y Z J I na p o d s t a w i e c a ł k o w i t e g o s t a n u m o d e l u r u c h u p o c i ą g ó w g e n e r u j e z e s t a w d e c y z j i , k t ó r e n a l e ż y z r e a l i z o w a ć , a b y u m o ż l i w i ć r u c h p o c i ą g ó w w r e j o n i e sieci. K o l e j n o ś ć w y k o n y w a n i a t y c h d e c y z j i o r a z c z a s y r o z p o c z ę c i a r e a l i z a c j i p o s z c z e g ó l n y c h d e c y z j i m o g ą s t a n o w i ć i s t o t ę r e g u l a c j i r u c h u p o c i ą g ó w A k t u a l n i e r o l ę e l e m e n t u G E M E R A T O R _ D E C Y Z J I s p e ł n i a c z ł o w i e k , k t ó ^ y s t e r u j e s y m u l a t o r e m r u c h u p o c i ą g ó w , k o r z y s t a j ą c z k l a w i a t u r y k o m p u t e r a .
5. E l e m e n t a k t y w n y : A N U L A T Q R _ D E C Y Z J I
5.1. E l e m e n t y o d d z i a ł y w u j ą c e
- P O C I Ą G I ... P O C I Ą G i ... P O C I Ą G L P O C
- S T E R O W A N I E l .. . . ,S T E R O W A N I Es ... . ,S T E R O W A N I E L S T E R - S T E R S S B L 1 ,. . . ,S T E R S S B L w . . . . . S T E R S S B L L S B L - G E N E R A T O R _ D E C Y Z J I
2A2
S ta nisław Krawiec- S Y G N A L I Z A T O R 1 .... . S Y G N A L I Z A T O R j .... . S Y G N A L I Z A T O R L S Y G N - P O Ł Ą C Z E N I E l .... . P O Ł Ą C Z E N I Ek .... . P O Ł Ą C Z E N I E L P O L - K O L E J K A l .... . K O L E J K A 1 .... . K O L E J K A L P O L
- K O L W E 1 ... K O L W E a ... K O L W E L P Z - R E L A C J A 1 ... R E L A C J A m . . . . . R E L A C J A L R E L - D E C Y Z J A 1 .... . D E C Y Z J A p D E C Y Z J A L D E C - K O L D E C 1 . . . K O L D E C t .. . . ,K O L D E C L G Ł O W
S.
2.
E l e m e n t y p o d l e g ł e- D E C Y Z J A 1 .... . D E C Y Z J A p , . . . . D E C Y Z J A L D E C - K O L D E C 1 ... K O L D E C t .. . . . K O L D E C L G Ł O W
- S T E R O W A N I E l S T E R O W A N I E s S T E R O W A N I E L S T E R
S. 3. W e r b a l n y o p i s f u n k c j i p r z e j ś c i a
A N U L A T O R _ D E C Y Z J I n a p o d s t a w i e c a ł k o w i t e g o s t a n u m o d e l u r u c h u p o c i ą g ó w n o ż e a n u l o w a ć w y k o n a n i e w s z y s t k i c h t y c h d e c y z j i , k t ó r y c h w y k o n a n i e J e s z c z e s i ę n i e r o z p o c z ę ł o , l u b a k t u a l n i e t r w a . D e c y z j e a k t u a l n i e w y k o n y w a n e m o ż n a a n u l o w a ć d o c h w i l i , g d y p o c i ą g m i n i e s y g n a l i z a t o r n a k t ó r y m j e s t sy g n a ł z e z w a l a j ą c y b ę d ą c y e f e k t e m w y k o n y w a n e j de c y z j i . A k t u a l n i e r o l ę e l e m e n t u A N U L A T O R _ D E C Y Z J I s p e ł n i a c z ł o w i e k , k t ó r y s t e r u j e s y m u l a t o r e m r u c h u p o c i ą g ó w , k o r z y s t a j ą c z k l a w i a t u r y k o m p u t e r a .
6. E l e m e n t a k t y w n y : G E N E R A T O R _ P O C I Ą G Ó W
6.1. E l e m e n t y o d d z i a ł y w u j ą c e
- POCI Ą G I POCI Ą G i ... POCI Ą G L P O C
6.2. E l e m e n t y p o d l e g ł e
- POCI ĄGI ... POCI Ą G i ... POCI Ą G L P O C - K O L W E 1 .. . . .K O L W E a . . . K O L W E L P Z
G E N E R A T O R _ P O C I Ą G O W n a p o d s t a w i e r o z k ł a d u J a z d y p o c i ą g ó w geneptlje w o d p o w i e d n i e j k o l e j n o ś c i p o c i ą g i , d l a k t ó r y c h n a d s z e d ł J u ż p l a n o w y c z a s w j a z d u d o r e j o n u s i e c i i u m i e s z c z a J e w o d p o w i e d n i c h k o l e j k a c h K O L W E ,
S z c z e g ó ł o w a a n a l i z a f u n k c j i p r z e j ś c i a e l e m e n t u G E N E R A T o R _ P O C I Ą G Ó W , J a k o e l e m e n t u z e w n ę t r z n e g o w s t o s u n k u d o m o d e l u r u c h u p o c i ą g ó w n i e b ę d z i e w s p o s ó b f o r m a l n y o p i s y w a n a .
Opis nief o rm al ny modelu. 24,3
L I T E R A T U R A
Cl] A H O A. V. , H O P C R O F T J. E. . U L L M A N J.D. : P r o j e k t o w a n i e i a n a l i z a p r o g r a m ó w k o m p u t e r o w y c h . PWN, W a r s z a w a 1983.
C2] B U S L E N K O N. P. , K A Ł A S Z N I K O W W. W. •, K O W A L E N K O I . N. : T e o r i a s y s t e m ó w z ł o ż o n y c h . PWN, W a r s z a w a 1 9 7 9
C33 G O R D O N G. S y m u l a c j a systemów. WNT, W a r s z a w a 1 9 7 4
C4J I n s t y t u t T r a n s p o r t u P o l i t e c h n i k i Ś l ą s k i e j C p r a c a z b i o r o w a } Z a s a d y p r o j e k t o w a n i a i w d r a ż a n i e s y s t e m ó w s t e r o w a n i a r u c h e m u l i c z n y m p o d k ą t e m m i n i m a l i z a c j i e n e r g o c h ł o n n o ś c i t r a n s p o r t u K a t o w i c e 1 9 8 5 C m a s z y n o p i s p r a c y n a u k o w o - b a d a w c z e j , sym b o l P R - 8 5. 7. O l . 06. e l . }
[53 K O N I E C Z N Y R o m a n + z e s p ó ł Cpr.^ca zbi o r o w a } : O p r a c o w a n i e k o n c e p c j i m a k r o s k o p o w e g o m o d e l u s y m u l a c y j n e g o r u c h u p o c i ą g ó w - e t a p I z a d a n i a
" K o m p u t e r o w y m a k r o m o d e i r u c h u pociągów*' - K a t o w i c e 1 9 8 6
C m a s z y n o p i s p r a c y n a u k o w o - b a d a w c z e j N B - 3 2 3 / R T / 8 6 p r o g r a m u R P . 1.09}
[6] K O N I E C Z N Y R o m a n + ze s p ó ł C p r a c a z b i o r o w a } : Z a s t o s o w a n i e J ę z y k a LOGLA>
d o m o d e l o w a n i a d u ż y c h s y s t e m ó w t r a n s p o r t o w y c h na p r z y k ł a d z i e m o d e l u r u c h u p o c i ą g ó w - K a t o w i c e 1 9 8 7 C m a s z y n o p i s p r a c y n a u k o w o - b a d a w c z e j N B - 2 7 7 / R T / 8 7 p r o g r a m R P . I .09 }
i 7] J A R O N J. : C e l e s y s t e m u , i c h p r z e s t r z e ń i r e a l i z a c j a - Z e s z y t F o r m a l n e o p i s y s y s t e m ó w i i c h z a s t o s o w a n i a , wyd. P o l i t e c h n i k a W r o c ł a w s k a 1 9 7 8
C83 K O N D R A T O W I C Z L. : M o d e l o w a n i e s y m u l a c y j n e systemów. WNT, W a r s z a w a 1 9 7 8
C91 K O N I E C Z N Y R o m a n . K R A W I E C S t a n i s ł a w . W O J C I E C H O W S K I B o g u s ł a w : S y m u l a t o r r u c h u p o j a z d ó w w s ieci s k r z y ż o w a ń z s y g n a l i z a c j ą ś w i e t l n ą d l a m i n i k o m p u t e r a M E R A - 4 0 0 — r e f e r a t o p u b l i k o w a n y w m a t e r i a ł a c h I V K o n f e r e n c j i N a u k o w e j I n s t y t u t u T r a n s p o r t u P o l i t e c h n i k i W a r s z a w s k i e j , W a r s z a w a 1 9 8 5 .
CIO] K O N I E C Z N Y Roman. K R A W I E C S t a n i s ł a w . W O J C I E C H O W S K I B o g u s ł a w : O p e w n y m m o d e l u s y m u l a c y j n y m d o o c e n y j a k o ś c i o r g a n i z a c j i i s t e r o w a n i a r u c h u d r o g o w e g o - r e f e r a t o p u b l i k o w a n y w m a t e r i a ł a c h k o n f e r e n c j i n a u k o w e j " O r g a n i z a c j a r u c h u w ś r ó d m i e ś c i u "
K r a k ó w - N o w y S ą c z , 1 9 8 6
Cli] K O N I E C Z N Y Roman, K R A W I E C S t a n i s ł a w : K o m p u t e r o w y model r u c h u p o j a z d ó w w s i eci s k r z y ż o w a ń z s y g n a l i z a c j ą ś w i e t l n ą - Z e s z y t y N a u k o w e P o l i t e c h n i k i Ś l ą s k i e j . T r a n s p o r t nr 5 / 1 9 8 7
C12] K O R Z A N B. : W y b r a n e z a g a d n i e n i a te o r i i g r a f ó w i sieci - m a t e r i a ł y k o n f e r e n c j i s z k o l e n i o w e j - J a b ł o n n a 1 9 7 8
Cl 3] K R A W I E C Sta n i s ł a w : M o del s y m u l a c y j n y p r z e m i e s z c z a n i a p o c i ą g ó w d l a p o t r z e b r e g u l a c j i r u c h u - P r a c a d o k t o r s k a C m a s z y n o p i s } . [14,] M E S A R O W I C Z M. D. : M a t e m a t y c z n a t e o r i a s y s t e m ó w o g ó l n y c h - t o m
O g ó l n a t e o r i a s y s t e m ó w p o d r e d a k c j ą G.J. Klira, W N T W a r s z a w a 1 9 7 6 C15] P E R K O W S K I P . : T e c h n i k a S y m u l a c j i Cyfrowej. WNT, W a r s z a w a 1 9 8 0 C16] W Y M O R E A. W. S p l e c i o n a t e o r i a s y s t e m ó w - t o m O g ó l n a t e o r i a
s y s t e m ó w p o d red. G.J. K l i r a , W N T W a r s z a w a 1 9 7 6
C17] Z E I G L E R B . P . : T e o r i a m o d e l o w a n i a i symulacji. PWN, W a r s z a w a 1 9 8 4
I N F O R M A L S P E C I F I C A T I O N O F A T R A I N T R A F F I C M O D E L - E L E M E N T S * I N T E R A C T I O N
S u m m a r y
V erbal s p e c i f i c a t i o n C d e s c r i p t i o n } of e l e m e n t s * i n t e r a c t i o n o f t h e t r a i n t r a f f i c m o d e l J , w h i c h h a d b e e n r e a l i z e d for t h e t r a f f i c c o n trol n eeds, h a s b e e n p r e s e n t e d i n t h e paper.
244 S ta nisław Krawiec
For a e c h a c t i v e e l e m e n t of t h e m odel t h e a c t i n g a n d s u b o r d i n a t e e l e m e n t s h a v e b e e n s p e c i f i e d a n d t h e ver b a l d e s c r i p t i o n of a t r a n s i t i o n f i n c t i o n s u p l l e m e n t e d w i t h a g r a p h o f t h i s e l e m e n t ' s s t a t e s h a v e b e e n given. T h e p e a k s o f e a c h e l e m e n t *s s t a t e s g r a p h a r e p o s s i b l e s t a t e s of a g i v e n e l e m e n t w h e r e a s t h e a r c s p r e s e n t p o s s i b l e c h a n g e s of t h e s e states.
T h i s p a p e r m a k e s t h e b a s i s e n a b l i n g r e a l i z a t i o n o f t h e m odel formal s p e c i f i k a t i o n i n t h e c o n v e n t i o n o f t h e " D i s c r e t e E v e n t s S y s t e m "
s p eci f i cati o n .
N I C H T F O R M A L E B E S C H R E I B U N G D E S Z U G V E R K E H R S M O D E L L S - I N T E R A K T I O N VON E L E M E N T E N
Z u s a m m e n f a s s u n g
I m A u f s a t z w u r d e v e r b a l e B e s c h r e i b u n g der I n t e r a k t i o n v o n E l e m e n t e n des Z u g v e r k e h r s m o d e l ls d a r g e s t e l l t , d a s für V e r k e h r s r e g e l u n g r e a l i s i e r t wurde.
Für J e d e s a k t i v e s E l e m e n t , d a s i m M o d e l l v o r k ä m m t , w u r d e n u n t e r s t e l l t e und E i n f l u ß e l e m e n t e s p e z i f i e r t . Es w u r d e a u c h v e r b a l e B e s c h r e i b u n g der Ü b e r g a n g s f u n k t i o n für d i e s e s E l e m e n t , e r g ä n z t d u r c h e i n e n Z u s t a n d s g r a p h , ang e g e b e n . M ö g l i c h e Z u s t ä n d e e i n e s E l e m e n t b i l d e n W i p f e l des Z u s t a n d s g r a p h e s ; m ö g l i c h e Ä n d e r u n g e n d i e s e r Z u s t ä n d e s t a l l e n d a g e g e n B o g e n d i e s e s G r a p h e s dar.
Der A u f s a t z b i l d e t G r u n d l a g e n , d i e d i e R e a l i s i e r u n g der f o r m a l e n M o d e l l b e s c h r e i b u n g i n der K o n v e n t i o n der B e s c h r e i b u n g d e s S y s t e m s der D i s k r e t e n E r e i g n i s s e e r m ö g l i c h e n .
HE*OPMAJThHOE OÜHCAHME MOflEJIH ÄBHXEHMfl Ü0E3Ä0B - MHTEPAKUMH 3J1EMEHT0B
P e 3 » n e
B CTaTfae daHO cjso secH o e oimcaHHe h h tepaKUHH ajieMBHTOB noAejiM abiogbkhb n o e3AOB. K O T o p a s ö b u r a peajiH30BaHa ajisi H y x a yupaBJieHHSi ABHaoeHneM.
Äna K aauioro aKTMBHoro sjieiu eH T a , BbtcTyiratcmero b MOAejiM
aau
cttmcgk3 J i e M B H T O B C O fle Ä C T B V iO ia S W X H T T O /IM H H e H H b tX a T 3 K Z B f i S H O C J l O B e C H O e O T T H C a H M e
nepexoA H O ft 4>yKUHK, flo n o jiH eH o o e r p a ijo ri c o c t s s i h h ä 3 T o r o a j ie n e iiT a .
BepmuMaMM r p a $ a cocTasiHHä K axuoro aneneHTa hbjisiiotcs B0 3M0XHbie
C O C T O Ü H H H AaHHOTO 3JieMBHTa, peßpa-ace TTpe AC T3B JISHOT BOSMO^Hbie M 3 M e H e H M 3 3THX coctosihhA. CTaTfaa siBJisieTcsi ochoboA ajis oopnajibHoro otthc a hüb no/re jih b KOHBeHllHH OTTHC 3HM CMCTSMisl fl.HCKpeXHblX Co6bTTHÄ.
