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
Seria: T R A N S P O R T z. 1 3 Nr kol. 10 3 4
_________1989
S t a n i s ł a w K R A W I E C
OPIS NIEFORMALNY MODELU RUCHU POCIĄGOW - ELEMENTY
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 t a w i o n o s z c z e g ó ł o w y o p i s ele m e n t ó w , z m i e n n y c h o p i s o w y c h i p a r a m e t r ó w m o d e l u r u c h u p o c i ą g ó w , k t ó r y został z r e a l i z o w a n y d l a p o t r z e b r e g u l a c j i ruchu. D l a k a ż d e g o e l e m e n t u C o b i e k t u J w y s p e c y f i k o w a n o s z c z e g ó ł o w o w s z y s t k i e z m i e n n e o p i s o w e i p a r a m e t r y c h a r a k t e r y z u j ą c e t e n e l e m e n t , p o d a n o z a k r e s y w a r t o ś c i J a k i e m o g ą p r z y j m o w a ć o r a z p r z y j ę t o s y m b o l , p o d k t ó r y m b ę d z i e w y s t ę p o w a ć w o p i s i e f o r m a l n y m m o d e l u w g ty p ó w , d e f i n i u j ą c t y p y akt y w n e , t y p y p a s y w n e o r a z t y p y ogólne. T r e ś ć a r t y k u ł u t w o r z y p o d s t w a w o w y "słownik'' o p i s u mode l u , n a p o d s t a w i e k t ó r e g o z r e a l i z o w a n o n i e f o r m a l n y i f o r m a l n y o p i s d y n a m i k i modelu.
1. E l e m e n t y m o d e l u r u c h u p o c i ą g ó w
A. T y p y a k t y w n e : POCIĄ G I . - - .P O C I Ą S L P O C ;
S T E R O W A N I E l ... S T E R O W A N I E L S I E R ; . S T E R S S B L 1 .. . . . 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 ;
A N U L A T O R _ D E C Y Z J I ; G E N E R A T O R _ P O C I Ą G Ó W .
B. T y p y p a s y w n e : 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 L S Y G N ; P O Ł Ą C Z E N I E l ... P O Ł Ą C Z E N I E L P O 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 L P Z ; R E L A C J A 1 , . . . .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 L D E C ; K O L D E C 1 K O L D E C L G L O W . C. T y p y ogól n e : M A K R O P O L 1 , . . . , M A K R O P O L L M P ;
C Z A S _ J A Z D Y ;
W S P Ó Ł C Z Y NNI K_NI E D Y S P O Z Y C JI ; C Z A S „ R E A K C J I _ P O C I Ą G U ;
W S P Ó Ł C Z Y N N I K _ W P Ł Y W U _ Z M I A N Y _ S Y G N A Ł U ;
W S P Ó Ł C Z Y N N I K _ W P Ł Y W U _ A W A R Y J N E J _ Z M I A N Y _ S Y G N A Ł U .
210 S ta ni sł a w Krawiec
2. Z m i e n n e o p i s o w e i p a r a m e t r y e l e m e n t ó w m o d e l u r u c h u p o c i ą g ó w
2.1. E l e m e n t a k t y w n y : P O C I Ą G I Ci - 1 . . . L P O O
A. Z m i e n n e o p i s o w e e l e m e n t u P O C I Ą G I
Al. S T A N _ P O C I Ąo!J_i : <sp.>
sp, € < 0 . 1 , 2 . 3 >
sp^~ 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 s i eci ;
sp. = 1 - p o c i ą g C c z o ł o p o c i ą g u } 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 ci ;
sp^= 2 - p o c i ą g C c z o ł o p o c i ą g u } w j e c h a ł d o r e j o n u s i e c i l u b m inął t a r c z ę o s t r z e g a w c z ą 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 ; sp.* 3 - p o c i ą g st o i 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 ą
g ó w p r z e d s y g n a l i z a t o r e m S B L ;
A2. C Z A S _ P O Z O S T A W ANI A _ P O C I Ą G U_i _ W _ S T A N I E : <óp.>
óp^ e 3t
A3. N U M E R _ G Ł O W I C Y _ M I NI O N E J _ P O C I ĄGlJ_i : <gmp.>
gmp. e < -1.... .- L P Z , 1,. . . .L G Ł O W >
" numer g ł o w i c y p r z e j e c h a n e j o s t a t n i o p r z e z c z o ł o p o c i ą g u , a w p r z y p a d k u w j a z d u d o r e j o n u s i eci n u m e r w j a z d u z e z n a k i e m m i n u s ”
AA. N U M E R _ G Ł O W I C Y _ N A S T Ę P N E J _ P O C I Ą G U _ i : < g n p >
gnp. e < -1.. . . . -LPZ, 1 L G Ł O W >
"n u m e r g ł o w i c y d o k t ó r e j a k t u a l n i e J e d z i e c z o ł o p o c i ą g u , a 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 e c i n u m e r w y j a z d u z e z n a k i e m m i n u s "
A5. N U M E R _ G Ł O W I C Y _ D A L S Z E J _ P O C I Ą G U _ i : <gdp.>
gdp. e < -1 .. . . . -LPZ, 1.. . . . L G Ł O W >
"n u m e r g ł o w i c y n a s t ę p n e j , d o k t ó r e j b ę d z i e z m i e r z a ł o c z o ł o p ociągu, g d y m i n i e g ł o w i c ę gnp^ ;J e ż e l i b ę d z i e t o w y j a z d z r e j o n u sieci, to n u m e r w y j a z d u z e z n a k i e m m i n u s "
A 6 . N U M E R _ S Y G N A L I Z A T O R A _ W S P Ó Ł P R A C U J Ą C E G O _ Z _ P O C I Ą G I E M _ i : < xp.>
xp. e < 1 .... , L S Y G N >
" a k t u a l n y n u m e r s y g n a l i z a t o r a , k t ó r y w s p ó ł p r a c u j e z p o c i ą g i e m ; w m o d e l u p o c i ą g w s p ó ł p r a c u j e z d a n y m s y g n a l i z a t o r e m o d m o m e n t u p r z e j a z d u c z o ł a p o c i ą g u p r z e z m i e j s c e u s t a w i e n i a t a r c z y o s t r z e g a w c z e j t e g o s y g n a l i z a t o r a d o m o m e n t u p r z e j a z d u c z o ł a p o c i ą g u p r z e z m i e j s c e
Opis niefo rm a ln y modal u. 211
u s t a w i e n i a 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 , k o l e j n e g o s y g n a l i z a t o r a .
A7. L O K A L I Z A C J A _ P O C Z Ą T K U _ P O C I Ą G U_i : < l p p >
lp p
e < 1 L P O L >"numer p o ł ą c z e n i a , n a k t ó r y m s i e z n a j d u j e a k t u a l n i 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 , Jeżeli a k t u a l n i e J e s t n a r e l a c j i "
AS. L O K A L I Z A C J A JCOtfCA„POCiĄGU_i : < l k p >
lkp. « { 1.... . . L P O L >
"numer p o ł ą c z e n i a , n a k t ó r y m z n a j d u j e s i e a k t u a l n i e , l u b d o k t ó r e g o z m i e r z a o s t a t n i a o ś p o c i ą g u Je ż e l i a k t u a l n i e Je s t n a r e l a c j i "
AQ. N U M E R _ P O C I Ą G U i _ W _ K O L E J C E : < n p p >
npp^ e < 1.... , L P O C >
npp.=l J e ż e l i s y g n a l i z a t o r m i n i o n y n i e był s y g n a l i z a t o r e m SBL;
"numer p o c i ą g u w k o l e j c e p o c i ą g ó w n a p o ł ą c z e n i u lpp."
AlO. W S K A Z N I K_P O C I ĄGU_i _ W _ R O Z K Ł A D Z I E _ J A Z D Y : < w s p >
wsp^ e < 1,. .. ,n > g d z i e n - i l o ś ć p o ł ą c z e ń z n a j d u j ą c y c h s i e n a t r a s i e p o c i ą g u
" w k a ż n i k o z n a c z a j ą c y a k t u a l n ą p o z y c j e p o c i ą g u w r o z k ł a d z i e J a z d y rj^ o r a z srj^'1
Ali. L I C Z B A _ N I E P L A N O W Y C H _ Z A T R Z Y M A r t _ P O C I Ą G U i : < l n z >
i l n z e t *
l o
Al 2. A K T U A L N E _ O P Ó Z N I ENI E _ P O C I ĄGU_i : <ao.>
ao. e 3C
L O
Al 3. C Z A S _ D Z P _ P O C I Ą G U_i : <tpo.>
tp O €
Ł O , 0 0
" p l a n o w a n y c z a s z w o l n i e n i a p o ł ą c z e n i a o p u s z c z a n e g o p r z e z o d j e ż d ż a j ą c y p o c i ą g "
Al4. C Z A S _ D Z R _ P O C I Ą G U _ i : < t r e >
i t r e e Jt*
i. O » 0 0
" p l a n o w a n y c z a s z w o l n i e n i a r e l a c j i o p u s z c z a n e j p r z e z o d j e ż d ż a j ą c y poci ąg"
Al 5. O D S T Ę P _ P O C I Ą G U _ i _ O D _ P R Z E S Z K O D Y : < ODSTĘP. >
ODSTĘP^ <s C 0» ... ,50 3
" z m i e n n a l o s o w a o k r e ś l a j ą c a o d l e g ł o ś ć m i ę d z y d a n y m p o c i ą g i e m a p o p r z e d n i m p o c i ą g i e m 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 l u b m i ę d z y s t o j ą c y m p r z e d s y g n a l i z a t o r e m p o c i ą g i e m a t y m s y g n a l i z a t o r e m "
212
S ta nisław KrawiecP a r a m e t r y e l e m e n t u P O C I Ą G i
BI. M A S A _ P O C I Ą G U _ i : <ma.) m a e X *
t
B2. D Ł U G O S Ć _ P O C I ĄGU_i : <cłl^>
dl e X * V
B3. T R A K C J A _ P O C I Ą GU_i : <tr.>
t r e < 1 , 2 , 3 , 4 , 5 >
L
tr^= 1 - t r a k c j a p a r o w a ; tr = 2 - l o k o m o t y w a s p a l i n o w a ;
i
tr.= 3 — w a g o n s p a l i n o w y ; tr = 4 - l o k o m o t y w a e l e k t r y c z n a
i
tr. = 5 - j e d n o s t k a e l e k t r y c z n a ;
B4. RODZAJ,
r o d = 1 i rod. = 2
i rod. = 3
t r o d = 4
i r o d = 5
V rod. = 6
i
rod. = 7 t rod. = 8
t r o d = 9
rod.
ro d ro d ro d rod r o d r o d
=10 -
= 1 1 -
=12 -
= 1 3 -
= 1 4 -
= 1 5 -
= 1 6 -
rod.= 1 7 v rod. =18
rod. =19
POCI Ą GU_i : <rod.>
r o d e < 1 ,... ,22 >
Ł
- p o c i ą g r a t u n k o w y ; - P O N S Z ;
- p o c i ą g e k s p r e s o w y ; - p o c i ą g p o ś p i e s z n y ;
- p o c i ą g o s o b o w y m i e j s c o w y , d o w o ż ą c y l udzi d o p r a c y ; - p o c i ą g t o w a r o w y e k s p r e s o w y ,do p r z e w o z ó w m i ę d z y n a
r o d o w y c h ;
- p o c i ą g o s o b o w y d a l e k o b i e ż n y i p o z o s t a ł e m i e j s c o w e ; - p o c i ą g o s o b o w o - t o w a r o w y ;
- p o c i ą g s ł u ż b o w y . p r z e w o ż ą c y p r a c o w n i k ó w w o b r ę b i e węzł a ;
p o c i ą g w o j s k o w y z l u d ź m i ; p o c i ą g i n s p e k c y j n y ; p o c i ą g t o w a r o w o - o s o b o w y ;
p o c i ą g t o w a r o w y e k s p r e s o w y d o p r z e w o z ó w k r a j o w y c h ; p o c i ą g t o w a r o w y p o ś p i e s z n y ;
p o c i ą g w o j s k o w y z z a o p a t r z e n i e m ;
p o c i ą g t o w a r o w y d a l e k o b i e ż n y d o p r z e w o z ó w n i e m a s o - w y c h ;
p o c i ą g o d c i n k o w y b e z p o ś r e d n i ;
p o c i ą g t o w a r o w y d a l e k o b i e ż n y d o p r z e w o z ó w m a s o w y c h ;
p o z o s t a ł e p o c i ą g i s ł u ż b o w e o r a z p o j a z d y t r a k c y j n e ;
Opis n i ef or m al ny modelu. . .
rocl=20 - p o c i ą g z b i o r o w y ;
rod.=2i - p o c i ą g i z d a w c z e i b o c z n i c o w e ; rod. = 2 2 - p o c i ą g i g o s p o d a r c z e i r o b o c z e ;
B5. K A T E G O R I A _ P O C I Ą G U _ i : <kat,>
k at e < 1 2 2 >
i
" k a t e g o r i a p o c i ą g u m o ż e b y ć p r z y j ę t a b e z p o ś r e d n i o , tak Jak w r o d 1 o k r e ś l o n a w i n n e j k o l e j n o ś c i - z g o d n i e z b i e ż ą c y m i p o t r z e b a m i "
B6. R Z E C Z Y W I S T Y _ P R O C E N T _ M A S Y _ H A M U J Ą C E J _ P O C I ĄGU_1 :<rpp.>
rpp^ e < O ... l O O ł
B7. M A K S Y M A L N A _ P R Ę D K O S C _ P O C I ĄGU_i : <rop.>
m p Ł e < O .... . 3 0 0 >
B8. P R Z Y S P I E S Z E N I E _ P R Z Y _ R O Z R U C H U _ P O C I Ą S U _ i : < p p r . >
ppr^ e C 0 . 0 2 .1 1
B9. O P O Z N I E N I E _ P R Z Y „ H A M O W A N I U _ P O C I Ą G U _ i : <pph,>
pptv « C O . O S , 1 1
Bi O. N U M E R _ W J A Z D U _ P O C I Ą G U_i _ D O _ R E J O N ’J_SI ECI
r
<nwj_>nwj. « < 1 L P Z >
Bil. N U M E R _ W Y J A Z D U _ P O C I Ą G U _ i _ Z _ R E J O N U _ S I E C I : < n w y >
nwy. « < 1 L P Z >
Bi 2. N U M E R _ K O L E J O W Y _ P O C I Ą G U _ i : <nk.>
nk. « t 0 . 1 ... 9 . A Z.C.J./- >*
v
Bi 3. R O Z K Ł A D _ J A Z D Y _ P O C I Ą GU_i : <rj.>
i i « < i n >
y = o k r e ś l a k o l e j n e p o ł ą c z e n i a .k t ó r e p o k o n u j e p o c i ą g "i" w p r o c e s i e p r z e j a z d u p r z e z r e j o n s ieci ; Cy
T i - o k r e ś l a p l a n o w e c z a s y w j a z d u n a k o l e j n e o d s t ę p y .których s k ł a d o w y m i s ą p o ł ą c z e n i a y y ;
i
g d z i e :
214, St a ni sł aw Krawiec
r = O , g d y n i e J e s t z n a n y p l a n o w y c z a s w j a z d u p o c i ą g u "i" na
L4-L '
o d s t ę p » k t ó r e g o c z ę ś c i ą j e s t p o ł ą c z e n i e "ii" ; t > O. g d y j e s t z n a n y p l a n o w y c z a s w j a z d u p o c i ą g u "i" n a
i-iii *
o d s t ę p . k t ó r e g o c z ę ś c i ą j e s t p o ł ą c z e n i e “i i " ;
BI 4- S K R Ó C O N Y J ? O Z K Ł A D _ J A Z D Y _ P O C I Ą G U_i : <sr J >
srJ e ( < 1. . . . , L P O L > * x j C )
{ } = { (...) ... C ) }
g d z i e :
i i G. <
A
i . . . . ,n >y ^ - o k r e ś l a k o l e j n e p o ł ą c z e n i a , k t ó r e p o k o n u j e p o c i ą g "i" w p r o c e s i e p r z e j a z d u p r z e z r e j o n s i eci ;
7) - o k r e ś l a m i n i m a l n e c z a s y p o b y t u p o c i ą g u "i" na k o l e j n y c h il.i
o d s t ę p a c h , o d m o m e n t u w j a z d u c z o ł a p o c i ą g u n a g ł o w i c ę r o z p o c z y n a j ą c ą d a n y o d s t ę p , d o m o m e n t u g d y c z o ł o p o c i ą g u w j e ż d ż a n a g ł o w i c ę n a s t ę p n ą ;
ii=i
L S T - i l o ś ć m o ż l i w y c h j e d n o c z e ś n i e d o z r e a l i z o w a n i a n a danej g ł o w i c y 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 .
D l a g ł o w i c , n a k t ó r e w j e ż d ż a s i ę m i j a j ą c s y g n a l i z a t o r S B L l u b s y g n a l i z a t o r f i k c y j n y L S T C i l D = O
" e l e m e n t y t y p u S T E R O W A N I Es u w z g l ę d n i a j ą d z i a ł a n i e 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 , o r a z u r z ą d z e ń k t ó r y m i d y s p o n u j e w p r o c e s i e s t e r o w a n i a r u c h e m n a k o n k r e t n y c h g ł o w i c a c h , nie w y p o s a ż o n y c h w S B L "
A. Z m i e n n e o p i s o w e e l e m e n t u S T E R O W A N I Es .
Al. S T A N S T E R O W A N I A s : < s s t >
— a
s s t = 0 - 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 r o z p o c z ę t a , z o s - a
t a ł a anulow ana lu b z o s t a ł a zakończona ; 2.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 Cs = 1 .... »LS T E R D
g d z i e :
LflLOV
" S T E 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 cji z k o l e j k i d e c y z j i KOLDEC^, w e d ł u g k o l e j n o ś c i
Opi s ni ef or mai ny model u . 215
o k r e ś l o n e j p r z e z k r y t e r i a r e g u l a c j i r u c h u " ; sst^ = 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 p r z e z s t e r u j ą c e g o
r u c h e m ;
" p o ł ą c z e n i e t o z n a j d u j e s i ę z a 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 e z S T E R O W A N I E s " ;
sst^ = 2 - z a j m o w a n i e w o l n e j 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 t e r u j ą c e g o r u c h e m ;
sst^ = 3 - 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 n a s y g n a l i z a t o r z e ; sst^ = 4 - 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 d e c y z j i Ci s y g n a
ł u zezwalającego!) p r z e z p o c i ą g ;
" J a k o s k o n s u m o w a n i e r o z u m i e s i ę m i n i ę c i e 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 i z m i a n a s y g n a ł u z e z w a l a j ą c e g o n a sy g n a ł S T Ó J " ;
sst^ = 5 - 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 p r z e z o d j e ż d ż a j ą c y p o c i ą g ;
" c zas o d 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 d o o d j a z d u o s t a t n i e j osi 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 " ;
sst^ = 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 ;
s s t fl = 7 - 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 p r z e z s t e r u j ą c e g o r u c h e m ;
"ze w z g l ę d ó w b e z p i e c z e ń s t w a t a k a m o ż l i w o ś ć Jest z a w s z e , d o m o m e n t u g d y s y g n a ł z o s t a n i e s k o n s u m o w a n y p r z e z p o c i ą g " ;
sst^ = 8 - a w a r y j n e z w o l n i e 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 t e r u j ą c e g o r u c h e m ;
sst^ = 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 z e z s t e r u j ą c e g o r u c h e m ;
A2. C Z A S _ P O Z O S T A W A N I A _ S T E R O W A N I A _ s _ W _ S T A N I E : <ć s t >
a ó st e Jt
a
A3. N U M E R _ D E C Y Z J I _ R E A L I Z O W A N E J _ P R Z E Z _ S T E R O W A N I E s : < n d s >
a nds e < 1». . . , L D E C >
2.3. E l e m e n t a k t y w n y : S T E R S S B L w C w = 1,. . . ,LSBL3
g d z i e : L S B L - i l o ś ć s y g n a l i z a t o r ó w S B L w r e j o n i e sieci
" e l e m e n t y t y p u S T E R S S B L w z r e a l i z o w a n e s ą n a p o d o b i e ń s t w o e l e m e n t ó w t y p u S T E R O W A N I E , a l e u w z g l ę d n i a j ą br a k " s t e r u j ą c e g o r u c h e m c z ł o w i e k a i s p e c y f i k ę z a s a d d z i a ł a n i a s a m o c z y n n e j b l o k a d y l i n i o w e j "
21
fi
S ta nisław KrawiecA. Z m i e n n e o p i s o w e e l e m e n t u S T E R O W A N I E w .
A l . S T A N S T E R S S B L w : < s s b >
w s s b e < 0 . 1 . 2 . 3 >
v
s s b = 0 - o c z e k i w a n i e n a 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 ł i z a t o -
V
r e m ;
" p o ł ą c z e n i e t o z o s t a j e z w o l n i o n e p r z e z s t e r o w a n i e n a s t ę p n e g o s y g n a l i z a t o r a , n i e z a l e ż n i e o d t e g o , c z y b ę d z i e 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 " ; s s b = 1 - z a j m o w a n i e r e l a c j i , p o ł ą c z e n i a z a s y g n a l i z a t o r e m i
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 n a 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 z e r o , a zo s t a ł w p r o w a d z o n y w c e l u f i k c y j n e g o z a j ę c i a p o ł ą c z e n i a i r e l a c j i o d ł u g o ś c i r ó w n e j O, a b y z u n i f i k o w a ć S T E R S S B L w w s t o s u n k u d o S T E R O W A N I E s " ;
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 u
p r z e z p o c i ą g ;
s s b = 3 - z w a l n i a n i e r e l a c j i z a s y g n a l i z a t o r e m i p o ł ą c z e n i a
V
p r z e d s y g n a l i z a t o r e m ;
" J e s t t o c z a s d o 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 o b o k s y g n a l i z a t o r a " ;
A2. C Z A S P O Z O S T A W A N I A S T E R S S B L w W S T A N I E : < ó s b >_ — — — _ v
ó s b e Jt*
w o. oo
B. P a r a m e t r y e l e m e n t u S T E R S S B L w
BI. N U M E R S Y G N A L I Z A T O R A S T E R O W A N E G O P R Z E Z S T E R S S B L _ w : < n s s >
— — — w
n s s <e < 1,2,... »L S Y G N >
w
B2. N U M E R R E L A C J I Z A J M O W A N E J P R Z E Z S T E R S S B L _ w : <n r r >— — — y nrr e < 1 , 2 » . . . , L R E L >
w
" n u m e r r e l a c j i p o z w a l a p o z n a ć n u m e r p o ł ą c z e n i a p r z e z i z a s y g n a l i z a t o r e m " ;
B3. N U M E R P O P R Z E D N I E G O S T E R S S B L w : < n s p >— — — W n s p <e < 0.1 , 2 L S B L >
w
n s p = 0 - J e ż e l i p o p r z e d n i s y g n a l i z a t o r n i e J e s t s y g n a l i z a t o r e m S B L ;
2 . A. E l e m e n t a k t y w n y : G E N E R A T Q R _ D E C Y Z J I
" G E N E R A T O R _ D E C Y Z J I J e s t e l e m e n t e m z e w n ę t r z n y m z p u n k t u w i d z e n i a
Opis n i eformalny modelu. 217
m o d e l u r u c h u p o c i ą g ó w , a l e J e g o w y j ś c i o w e z m i e n n e o p i s o w e t r a k t o w a n e s ą J a k o z m i e n n e w e j ś c i o w e m o d e l u r u c h u p o c i ą g ó w ; G E N E R A T O R _ D E C Y Z J I n a p o d s t a w i e s t a n u s y s t e m u g e n e r u j e e l e m e n t y p a s y w n e t y p u D E C Y Z J A p i u m i e s z c z a J e w o d p o w i e d n i e j k o l e j c e d e c y z j i d o r e a l i z a c j i t y p u K O L D E C t | s k ą d s ą p o b i e r a n e p r z e z e l e m e n t y t y p u S T E R O W A N I E s w 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 e k r y t e r i u m r e g u l a c j i ;a k t u a l n i e r o l ę e l e m e n t u G E N 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 s t e r u j ą c y z k l a w i a t u r y m o d e l e m " ;
A. Z m i e n n e o p i s o w e e l e m e n t u G E N E R A T O R _ D E C Y Z J I
Al. S T A N _ G E N E R A T O R A _ D E C Y Z J I : <sgd>
s g d « < 0,1 >
s g d - O - g e n e r a t o r n i e g e n e r u j e d e c y z j i ; s g d * 1 - g e n e r a t o r g e n e r u j e d e c y z j e ;
A2. C Z A S _ P O Z O S T A W A N I A _ G E N E R A T O R A _ D E C Y Z J I _W._STANI E : <ógd>
ó g d e X * o
A3. N U M E R _ W Y G E N E R O W A N E J D E C Y Z J I : < nrd>
n r d e { 1 ... L D E C >
AA. N U M E R _ K O L E J K I _ D E C Y Z J I : <nkd>
nk d « < 1 ... L G Ł O W >
"numer k o l e j k i d e c y z j i , w k t ó r e j z o s t a n i e u m i e s z c z o n a d e c y z j a nr d "
A5. M 0 M E N T _ W Y G E N E R O W A N I A _ D E C Y Z J I _ n r d : <cgd>
c g d e CH.CO
2. S. E l e m e n t a k t y w n y : A N U L A T O R _ D E C Y Z J I
“A N U L A T O R _ D E C Y Z J I J e s t e l e m e n t e m z e w n ę t r z n y m z p u n k t u w i d z e n i a m o d e l u r u c h u p o c i ą g ó w , a l e j e g o w y j ś c i o w e z m i e n n e o p i s o w e t r a k t o w a n e s ą J a k o z m i e n n e w e j ś c i o w e m o d e l u r u c h u p o c i ą g ó w ; A N U L A T 0 R _ D E C Y Z J I m a p r a w o w d o w o l n e j c h w i l i a n u l o w a ć d e c y z j ę , Jeżeli sygnał z e z w a l a j ą c y b ę d ą c y e f e k t e m r e a l i z a c j i tej d e c y z j i n i e z o s t a ł J e s z c z e s k o n s u m o w a n y p r z e z p o c i ą g ; W p r e z e n t o w a n e j w e r s j i r o l ę e l 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 s t e r u j ą c y z k l a w i a t u r y m o d e l e m "
A. Z m i e n n e o p i s o w e e l e m e n t u A N U L A T O R _ D E C Y Z J I
Al. S T A N _ A N U L A T O R A _ D E C Y Z J I : <sad>
s a d e < 0.1 >
218 S ta nisław Krawiec
s a d = 0 — a n u l a t o r n i e a n u l u j e d e c y z j i ; s a d = 1 - a n u l a t o r a n u l u j e d e c y z j ę ;
A2. C Z A S _ P O Z O S T A W A N I A _ A N U L A T O R A _ D E C Y Z J I _ W _ S T A N I E : < ó a d >
ó a d <e 0 .0 9
A3. N U M E R _ A N U L O W A N E J „ D E C Y Z J I : < n d e c >
n d e c e < 1 , . . . , L D E C >
A4. C Z A S _ A N U L O W A N I A _ D E C Y Z J 1 : < c a d >
c a d <s
2. 6. E l e m e n t a k t y w n y : G E N E R A T Q R _ P O C I Ą G Ó W
”G E N E R A T O R _ P O C I Ą G Ó W j e s t e l e m e n t e m z e w n ę t r z n y m z p u n k t u w i d z e n i a m o d e l u r u c h u p o c i ą g ó w , alt? j e g o w y j ś c i o w e z m i e n n e o p i s o w e oraz z m i e n n e o p i s o w e e l e m e n t ó w p o d l e g ł y c h u m o ż l i w i a j ą z r e a l i z o w a n i e z e w n ę t r z n e j f u n k c j i p r z e j ś c i a e l e m e n t u t y p u P O C I Ą G i , z w i ą z a n y z p r ó b ą p l a n o w e g o w j a z d u p o c i ą g u d o r e j o n u s i e c i "
A. Z m i e n n e o p i s o w e e l e m e n t u G E N E R A T O R _ P O C I Ą G Ó W .
Al. S T A N _ G E N E R A T O R A _ P O C I Ą G Ó W : <sgp>
s g p g < 0,1 >
s g p = O - g e n e r a t o r n i e g e n e r u j e p o c i ą g u ; s g p = 1 - g e n e r a t o r g e n e r u j e p o c i ą g ;
A2. C Z A S _ P O Z O S T A W A N I A _ G E N E R A T O R A _ P O C I Ą G Ó W _ W _ S T A N I E : <ógp>
ó g p e 3L*
0 . 0 5
A3. N U M E R _ W Y G E N E R O W A N E G O _ P O C I Ą G U : < n wp>
n w p e < 1, . . . ,L P O C >
A A . M O M E N T _ W Y G E N E R O W A N I A _ P O C I ĄGU__nwp : < c wp>
c w p e X*
2.7. E l e m e n t p a s y w n y : S Y G N A L I Z A T O R J C j =1 . . . . , LS Y G N D
A. Z m i e n n e o p i s o w e e l e m e n t u S Y G N A L I Z A T O R J
Al. S T A N _ S Y G N A L I Z A T O R A _ J : < s s >
Opis nief or ma ln y modelu.
ss. e < 1 , 2 , 3 , A , 5 , 6 , 7 , 8 >
i
ss.= 1 - sy g n a ł S T Ó J l u b ś w i a t ł o c z e r w o n e n a s y g n a l i z a t o r z e S B L
ss.= 2 - s y g n a ł z a s t ę p c z y ss = 3 - A O k m / h
)
ss = A - 6 0 k m / h J
ss = 5 - l O O k m / h J
ss.= 6 - d o z w o l o n a J a z d a z p r ę d k o ś c i ą m a k s y m a l n ą l u b ś w i a t ł o z i e l o n e n a s y g n a l i z a t o r z e S B L
ss.= 7 - ś w i a t ł o p o m a r a ń c z o w e n a s y g n a l i z a t o r z e S B L
s s r 8 - ś w i a t ł o p o m a r a ń c z o w e na m i g a j ą c e s y g n a l i z a t o r z e S B L
A2. N U M E R _ R E L A C J I _ Z A _ S Y GNALI Z A T O R E M _ J : < n r s >
nrs. g < 0 . 1 L R E L >
i
"numer r e l a c j i z g ł o w i c y ng^ , n a k t ó r ą p r z y g o t o w a n o sygnał z e z w a l a j ą c y n a J a z d ę "
B. P a r a m e t r y e l e m e n t u S Y G N ALI Z A T O R _ j : < r s >
B I . R O D Z A J _ S Y G N ALI Z A T O R A _ J : < r s .>
rs g < 1 , 2 , 3 , . . . , 1 1 >
J
rs rs rs
r s . = 1 - s e m a f o r w j a z d o w y na s t a c j ę , p o s t e r u n e k o d g a ł ę ż n y l u b o d s t ę p o w y z z a i n s t a l o w a n y m s y g n a ł e m z a s t ę p c z y m ; rs.= 2 - s e m a f o r w y j a z d o w y z e s t a c j i z z a i n s t a l o w a n y m s y g n a
ł e m z a s t ę p c z y m ; r s .= 3 - t a r c z a z a p o r o w a ;
- A - s y g n a ł z a s t ę p c z y ;
= 5 - r o z k a z s z c z e g ó l n y ;
= 6 - s e m a f o r w j a z d o w y n a stację, p o s t e r u n e k o d g a ł ę ż n y l u b o d s t ę p o w y b e z z a i n s t a l o w a n e g o s y g n a ł u z a s t ę p c z e g o ;
rs.= 7 - s e m a f o r w y j a z d o w y z e st a c j i bez z a i n s t a l o w a n e g o sy g n a ł u z a s t ę p c z e g o ;
r s = 8 - t a r c z a m a n e w r o w a w p r z y p a d k u w j a z d u d o r e j o n u sieci ;
r s = 9 - s e m a f o r S B L ; ]
= 1 0 - t e l e f o n l u b r a d i o t e l e f o n ;
=11 - f i k c y j n y , z n a j d u j ą c y s i ę p r z y t a k i c h g ł o w i c a c h , p r z y k t ó r y c h w j e d n ą s t r o n ę o d b y w a s i ę r u c h p o c i ą g ó w w r a m a c h SBL, n a t o m i a s t w k i e r u n k u p r z e c i w n y m n i e m a S B L ; s tan s y g n a l i z a t o r a f i k c y j n e g o Jest z a w s z e r ó w n y 6, czyli J a z d a z d o z w o l o n ą p r ę d k o ś c i ą rs
rs
220
S ta ni sł a w Krawiecm a k s y m a l n ą ;
B2- N U K E R _ G Ł O W I C Y _ Z A _ S Y G NALI Z A T O R E M _ J : < n g >
ng. <s < i L G L O W >
B3. R O D Z A J _ B L O K A D Y _ S A M O C Z Y N N E J _ S Y G N A L I Z A T O R A _ J : < r b >
r b <e < 1 . 2 . 3 . 4 >
i
rb.= 1 - s y g n a l i z a t o r n i e J e s t s y g n a l i z a t o r e m S B L r b = 2 - b l o k a d a d w u s t a w n a ;
i
r b = 3 - b l o k a d a t r z y s t a w n a ; i
r b * 4 - b l o k a d a c z t e r o s t a w n a ; J
B4. K O L E J O W A _ N A Z W A _ S Y G N A L I Z A T O R A _ J : < k n >
kn. e < 0,1,... »9.A». . . , Z , C ,3 , / >
J
*
2.8. E l e m e n t p a s y w n y : P O Ł Ą C Z E N I E k Ck =1,.. . ,L P OLD
A. Z m i e n n e o p i s o w e e l e m e n t u P O Ł Ą C Z E N I E k
Al. S T A N _ P O Ł Ą C Z E N I A_k : < s p o k>
S p O k € < 0,1 >
s p o k= O - p o ł ą c z e n i e n i e J e s t z a j ę t e ; s p o k= 1 - p o ł ą c z e n i e J e s t z a j ę t e ;
" s t a n s p o fc t r w a o d m o m e n t u z a j ę c i a p o ł ą c z e n i a p r z e z s t e r u j ą c e g o r u c h e m l u b S T E R S S B L d o m o m e n t u o d j a z d u o s t a t n i e j osi o s t a t n i e g o p o c i ą g u z j e d n e g o z p r z e b i e g o w y c h m i e j s c k o ń c a p o c i ą g u s ą s i a d u j ą c y c h z tym p o ł ą c z e n i e m l u b d o m o m e n t u a w a r y j n e g o z w o l n i e n i a p r z e z s t e r u j ą c e g o r u c h e m "
B. P a r a m e t r y e l e m e n t u P O Ł Ą C Z E N I E k
BI. N U M E R _ G Ł O W I C Y _ A _ P O Ł Ą C Z E N I A _ k : < g p fc>
g p k e < 1 L G Ł O W >
"numer g ł o w i c y o g r a n i c z a j ą c e j p o ł ą c z e n i e z j e d n e j s t r o n y " ;
B2. N U M E R _ G Ł O W I C Y _ B _ P O Ł Ą C Z E N I A _ k : < g k fc>
g k k e < - 1 -LPZ, 1 .... .L G Ł O W >
"numer g ł o w i c y o g r a n i c z a j ą c e j p o * ą c z e n i e z e s t r o n y p r z e c i w n e j l u b n u m e r p u n k t u g r a n i c z n e g o z e z n a k i e m m i n u s " ;
Opis nief o rm al ny giodelu
B3. D Ł .UGOQĆ_A_POŁĄCZENI A__k : < d * k>
da, e A ł k
" d ł u g o ś ć p o ł ą c z e n i a o d g ł o w i c y g p fc d o g ł o w i c y g k k" ;
BA. DŁU G O Ś O . B _ P O - l Ą C Z E X I A _ k : <dfc>k>
db, e k
" d ł u g o ś ć p o ł ą c z e n i a o d g ł o w i c y g k fc d o g ł o w i c y g p fc ;
B5. S Y G H A L I ZATC& __A_ P O Ł Ą C Z E N I A Jc ; < s a fe>
s a fe t 0,1.... ,L S Y G N >
"numer s y g n a l i z a t o r a og r a n i c z a j ą c e g o w j a z d z p o ł ą c z e n i a na
gł owi c ę ;
sa^- O - g d y n i e J e s t m o ż l i w y t e c h n i c z n i e , l u b n i e Jest p r z e w i d z i a n y o r g a n i z a c y j n i e w y j a z d p o c i ą g u z p o ł ą c z e n i a n a g ł o w i c ę gp^ ;
BS. S Y G N A Ł ! ZATOR. _3_PoŁĄCZfc'NI A_k . < s b fe>
sb, <ts < 0.1 ... . ,L S Y G N >
k
"numer s y g n a l i z a t o r a o g r a n i c z a j ą c e g o w j a z d z p o ł ą c z e n i a na g k k"
s b fc= O - g d y n i e J e s t m o ż l i w y t e c h n i c z n i e l u b n i e Je s t
p r z e w i d z i a n y o r g a n i z a c y j n i e w y j a z d p o c i ą g u z p o ł ą c z e n i a n a g ł o w i c ę gk^ ;
B7. D O P U S Z C Z A L N A _ P R Ę D K O £ Ć _ N A _ P O Łj\CZENI U_k : < d p fe>
d p k e < 0 1 6 0 >
B8. R O D Z A J _ T R A K C J I _ N A _ P O Ł Ą C Z E K I TJ_k : < t p fc>
t p k e < 0.1 >
t p k= 1 - t r a k c j a e l e k t r y c z n a ; t p k= O - i n n y ro d z a j t r a k c j i ;
B9. R O D Z A J _ R U C H U _ N A _ P O Ł Ą C Z E N I U_k : < r r fc>
rr, e < 0 . 1 . 2 >
k
r r k= O - r u c h m i e s z a n y C p a s a ż e r s k i i t o w a r o w y } ; r r fc* 1 - t y l k o r u c h p a s a ż e r s k i ;
r r k= 2 - t y l k o r u c h t o w a r o w y ;
BI O. R O D Z A J _ P O Ł Ą C Z E N I A__k : < r p fe>
r p fc e < 1,... ,8 >
r p k= 1 - p o ł ą c z e n i e s z l a k o w e z z a p o w i a d a n i e m t e l e f o n i c z n y m ; r p k= 2 - p o ł ą c z e n i e s z l a k o w e z b l o k a d ą p ó ł s a m o c z y n n ą ; r p k* 3 - p o ł ą c z e n i e s z l a k o w e z b l o k a d ą s a m o c z y n n ą ; r p * 4 - p o ł ą c z e n i e s z l a k o w e s t e r o w a n e z d a l n i e ;
głowi
222 S ta ni s ła w Krawiec
r p k= s - p o ł ą c z e n i e n i c z n y m ;
s t a c y j n e g ł ó w n e z z a p o w i a d a n i e m t e l e f o -
r p k= 6 - p o ł ą c z e n i e s t a c y j n e g ł ó w n e z b l o k a d ą ;
r p k= 7 - p o ł ą c z e n i e s t a c y j n e g ł ó w n e c e n t r a l n i e s t e r o w a n e ; r p k= 8 - p o ł ą c z e n i e s t a c y j n e b o c z n e i
Bil. D O P U S Z C Z A L N Y _ N A C I S K _ J E D N _ N A _ P O Ł Ą C Z E N I U _ k : < d n j fc>
d n J k e
" d o p u s z c z a l n y n a c i s k J e d n o s t k o w y osi n a s z y n ę " ;
B I 2. C Z A S _ Z A J M O W A N I A _ P O L Ą C Z E N I A _ k : < c a fc>
ca, e J C
k o
"bredni c z a s u p ł y w a j ą c y o d m o m e n t u p o d j ę c i a d e c y z j i o z a j ę c i u p o ł ą c z e n i a d o p r z e s t a w i e n i a p i e r w s z e j z w r o t n i c y w y b r a n e j r e l acji j e d n e j z o g r a n i c z a j ą c y c h t o p o ł ą c z e n i a g ł o w i c " ;
< c b >
k
n a g ł o w i c a c h o g r a n i - B l 3. C Z A S _ P O R O Z U M I E N I A _ S I Ę _ N A _ T E M A T _ P O Ł Ą C Z E N I A _ k :
cb, e yC
k O
" c z a s p o r o z u m i e n i a s i ę p o s t e r u n k ó w r u c h u c z a j ą c y c h p o ł ą c z e n i e " ;
2.9. E l e m e n t p a s y w n y : K O L E J K A 1 Cl =1 , . . . ,L POLD
A. Z m i e n n e o p i s o w e e l e m e n t u K O L E J K A 1
Al. Z A W A R T O S Ć J C O L E J K I
JL
: < s k >s k t «= < O . i ,. . . ,L P O C >*
" K O L E J K A _ l i n f o r m u j e o a k t u a l n i e z n a j d u j ą c y c h s i ę n a d a n y m p o ł ą c z e n i u p o c i ą g a c h ; k o l e j k a t a j e s t t y p u F I F O co, u m o ż l i w i a o d n a j d y w a n i e e l e m e n t u p i e r w s z e g o k o l e j k i , e l e m e n t u o s t a t n i e g o k o l e j k i , l i c z b y e l e m e n t ó w k o l e j k i o r a z w y k o n y w a n i e p r o s t y c h o p e r a c j i a l g e b r a i c z n y c h n a e l e m e n t a c h k o l e j k i "
2.10. E l e m e n t p a s y w n y : K O L W E a Ca=l , . . . »LPZD
A. Z m i e n n e o p i s o w e e l e m e n t u K O L W E a
Al. Z A W A R T O Ś Ć K O L E J K I a : < s w >
a *
s w e C 0 , 1 , . . . . L P O C >
a
" K O L W E a p r z e d s t a w i a z b i o r y t y c h p o c i ą g ó w , d l a k t ó r y c h n a d s z e d ł Już 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 si e c i , l u b c z a s t e n m i nął ; k o l e j k a t a k a i s t n i e j e p r z y k a ż d y m w j e ż d z i e d o r e j o n u s i eci ; k o l e j k a K O L W E a
Opl s ni ef or inal n y model u .
może, a l e n i e musi b y ć t y p u FIFO, g d y ż w y n i k a t o z e s t r u k t u r y u k ł a d u t o r o w e g o z n a j d u j ą c e g o s i ę p o z a r e j o n e m s ieci ; w p r z y p a d k u p l a n o w e j r e a l i z a c j i p r o c e s u r e g u l a c j i r u c h u p o c i ą g ó w w r e j o n i e sieci or a z b r a k u k o n f l i k t ó w r u c h o w y c h w k o l e j c e K O L W E a z n a j d u j e s i ę t y l k o J e d e n poci ą g , i t o w c z a s i e r ó w n y m z e r o . b o w i e m n a t y c h m i a s t p o p r z y j e ż d z i e d o k o l e j k i K O L W E a w y j e ż d ż a z niej i w j e ż d ż a d o r e j o n u s i e c i "
2.11. E l e m e n t p a s y w n y R E L A C J A m C m ^ l , . . . ,L R EL3
gdzi e :
L R E L
LC3LOW
LRELC i 1 D it= t
A. Z m i e n n e o p i s o w e e l e m e n t u R E L A C J A m .
Al. S T A N R E L A C J I m : <sr >
“ — m
sr e < 0,1 >
m
a r ^ = O - r e l a c j a n i e Jest. z a j ę t a ; s r m = 1 - r e l a c j a z a j ę t a ;
" r e l a c j a J e s t z a j ę t a . J e ż e l i p r z e w i d z i a n y J e s t p o niej p r z e j a z d p o c i ą g u l u b Je ż e l i J e s t k o l i z y j n a w s t o s u n k u d o innej r e lacji, p o kt ó r e j b ę d z i e s i ę o d b y w a ł p r z e j a z d p o c i ą g u ; r e l a c j a J e s t z w a l n i a n a w r a z z r e l a c j a m i d o ni e j k o l i z y j n y m i w m o m e n c i e 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 l u b a w a r y j n i e p r z e z s t e r o w a n i e ; z w o l n i e n i e r e l a c j i p r z e z o d j e ż d ż a j ą c y p o c i ą g n i e o z n a c z a a u t o m a t y c z n i e , ż e s r ^ = 0 . b o w i e m r e l a c j a t a m o ż e b y ć k o l i z y j n a w s t o s u n k u d o i n n e j r e l a c j i "
B. P a r a m e t r y e l e m e n t u R E L A C J A m
BI. G Ł O W I C A R E L A C J I m : < g l r >
m
gir € < i , . . . , L G Ł O W >
m
"numer g ł o w i c y , n a k t ó r e j z n a j d u j e s i ę r e l a c j a "
B2. U R Z Ą D Z E N I A _ S R K _ R E L A C J I _ m : <ur >
m ur e < 1 . . . . , 8 >
in
"rodzaj u r z ą d z e ń srk z n a j d u j ą c y c h s i ę n a g ł o w i c y g l r ^ "
u r ^ = 1 - u r z ą d z e n i a m e c h a n i c z n e r ę c z n e k l u c z o w e ;
u r m = 2 - u r z ą d z e n i a m e c h a n i c z n e s c e n t r a l i z o w a n e - p ę d n i o w e ; ur = 3 - u r z ą d z e n i a e l e k t r o m e c h a n i c z n e s u w a k o w e :
m
ur = 4 - u r z ą d z e n i a e l e k t r y c z n e t y p u E ;
224 Stanisław Krawiec
m u r = 6 -
m ur = 7 -
m ur =
m 8 -
u r _ = S - u r z ą d z e n i a e l e k t r y c z n e t y p u P B ; - u r z ą d z e n i a e l e k t r y c z n e t y p u B ;
d y s p o z y t o r s k i e u r z ą d z e n i a n a s t a w c z e ;
- u r z ą d z e n i a n o w o p r o j e k t o w a n e , np. k o m p u t e r o w e ;
B3. N U M E R _ P O Ł Ą C Z E N I A _ P O C Z A T K O W E G O _ R E L A C J I _ m : < n p r m >
npr e < 1 , L P O L .z p . . . z p >
m 1 o
"n u m e r p o ł ą c z e n i a l u b m a k r o p o ł ą c z e n i a , z k t ó r e g o s i ę w j e ż d ż a na r e l a c j ę "
BA. N U M E R _ P O Ł A C 2 E N I A _ K O Ń C O W E G O _ R E L A C J I _ m : < n k r m >
nkr « < 1.. . . . L P O L . z p ^ z p # >
"n u m e r p o ł ą c z e n i a l u b m a k r o p o ł ą c z e n i a , n a k t ó r e s i ę w j e ż d ż a po o d j e ż d z i e z r e l a c j i "
BS. N U M E R S Y G N A L I Z A T O R A R E L A C J I m : < n * r >
— — m
nsr e < 1 L S Y G N >
m
"n u m e r s y g n a l i z a t o r a o g r a n i c z a j ą c e g o w j a z d n a r e l a c j ę "
B6. R O D Z A J R E L A C J I _ m : < r r >
— m
rr e < 1 . 2 . 3 . A >
m
r r m = 1 - r e l a c j a p o d s t a w o w a ; r r ^ = 2 - r e l a c j a m o ż l i w a ; r r ^ = 3 - r e l a c j a a w a r y j n a ;
r r m = A - i n n y w a r i a n t r e l a c j i a w a r y j n e j ;
" r e l a c j a j e s t r e l a c j ą p o d s t a w o w ą . J e ż e l i p r z e j a z d z p o ł ą c z e n i a np r ^ n a p o ł ą c z e n i e n k r ^ u m o ż l i w i a z o r g a n i z o w a n a d r o g a p r z e b i e g u p ociągu;
r e l a c j a J e s t r e l a c j ą m o ż l i w ą . Je ż e l i p r z e j a z d z p o ł ą c z e n i a n p r ^ na p o ł ą c z e n i a n k r ^ z a p e w n i a J a k a ż r e l a c j a p o d s t a w o w a , a l e i s t n i e j e in n y w a r i a n t z o r g a n i z o w a n e j d r o g i p r z e b i e g u p o c i ą g u , p o I n n y c h z w r o t n i c a c h ; J a k o r e l a c j ę p o d s t a w o w ą p r z y j m u j e s i ę w a r i a n t c z ę ś c i e j u żywanej z o r g a n i z o w a n e j d r o g i p r z e b i e g u ; J a k o r e l a c j ę m o ż l i w ą p r z y j m u j e się w a r i a n t r z a d z i e j u ż y w a n e j z o r g a n i z o w a n e j d r o g i p r z e b i e g u . Jeżeli taka w o g ó l e i s t n i e j e ¡ r e l a c j a j e s t r e l a c j ą a w a r y j n ą . je ż e l i n i e Jest m o ż l i w y p r z e j a z d z p o ł ą c z e n i a n p r ^ n a p o ł ą c z e n i e n *crB1 z a p o m o c ą z o r g a n i z o w a n e j d r o g i p r z e b i e g u p o c i ą g u "
BT. N U M E R Y R E L A C J I K O L I Z Y J N Y C H D O R E L A C J I _ m : <k r r >
- - - m
k rr e < 1 L R E L >
m
B 8 O D L E G Ł O Ś Ć S R E L A C J I m : <o s r >
— — — m
o sr e
m O
" o d l e g ł o ś ć o d s y g n a l i z a t o r a w j a z d o w e g o n a r e l a c j ę d o s y g n a ł o w e g o
Opis n ie formalny modelu. 225
m i e j s c a k o ń c a p o c i ą g u "
B9. O D L E G Ł O Ś Ć P R E L A C J I m : <opr >
m opr m e A ? o
" o d l e g ł o ś ć o d s y g n a l i z a t o r a w j a z d o w e g o n a r e l a c j ę d o p r z e b i e g o w e g o m i e j s c a k o ń c a p o c i ą g u "
BIO. O D L E G Ł O Ś Ć T R E L A C J I m : <otr >
— m
otr e JL*
m O
" o d l e g ł o ś ć o d s y g n a l i z a t o r a w j a z d o w e g o n a r e l a c j ę d o m i e j s c a u s t a w i e n i a 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 do p u n k t u g r a n i c z n e g o r e j o n u s i e c i "
Bil. O D L E G Ł O Ś Ć N R E L A C J I m : <o n r >
m onr e Jt*
m
" o d l e g ł o ś ć o d s y g n a l i z a t o r a w j a z d o w e g o n a r e l a c j ę d o m i e j s c a u s t a w i e n i a 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 p u n k t u g r a n i c z n e g o r e j o n u s i e c i "
B I 2. D O P U S Z C Z A L N A _ P R Ę D K O Ś Ć _ N A _ R E L A C J I _ m : < mpr m p r ^ e < O . 1 6 0 >
B I 3. R O D Z A J T R A K C J I N A R E L A C J I m : < t r r >
m trr e < 0.1 >
m
t r r ^ = 1 - t r a k c j a e l e k t r y c z n a ; t r r ^ - O - i n n y r o d z a j t r a k c j i ;
BI 4. C Z A S U R E L A C J I m : < c u r >
m cur e Jt*
m O
" c zas u s t a w i e n i a d r o g i p r z e b i e g u "
BIS. C Z A S _ R _ R E L A C J I m : <c r r >
m
crr e
m O
" c zas r o z w i ą z a n i a d rogi p r z e b i e g u "
B I 6. C Z A S _ Z _ R E L A C J I m : <c z r >
m czr g Jt*
m O
" czas o d z a j ę c i a r e l a c j i d o p o d a n i a 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 o g r a n i c z a j ą c y m w j a z d na r e l a c j ę "
BI 7. C Z A S _ A _ R E L A C J I m : < c z a >
m c z a e
m O
" czas o d m o m e n t u p o d j ę c i a d e c y z j i o a w a r y j n y m a n u l o w a n i u s y g n a ł u z e z w a l a j ą c e g o p r z e z s t e r u j ą c e g o r u c h e m , d o m o m e n t u g d y m o ż n a
226 S ta nisław Krawiec
r o z p o c z ą ć r o z w i ą z y w a n i e d r o g i p r z e b i e g u "
2. 12- E l e m e n t p a s y w n y : D E C Y Z J A p Cp=l » . . .L D E O
g d z i e :
LPOC LPOC
L D E C = ^ ' C nC 11 5 - 1 3 - J ' C n l C H i !
U*1 ii=l
L D E C - i l o ś ć d e c y z j i p o t r z e b n a d o p r z e j a z d u w s z y s t k i c h p o c i ą g ó w p r z e z r e j o n s i e c i ;
n - i l o ś ć p o ł ą c z e ń z n a j d u j ą c y c h s i ę n a t r a s i e i l - t e g o p o ci ą g u ;
ni - i l o ś ć p o ł ą c z e ń z n a j d u j ą c y c h s i ę n a t r a s i e i l - t e g o p o ciągu. p o m i n i ę c i u k t ó r y c h p o c i ą g n a p o t y k a s y g n a l i z a tor S 8 L l u b s y g n a l i z a t o r f i k c y j n y
A. Z m i e n n e o p i s o w e e l e m e n t u D E C Y Z J A p
Al. S T A N _ D E C Y Z J I _ p : < s d p>
s d « < 0 . 1 . 2 . 3 . 4 >
P
s d = 0 - r e a l i z a c j a d e c y z j i n i e J e s t r o z p o c z ę t a s / = 1 - d e c y z j a w t r a k c i e r e a l i z a c j i ;
s d =
o 2 - d e c y z j a w t r a k c i e a n u l a c j i ; sdp= 3 - d e c y z j a z r e a l i z o w a n a ; s d =
P
4. - d e c y z j a c a ł k o w i c i e z a n u l o w a n a ;
A2. M O M E N T _ P L A N O W E G O _ R O Z P O C Z Ę C I A _ R E A L I Z A C J I _ D E C Y Z J I _ p : < c z r p>
czr e i C
p o
A3. N U M E R Z A J M O W A N E G O _ P O Ł Ą C Z E N I A _ D E C Y Z J I _ p : < n z p >
P n z p e < 1 L P O L . z p *. . . , z p >
P i •
A4. N U M E R Z A J M O W A N E J R E L A C J I „ D E C Y Z J I _ p : <n z r >
“ P
nzr e < 1•. . . •L R E L >
P
A5. N U M E R S Y G N A L I Z A T O R A _ D E C Y Z J I _ p : < n s g >
— P
n s g e < 1 .... .L S Y G N >
P
"numer s y g n a l i z a t o r a .na k t ó r y m a z o s t a ć p o d a n y s y g n a ł z e z w a l a j ą c y "
A6. S T A N S Y G N A L I Z A T O R A _ D E C Y Z J I _ p : < n s s >
— P
ns s e < 2, 3» 4 , 5 , 6 >
p
"numer s t a n u s y g n a l i z a t o r a . Jaki m a z o s t a ć p o d a n y n a s y g n a l i z a t o r z e n s g "
P
Opi s ni ef or mai ny model u . 227
2.13. E l e m e n t p a s y w n y : K O L D E C t C t=l ». . . , LGŁOWD
A. 2mi e n n e o p i s o w e e l e m e n t u K O L D E C t .
Al. Z A W A R T O S Ć J C O L E J K I _ D E C Y Z J I _ K O L D E C _ t : < s k t>
sk e < 0.1 .... .L D E C >*
a k t= 0 - w p r z y p a d k u g ł o w i c * n a k t ó r e w j a z d o g r a n i c z o n y jest s y g n a l i z a t o r e m S B L l u b s y g n a l i z a t o r a m i f i k c y j n y m i l u b w p r z y p a d k u , g d y G E N E R A T O R _ D E C Y Z J I n i e w y g e n e r o wał d e c y z j i d l a g ł o w i c y t ;
3. P a r a m e t r y o g ó l n e m o d e l u r u c h u p o c i ą g ó w
3.1. P a r a m e t r o g ó l n y : M A K R O P O L e C e = l , . . .,LMPD
Al . Z E S T A W _ P O Ł Ą C Z E Ń _ M A K R O P O Ł Ą C Z E N I A _ e :< z p >
z p e < 1 .. . . .L POL >*
•‘m a k r o p o ł ą c z e n i e t o c i ą g k o l e j n y c h p o ł ą c z e ń , m i ę d z y k t ó rymi z n a j d u j ą s i ę t a k i e gł o w i c e , n a k t ó r e z je d n e j s t r o n y o g r a n i c z a w j a z d s y g n a l i z a t o r SBL, a z e s t r o n y p r z e c i w n e j s y g n a l i z a t o r fikcyjny;
p a r a m e t r t e n u m o ż l i w i a p r a w i d ł o w e p r o w a d z e n i e r u c h u w m o d e l u w p r z y p a d k u w y ł ą c z o n e j b l o k a d y s a m o c z y n n e j l u b r u c h u w k i e r u n k u p r z e c i w n y m n i ż u s t a w i o n e sa s y g n a l i z a t o r y S B L "
3.2. P a r a m e t r o g ó l n y : C Z A S _ J A Z D Y
Al. C Z A S _ J A Z D Y _ P O C I Ą G U : <c z a s_j a z d y<. . . >>
C Z A S J A Z D Y C . . > e J l *
~ o
" z m i e n n a l o s o w a o k r e ś l a j ą c a c z a s j a z d y p o c i ą g u d o n a s t ę p n e g o p u n k t u t o p o l o g i c z n e g o i s t o t n e g o z e w z g l ę d u n a m o ż l i w ą z m i a n ę s t a n u l u b i n n e g o e l e m e n t u ; z m i e n n a ta z d e t e r m i n o w a n a jest p r z e z p a r a m e t r y p o c i ą g u , p a r a m e t r y t o p o l o g i c z n e f r a g m e n t u sieci p o k t ó r y m a k t u a l n i e j e d z i e p o c i ą g o r a z s t a n s y g n a l i z a t o r a x p wraz z e w e n t u a l n ą k o l e j k ą p o c i ą g ó w z n a j d u j ą c y c h s i ę p r z e d m m "
3. 3. P a r a m e t r o g ó l n y : W S P Ó Ł C Z Y N N I K__.NIE D Y S P O Z Y C J I
Al. NI EDY S P O Z Y C J A__STERU J Ą C E G O _ R U C H E M : < w s p ó ł c z y n n i k:* W S P Ó Ł C Z Y N N I K G
O
" z m i e n n a l o s o w a o k r e ś l a j ą c a n i e d y s p o z y c j ę s t e r u j ą c e g o r u c h e m "
228 S ta nisław Krawiec
3. 4. P a r a m e t r o g ó l n y : C Z A S _ R E A K C J I . P O C I Ą G U
Al. C Z A S _ R E A K C J I _ N A S Y G N A Ł _ Z E Z W A L A J Ą C Y : <czas_*kaiccji>
C Z A S R E A K C J I G JL * O
" z m i e n n a l o s o w a u w z g l ę d n i a j ą c a c z a s r e a k c j i s t o j ą c e g o p o c i ą g u na s ygnał z e z w a l a j ą c y "
3. 5. Par a m e t r o g ó l n y : W S P Ó Ł C Z Y N N I K _ W P Ł Y W U _ Z M I A N Y „ S Y G N A Ł U
Al. W S P Ó Ł C Z Y N N I K _ W P Ł Y W U _ Z M I A N Y _ S Y G N A Ł U _ N A _ Z E Z W A L A J Ą C Y : <proc e n t i >
P ROC E N T ! G C (3 , 1 ] ' O
" z m i e n n a l o s o w a u w z g l ę d n i a j ą c a w p ł y w z m i a n y s y g n a ł u z e S T Ó J n a sygnał z e z w a l a j ą c y , n a c z a s J a z d y d o s y g n a l i z a t o r a p o c i ą g u , k t ó r y minął T O t e g o s y g n a l i z a t o r a i w c z e ś n i e j r o z p o c z ą ł h a m o w a n i e z e w z g l ę d u na s y g n a ł STÓJ; d o l n y z a k r e s p r z e d z i a ł u , p r z y j ę t y z o s t a ł w m o d e l u w s p o s ó b p r z y b l i ż o n y j a k o w a r t o ś ć 0 . 8 "
3. 6. P a r a m e t r o g ó l n y : W S P Ó Ł C Z Y N N I K _ W P Ł Y W U _ A W A R Y J N E J _ Z M I A N Y _ S Y G N A Ł U
Al . W S P Ó Ł C Z Y N N I K _ W P Ł Y W U _ A W A R Y J N E J _ Z M I A N Y _ S Y G N A Ł U _ N A _ S T Ó J :< p r o c e n t z >
P R O C E N T 2 G C (3 % 1 ' i ' 2
" z m i e n n a l o s o w a u w z g l ę d n i a j ą c a w p ł y w a w a r y j n e j z m i a n y s y g n a ł u z z e z w a l a j ą c e g o na s y g n a ł S T ÓJ, na c z a s j a z d y d o s y g n a l i z a t o r a poc i ą g u , w p r z y p a d k u g d y p o c i ą g minął j u ż T O t e g o s y g n a l i z a t o r a i musi a w a r y j n i e h a m o w a ć ; w s p ó ł c z y n n i k i o k r e ś l a j ą c e d o l n y i g ó r n y z a k r e s p r z e d z i a ł u z m i e n n e j p r o c e n t2 z o s t a ł y p r z y j ę t e w m o d e l u w s p o s ó b p r z y b l i ż o n y j a k o ( 3 ^ = 1 . ^ = 2 "
-4. Uwagi k ortc o w e
S p e c y f i k a c j a e l e m e n t ó w , z m i e n n y c h o p i s o w y c h i p a r a m e t r ó w t y c h z m i ennych, p a r a m e t r ó w o g ó l n y c h m o d e l u r u c h u p o c i ą g ó w o r a z s p e c y f i k a c j a m o ż l i w y c h z a k r e s ó w w a r t o ś c i z m i e n n y c h i p a r a m e t r ó w s t a n o w i p o d s t a w o w y " s ł o w n i k "
o p i s u m o d e l u , n a p o d s t a w i e k t ó r e g o m o ż l i w a J e s t r e a l i z a c j a n i e f o r m a l n e g o i f o r m a l n e g o o p i s u dynam i k i . O p i s y t a k i e s ą t r e ś c i ą n a s t ę p n y c h a r t y k u ł ó w n i n i e j s z e g o zeszytu.
