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 EJ_____________ 1 9 8 9
Seria: T R A N S P O R T z. 1 3 Nr kol. 1 0 3 4
S tani sł a w Kr awi ec
OPIS FORMALNY MODELU RUCHU POCIĄGOW
S t r e s z c z e n i e. W artykule? p r z e d s t a w i o n o s z c z e g ó ł o w y op i s f o r m a l n y m o d e l u r u c h u p o c i ą g ó w , k t ó r y zo s t a ł 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. C p i s f o r m a l n y m o d e l u s k ł a d a s i ę z e s t r u k t u r y s t a t y c z n e j o r a z s t r u k t u r y d y n a m i c z n e j . S t r u k t u r a s t a t y c z n a z a w i e r a c i ą g z b i o r ó w u s t r u k t u r y z o w a n y c h C s k o o r d y n o w a n y c h } , w k t ó r y c h z a w a r t o f o r m a l n y o p i s w s z y t k i c h e l e m e n t ó w i z m i e n n y c h o p i s o w y c h m o d e l u w r a z z i c h z a k r e s a m i i f u n k c j a m i p r zydziału.
S t r u k t u r a d y n a m i c z n a m o d e l u p r z e d s t a w i o n a J e s t w k o n w e n c j i Z ł o ż o n e g o S y s t e m u d y s k r e t n y c h zdarzeń. Z a w i e r a o n a l o k a l n e f u n k c j e p r z e j ś c i a , f u n k c j e w e j ś c i a i f u n k c j e w y j ś c i a w s z y t k i c h e l e m e n t ó w a k t y w n y c h m o d e l u o r a z e l e m e n t ó w i m podle g ł y c h , w r a m a c h tej s t r u k t u r y z d e f i n i o w a n o t a k ż e f u n k c j ę p o s t ę p u c z a s u o r a z f u n k c j ę d e c y d u j ą c ą o k o l e j n o ś c i w y s t ę p o w a n i a z d a r z e ń w p r z y p a d k u , g d y p o w i n n y w y s t ą p i ć r ó w n o c z e ś n i e . O p i s f o r m a l n y m o d e l u r u c h u p o c i ą g ó w u m o ż l i w i ł r e a l i z a c j ę o p r o g r a m o w a n i a m o d e l u w J ę z y k u LOGLAN.
A r t y k u ł k o ń c z y a l f a b e t y c z n y s p i s oznaczeń.
1. S t r u k t u r a s t a t y c z n a m o d e l u r u c h u p o c i ą g ó w
S t r u k t u r a S t a t y c z n a M o d e l u R u c h u P o c i ą g ó w C S S M R P D d l a p o t r z e b r e g u l a c j i r u c h u s k ł a d a s i ę z s z e r e g u p r z e d s t a w i o n y c h p o n i ż e j z b i o r ó w u s t r u k t u r y z o w a n y c h :
S S M R P
POCIĄGI &
A N U LaT O * _ DECY Z J I
P O Ł Ą C Z E N I A
R E L A C J E D E C Y Z J E XK O L E J K I _ D E C Y Z J I * 11 A K R O P O L A C Z E N I A
1.1. U s t r u k t u r y z o w a n y z b i ó r P O C IĄGI
s*
POCIĄGI
= < Zi . Dl . < 21al
: al e Dl > . J 1 >u
gdzie :
24,6 St a ni sł aw Krawiec
Zi
Dl
■ {
POCI ĄG1 , . . . . POCI ĄGi .. . . , POCI Ą G L P O C}
= ^ sp., ó p ^ , g m p ^ . g n p ^ ,g d p ^ . xp^, 1 p p ^ . 1 k p^, n p p ^ »w s p ^ , 1 nz^, a o . ,
tpo. ,tre.
V X,o d s t ę p . m a ,d l ..t r . ,
V I I I ( rod^. k a t i. rpp^, mp^, ppr^, pph^
nwj^. nwy^ , nk. ,rj.,srJ. , : i =1,.
V V X . . . L P O C |
Z1 = < 0 , 1 , 2 . 3 >
•p.
7A Ars = •óp. R
21 = < -1 . . . .
grap. . , - L P Z . l . . . . .L G Ł O W >
Z1 = < -1 .. . .
g^p. ,- L P Z . 1 .... .L G L O W >
Z1 . = < -1 . . . .
gdp. .- L P Z . 1 .... .L G L O W >
21 = < 1.. . .
xp. ,L S Y G N >
l P P Ł
,L P O L >
^ I k p 3 < 1 ...
t
L P O L >
Z1 = < 1.. . . .
npp. L P O C >
Z1 = < 1.... .
wsp^ n >
Z 1 . =
l n z . o
Z1 = X
Z l 4 = X t p O ^ O, CD Z 1 A = X *
t r e . a o o V
Z1 = [ O. . . . .50 ]
O D S T Ę P .
Z1 Z1dl .
= X
= X * ■
= < 1 . 2 . 3 . 4 . 5 >
22
>
Z1 , = < 1 . - rod.i 2 1 , . = < 1 . .
kat.L Z1 = < o .
.
rpp.
Z1 = < O , . mp
. .2 2 >
. . l O O >
. , 3 0 0 >
Z1 = C 0 . 0 2 . 1 3 PPr.
Z1 Ł = t 0 . 0 5 , 1 1 PP*\
Z1 = < 1 . . . - »L P Z >
nwj t
Z1 = < 1 ,. . . . L P Z >
nwy\
Z1 , * < 0.1 .... .9. A. .
nk. . Z . C . D . / >
Opi s form alny modelu . . .
a rj. = (< 1 .... L P O L > x * ; ) Z l srJ = (< 1 ---- L P O L >* x X ? )
J1 : ZI — ► ZI x ZI x ZI x ZI x Z l j X Z l x ZI
sp^ 6 p ^ gmp^ gr»Pi gdp. x p lpp.
x a i k ą x a n PPi x a w s p . x ^ a o . x a t p c . x a tre.x a onsTSi. x a n a x 21 dl x 21 tr x a r o d x
I l l L l Ł
x 21. . x ZI x ZI x ZI x ZI . x ZI x
k a t rpp. m p ppr pph, nwj
x 2 1 x 21 x 21 , x 21
nwy^ nk Ł r-J. srj.
1.2. U s t r u k t u r y z o w a n y z b i ó r : S T E R O W A N I A 8STEROVANXA
gdzl e :
2 2 = i 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 >
D 2 = < S S t ,6st , n d s : s = l .. . . . L S T E R >
a a s
Z 2 s s t = < 0 , 1 . 2 . 3 . A . S . 6 . 7 , 8 , 9 >
a
“ ¿ s t / *
“ n d . ’" < 1 L D E C >
a
J 2 : 2 2 — ♦ 2 2 , x 2 2 , . x 2 2 „
ss t ó s t nds
1. 3. U s t r u k t u r y z o w a n y zbl 6r S T E R O W A N I A S B L
^ S T E R O W A N I E " < ^ = » 3 S D 3 > . J 3 >
g d z l e :
2 3 - < 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 >
D 3 = < s s b . 6 s b ,nss ,nrr ,nsp : w = l ,. . . ,L S B L >
V V V V V
^ s s o = < 0 . 1 . 2 . 3 >
23 v = X *
<5sb o, od V
2 3 = < 1 L S Y G N >
n ss
V
Z 3 = < 1 L R E L >
nrr
V
Z 3 = < 0.1 ... . . L S B L >
n s p
V
j 3 : Z 3 — + Z 3 x Z 3 , x Z 3 x Z 3 x 2 3
s s b 6 s b n s s nrr n s p
V u u I,
24,7
248 Stanisław Krawiec
1.4. U s t r u k i u r y z o w a n y z b i ó r : G E N E R A T O R _ D E C Y 2 J I
J f = < Z4.D4, -CZ4 : a 4 e D 4 >
flENERATOR _ D E C Y Z J I 0.4
g d z i e :
Z 4 — < G E N E R A T O R _ D E C Y ZJI >
D 4 = < s g d ,Ó g d . n r d , n k d >
2 4 . = < 0,1 >
s g d 2 4 , , = X
ó g d o
2 4 . * < 1 , . . . , L D E C >
n r d
2 4 . . » < 1 .... .L G Ł O W >
n k d
14 : 2 4 — ► Z 4 x 2 4 , . x 2 4 . x 2 4 , .
J s g d ó g d n r d n k d
1.5. U s t r u k t u r y z o w a n y z b i ó r : A N U L A T O R _ D E C Y 2 J I
£ = < Z5.D5.-C 2 5 : a 5 e D 5 :
A N U L A T O R . D E C Y S J I o!5
gdzi e :
2 5 = < A N U L A T O R _ D E C Y 2 J I >
D 5 = < s a d ,ó a d .n d e c >
2 5 . = < 0,1 >
s a d
25 , . = 31*ó a d o. oo
2 5 . = < 1 .... .L D E C >
n d e c
15 :25 — 4 2 5 , x 2 5 , , x Z 5 .
J s a d ó a d n d e c
1.6. U s t r u k t u r y z o w a n y z b i ó r :G E N E R A T Q R _ P Q C I Ą G Ó W
T = < 26.D6.-C 2 6 : a 6 e D 6
flEN’E R A T O R _ POCI A C O V 0<S g d z i e :
2 6 = < G E N E R A T O R _ P O C I Ą G Ó W >
D6 — < s g p , ó g p , n w p , c w p >
2 6 = < 0.1 >
s g p 2 6 = 3C
ó g p 0,00
2 6 = < 1 . . . . , L P O C >
n w p Z B = JC
c w p o
16 : 2 6 — ► 2 6 x 2 6 , x 2 6 x 26
J s g p ó g p n w p c w p
1.7. U s t r u k t u r y z o w a n y z b i ó r : S Y G N A L I 2 A T O R Y
Z = < 27. D 7 . < 2 7 : a 7 e D 7 > ,
S Y G N A L I Z A T O R Y 0.7
g dzie :
. J 5 >
> . J 6 >
J7 >
Cpls fo rmalny modelu. 249
2 7 = < S Y G N A L I Z A T O R 1 . . . . .S Y G N a L I 2 A T O R j . . . . SY G N ALI 2 A T O R L S Y G N >
D 7 = < ss.,nrs.,rs.,ng.łrb.łkn. : 1 =1 .. . . . L S Y G N >
J J J J J )
2 7 = < 1 . a . 3 , 4 . 5 . 6 , 7 . 8 >*
s s
.
J
2 7 = -C 1,... . L R E L >
n r s
.
J
2 7 = < 1.. . . .11 >
r s . J
Z 7 = < 1,. . . .L G Ł O W >
j
Z 7 . = < 1.2.3.4. >
j
Z 7 kn
= <
0 . 1 ...S. A.
. . .•.Z.C.5./' >*
j
J 7 : 2 7 Z 7 x 2 7 x 2 7 x 2 7 x Z 7 . x 2 7 L
ss. nrs. rs. ng. r b k n
J J J J j j
1-8. U s t r u k tur y z o w a n y z b i ó r : P O Ł Ą C 2 E N I A
W z c k u = < 28.08. < 2 8 ^ :a8 e .D8 > . J 8 >
g d z l e :
2 8 = < P O Ł Ą C 2 E N I El , . . . , P O Ł Ą C 2 E N I Ek . . . . , P O Ł Ą C 2 E N I E L P O L >
D 6 = { s p o k .gpk . g k k .dak .dbk .sa1(.2bl£.dpl(.tp|t.rrk .rp)e.dnJ1[.cak .cbit k =1,. . . , L P O L >
2 8 = < 0.1 >
s p o k
2 8 = < 1.. . . .L G Ł O W >
9 P k
Z 8 gk = { - 1 -LPZ.l .. . . . L G Ł O W >
2 8 = 3C d a k 2 8 = JC
d b k
2 8 = < 0.1 .. . . . L S Y G N >
S a k
2 8 . = < 0.1.. . . . L S Y G N >
S b k
2 8 , = < 0 1 6 0 >
d p k
28, = < 0.1 >
t p k
28 = C 0 . 1 . 2 >
r r k
2 3 = < 1. . . . .8 >
r P k 2 8 , = 3C
d,.jk 2 8 = yC
ca, o
k 2 8 . = JL
cb, o
k
J 8 : 2 8 Z 8 s p ^ x Z 8 g ^ x 2 8 ^ x 2 8 ^ x 2 8 ^ x 2 8 ^
X X * Z 8 t p k ^ ^ ^ ^ rPk ^ ^ d n j k ^
2S0
S ta ni s ła w Krawiecx Z B x 2 8 .
c a k cfc^
1.9. U s t r u k t u r y z o w a n y z b i ó r K O L E J K I _ P O C I Ą G Ó W
y = < Z9.D9.-C Z 9 : a 9 e D 9 > . J 9 >
kOLh.Jki P O C I Ą C Ó y a»
g d z i e :
Z 9 = < K O L E J K A 1 .... K O L E J K A 1 .. . . . K O L E J K A L P O L >
D9 = < S k t : 1 = 1 ...L P O L >
Z S , = { 0 . 1 , . . . ,L P O C >
S k l
J 9 : Z S _ ♦ Z B sJ.
1.10. U s t r u k t u r y z o w a n y z b i ó r : K O L E J KI_JZEW N Ę T R Z M E
= < Z l O . D l O . i Z 1 0 : a l O e D I O > , J 1 0 >
K O L E JKI_ Z E V N C T I Z N E ol£>
gdzi e :
Z 1 0 = < K O L W E 1 ... KO L W E a . . . . .K O L W E L P Z >
D I O = < s w : a = l ... L P Z >
a •
Z 1 0 = < 0.1 ... . »L P O C >
SWa
J I O : Z I O _ Z ! O g w
1.11. U s t r u k t u r y z o w a n y z b i ó r : R E L A C J E
V = < Zll .Dli ,< Zll : all e Dli > .J11 >
R E L A C J E Oli
gdzi e :
Zll = < 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 >
Dli = < sr .gir ,ur ,npr .nkr ,nsr ,rr ,krr ,osr ,opr ,otr_ — M m w m ryi iri m rt\ m n onr . mpr , t r r ,cur . crr .
m vn th w łncz r .cza :
m ro
Zllsr m
< 0.1 >
Zll , =
g l r m
< 1 *.. . .LGtaOW >
Zllur m
< 1,.. . .8 >
Zllnpr m
< 1... . . L P O L s Z p ,. . . ,2p
* e >
Zll . =
nkrm
< 1... . .L P O L . z p .... ,zp
1 e >
Zllnsr m
< 1. -. . .L S Y G N >
Zllrrm Zll,krr
•C
<
1.2, 1.. .
,3 , 4 . >
. ,L R E L >*
Opi s f or mai ny model u .
211 = J t
osr o
ZI 1 =
opr o
Zll
.
m O
211onr m Zllmpr
m
o
V
21 itrr m
< 0.1 >
211 jC
currr. o
211 3C
crrm û
211czr
m o
211 X ?
c z a
m o
jll : 211 Zll
sr X 211 X 211 X 211 X 211 . X
glr ur npr nkr
m m m m
X 211 X 211 X 211 X 211 X 211 x Zll A
nsr rr krr osr opr otr
m m m m m n
x Z l l x Zll „ X 211. x Zll x 211 X Zll
onr mpr Lrr cur crr czr
m m m m m rr
x Zll c z a
1.12. U s t r u k t u r y z o w a n y z b i ó r : D E C Y ZjE
= < Z 1 2 » D 1 2 , < 2 1 2 „ : al 2 e D 1 2 > » J 1 2 >
D E C Y Z J E 0 1 2
g d z i e :
2 1 2 = < D E C Y Z J A l »... »DECYZJAp. . . . . D E C Y ZJ A L D E C >
D 1 2 = < s d »czr ,n z p »nzr ,n s g »nss :p = l »... »L D E C >
P P P P P p
2 1 2 . = < 0.1 .2.3.4 >
sd
P *
2 1 2 = Ä
czr o
p
2 1 2 = < 1 , . . . » L P O L . z p » . . . .zp >
n z p i
p
2 1 2 = C 1 .... »L R E L >
nzr p
2 1 2 = < 1 . . . . . L S Y G N >
n s g P
2 1 2 = < 2 , 3 . 4 . 5 . e >
nss p
J 1 2 : 2 1 2 — ♦ 2 1 2 . x 2 1 2 x 2 1 2 x 2 1 2 x 2 1 2
sd czr n z p nzr n s q
P P P p * p
x 2 1 2 nss
P
1.13. U s t r u k t u r y z o w a n y z b i ó r : K O L E J K I _DECYZJI
KOI.*.JKI_ DECYZJI
252 S ta nisław Krawiec
g d z i e :
2 1 3 = < K 0 L D E C 1 . . . . .K O L D E C t . . . . .K O L D E C L G Ł O W >
D 1 3 = < sk^ : t=l . . . . , L G Ł O W >
2 1 3 ,= < 0 . 1 L D E C >*
ski
113 : Z 1 3 — » 2 1 3 .
J sk
1.14. U s t r u k t u r y z c w a n y z b i ó r : MaK R O P O Ł Ą C Z E N I A
U - < Z 1 4 , D 1 4 . < Z 1 4 : al 4 e Dl 4 > , j 1 4 >
IlAKROP u t Ą C Z E N I A 014
g d z i e :
21 4 = < M A K R O P O L 1 . . . . »M A K R O P O L e . . . . .M A K R O P O L L M P >
Dl 4 = < z p : e=l , . . . . L M P >
* *
Z 1 4 = < 1 . . . . .L P O L >
J14 : Z 1 4 — ► 2 1 4 ^ ^
1.15. U s t r u k t u r y z o w a n y z b i ó r : P A R A M E T R Y
= < Z15.D15.-C Z 1 5 : a l 5 € D l 5 > . J 1 5 >
olfS g d z i e :
2 1 5 - < C Z A S _ J A Z D Y , W S P Ó Ł C Z Y N N I K _ N I E D Y S P O Z Y C J I /C Z A S _ B E A k C J l _ POCIA Q U , V S P Ó ł . C Z Y N N I K _ V P Ł Y W U _ Z M I A N Y _ S Y O N A ł U _ N A _ Z E Z W A - - L A J A C Y . V S P Ó Ł C Z Y N N I K _ V P t Y V U _ A W A R Y J N E J , Z M I A N Y , S Y O N A Ł U _ N A _ S T Ó J >
Dl 5 = < C Z A S _ J A Z D Y . V S P Ó Ł C Z Y N N I K . C Z A S _ l E A K C J I , P R O C E N T l , P R O - -CENT2 >
Z 1 5 = -V
C Z A S _ J A Z D Y O
2 1 5 _ =
W S P Ó Ł C Z Y N N I K O 2 1 5 C Z A S _ R E A K C J I = J CO 2 1 5 = C 0 . 8 . 1 3
PROCE N T !
2 1 5 = C 1 .2 3
P R O C E N T 2
115 : 2 1 5 — + 2 1 5 x 2 1 5 x 2 1 5 >
J C Z A S _ J A Z D Y W S P Ó Ł C Z Y N N I K C Z A S _ R E A K C J I
x 2 1 5 x 2 1 5
P R O C E N T ! P R O C E N T 2
2. S t r u k t u r a d y n a m i c z n a m o d e l u r u c h u .
S t r u k t u r a D y n a m i c z n a M o d e l u R u c h u P o c i a tg ó w C S D M R P D 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 z e d s t a w i o n a z o s t a n i e j a k o z ł o ż o n y S y s t e m D y s k r e t -
Qpl s f or mai ny model u . 253
- n y c h Z d a r z e ń .
S D M R P = < W E M R P , S T A N Y _ U R P . W Y JfiCIA_ M R P , < ó* :X € D >.
” ~ n P x
.< ć y :y e D > .< ć v :v e D >,t ,w y b ó r >
z y w y v
g d z i e :
w e j5c i a_iirp = < W : W = C C n w p . c w p ) , Cnrd,cgd2> . Cndec,cad2)2>>
S T A N Y M R P = < S : S = C C s p , ó p , w s p D , . . . , C s p , ć p , w s p 2) , . . . ,
i i i V *1 i
C s p . ó p , w s p j . C s s t , ó s t ) .. . . ,
L P O C L P O C L P O C 1 1
C sst ,ó s t D , . . . » C s s t » óst 2) ,
a S L S T E R L S T E R
C s s b ,ósb 2),. . . »C ssb *ósb . »Cssb
1 1 W V L S B L
ó s b 2) , C s s , nr s 2),. . . , C ss ,nrs .
L.SBL l i j J
C s s , n r s 2> , C s p o s p o 2>,. . . ,
L S Y O N L S Y O N * 4 H k
C s p o 2> »Csk j .... , Csk,2> .... »Csk 2)»
L P O L 1 l L P O L
C s w ),. . . , C s w 2), . . . , C s w 2> ,Csr 2> , . . . ,
1 a L P Z i
Csr 2>,...,Csr D . C s d D Csd
m L R E L l p
C s d 3 , C s k D , . . . , C s k ) , . . . , C s k 2>2>>
LI»EC 1 t L O Ł O W
v y jSc i a_m r p = < V :V = CClpp^, 1 k p ^ , n p p ^ , g m p ^ , gnp^ , g d p ^ » xp , 1 nz , t p o ,tre ,ao , o d s t ę p 2) .... ,
i i i i i
C 1 p p ^ . 1 k p^» npp. , g m p ^ , g n p ^ , g d p ^ , x p , 1 nz , tpo. ,tre. . ao. . o d s t ę p 3 » . . . ,
V V I V Ł
C l p p .lkp .npp ,q m p ,
L P O C L P O C L P O C ^ L P O C
g n p ,g d p .x p ,1nz
L P O C L P O C L P O C L P O C .
t p o ,tre , a o . o d s t ę p D,
L P O C L P O C L P O C L P O C
C n d s n d s .C n d s 2)}}
1 a L S T E R
ć* ~ r o d z i n a l o k a l n y c h fu n k c j i p r z e j ś c i a d l a e l e m e n t ó w a k t y w n y c h x e o r a z e l e m e n t ó w i m p o d l e g ł y c h
- < P O C I Ą G I . . . . ,P O C I Ą G i ... P O C I Ą O 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 .S T E R S S B L 1 .... .STERSSBLw.
S T E R S S B L L S B L >
ó y - r o d z i n a z e w n ę t r z n y c h f u n k c j i p r z e j ś c i a d l a e l e m e n t ó w a k t y w n y c h y e D ;D S D
y y *
D^ - C POCIĄGI. . . . » POCIĄGi. . . POCIĄOLPOC >
Ó ^ Y " ń o d z i n a f u n k c j i w y j ś c i a d l a e l e m e n t ó w a k t y w n y c h v <= D ;
D S D
V X
Dv - < POCIĄGI, . . . .POCIĄGi. . . . , POCIĄGLPOC. STEROWANI El STEROWANI Es . . . . »STEROWANIELSTER >
F u n k c j a p o s t ę p u c z a s u
t : S T A N Y M k P X W E J Ś C I A M R P — 4
~ O . CC
J e s t z d e f i n i o w a n a n a s t ę p u j ą c o :
tCs x w2> = mi nC ó p , . . . » ó p , . . . » ó p . óst , . . ó s t . .óst
1 i L P O C 1 a ~ L S T E R
ó s b , . . . , ó s b , . . . , ó s b , c w p , c q d . c a d 2?
1 L S B L -
254 S ta ni sł a w Krawiec
F u n k c j a W Y B Ó R w y b i e r a z e z d a r z e ń z a p l a n o w a n y c h n a t ę s a m ą c h w i l ę c z a s u t i m e + t t a k i e z d a r z e n i e . k t ó r e b ę d z i e z r e a l i z o w a n e J a k o p i e r w s z e :
1. A N U L A T O R , D E C Y Z J I JQioU A N U L A T O R _ D E C Y Z J I € D*
2.O E N E R A T O R _ D E C Y Z J I loZoli A N U L A T O R _ D E C Y Z J I G D * Ai G E N E R A T O R D E C Y Z J I G D*
3. S T E R O W A N I U j©2®li A N U L A T O R _ D E C Y Z J I G D* Ai O E N E R A T O R _ D E C Y Z J I G D ' A.
A S T E R O W A N I E ! € D*
S T E R Ó W A N I E S j®2©li A N U L A T O R _ D E C Y Z J I « D ’ A /s. O E N E R A T O R _ D E C Y Z J I G D ’a
A S T E R Ó W A N I E 1 & D* A i
a . . .A S T E R Ó W A N I E s G D *
S T E R O W A N I E L S T E P . j©2©U A N U L A T O R _ D E C Y Z J I i D ’a
/\ O E N E R A T O R _ D E C Y Z J I i D ’a A S T E R O W A N I E 1 D* A .
S T E R Ó W A N I E s G D* /N
A i . . . S T E R O W A N I E L S T E R € D*
4. S T E R S S B L 1 J©2oli A N U L A T O R _ D E C Y Z J I i D ‘a O E N E R A T O R _ D E C Y Z J I G D * At A . S T E R O W A N I E i « D ’ A /\ . . . A* S T E R Ó W ANIEs R D ’a a. ... A. S T E R O W A N I E L S T E R GD*
At S T E R S S B L 1 € D*
W Y B Ó R C D * D =
S T E R S S B L w jsZsli A N U L A T O R _ D E C Y Z J I « D ’a
At O E N E R A T O R _ D E C Y Z J I G D * A.
/v S T E R O W A N I E I G D* A.
At ... a. S T E R Ó W A N I E s & D* A.
At ... At S T E R O W A N I E L S T E R & D*
ys. S T E R S S B L 1 G D* A.
At . . . At S T E R S S B L u G D*
S T E R S S B L L S B L jOSoLi. A N U L A T O R _ D E C Y Z J I & D * A.
At 3 E N E R A T O R _ D E C Y Z J I G D ’ a.
At S T E R O W A N I E i ** D * Ai At . . . At S T E R Ó W A N I E s G D* A.
A. ... At S T E R O W A N I E L S T E R G C*
Ai S T E R 3 S B L 1 ii D ’ai Ai ... At S * E R S S B L y G D * At
Opi s for mai ny model u . . .
... /\ S T E R S S B L L S B L G D*
5. POCIĄGI jololi. A N U L A T O » _ D E C Y Z J I G D* a.
Ai G E N E R A T O R D E C Y Z J I G D* a Ai S T E R O W A N I E I G D* Ai a ... Ai S T E R O W A N I E a £ D ' a Ai ... Ai S T E R O W A N I E L S T E R G D*
Ai S T E R S S B L 1 G D* a A. ... Ai S T E R S S B L u € D ’a
Ai . . . a S T E R S S B L L S B L G D* Ai A. POCIĄGI G D*
POCIĄGI j®2®U A N U L A T O R _ D E C Y Z J I G D * a
Ai O E N E R A T O R _ D E C Y Z J I G D* A.
a. S T E R O W A N I E I G D ł Ai . . . At S T E R O W A N I E a G D * a A ... a. S T E R O W A N I E L S T E R G D*
A. S T E R S S B L 1 C D*ai Al . . . Al S T E R S S B L u G D ’ Ai Ai . . . Ai S T E R S S B L L S B L G D ’a Ai P O C I Ą G I G D * a
a ... Ai P O C I Ą G i G D*
P O C I Ą G L P O C j©2oli. A N U L A T O R _ D E C Y Z J I i D ’a
Ai O E N E R A T O R _ D E C Y Z J I G D * A Ai S T E R O W A N I E I G D* a.
Ai ... Ai S T E R O W A N I E a G D ’a A. ... A. S T E R O W A N I E L S T E R G D*
Ai S T E R S S B L 1 G D * At At . . . Ai S T E R S S B L u « D ’a A . . a S T E R S S B L L S B L ff D ’a A POCIĄGI G D * A
a . . . a POCIAGi. G D * At At ... A P O C I Ą G L P O C G D*
<S. G E N E R A T O R ^ P O C I Ą G Ó W j®2®lt
A N U L A T O R _ D E C Y Z J I G D* A A G E N E R A T G R _ D E C Y Z J I ? D ’a a S T E R O W A N I E I G D ł a a ... a S T E R O W A N I E a G D* a A ... A S T E R O W A N I E L S T E R G D*
A S T E R S S B L 1 G D* A A . . . A S T E R S S B L u G D ' a
a . . a S T E R S S B L L S B L G D ’a us POCIĄGI G D* A
W YBÓRCD’ 2) =
256 St a ni sł aw Krawiec
. . . y\ P O C I Ą G I e D*/s /\ . . . P C C I A C ł L P O C jff D ‘a
✓V G E N E R A T O R _ P O C I Ą G Ó V G D*
g d z i e :
t i m e - c z a s b i e ż ą c y ;
D* - p o d z b i ó r e l e m e n t ó w t y p u a k t y w n e g o z a p l a n o w a n y c h d o z m i a n y s t a n u w c z a s i e n a s t ę p n e g o z d a r z e n i a w ch w i l i t i m e + t ;
D' = |< P O C I Ą G I .... .POCIĄGI .... . POCI Ą G L POC. S T E R O W A N I El . . . 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 . A N U L A T O R - D E C Y 2 J I . G E N E R A T O R _ P O C I Ą G Ó W > :< ó p ...
óp , . . . ,ó p * óst , . . . ,óst , . . . ,óst * ó s b , .
t L P O C 1 a L 5 T E R 1
ó s b » . . . ,ó s b ,ó g d ,ó a d ,ó g p } = t ]
W L S B L w ^ J
3. Funkc.ie p r z e i l c i a e l e m e n t ó w a k t y w n y c h
3.1. Element, a k t y w n y P O C I Ą G I Ci =1 . . . . . L P O O
Z e w n ę t r z n a f u n k c j a p r z e j ś c i a e l e m e n t u P O C I Ą G i
^ p o c i ą g ^ d 6 . Dl 3 = c s p * ,ó p *,w s p *,1p p * ,1k p r *n p p * * g m p *,g n p ’ ,g d p *, xp* ,lnz* , t p o * , tre* , ao* .odstęp* , s w ’ 3
l l V V Ł I G
L o k a l n a f u n k c j a p r z e j ś c i a e l e m e n t u P O C I Ą G i o r a z j e g o e l e m e n t ó w p o d l e g ł y c h .
ó** CTAaV Dl , D 2 , D 3 , D 7 , D Q , Dl O , Dl 5 2) = C s p * , ó p * , w s p * , ss ’ , nr s * , sk ’ ,
<P i Ł ł .j j l
s w * ,s s t *,ó s t *,s s b * ,ó s b ’ 3
g a a u
F u n k c j a w y j ś c i a e l e m e n t u P O C I Ą G I
Dl , D 2 , D 3 , D 7 . D 9 , Dl O , Dl 53 = Cl p p ’ . 1 k p * . n p p * » g m p ’ , g n p ’ . g d p ’ .x p *,1nz *.t p o *,tr e ’
Ł l V i
ao ’ . ODSTĘP * 3
Opis f ormalny modelu. 257
3.2. E l e m e n t akt y w n y S T E R O W A N I Es Cs =1 , . . . t LSTERD
L o k a l n a f u n k c j a p r z e j ś c i a e l e m e n t u S T E R Ó W A N I Es o r a z j e g o e l e m e n t ó w p o d l e g ł y c h
ó S T E R O V A N I E a C D 1 ^ ^ ^ ^ ^ ^ ^ D ? ^ ^ ± ^ £ ^ g ^ ^ ^ ^ _
• p
= C s s t ’ , ćst ’ , s s ’ , n r s ’ , s d ‘ ,spo* ,sr' ,sp* , ó p ’ *
a a j J P k m i i
wsp*, s s b * »ósb* D
l u w
F u n k c j a w y j ś c i a e l e m e n t u S T E R O W A N I E s
<5ST E R O W * N1SaCD1 > D 2 f D 3 > D 5 > D 7 > D 8 i D 9 > D 1 1 iD12iD13>D14iDlg:) = C n d s .3
tp a
3.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 = l ... LSBLD
L o k a l n a f u n k c j a 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 o r a z j e g o e l e m e n t ó w p o d l e g ł y c h
ć s t k r s s b i.v C D 1 i D 2 i D 3 i D 7 i D 8 i D g i D i l i D 1 5 -, = c s s b 1 . ó s b • , s p o ’ . sr • ,
<P w t/ k nr
s s ’ ,nrs.’ »sp! , óp! ,wsp!D
j J Ł
4. Uwagi k o h c o w e
S z c z e g ó ł o w a s p e c y f i k a c j a l o k a l n y c h f u n kcji p r z e j ś c i a 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 p r z e d s t a w i o n a z o s t a ł a w p r a c y [KRA*893. Na p o d s t a w i e o p i s u foi m a l n e g o m o d e l u r u c h u p o c i ą g ó w z r e a l i z o w a n o p r o g r a m s y m u l a c y j n y w j ę z y k u L O G LAN. k t ó r y s p e ł n i a r o l ę s y m u l a t o r a r u c h u pociągów.
S p i s o z n a c z e ń
a - w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u K O L W E ; ao^ - a k t u a l n e o p ó ź n i e n i e p o c i ą g u i ;
258 S ta nisław Krawiec
c a d - m o m e n t a n u l o w a n i a d e c y z j i ; c a - m o m e n t z a j m o w a n i a p o ł ą c z e n i a k ;
k
c b - 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 ; k
c g d - m o m e n t g e n e r o w a n i a d e c y z j i n r d ;
crr - m o m e n t r o z w i ą z a n i a d r o g i p r z e b i e g u d l a r e l a c j i m ; m
cur - m o m e n t u s t a w i e n i a d r ogi p r z e b i e g u d l a r e l a c j i m ;
<n
c w p - m o m e n t w y g e n e r o w a n i a p o c i ą g u ;
c z a - c z a s 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 m
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 r o z p o c z ą ć r o z w i ą z y w a n i e d r ogi p r z e b i e g u re l a c j i m ;
czr - c z a s o d z a j ę c i a r e l a c j i m 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 ;
czr - 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 ; P
d a - d ł u g o ś ć p o ł ą c z e n i a k o d g ł o w i c y g p d o g ł o w i c y gk ;
k k k
d b fc - d ł u g o ś ć p o ł ą c z e n i a k o d g ł o w i c y g k fc d o g ł o w i c y g p fc ; dl - d ł u g o ś ć p o c i ą g u i ,
d n j fc - 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 ę ; dp^ - d o p u s z c z a l n a p r ę d k o ś ć n a p o ł ą c z e n i u k ;
e - w s k a ź n i k k o l e j n e g o p a r a m e t r u o g ó l n e g o t y p u M A K R O P O L ; gdp^ - 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 ;
gk^ - n u m e r 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 k z j e d n e j z e s t r o n ;
gir - g ł o w i c a na k t ó r e j z n a j d u j e s i ę r e l a c j a m ; g m p - n u m e r g ł o w i c y , k t ó r ą m i n ą ł p o c i ą g i ; g n p - n u m e r g ł o w i c y n a s t ę p n e j d l a p o c i ą g u i ; g p k - n u m e r 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 k
z J e d n e j z e s t r o n ;
i - w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u P O C I Ą G ; il - w s k a ź n i k p o m o c n i c z y ;
i l o ś ć - f u n k c j a o b l i c z a j ą c a i l o ś ć e l e m e n t ó w w k o l e j c e t y p u F I F O ; j - w s k a ź n i k k o l e j n e g o e l e m e n t u t u p u S Y G N A L Z A T O R ;
j l , J 2 , . . . - f u n k c j e p r z y d z i a ł u ;
k - w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u P O Ł Ą C Z E N I E ; ka t - k a t e g o r i a p o c i ą g u i ;
i
k n - 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 ; i
krr - 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 ;
m
1 - w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u K O L E J K A ; l k p - l o k a l i z a c j a k o ń c a p o c i ą g u i ;
lnz - 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 ń p o c i ą g u i. ; i
lpp. - l o k a l i z a c j a p o c z ą t k u p o c i ą g u 1 ;
m - w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u R E L A C J A ; mą - m a s ą p o c i ą g u i ;
l
m p - m a k s y m a l n a p r ę d k o ś ć p o c i ą g u i ;
Opis for m al ny modelu.
mpr
nd e c ndsa
n g ¿
n k d
nk.v nkrm npp.
n p r ^ n r d nrrw n r s . i ns g
P
ns pw nsrm nss
nwj.
n w p nwy.
n z p
opr
otr
P ppły PP»\
rb.
J r e s z t a p Ji rod.
- d o p u s z c z a l n a p r ę d k o ś ć na r e l a c j i m ;
- i l o ś ć p o ł ą c z e ń z n a j d u j ą c y c h s i ę na p l a n o w a n e j t r a 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 p o c i ą g u i ;
- n umer a n u l o w a n e j d e c y z j i ;
- 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 a ; - n umer g ł o w i c y z a s y g n a l i z a t o r e m j ;
- n u m e r k o l e j k i d e c y z j i , w k t ó r e j u m i e s z c z o n a z o s t a n i e d e c y z j a n r d ;
- n u m e r k o l e j o w y p o c i ą g u Ł ;
- n u m e r p o ł ą c z e n i a k o ń c o w e g o r e l a c j i m ; - numer p o c i ą g u i w k o l e j c e n a p o ł ą c z e n i u ;
- n u m e r p o ł ą c z e n i a p o c z ą t k o w e g o r e l a c j i m ;
- n u m e r d e c y z j i w y g e n e r o w a n e j p r z e z g e n e r a t o r d e c y z j i ; - 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 o w a n i e S T E R S S B L w ; - n u m e r r e l a c j i z a s y g n a l i z a t o r e m j ;
- n u m e r s y g n a l i z a t o r a p o d a n y w d e c y z j i p. n a k t ó r y b ę d z i e p o d a n y syg n a ł z e z w a l a j ą c y ;
- n u m e r p o p r z e d n i e g o s t e r o w a n i a S T E R S S B L w ; - 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 u m e r 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
- 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 o w a n i e S T E R S S B L w ;
- 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 u sieci ; - 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 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 eci ; - n u m e r z a j m o w a n e g o p o ł ą c z e n i a w d e c y z j i p ; - n u m e r z a j m o w a n e j r e l a c j i w d e c y z j i p ;
- 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 ; - 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 ;
- 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 m i e j s c a k o ń c a p o c i ą g u ;
- 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 ;
- w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u D E C Y Z J A ; - o p ó ź n i e n i e h a m o w a n i a p o c i ą g u i ;
- p r z y ś 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 ą g u i ; - 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 ;
- f u n k c j a u s u w a j ą c a z k o l e j k i t y p u F I F O e l e m e n t p i e r w s z y ; - r o z k ł a d J a z d y p o c i ą g u i ;
- r o d z a j p o c i ą g u i ;
260 St ani 3 1 aw Kr a wi ec
r p p t - 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 ą g u u ; r p k - ro d z a j p o ł ą c z e n i a k ;
r r k - ro d z a j r u c h u n a p o ł ą c z e n i u k ; rrnr» - ro d z a j r e l a c j i m ;
rsj - r o d z a j s y g n a l i z a t o r a j ;
s - w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u S T E R O W A N I E ;
3 - o g ó l n y z a p i s c h w i l o w 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 ; s a d - s t a n a n u l a t o r a d e c y z j i ;
S a k
"
n u m e r 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 k na g ł o w i c ę gk^ ;
S b k 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 z p o ł ą c z e n i a k na g ł o w i c ę gp^ ;
s d
p - s t a n d e c y z j i p ;
s g d - s t a n g e n e r a t o r a d e c y z j i ; s g p - s t a n g e n e r a t o r a p o c i ą g ó w ;
s k i - z a w a r t o ś ć k o l e j k i p o c i ą g ó w n a p o ł ą c z e n i u l ;
skt - z a w a r t o ś ć k o l e j k i d e c y z j i d o r e a l i z a c j i n a g ł o w i c y i ; S p v - s t a n p o c i ą g u i ;
s p o k - s t a n p o ł ą c z e n i a k ;
sr J - s k r ó c o n y r o z k ł a d J a z d y p o c i ą g u i ; S r m - s t a n r e l a c j i m ;
s s b
V - s t a n s t e r o w a n i a t y p u S T E R S S B L w ; ssj - s t a n s y g n a l i z a t o r a j ;
s sta - s t a n s t e r o w a n i a t^T^u S T E R O W A N I Ee ;
s wa - z a w a r t o ś ć k o l e j k i p o c i ą g ó w p r z y w j a z d a c h d o r e j o n u s i eci ;
t. - w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u K O L D E C ; t - f u n k c j a p o s t ę p u c z a s u ;
ti me - c z a s b i e ż ą c y ;
tpk
- r o d z a j t r a k c j i n a p o ł ą c z e n i u k ; tpo."
p l a n o w a n y m o m e n t 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 i ;
trV - r o d z a j t r a k c j i p o c i ą g u i ;
t r e p l a n o w a n y m o m e n t 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 prze:
o d j e ż d ż a j ą c y p o c i ą g ;
trrm - r o d z a j t r a k c j i n a r e l a c j i ™ ; ur
^
m - r o d z a j u r z ą d z e ń srk n a relacji m ;V - o g ó l n y z a p i s t y p o w e g o w y j ś c i a m o d e l u r u c h u p o c i ą g ó w ; w - w s k a ź n i k k o l e j n e g o e l e m e n t u t y p u S T E R S S B L ;
w - o g ó l n y z a p i s t y p o w e g o w e j ś c i a m o d e l u r u c h u p o c i ą g ó w ; wsp^ - a k t u a l n y w s k a ź n i k p o c i ą g u l w r o z k ł a d z i e < rzdv ;
*p. n u mer 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 a k t u a l n i e z p o c i ą g i e m ». ;
y .l.v — k o l e j n e p o ł ą c z e n i e na t r a s i e p o c i ą g u i ;
Opl s f or mai n y model ;j. 261
zp^ - z e s t a w p o ł ą c z e ń m a k r o p o ł ą c z e n i a o ;
óa d - c z a s p o z o s t a w i a n i a a n u l a t o r a d e c y z j i w a k t u a l n y m s t a n i e ;
ć g d - 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 a k t u a l n y m s t a n i e ;
<5gp - 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 a k t u a l n y m s t a n i e ;
óp^ - c z a s p o z o s t a w a n i a p o c i ą g u i w a k t u a l n y m s t a n i e ; ó s b ^ - 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 T E R S S B L w w a k t u a l n y m
s t a n i e ;
<5st^ - 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 T E R O W A N I Es w a k t u a l n y m s t a n i e ;
. - p l a n o w e m o m e n t y w j a z d u p o c i ą g u i n a k o l e j n e o d s t ę p y ;
^ - 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 n a k o l e j n y c h o d s t ę p a c h ;
- l o k a l n a f u n k c j a p r z e j ś c i a e l e m e n t ó w a k t y w n y c h m o d e l u r u c h u p o c i ą g ó w ;
<5^ - z e w n ę t r z n a f u n k c j a p r z e j ś c i a e l e m e n t ó w a k t y w n y c h m o d e l u r u c h u p o c i ą g ó w ;
ó v - f u n k c j a w y j ś c i a . V y
c z a s_j a z d y - c z a s j a z d y p o c i ą g u m i ę d z y k o l e j n y m i p u n k t a m i to- - p o l o g i c z n y m i i s t o t n y m i z e w z g l ę d u n a z m i a n ę
s t a n u k t ó r e g o ś z e l e m e n t ó w m o d e l u ; c z a s_k o n t r o l n y - k w a n t czasu, z J a k i m t e s t o w a n a jest w y b r a n a
z m i e n n a e l e m e n t u l u b o Jaki b ę d z i e o p ó ź n i o n a z m i a n a s t a n u e l e m e n t u ;
c za s_r e a k c j i - f u n k c j 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 kcji s t o - - j ą c e g o p o c i ą g u n a s y g n a ł z e z w a l a j ą c y ;
D 1 , D 2 , . . . - u p o r z ą d k o w a n e z b i o r y w s p ó ł r z ę d n y c h al , al^, al » . . . ,a2 , a 2 »a 2 ,. . .zbi or ó w 2 1 , Z 2 , . . . ;
2 S ’
D* - p o d z b i ó r e l e m e n t ó w a k t y w n y c h z a p l a n o w a n y c h d o z m i a n y s t a n u w c z a s i e n a s t ę p n e g o z d a r z e n i a ;
D ,D ,D - p o d z b i o r y e l e m e n t ó w a k t y w n y c h : x y v
FI - f u n k c j a u s t a l a j ą c a k o l e j n o ś ć w j a z d u p o c i ą g ó w z kolejki K O L W E a d o r e j o n u sieci ;
F 2 - f u n k c j a g e n e r u j ą c a l i c z b y z z a k r e s u L'0,50] ; L D E C - l i c z b a 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
D o c i ą g ó w p r z e z r e j o n sieci ; L G Ł O W - l i c z b a g ł o w i c w r e j o n i e sieci ; L M P - l i c z b a m a k r o p o ł ą c z e ń w r e j o n i e sieci ; L O D S - l i c z b a o d s t ę p ó w w r e j o n i e s ieci ; L P O C - l i c z b a p o c i ą g ó w ;
L P O L - l i c z b a p o ł ą c z e ń w r e j o n i e s ieci ; L P Z - l i c z b a p u n k t ó w g r a n i c z n y c h r e j o n u sieci ;
262 S ta nisław Krawiec
L R E L L S B L L S T
L S T E R
L S Y G N M R P P ROC E N T !
PROC E N T 2
S D M R P S S U R P
- l i c z b a r e l a c j i w r e j o n i e s i e c i ;
- l i c z b a s y g n a l i z a t o r ó w S B L w r e j o n i e s i eci ;
- m a k s y m a l n a l i c z b a 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 d a n e j 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 ;
- m a k s y m a l n a l i c z b a 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 w r e j o n i e s ieci 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 ;
- l i c z b a s y g n a l i z a t o r ó w w r e j o n i e s ieci ; - model r u c h u p o c i ą g ó w ;
- 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 s y g n a ł z e z w a l a j ą c y ;
- 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 n a S T Ó J n a p o c i ą g ;
- s t r u k t u r a d y n a m i c z n a m o d e l u r u c h u p o c i ą g ó w ; - s t r u k t u r a s t a t y c z n a m o d e l u r u c h u p o c i ą g ó w ; W S P Ó Ł C Z Y N N I K
Z1 , Z 2 , . . . Z1 , Z 2 ,
al o2
S T E R O W A N I A
K O L E J K I Z E W N Ę T R Z N E
A N U L A T O R _ D E C Y Z J I J iS T E R O W A N I E S B L
O E N E R A T O R _ D E C Y Z J I P O Ł Ą C Z E N I A
^ P A R A M E T R Y
*K O L E J K I , P O C I Ą G Ó W TG E N E R A T O R , P O C I A C Ó W U
K O L E J K I , D E C Y Z J I M A K R O P O L Ą C Z E N I A S Y G N A L I Z A T O R Y O
- f u n k c j a l o s o w a u w z g l ę d n i a j ą c a c z a s t r a c o n y w w y n i k u n i e d y s p o z y c j i s t e r u j ą c e g o r u c h e m ;
- z b i o r y o b d a r z o n e s t r u k t u r ą ;
- z a k r e s y e l e m e n t u ai,a2 d l a k a ż d e g o oieDl , a 2 e D 2 . . . ; - u s t r u k t u r y z o w a n y z b i ó r p o c i ą g ó w ;
- u s t r u k t u r y z o w a n y z b i ó r s t e r o w a ń ;
- u s t r u k t u r y z o w a n y z b i ó r k o l e j e k p o c i ą g ó w n a p u n k t a c h g r a n i c z n y c h ;
- u s t r u k t u r y z o w a n y z b i ó r a n u l a t o r a d e c y z j i ; - u s t r u k t u r y z o w a n y z b i ó r s t e r o w a ń s y g n a l i z a
tor ami S B L ;
- u s t r u k t u r y z o w a n y z b i ó r g e n e r a t o r a d e c y z j i ; - u s t r u k t u r y z c vany z b i ó r p o ł ą c z e ń ;
- u s t r u k t u r y z o w a n y z b i ó r p a r a m e t r ó w o g ó l n y c h - u s t r u k t u r y z o w a n y z b i ó r k o l e j e k p o c i ą g ó w ; - u s t r u k t u r y z o w a n y z b i ó r g e n e r a t o r a p o c i ą g ó w ;
- u s t r u k t u r y z o w a n y z b i ó r d e c y z j i ; - u s t r u k t u r y z o w a n y z b i ó r r e l a c j i ;
- u s t r u k t u r y z o w a n y z b i ó r k o l e j e k d e c y z j i ; - u s t r u k t u r y z o w a n y z b i ó r m a k r o p o ł ą c z e ń ; - u s t r u k t u r y z o w a n y z b i ó r s y g n a l i z a t o r ó w ; - z b i ó r l i c z b c a ł k o w i t y c h n i e u j e m n y c h ;
- z b i ó r ? i c z b r z e c z y w i s t y c h ;
- z b i ó r l i c z b r z e c z y w i s t y c h d o d a t n i c h w r a z z z e r e m ;
- z b i ó r l i c z b r z e c z y w i s t y c h d o d a t n i c h w r a z z z e r e m i n i e s k o ń c z o n o ś c i ą ;
- p r z e d z i a ł l i c z b ;
Opi s for mainy model u . 263
< > - z b i ó r ;
< > - z biór w s z y s t k i c h s k o ń c z o n y c h s e k w e n c j i z b i o r u < > ;
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.
C23 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 0 7 9
C3] 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
[43 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 zbiorowa!) 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 , sy m b o l P R - 8 5. 7.01.06. el.}
C53 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 } : 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 l r u c h u p o c i ą 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 . I .09}
C63 K O N I E C Z N Y R o m a n + z e s p ó ł C p r a c a zbi o r o w a } : Z a s t o s o w a n i e J ę z y k a L O G L A N 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 n a 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 }
C73 J A R O Ń 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
[93 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 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 ą 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 .
[103 K O N I E C Z N Y Ro 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 : 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
[113 K O N I E C Z N Y Roman. K R A W I E C Sta 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 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 ą - 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
[123 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 teorii g r a f ó w i s ieci - 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
[133 K R A W I E C Sta n i s ł a w : Model 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 } . [143 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. K l i r a , W N T W a r s z a w a 1 9 7 6 [153 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 Cyfro w e j . WNT. W a r s z a w a 1 9 8 0 i l63 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
[173 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 s y m u l a c j i . PWN, W a r s z a w a 1 9 8 4
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
264, S ta nisław Krawiec
S u m m a r y
A d e t a i l e d f o r m a l s p e c i f i c a t i o n of a t r a i n t r a f f i c mod e l , 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 t r o l needs, h a s b e e n p r e s e n t e d i n t h e paper.
T h e f o r m a l s p e c i f i c a t i o n of t h e m o d e l c o n s i s t s of s t a t i c a n d d y n a m i c s t r u k t u r es.
T h e s t a t i c s t r u k t u r ę c o m p r i s e s a s e q u e n c e o f c o - o r d i n a t e d f i l e s tn w h i c h t h e f o r m a l s p e c i f i c a t i o n of all e l e m e n t s a n d d e s c r i p t i o n v a r i a b l e s t o g e t h e r w i t h t h e i r r a n g e s a n d a l l o c a t i o n f u n c t i o n s h a s b e e n i n c l uded.
T h e d y n a m i c s t r u k t u r ę o f t h e model is p r e s e n t e d i n a c o n v e n t i o n of t h e C o m p l e x S y s t e m of D i s c r e t e Events. It c o m p r i s e s t r a n s i t i o n l o cal f u n c t i o n s , i n put a n d o u t p u t f u n c t i o n s of all a c t i v e e l e m e n t s of t h e model a n d s u b o r d i n a t e e l e m e n t s . W i t h i n t h i s s t r u c t u r e t h e t i m e p r o g r e s s i o n f u n c t i o n a n d f u n c t i o n s t h a t d e t e r m i n e t h e s u c c e s i o n of e v e n t s o c c u r e n c e i n c a s e t h e y s h o u l d o c c u r e s i m u l t a n e o u s l y h a v e b e e n d e f i n e d too.
T h e t r a i n t r a f f i c m o d e l f o r m a l s p e c i f i c a t i o n h a s e n a b l e d t h e model s o f t w a r e r e a l i z a t i o n i n L O G L A N language.
F O R M A L E B E S C H R I E 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
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 d e t a i l l i e r t e f o r m a l e B e s c h r e i b u n g des Z u g v e r k e h r s m o d e l l s v o r g e s t e l l t » d a s für d i e 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 o r m a l e M o d e l I b e s e h r i e b u n g b e s t e k t a u s e i n e r s t a t i s c h e n u n d d y n a m i s c h e n Struk t u r .
D i e s t a t i s c h e S t r u k t u r b e i n h a l t e d e i n e R e i h e v o n s t r u k t u z i e r t e n C K o o r d i n i e r t e n } M e n g e n , i n w e l c h e n d i e f o r m a l e B e s c h r i e b u n g a l l e r E l e m e n t e u n d B e s c h r i e b u n g s v a r i a b l e n d e s M o d e l l s m i t i h r e n W e r t b e r e i c h e n u n d Z u g e h ö r i g k e i t s f u n k t i o n e n a n g e g e b e n wurden.
D i e d y n a m i s c h e M o d e l l S t r u k t u r w u r d e i n der K o n v e n t i o n d e s K o m p l e x e n S y s t e m s der D i s k r e t e r E r e i g n i s s e b e s e k rieben. S i e b e i n h a l t e d l o k a l e Ü b e r g a n g s f u n k t i o n e r . E i n g a n g s - u n d A u s g a n g s f u n k t i o n e n a ller a k t i v e n E l e m e n t e s o w i e i h r e n u n t e r s t e l l t e n E l e m e n t e n . I m R a h m e n d i e s e r S t r u k t u r w u r d e n a u c h Z e i t f a r t s c h v i t t s f u n k t i o n s o w i e F u n k t i o n d e f i n i e r t , d i e über der R e i h e n f o l g e d e s A u f t r e t k u s der E r e i g n i s s e i m m Fa l l e , w e n n s i e g l e i c h z e i t i g a u f t r e t e n s o l l e n , e n t s c h e i d e t .
D i e f o r m a l e b e s c h r i e b u n g d e s Z u g v e r k e h r s m o d e l 1 s e r m ö g l i c h t e d i e R e a l i s i e r u n g der M o d e l 1 S o f t w a r e i n der S p r a c h e LOGLAN.
Opis formalny modelu. £65
•OFMAJIbHOE OIIHCAHHE MOflEJlH flBHKEHHH nOE3flOB
P e 3 » n e
B c r a T b e a a H O /te T a jib H o e OTTHcaHHe (DopMajibHoA n o a e j i H a5MXPHna noe3AOB K O T opaa Sbura p e a jiH 3 o a a H a a n si n y i a ynpaBjieH HS! /iB H ieH H en .
« o p n a jib M o e oTtHcaHHe H oaejiM c o c t o h t K3 C T a r H a e c K o ń u n r a a n n e c K o A CTpyK Typbi. C r a T H ^ e c K a a c T p y K T y p a c o c t o h t H3 p s ia a m h o j k c t b k o o p a h h h p o b a H H b ix , b KOTopbDC c o cp ea o T O M e H O (D opnąJibH oe o i m c a a i i e < 5cex r r o a e jie ii b m b c t b c m i p o T o i h (Dy h k u h h m h a e ń c T B H B . ZlHHaMMMec K a s C T p y K T y p a MOAeJIH npeflCTaBJIHeTCH B KOHBeHUHH CjIOXHOft CMCTeMbl jH C K p eT H «X Cn(5b(Tb(H OHa COCTaWT H3 JIOKajIb HblX n e p e x o flH b ix (DyHKunA. (DyHKUKft B to c o a a h (DyHKUHft B x o /ta B c e x a k th b H b ix a j ie n e H T o s n o a e jiH m noaMHHeKHbut hm 3 ji£ ? m o h to b . B p a n x a x a i o f l C T pyK T ypw a a H o o n p e a e iie H H e n p o r p e c c a B p e n e a a a T a e i e ipyHKUHA p e m a n a e A o ie p e flH O C T b bicTy TraHHS coóbiT H S e c j i y s a e , K o r /ia o h h b o jik h w BMCTyiraTb o b h o b p b m b h h o . (D o p n a jib H o e o t t h c a h h p M oaejiH j b h j e h h s UOP3JOB aanci B 0 3 M o x H o cT b c o a a a T b np orp aM M H oe o 6 e c n e x e H H e M oaejiH Ha B3b(Ke LOGLAN.