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 1 0 3 4
198Q
R o m a n K O N I E C Z N Y
PRZYKŁADY ROZWIĄZANA PROBLEMÖW SYMULACYJNYCH W JĘZYKU LOGLAN
S t r e s z c z e n i e . A r t y k u ł n i n i e j s z y s t a n o w i k o n t y n u a c j ę o p r a c o w a n i a Cl]
d o t y c z ą c e g o z a s o b ó w s y m u l a c y j n y c h J ę z y k a LOGLAN. P r z e d s t a w i o n e p r z y k ł a d y p r o g r a m ó w s t a n o w i ć m o g ą p e w i e n s c h e m a t b u d o w y s y m u l a t o r ó w s y s t e m ó w r z e c z y w i s t y c h . P r z y k ł a d a m i s y m u l a c j i r o z w a ż a n y m i w a r t y k u l e są: o b s ł u g a a b s t r a k c y j n e g o u r z ą d z e n i a , s y s t e m o z a s o b a c h d z i e l o n y c h o r a z p r z e j a z d g r u p y p o j a z d ó w p r z e z o b s z a r k o n t r o l o w a n y .
N a p o d s t a w i e z a p r e z e n t o w a n y c h w a r t y k u l e p r z y k ł a d ó w pro g r a m ó w , m o ż n a s t w i e r d z i ć d u ż ą p r z y d a t n o ś ć L O G L A N u d o b u d o w y p r o g r a m ó w s y m u l a c y j n y c h d l a r ó ż n e g o r o d z a j u z a s t o s o w a ń . N a l e ż y p o d k r e ś l i ć d o d a t k o w y fakt, ż e l o g l a n o w s k a k l a s a S I M U L A T I O N m o ż e b y ć r o z b u d o w a n a o n o w e p r o c e d u r y C d a l s z e g e n e r a t o r y l i c z b p s e u d o l o s o w y c h , h i s t o g r a m y , w y k r e s y w y n i k ó w , itd . D , a t a k ż e o e l e m e n t y s y m u l a c j i m i e s z a n e j C d y s k r e t n o - c i ą g ł e J D l u b w i e l © k o m p u t e r o w e j . B a d a n i a n a d tymi z a g a d n i e n i a m i s ą p r o w a d z o n e a k t u a l n i e w I n s t y t u c i e T r a n s p o r t u P o l i t e c h n i k i Śląskiej.
1. Uwaai w s t ę p n e
A r t y k u ł n i n i e j s z y s t a n o w i k o n t y n u a c j ę o p r a c o w a n i a Cl 3 d o t y c z ą c e g o z a s o b ó w s y m u l a c y j n y c h J ę z y k a LOGLAN. P r z e d s t a w i o n e p r z y k ł a d y p r o g r a m ó w s t a n o w i ć m o g ą p e w i e n s c h e m a t b u d o w y s y m u l a t o r ó w s y s t e m ó w r z e c z y w i s t y c h . B u d o w a s y m u l a t o r a s k ł a d a s i ę z d w ó c h p o d s t a w o w y c h etapów:
- o p i s u s y m u l o w a n e g o o b i e k t u C s y s t e m u D ,
- i m p l e m e n t a c j i , p o l e g a j ą c e j n a o d w z o r o w a n i u o p i s u o b i e k t u n a z a p i s w p o s t a c i p r o g r a m u s k o n s t r u o w a n e g o w w y b r a n y m J ę z y k u p r o g r a m o w a n i a .
P r z y k ł a d a m i s y m u l a c j i r o z w a ż a n y m i w a r t y k u l e są: o b s ł u g a a b s t r a k c y j n e g o u r z ą d z e n i a , s y s t e m o z a s o b a c h d z i e l o n y c h o r a z p r z e j a z d g r u p y p o j a z d ó w p r z e z o bszar k o n t r o l o w a n y .
2. O p i s s y m u l o w a n e g o o b i e k t u
O p i s s y m u l o w a n e g o o b i e k t u C s y s t e m u D m o ż e b y ć d o k o n a n y w s p o s ó b s f o r m a l i z o w a n y l u b n i e f o r m a l n y . Z a g a d n i e n i o m t y m p o ś w i ę c o n e s ą m.in. p r a c a [73 o r a z a r t y k u ł y C23, C33, C43. U p r o s z c z o n y n i e f o r m a l n y o p i s o b i e k t u r z e c z y w i s t e g o , k t ó r y m a b y ć o d w z o r o w a n y w p o s t a c i s y m u l a t o r a , m o ż e b y ć p r z e d s t a w i o n y . J a k o n a s t ę p u j ą c a c z w ó r k a u p o r z ą d k o w a n a :
o p i s _ n i e / o r m a l n y - < LE, LZO. IE, S O >
gdzie:
L E - l i s t a e l e m e n t ó w ,
L Z O - l i s t a z m i e n n y c h o p i s o w y c h , I E - i n t e r a k c j a e l e m e n t ó w , S O - s c h e m a t o d d z i a ł y w a ń .
L i s t a e l e m e n t ó w J e s t s p e c y f i k a c j a o b i e k t ó w u w z g l ę d n i o n y c h w p r o c e s i e s y m u l a c j i s y s t e m u r z e c z y w i s t e g o . L i s t a z m i e n n y c h , o p i s o w y c h w y s z c z e g ó l n i a a t r y b u t y , z m i e n n e s t a n u i p a r a m e t r y z w i Ą z a n e z d a n y m o b i e k t e m C e l e m e n t e m } . I n t e r a k c j a e l e m e n t ó w o k r e ś l a w z a j e m n y wpł y w , o d d z i a ł y w a n i e l u b d z i a ł a n i e e l e m e n t ó w m o d e l u sy s t e m u . S c h e m a t o d d z i a ł y w a ń o k r e ś l a s p o s ó b p o w i ą z a n i a e l e m e n t ó w , n a d r z ę d n o ś ć -- p o d l e g ł o ś ć itd.
3. S y m u l a c 1 a o b s ł u g i u r z ą d z e n i a
R o z w a ż m y m o d e l s y m u l a c y j n y s k ł a d a j ą c y s i ę z k o l e j k i k l i e n t ó w c z e k a j ą c y c h n a o b s ł u g ę p r z e z d a n e C a b s t r a k c y j n e } u r z ą d z e n i e . I n t e r e s u j e n a s o b s e r w a c j a u r z ą d z e n i a p r z e z p e w i e n czas. O s o b y z g ł a s z a j a si ę w l o s o w y c h o d s t ę p a c h c z a s u i u s t a w i a j a s i ę w k o l e j c e d o u r z ą d z e n i a .
L I S T A E L E M E N T Ó W : ur z ą d z e n i e , k l i e n t ; L I S T A Z M I E N N Y C H O P I S O W Y C H :
u r z ą d z e n i e :
c z a s _ o b s ł u g i : R E A L C c z a s o b s ł u g i k l i e n t a p r z e z u r z ą d z e n i e } ; o d p o c z y n e k : R E A L C ł a c z n y c z a s b e z c z y n n o ś c i u r z ą d z e n i a } ; p r z e r w a : R E A L C p o c z a t e k p r z e r w y w p r a c y } ;
o b s ł u g i w a n y : K L I E N T C w s k a z u j e o b s ł u g i w a n e g o k l i e n t a } ; k o l e j k a : F I F O C k o l e j k a z w i ą z a n a z u r z ą d z e n i e m } ; k l i e n t
n u m e r : I N T E G E R C n u m e r b i e ż c a c y k l i e n t a } ; c z a s _ p r z y j ś c i a : R E A L C c z a s p r z y b y c i a k l i e n t a } ; c z a s _ o b s ł u g i R E A L C c z a s o b s ł u g i k l i e n t a } ; I N T E R A K C J A E L E M E N T Ó W :
J e śli u r z ą d z e n i e J e s t b e z c z y n n e , t o k l i e n t J e u a k t y w n i a .
P o n i ż e j p o d a n o l i s t i n g p r o g r a m u U R Z Ą D Z E N I E r e a l i z u j ą c e g o r o z w a ż a n y problem:
P R O G R A M U R Z Ą D Z E N I E ; C * S y m u l a c j a o b s ł u g i u r z ą d z e n i a »}
C *# L - « }
C » t u t a j J e s t t r e s c k l a s y S I M U L A T I O N »}
C » * L H t }
B E G I N
P R E F S I M U L A T I O N BŁOCK;
Przykłady rozwiązywania problemów. 91
U N I T U R Z Ą D Z E N I E : S I M P R O C E S S C L A S S C K O L E J K A : F I F03 . V A R C Z A S _ C © S L U G I : REAL.
O D P O C Z Y N E K : REAL, P R Z E R W A : REAL.
O B S Ł U G I W A N Y : KLIENT;
B E G I N
PRZERWA: »TIME;
D O
O D P O C Z Y N E K : - O D P O C Z Y N E K - P R Z E R W A + T I M E ; W H I L E N O T KOLEJKA. E M P T Y
D O
O B S Ł U G I W A N Y : »KOLEJKA. FIRST;
C Z A S _ O B S L U G I : =RA N D 0 M » 4 ,
C * . . . o b s ł u g a p i e r w s z e g o k l i e n t a z k o l e j k i ... *3 C A L L H O L O C C Z A S _ O B S L U G I 3 ;
C * . . . k o n i e c o b s ł u g i k l i e n t a ... *3 CALI. KOLEJKA. O U T F I R S T ,
C * ... u a k t y w n i e n i e k l i e n t a ... *3 C A L L S C H E D U L E ! O B S Ł U G I W A N Y . TI ME3 ; OD;
PRZERWA: »TIME;
C A L L P A S S I V A T E ;
C * . . . U R Z Ą D Z E N I E s t a j e s i e p r o c e s e m z a w i e s z o n y m ... *3 C * ...
i
c z e k a n a u a k t y w n i e n i e ... *3 OD;E N D U R Z Ą D Z E N I E ;
U N I T KLIENT: S I M P R O C E S S C L A S S C NR: I N T E G E R . U: U R Z Ą D Z E N I E 3 ; V A R C Z A S _ P R Z Y J S C I A : REAL. C * C z a s p r z y j ś c i a k l i e n t a *3
C Z A S _ O B S L U G I : REAL; C « C z a s o b s ł u g i k l i e n t a »3 B E G I N
C * . . . P r z y j ś c i e k l i e n t a ... *3 C Z A S _ P R Z Y J SCI A : »TIME;
W R I T E L N C F . TIME: 5: 2. " K l i e n t nr “ ,NR: 3 . " w y g e ń e r o w a n y "3 ; C * . . . K l i e n t u s t a w i a S i e n a k o ń c u k o l e j k i ... *3 C A L L INTOCU. K O L E J K A 3 ;
C * ... Jeśli u r z ą d z e n i e J e s t b e z c z y n n e . . . *3 C * . . . t o k l i e n t J e u a k t y w n i a ... *3
I F U. KOLEJKA. C A R D I N A L=1 T H E N C A L L S C H E D U L E C U , TI ME3 FI;
C A L L P A S S I V A T E ; C * . . . K l i e n t stoi w k o l e j c e ... *3 C * . . . T e r a z k l i e n t J e s t J u z o b s ł u ż o n y ... »3 C Z A S _ O B S L U G I : = T I M E - C Z A S _ P R Z Y J S C I A ;
W R I T E L N C F . TIME: S: 2. ” K l i e n t nr ",NR:3.
•• byl o b s ł u g i w a n y ". C Z A S _ O B S L U G I : 5: 23 ; E N D K L I ENT;
V A R C * Z m i e n n e g l o b a l n a *3
U: U R Z Ą D Z E N I E , C Z A S _ S Y M U L A C J I : R E Al.. I: I N TEGER.
F: FILE;
B E G I N C * P r o g r a m g l o w n y »3
C * . . . O t w a r c i e p l i k u d l a r e j e s t r a c j i w y n i k ó w ... *3 O PENC F , T E X T , U N P A C K C " W Y N I K I . D A T " 3 3 ;
C A L L R E W R I T E C F 3 ;
C * ... G e n e r o w a n i e p r o c e s u U R Z Ą D Z E N I E . *3 U: » N E W U R Z Ą D Z E N I EC N E W F I F03 ;
W R I T E L N C F . T I M E : 5: 2. " U R Z Ą D Z E N I E W Y G E N E R O W A N E "3 ; I:=l; C Z A S _ S Y M U L A C J I : = 1 2 0 C * m i n u t *3;
W H I L E TI MEC = C Z A S _ S Y M U L A C J I D O
C * ... G e n e r o w a n i e n o w e g o k l i e n t a ... *3 C A L L S C H E D U L E C N E W K L I E N T C I . U 3 , T I M E 3 ; I : = I+i;
Ł w ... K l i e n c i p r z y c h o d z ą w l o s o w y c h o d s t ę p a c h c z a s u *3 C A L L HO! .DC R A N D O M * ! 03 ;
-D;
C * ... Z a k o ń c z e n i e s y m u l a c j i ... *3
W R I T E L N C F .
" L a c z n y c z a s b e z c z y n n o ś c i u r z ą d z e n i a - ", U. O D P O C Z Y N E K : 5: 2D;
END;
E N D U R Z Ą D Z E N I E .
P r z e b i e g w y k o n a n i a p r o g r a m u d l a c z a s u s y m u l a c j i rtiwnego 1 2 0 J e d n o s t e k c z a s o w y c h Cnp. mi n u t J J e s t n a s t ę p u j ą c y :
I I U W L O G L A N - 8 2 C o n c u r r e n t E x e c u t o r V e r s i o n 4 . 3 5 M a y 21 . 1 9 8 8
C O C o p y r i g h t I n s t i t u t e of I n f o r m a t i c s . U n i v e r s i t y o f W a r s a w
0. 0 0 U R Z Ą D Z E N I E W Y G E N E R O W A N E 0. 0 0 K l i e n t nr 1 w y g e n e r o w a n y
1 . 9 7 K l i e n t nr 1 byl o b s l u g i w a n y 1 . 9 7 3. 0 4 KI i e n t nr 2 w y g e n e r o w a n y
3. 51 KI i e n t nr 3 w y g e n e r o w a n y 4. 4 0 K l i e n t nr 4 w y g e n e r o w a n y
5. 9 0 K l i e n t nr 2 byl o b s ł u g i w a n y 2. 8 6 8. 3 8 KI i e n t nr 3 byl o b s l u g i w a n y 4. 8 7 1 0 . 0 3 K l i e n t nr 5 w y g e n e r o w a n y
10. 0 3 K l i e n t nr 4 byl o d sI ugi w a n y 5. 6 3 1 2 . 9 7 KI i e n t nr 5 byl o b s ł u g i w a n y 2. 9 5 18. 7 8 K l i e n t nr 6 w y g e n e r o w a n y
19. 4 7 K l i e n t nr 6 byl o b s l u g i w a n y 0. 6 9 21. 3 9 KIi e n t nr 7 w y g e n e r o w a n y
2 2 . 2 7 K l i e n t nr 7 byl o b s 1 ugi w a n y 0. 8 8 30. 2 4 KIi e n t nr 8 w y g e n e r o w a n y
32. 21 K l i e n t nr 8 byl o b s ł u g i w a n y 1. 9 8 3 4 . 6 3 K l i e n t nr 9 w y g e n e r o w a n y
35. 7 8 KI i e n t nr 9 byl o b s1ugi w a n y 1 . 1 4 40. 8 5 K l i e n t nr i o w y g e n e r o w a n y
41. 1 3 KIi e n t nr 1 0 byl o b s i ugi w a n y 0. 2 8 50. 34 KIi e n t nr 11 w y g e n e r o w a n y
52. 0 2 KIi e n t nr 11 byl o b s l u g i w a n y 1 . 6 8 52. 51 K l i e n t nr 1 2 w y g e n e r o w a n y
53. 31 KIi e n t nr 1 2 byl o b s 1 ugi w a n y 0. 8 0 53. 68 K l i e n t nr 13 w y g e n e r o w a n y
55. 7 3 K l i e n t nr 1 3 byl o b s ł u g i w a n y 2. 0 6 56. 7 3 KI i e n t nr 14 w y g e n e r o w a n y
5 7 . 7 7 KI i e n t nr 1 4 byl o b s l u g i w a n y 1. 0 4 64. 54 K l i e n t nr 15 w y g e n e r o w a n y
67. 6 6 KI i e n t nr 15 byl o b s 1 ugi w a n y 3. 1 2 70. 3 8 KI i e n t nr 1 6 w y g e n e r o w a n y
71. 76 KI i e n t nr 1 7 w y g e n e r o w a n y
73. 14 K l i e n t nr 1 6 byl o b s l u g i w a n y 2. 7 6 74. 6 9 KI i ent nr 1 8 w y g e n e r o w a n y
74. 84 KI i ent nr 1 7 byl o b s l u g i w a n y 3 . 0 8 75. 2 7 KI i ent nr 1 9 w y g e n e r o w a n y
77. 14 KIi e n t nr 1 8 byl o b s i ugi w a n y 2. 44 77. 2 7 K l i e n t nr 1 9 byl o b s l u g i w a n y 2. O O 81. 14 KIi e n t nr 2 0 w y g e n e r o w a n y
82. 1 2 KIi e n t nr 21 w y g e n e r o w a n y 82. 4 5 K l i e n t nr 22 w y g e n e r o w a n y 84. 4 9 KIi e n t nr 2 3 w y g e n e r o w a n y
84. 51 KI i e n t nr 2 0 byl o b s 1 ugi w a n y 3. 3 6 84. 6 7 KI i e n t nr 21 byl o b s l u g i w a n y 2. 54 87. 41 KI i e n t nr 2 2 byl o b s l u g i w a n y 4. 9 6 91. 0 2 K l i e n t nr 2 3 byl o b s ł u g i w a n y 6. 5 3 93. 2 5 KIi e n t nr 24 w y g e n e r o w a n y
94. 2 4 K l i e n t nr 24 byl o b s 1 ugi w a n y 0. 9 9
Pr z yk ł a d y r oł w i ąz v w a m a pr ob- g»r ó w 9 3
102.86 K l i e n t nr 25 w y g e n e r o w a n y
103. S O KI i e n t nr 2 5 byi o b s l u g i w a n y 0. 64 1 1 1 . 1 5 KI i e n t nr 26 w y g e n e r o w a n y
113.01 KI i ent nr 26 byl o b s1ugi w a n y 1.86 113. 71 K l i e n t nr 2 7 w y g e n e r o w a n y
114. 04 K l i e n t nr 2 8 w y g e n e r o w a n y
117. 2 0 KIi ent nr 2 7 byl o b s l u g i w a n y 3. 48 118. 4 6 KIi ent nr 2 8 byl o b s l u g i w a n y 4. 41 L a c z n y c z a s b e z c z y n n o ś c i u r z ą d z e n i a = 67. 86
End of L O G L A N - 8 2 p r o g r a m e x e c u t i o n
I B M P e r s o n a l C o m p u t e r D O S V e r s i o n 3. 1 0
P o w y ż s z y p r o g r a m u m o ż l i w i a o k r e ś l e n i e C m e t o d ą e k s p e r y m e n t ó w symulacyjnych!) Jaki p o w i n i e n być m a k s y m a l n y d o p u s z c z a l n y c z a s o b s ługi k l i e n t a p r z e z u r z ą d z e n i e , a b y p r z y d a n y m s t r u m i e n i u z g ł o s z e ń C o p r z y j ę t y m r o z k ł a d z i e prawdopodobieństwa.} m a k s y m a l n y c z a s o c z e k i w a n i a k l i e n t a w k o l e j c e n i e p r z e k r o c z y ł z a d a n e j l i c z b y J e d n o s t e k c z a s o w y c h Ctzw. p r o g u c i e r p l i w o ś c i } , w z g l ę d n i e l i c z b a k l i e n t ó w w k o l e j c e b y ł a z a w s z e m n i e j s z a niż Cnp. } 4 . P r o g r a m t e n m o ż n a r o z s z e r z y ć na w i ę k s z ą l i c z b ę r o d z a j ó w u r z ą d z e ń i w i e l e k o l e j e k w z a j e m n i e z e s o b ą p o w i ą z a n y c h . U r z ą d z e n i a m o g ą b y ć z e s o b ą p o w i ą z a n e w w a r s t w i e t e c h n i c z n e j , k o l e j k i n a t o m i a s t w w a r s t w i e i n f o r m a cyjnej. U r z ą d z e n i a m i m o g ą b y ć np. k a s y b i l e t o w e , i n f o r m a t o r y d l a p o d r ó ż n y c h , a u t o m a t y d o r o z m i a n y p i e n i ę d z y , itp.
4. S y m u l a c j a s y s t e m u o z a s o b a c h d z i e l o n y c h
R o z w a ż m y s y s t e m s k ł a d a j ą c y s i ę z k i l k u r ó w n o l e g l e w y k o n y w a n y c h p r o c e s ó w C k a ż d y na i n n y m p r o c e s o r z e } . P r o c e s y s y n c h r o n i z o w a n e s ą z a p o m o c ą monitora.
U ż y c i e z a s o b ó w d z i e l o n y c h z a d e k l a r o w a n y c h w m o n i t o r z e musi b y ć p o p r z e d z o n e z a d a n i e m d o s t ę p u d o m o n i t o r a C p r o c e d u r a M O N I T O R _ E N T R Y } . W d a nej ch w i l i c o n a jwyżej J e d e n p r o c e s m o ż e m i e ć d o s t ę p d o monitora. G d y p r o c e s z w a l n i a m o nitor, w y w o ł y w a n a J e s t p r o c e d u r a M O N I T O R _ E X I T . P r z y k ł a d n i n i e j s z y Je s t o p i s a n y w s t ę p n i e w p u b l i k a c j i [63. N a t o m i a s t z a g a d n i e n i a s y m u l a c j i s y s t e m ó w l i c z ą c y c h s ą o m ó w i o n e w C53.
P o n i ż e j p o d a n o l i s t i n g p r o g r a m u s y m u l a c y j n e g o r e a l i z u j ą c e g o p r z e d s t a w i o n y problem:
P R O G R A M ZASD; C * S y m u l a c j a s y s t e m u o z a s o b a c h d z i e l o n y c h [63 »O C w$L-*0
C * t r e s c k l a s y SI M U L ATI O N »O C *$L+*0
B E G I N
P R E F S I M U L A T I O N BLOCK;
U N I T P A R P R O C E S S : S I M P R O C E S S CL A S S C N R : I N T E G E R } t C * ... p r o c e s w y k o n y w a n y r ó w n o l e g l e ... *}
B E G I N D O
W R I T E L N C " L o k a l n e a k c j e p r o c e s u n u m e r ".NR: 3D;
C A L L H O L D C R A N D O M D ; C A L L MONI T O R _ E N T R Y ; W R I T E L N
C " P r o c e s n u m e r ".NR: 3 , “ d z i a ł a n a z a s o b a c h d z i e l o n y c h " D ;
C A L L ’ H O L D C RaŃdOMD ; C A L L MONI T O R _ E X I T ; OD;
E N D P A R P R O C E S S ;
U N I T M O N I T O R _ E N T R Y : P R O C E D U R E ; CM P r o c e d u r a w e j ś c i a *D
B E G I N
I F S E M A F O R T H E N
C M .. . m o n i t o r J e s t z a j ę t y p r z e z i n n y p r o c e s ... *D C A L L C U RRENT. I NTOC Q U E U E D ;
C A L L P A S S I V A T E ; FI;
Cm . . . p r o c e s z a j m u j e m o n i t o r ... *D S EMAFOR: =TRUE;
E N D MONI T O R _ E N T R Y ;
U N I T M O N I T O R _ E X I T : P R O C E D U R E ; Cm P r o c e d u r a w y j ś c i a *D
V A R PROC: P A R P R O C E S S ; B E G I N
S E MAFOR: = F A LSE; Cm .. . z w o l n i e n i e m o n i t o r a ... «D I F N O T QUEUE. E M P T Y T H E N
c m ... u a k t y w n i e n i e p i e r w s z e g o p r o c e s u ... »O Cm . . . c z e k a j ą c e g o w k o l e j c e d o m o n i t o r a ... «D PROC: =QUEUE. FIRST;
C A L L QUEUE. O U T F I R S T ; C A L L R U N C P R O C D ; FI ;
E N D MONI T O R _ E X I T ;
V A R C M Z m i e n n e g l o b a l n e **D SI M U L A T I O N _ P E R I OD: REAL, S E M A F O R : B O O L E A N .
Q U E U E : FIFO.
I : I N T E G E R ;
C O N S T N = 10; Cm P r z y j ę t a l i c z b a s y m u l o w a n y c h p r o c e s ó w *D
B E G I N C * P r o g r a m g l o w n y *D QUEUE: = N E W FIFO;
SI M U L A T I O N _ P E R I OD: =4. 3;
F O R I : =1 T O N D O C A L L S C H E D U L E C N E W P A R P R O C E S S C I D . TI MED CC;
W R I T E L N C " S t a r t s y m u l a c j i . . . "D ; C A L L H O L D C SI M U L A T I O N _ P E R I COD ; W R I T E L N C "... Koni ec s y m u l a c J i " D ; END;
E N D ZASD.
P r z y k ł a d o w y p r z e b i e g w y k o n a n i a p r o g r a m u Z A S D J e s t n a s t ę p u j ą c y :
I I U W L O G L A N - 8 2 C o n c u r r e n t E x e c u t o r V e r s i o n 4 . 3 5 M a y 21. 1 9 8 8
C C D C o p y r i g h t I n s t i t u t e o f I n f o r m a t i c s . U n i v e r s i t y o f W a r s a w C * C z a s s y m u l a c j i *D Cm S e m a f o r d o m o n i t o r a *D C * K o l e j k a d o m o n i t o r a *D
Przykłady rozwiązywania problemów. 95
S t a r t s y m u l a c j i . . .
L o k a l n e a k c j e p r o c e s u n u m e r 3 L o k a l n e a k c j e p r o c e s u n u m e r 9 L o k a l n e a k c j e p r o c e s u numer 4 L o k a l n e a k c j e p r o c e s u n u m e r 2 L o k a l n e a k c j e p r o c e s u n u m e r 8 L o k a l n e a k c j e p r o c e s u n u m e r 7 L o k a l n e a k c j e p r o c e s u n u m e r 6 L o k a l n e a k c j e p r o c e s u n u m e r 10 L o k a l n e a k c j e p r o c e s u n u m e r 5 L o k a l n e a k c j e p r o c e s u n u m e r 1
Pr o c e s n u m e r 4 d z i a ł a n a z a s o b a c h d z i e l o n y c h P r o c e s n u m e r 2 d z i a ł a n a z a s o b a c h d z i e l o n y c h L o k a l n e a k c j e p r o c e s u n u m e r 4
P r o c e s n u mer 3 d z i a ł a n a z a s o b a c h d z i e l o n y c h L o k a l n e a k c j e p r o c e s u n u m e r 2
P r o c e s n u mer 1 d z i a ł a n a z a s o b a c h d z i e l o n y c h L o k a l n e a k c j e p r o c e s u n u m e r 3
P r o c e s n u m e r 9 d z i a ł a n a z a s o b a c h d z i e l o n y c h L o k a l n e a k c j e p r o c e s u n u m e r 1
P r o c e s n u mer 8 d z i a ł a n a z a s o b a c h d z i e l o n y c h L o k a l n e a k c j e p r o c e s u n u m e r 9
P r o c e s n u m e r 1 0 d z i a ł a n a z a s o b a c h d z i e l o n y c h L o k a l n e a k c j e p r o c e s u n u m e r 8
P r o c e s n u m e r 5 d z i a ł a n a z a s o b a c h d z i e l o n y c h L o k a l n e a k c j e p r o c e s u n u m e r 10
... K o n i e c s y m u l a c j i
E n d o f L O G L A N - 8 2 p r o g r a m e x e c u t i o n
P r o g r a m Z A S D m o ż e b y ć w y k o r z y s t a n y d o b a d a n i a z a g a d n i e ń s y n c h r o n i z a c j i p r o c e s ó w w k o m p u t e r z e w i e l o p r o c e s o r o w y m . P r o g r a m t e n m o ż e być p o d d a n y d a l s z e j r o z b u d o w i e p o l e g a j ą c e j na: d y n a m i c z n i e z m i e n i a j ą c e j s i ę l i c z b i e w s p ó ł p r a c u j ą c y c h p r o c e s ó w , b a r d z i e j r o z b u d o w a n y c h p r o c e d u r a c h w e j ś c i a i w yjścia, w z g l ę d n i e w i ę k s z e j l i c z b i e m o n i torów.
5. S y m u l a c j a p r z e j a z d u g r u p y p o j a z d ó w p r z e z o b s z a r k o n t r o l o w a n y
I n n y m p r z y k ł a d e m w y k o r z y s t a n i a w a l o r ó w s y m u l a c y j n y c h J ę z y k a L O G L A N m o ż e b yć p r z e j a z d g r u p y a b s t r a k c y j n y c h p o j a z d ó w p r z e z p e w i e n k o n t r o l o w a n y obszar. P r z y j m i j m y , ż e p o j a z d y w y p o s a ż o n e s ą w n a p ę d s p a l i n o w o - e l e k t r y c z n y , o r a z ż e o b s z a r e m k o n t r o l o w a n y m J e s t t e r e n u zdrowiska. I s t o t a sy t u a c j i k o n f l i k t o w e j p o l e g a n a tym, że p o j a z d y J a d ą z z a s a d y z w ł ą c z o n y m n a p ę d e m s p a l i n o w y m a u k ł a d k o m u n i k a c y j n y d r ó g w y m u s z a p r z e j a z d p r z e z t e r e n u z d r o w i s k a , w k t ó r y m z n a t u r y r z e c z y p a n u j ą p o d w y ż s z o n e r y g o r y o c h r o n y ś r o d o w i s k a Cm.in. p r z e d s p a l i n a m i } . K o n t r o l ę p o z i o m u s p a l i n w o t o c z e n i u p ro w a d z i w s p o s ó b c i ą g ł y C e n t r u m Z a r z ą d z a n i a U z d r o w i s k i e m . Je ż e l i p o z i o m s p a l i n p r z e k r o c z y w a r t o ś ć d o p u s z c z a l n ą , w ó w c z a s C e n t r u m w y s y ł a d r o g ą r a d i o w ą k o m u n i k a ! n a k a z u j ą c y w s z y s t k i m p o j a z d o m p r z e ł ą c z e n i e n a p ę d u ^ a ele k t r y c z n y . N i e s t e t y , n i e k a ż d y p o j a z d r e s p e k t u j e p o l e c e n i e C entrum; s ą
t e g o d w a powody: n i e w ł ą c z e n i e o d b i o r n i k a r a d i o w e g o n a d a n ą c z ę s t o t l i w o ś ć l u b z w y k ł e n i e z d y s c y p l i n o w a n i e . C e n t r u m n a t o m i a s t d y s p o n u j e m o ż l i w o ś c i ą s a n k c j i w p o s t a c i z a t r z y m a n i a C n a c z a s n i e o k r e ś l o n y } n i e z d y s c y p l i n o w a n e g o p o j a z d u p r z e z l o t n y patrol.
L I S T A E L E M E N T Ó W : C e n t r u m . O t o c z e n i e C ś r o d o w i s k o } . P o j a z d y ; L I S T A Z M I E N N Y C H O P I S O W Y C H :
Centrum:
S Y T U A C J A _ P C J A Z D Y : I N T E G E R . C a k t u a l n a l i c z b a p o j a z d ó w n a t e r e n i e u z d r o w i s k a }
S Y T U A C J A _ S P ALINY: REAL, C a k t u a l n y p o z i o m s p a l i n w o t o c z e n i u } K O M U N I K A T B O O L E A N , C w y s ł a n i e k o m u n i k a t u }
O t o c zenie:
L I C Z B A _ P O J A Z D O W : I N T E G E R . S U M A _ S P A L I N : REAL.
P o jazd:
C Z A S _ P R Z E J A Z D U S P A L I N Y
N A P Ę D _ S P A L I NO W Y
REAL.
R EAL.
B O O L E A N . C w ł ą c z o n y , w y ł ą c z o n y }
I N T E R A K C J A ELE M E N T Ó W :
- p o j a z d y o d d z i a ł y w u j ą n a O t o c z e n i e p o p r z e z w y d z i e l a n i e s p a lin, - o d d z i a ł y w a n i a w z a j e m n e p o j a z d ó w C s y t u a e j a r u c h o w a } n i e s ą
p r z e d m i o t e m r o z w a ż a ń ,
- C e n t r u m w s p o s ó b c i ą g ł y d o k o n u j e p o m i a r ó w p a r a m e t r ó w o t o c z e n i a , w p r z y p a d k u g d y p o z i o m s p a l i n p r z e k r o c z y ł w a r t o ś ć d o p u s z c z a l n ą - w y s y ł a n y J e s t k o m u n i k a t n a k a z u j ą c y p r z e ł ą c z e n i e n a p ę d u o r a z d o k o n y w a n a J e s t w y r y w k o w a k o n t r o l a 1 z a t r z y m y w a n i e n i e z d y s c y p l i n o w a n y c h p o j a z d ó w n a c z a s n i e o k r e ś l o n y .
P o n i ż e j p o d a n o l i s t i n g p r o g r a m u P O J A Z D Y S s y m u l u j ą c e g o p r z e d s t a w i o n e p o w y ż e j zaga d n i e n i e :
P R O G R A M P O J A Z D Y S ;
C e S y m u l c c j a p r z e j a z d u g r u p y p o j a z d o w p r z e z o b s z a r k o n t r o l o w a n y e}
Ce # L - e }
C e t r e s c k l a s y S I M U L A T I O N e}
C e#L+e}
B E G I N
P R E F S I M U L A T I O N BLOCK;
V A R C e z m i e n n e g l o b a l n e e}
C: C E N T R U M . O: O T O C Z E N I E . U: A R R A Y O F P O J A Z D .
N: I N T E G E R . C Z A S _ D O J A Z D U . Al.Bi: REAL.
N _ M A X : I N T E G E R , C e m a k s y m a l n a l i c z b a p o j a z d o w e}
I N T E N S REAL, C e w s p ó ł c z y n n i k i n t e n s y w n . s p a l i n e}
Przykłady r oz wiązywania pr cbl emów. 97
D O P_P O Z IO M _S P A L I N R E A L , C * S R _Z R O Z U M IE N IE R EA L, c * S R _ R O Z R E G _ S IL N IK A R EA L, c *
KROK _REJ R EA L, c *
C ZA S_SY M ULACJI REaL ,
FWE F I L E , c *
FWY F I L E ; c *
Ln w ot. *0
K/ani a *2)
s i l n i k a *C
*o
ych *0
*2)
U N I T POJAZD: S I M P R O C E S S C L A S S
C Z R O Z U M I E N I E , R O Z R E G _ S I L N I K A : R E A L 2>;
V A R
C Z A S _ P R Z E J A Z D U : REAL,
S P A L I N Y : REAL,
N A P E D _ S P A L I N O W Y : BO O L E A N , J U Z _ J E S T : BO O L E A N ;
B E G I N
J UZ_JEST: =TRUE;
C Z A S _ P R Z E J A Z D U : = C Z A S _ S Y M U L A C J I * R A N D O M + C Z A S _ D O J A Z D U ; D O
I F N O T C. K O M U N I K A T
T H E N N A P E D _ S P A L I N O W Y : =TRUE; C * z z a s a d y *2) F I ;
C * l o s o w a n i e c z y P O J A Z D w y k o n a p o l e c e n i e C e n t r u m *2) I F C. K O M U N I K A T A N D N A P E D _ S P A L I N O W Y T H E N
I F R A N D O M > S R _ Z R O Z U M I E N I E T H E N C * n i e w y k o n a ł ... *2)
N A P E D J S P A L I N O W Y : - T R U E E L S E C w wyk onal . . . *0
N A P E D _ S P A L I N O W Y : = F A L S E ; FI ;
F I ;
I F N A P E D S P A L I N O W Y
T H E N SPALINY: =1 NTENS*CRANDOM+ROZREG__SILNIKA2) E L S E SPALINY: =0. O;
FI ;
I F T T M E > C Z A S _ P R Z E J A Z D U
T H E N JUZ_JEST: =FALSE; C A L L P A S S I V A T E ; FI ;
C A L L H O L D C C Z A S _ P R Z E J A Z D U * R A N D O M 2 ) ; OD;
E N D POJAZD;
U N I T O T O C Z E N I E : S I M P R O C E S S CLASS;
V A R
L _ P O J A Z D O W , 1 : 1 N T E G E R , S U M A _ S P A L I N : REAL; % *
B E G I N D O
S U M A _ S P A L I N , L..POJ AZDOW: =0;
F O R I : =1 T O N _ M A X D O
I F UCI2). J U Z _ J E S T T H E N
S U M A „S P A L I N : = S U M A _ S P A L I N + U C 1 2). S PALI NY ; u _ P O J AZDOW: = L _ P O J A Z D O W + 1 ;
FI ; OD;
C A L L HDLDC22); C * p r a k t y c z n i e p r o c e s c i a g l y »2) OD;
E N D O T O C Z E N I E ;
U N I T CENTRUM: S I M P R O C E S S CLASS;
V A R
SY T U A C J A _ P O J A Z D Y SY T U A C J A _ S P A L I N Y K O M U N I K A T N U M E R _ D O _ K C N T R
B E G I N
I N T E G E R , INT E G E R , B O O L E A N , I N T E G E R ;
C * k o n t r o l a o b s z a r u n a d u z d r o w i s k i e m *D D O
S Y T U A C J A _ P O J A Z D Y : =0. L _ P O J A Z D O W ; S Y T U A C J A _ S P A L I N Y : =0. S U M A _ S P A L I N ;
W R I T E C F W Y , TIME: 6: 2. " L.POJ. ",S Y T U A C J A _ P O J A Z D Y : 4 D ; W R I T E L N C F W Y , ** S PALI N Y : ", SY T U A C J A _ S P AL. I NYD ;
I F S Y T U A C J A _ S P A L I N Y > = D O P _ P O Z I O M _ S P A L I N T H E N KOM U N I K A T : = T P U E E L S E KOM U N I K A T : = F A L S E FI ;
C « w y r y w k o w a k o n t r o l a *0 I F K O M U N I K A T T H E N
D O
N U M E R _ D O _ K O N T R : = R O U N D C N _ M A X * R A N D O M D ;
I F N l J M E R _ D O _ K O N T R < L O W E R C U D O R N U M E R _ D O _ K O N T R > U P P E R C U D T H E N R E P E A T
FI ;
IF U C N U M E R _ D O _ K O N T R D = N O N E T H E N E X I T
E L S E I F UC N U M E R _ D O _ K O N T R D . N A P E D _ S P A L I N O W Y A N D UC N U M E R _ D O _ K O N T R D . J U Z _ J E S T T H E N C * z a t r z y m a n i e P O J A Z D U *0
UC N U M E R _ D O J C O N T R D . J U Z _ JEST: = F A L S E ; C A L L C A N C E L C UC N U M E R _ D O _ K O N T R D D FI ;
EXIT;
F I ; OD;
F I ;
C A L L H O LDC K R O K _ R E J D ; OD;
E N D C E N T R U M ;
B E G I N C * p r o g r a m g l o w n y *D
C * c z y t a n i e p a r a m e t r ó w s y m u l a c j i «D
OPENC F W E .T E X T ,U N P A C K C " D A N E . WE"D D ; C A L L RE S E T C F W E D ;
RE A DLNC F W E , N _ M A X . I N r E N S , D O P _ P O Z l OM_SPAL.I N , S R _ Z R O Z U M I E N I E , S R _ R O Z R E G _ S I L N I K A .K R O K _ R E J ,C Z A S _ S Y M U L A C J I D ; K I L L C F W E D ;
C * e c h o d a n y c h w e j ś c i o w y c h
OPENC F W Y ,T E X T , U N P A C K C " W Y N I K I . D A T " D D ; W R I T E L N C F W Y ,
W R I T E L N C F W Y , W R I T E L N C F W Y , W R I T E L N C F W Y , W R I T E L N C F W Y , W R I T E L N C F W Y . W R I T E L N C F W Y , W R I T E L N C F W Y , W R I T E L N C F W Y . W R I T E L N C F W Y . W R I T E L N C F W Y ,
C A L L R E W R I T E C F W Y D ;
P A R A M E T R Y S Y M U L A C J I
' N _ M A X ",N _ M A X D ;
1 I N T E N S ", I N 1 E N S D ;
D O P _ P O Z I O M _ S P A L I N = ",D O P _ P O Z I O M _ S P A L I N D ;
’ S R J Z R O Z U M I E N I E " , 53R_ZROZUMI ENI ED ; ' S R _ R O Z R E G _ S I L N I K A = ",S R _ R O Z R E G _ S I L N I K A D ; 1 K R O K REJ ",K R O K _ R E J D ;
1 C Z A S S Y M U L A C J I ", CZAS__SY M U L A C JID ;
C * i n i c j a c j a g e n e r a t o r a l i c z b p s e u d o l o s o w y c h *D C A L L R A N S E T C Q88. 8 8 D ;
Przykłady rozwiązywania problemów. 99
C * g e n e r o w a n i e g r u p y p o j a z d o w *D A R R A Y U DI MC 1: N _ M A X D ;
F O R N: =1 T O W _ M A X D O
A l : —C R A N D O M + S R _ Z R O Z U M I E N I E D ; B I : = C R A N D O M + S R _ R O Z R E G _ S I L N I K A D / 2 ; UC ND : = N E W P O J A Z D C Al . BI D ;
C * w s t ę p n y c z a s d o j a z d u *D
C Z A S _ D O J A Z D U : =C C Z A S „ S Y M U L A C J I / I O D » R A N D O M ;
G A L L S C H E D U L E C UC ND * C Z A S _ D O J A Z DUD ; UC ND . JUZ_JEST: = F A L S E ; OD;
C * g e n e r o w a n i e C e n t r u m o r a z O t o c z e n i a *D C: = N E W C E N T R U M ; C A L L S C H E D U L E C C . 2 D ; O : - N E W O T O C Z E N I E ; C A L L S C H E D U L E C 0 , 1 D ;
C » k a r u z e l a z d a r z e ń , . . z a i n i c j o w a n a *D C A L L H O L D C C Z A S _ S Y M U L A C J I D ;
W R I T E L N C F W Y . *•==========-.===^====^============^=^== ===========*0 ; KILLC F W Y D ;
E N D
E N D POJAZ D Y S .
P r o g r a m P O J A Z D Y S z r e a l i z o w a n y z o s t a ł p r z y u ż y c i u 3 - c h simpro c e s s ó w : POJAZD. O T O C Z E N I E i CENTRUM. S i m p r o c e s s P O J A Z D r e a l i z u j e a k c j e p r z e j e ż d ż a j ą c e g o p o jazdu. J e ż e l i n i e ma k o m u n i k a t u C e n t r u m , t o w ł ą c z o n y Jest n a p ę d s p a l i n o w y ; j e ż e l i n a t o m i a s t J e s t k o m u n i k a t - w t e d y l o s o w a n e Je s t r z e c z y w i s t e r e s p e k t o w a n i e n a k a z u i w z a l e ż n o ś c i o d J e g o w y n i k u C u z a l e ż n i o n e g o o d d a n e j w e j ś c i o w e j S R _ Z R O Z U M I E N I E D w y ł ą c z a n y J e s t n a p ę d spalinowy. S i m p r o c e s s O T O C Z E N I E k u m u l u j e s u m a r y c z n y p o z i o m s p a l i n o r a z z l i c z a l i c z b ę p o j a z d ó w w u z d r o w i s k u . S i m p r o c e s s C E N T R U M w o t w a r t e j pętli n i e s k o ń c z o n e j d o k o n u j e k o n t r o l i o t o c z e n i a i r e j e s t r o w a n i a s y t u a c j i bieżącej. W z a l e ż n o ś c i o d " s y t u a c j i w s p a l i n a c h " z m i e n n a K O M U N I K A T u s t a w i a n a J e s t w s t a n T R U E l u b FALSE. G d y p o z i o m s p a l i n J e s t w y ż s z y od d o p u s z c z a l n e g o - d o k o n y w a n a j e s t w y r y w k o w a k o n t r o l a n u m e r u poj a z d u , k t ó r y w p r z y p a d k u n i e w y ł ą c z o n e g o n a p ę d u s p a l i n o w e g o z o s t a j e z a t r z y m a n y n a c z a s n i e o k r e ś l o n y C i n s t r u k c j a C A L L C A N C E L ..D .
Mo duł g ł ó w n y p r o g r a m u w c z y t u j e z d y s k u p a r a m e t r y s y m u l a c j i , i n i c j u j e g e n e r a t o r l i c z b p s e u d o l o s o w y c h , g e n e r u j e i n s t a n c j e w s z y s t k i c h s i m p r o c e s s ó w a n a s t ę p n i e p r z e k a z u j e i m s t e r o w a n i e p o ś r e d n i o p o p r z e z w y k o n a n i e i n s t r u k c j i C A L L H O L D C C Z A S _ S Y M U L A C J I D .
P o n i ż e j p o d a n o p r z y k ł a d o w e t r z y p r z e b i e g i w y k o n a n i a p r o g r a m u POJAZDYS:
p r z e b i e g 1
P A R A M E T R Y S Y M U L A C J I
N _ M A X = 5
I/.TENS = 3 . 0 0 0 0
D O P _ P O Z I O M _ S P A L I N = 3 0 . 0 0 0 0 S R _ Z R O Z U M I E N I E = 0 . 5 0 0 0 S R _ R O Z R E G „ S I L N T K A = 0 . 3 0 0 0
1 0 0 Roman Konieczny
K R O K _ R E J ■ 1 0 . 0 0 0 0
C Z A S _ S Y M U L A C J I = 1 0 0 . 0 0 0 0
2 . 0 0 L.POJ. 0 S P A L I N Y 0
1 2 . 0 0 L.POJ. 5 S P A L I N Y 1 4
2 2 . 0 0 L.POJ. 4. S P A L I N Y 11
3 2 . 0 0 L.POJ. 3 S P A L I N Y * 9
4 2 . 0 0 L.POJ. 3 S P A L I N Y 9
52. O O L.POJ. 3 S P A L I N Y 9
6 2 . 0 0 L.POJ. 2 S P A L I N Y 4
7 2 . 0 0 L.POJ. 2 S P A L I N Y 4
8 2 . 0 0 L.POJ. 2 S P A L I N Y 4
9 2 . 0 0 L.POJ. 2 S P A L I N Y 4
p r z e b i e g 2
P A R A M E T R Y S Y M U L A C J I
N _ M A X I N T E N S
D O P _ P O Z I O M _ £ P A L I N = S R Z R O Z U M I E N I E S R _ R O Z R E G _ S I L N I K A = K R O K _ R E J
C Z A S _ S Y M U L A C J I
5 3 3 0 0 0 1 0 1 0 0
O O O O O O O O 5 0 0 0 3 0 0 0 O O O O O O O O
li 1 ll 1 li li i ll liii iii ll i ll 1 ll 1 ll l
2. O O L. POJ. 1 S P A L I N Y 3
12. O O L. POJ. 5 S P A L I N Y 1 0
22. O O L. POJ. 5 S P A L I N Y 1 2
32. O O L. POJ. 5 S P A L I N Y 1 2
42. 0 0 L. POJ. 4 S P A L I N Y 9
52. 0 0 L. POJ. 4 S P A L I N Y 9
62. 0 0 L. POJ. 4 S P A L I N Y 11
72. 0 0 L. POJ. 2 S P A L I N Y 6
82. 0 0 L. POJ. 1 S P A L I N Y 2
92. 0 0 L. POJ. 1 S P A L I N Y 2
Drzebiea 3
P A R A M E T R Y S Y M U L A C J I
N_MAX = 1 0
IN T E N S = 3 3 OOOO
DOP P O Z IO M _ S P A L IN = 3 0 OOOO SR _ Z R O Z U M IE N IE = 0 5 0 0 0 SR R O Z R E G _ S IL N IK A = 0 3 0 0 0
KROK _REJ - 1 0 OOOO
CZAS_SYM ULA C JI = 1 0 0 OOGO~
2 . 0 0 L . P O J . 1 S P A L IN Y 1 3
1 2 . 0 0 L.POJ. 8 S P A L IN Y 2 1 0
2 2 . 0 0 L . P O J . 8 S P A L IN Y 2 1 4 3 2 . 0 0 L . P O J . 6 S P A L IN Y 1 4 7 4 2 . 0 0 L . P O J . 6 S P A L IN Y 1 4 7 5 2 . 0 0 L . P O J . 3 S P A L IN Y 9 8 6 2 . 0 0 L . P O J . 3 S P A L IN Y 64 7 2 . 0 0 L . P O J . 3 S P A L IN Y 64
8 2 . 0 0 L.POJ. 2 SPALINY: 22
9 2 . 0 0 L. POJ. 2 SPALINY: 2 2
Wyniki p r z e b i e g ó w 1 i 2 r ó ż n i ą s i ę m i m o t y c h s a m y c h d a n y c h w e j ściowych, ś w i a d c z y t o d o b r z e o J a k ości l o g l a n o w s k i e g o g e n e r a t o r a l i c z b p s e u d o l o s o w y c h C p o z w a ł a t o u z y s k a ć a u t e n t y c z n y n i e d e t e r m i n i z m w p r z e p r o w a d z a n y c h s e r i a c h e k s p e r y m e n t ó w s y m u l a c y j n y c h - c o n i e J e s t o b o j ę t n e dla b a d a ń o c h a r a k t e r z e s t a t y s t y c z n y m } . W p r z y p a d k u p r z e b i e g u nr 3 w i d a ć s u k c e s y w n e zmniejszań.! @ l i c z b y p o j a z d ó w b ę d ą c y c h w r u c h u n a sk u t e k d z i a ł a l n o ś c i C e n t r u m w s y t u a c j i , g d y p o z i o m s p a l i n p r z e k r o c z y ł d o p u s z c z a l n ą wartość.
Przykłady rozyd .ytywani a pr ob l em ów . . .. . 101
6. Uw agi, k o ń gp w ę
N a p o d s t a w i e z a p r e z e n t o w a n y c h w a r t y k u l e p r z y k ł a d ó w p r o g r a m ó w , a t a k ż e na p o d s t a w i e i n f o r m a c j i z a w a r t y c h w Cl] i C23, m o ż n a s t w i e r d z i ć d u ż ą p r z y d a t n o ś ć L O G L A N u d o b u d o w y p r o g r a m ó w s y m u l a c y j n y c h d l a r ó ż n e g o r o d z a j u zastosowań. N a l e ż y w t y m m i e j s c u p o d k r e ś l i ć d o d a t k o w y fakt, że l o g l a n o w s k a k lasa S I M U L A T ! O N m o ż e b y ć r o z b u d o w a n a o' n o w e p r o c e d u r y C d a l s z e g e n e r a t o r y l i c z b p s e u d o l o s o w y c h , h i s t o g r a m y , w y k r e s y w y n i k ó w , itd.D, a t a k ż e o e l e m e n t y s y m u l a c j i m i e s z a n e j C d y s k r e t n o - c i ą g ł e J } l u b w i e l o k o m p u t e r o w e j . Ba d a n i a n a d tymi z a g a d n i e n i a m i s ą p r o w a d z o n e a k t u a l n i e w I n s t y t u c i e T r a n s p o r t u P o l i t e c h n i k i Śląskiej.
L I T E R A T U R A
Cl] K O N I E C Z N Y R. : Z a s o b y s y m u l a c y j n e J ę z y k a L O G L A N - C n i n i e j s z y z e s z y t }
C2] K O N I E C Z N Y R. : J ę z y k p r o g r a m o w a n i a L O G L A N J a k o n a r z ę d z i e o p i s u m o d e l u s y s t e m u t r a n s p o r t o w e g o - C n i n i e j s z y z e s z y t J
C3] K O N I E C Z N Y R. , K R A W I E C S. : W y b r a n e z a g a d n i e n i a o p i s u f o r m a l n e g o s y s t e m u z ł o ż o n e g o - C n i n i e j s z y z e s z y t J
C4] K O N I E C Z N Y R. : S p e c y f i k a c j a f o r m a l n a w p r o j e k t o w a n i u p r o g r a m ó w k o m p u t e r o w y c h - łn i n i e j s z y z e s z y t J
C5] M A D E Y J . : O p r o g r a m o w a n i e w s p o m a g a j ą c e m o d e l o w a n i e s y s t e m ó w l i c z ą c y c h - P r o j e k t O S Kit - P A N I n s t y t u t I n f o r m a t y k i , PWN, W a r s z a w a 1 9 8 0 . C6] S Z C Z E P A Ń S K A D. : N a r z ę d z i a s y m u l a c y j n e a r t y k u ł z tomu: J ę z y k
p r o g r a m o w a n i a LO G LAN - M a t e r i a ł y Jesie n n e j S z k o ł y PTI, S e r o c k 1 9 8 S
C7] 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 ulacji. PWN, W a r s z a w a 1984.
E X A M P L E S O F S O L V I N G S I M U L A T T O N P R O B L E M S I N L O G L A N L A N G U A G E
S u m m a r y
T h e p r e s e n t a r t i c l e Is a c o n t i n u a t i o n o f t h e e l a b o r a t i o n Cl 3 r e f e r r i n g t o t h e L O G L A N s i m u l a t i o n r e s o u r c e s . P r e s e n t e d e x a m p l e s o f p r o g r a m s c a n make a real s y s t e m s i m u l a t o r s c o n s t r u c t i o n scheme.
T h e e x a m p l e s o f s i m u l a t i o n c o n s i d e r e d i n t h e p a p e r are: a n a b s t r a c t m a c h i n e o p e r a t i o n , s y s t e m w i t h d i v i d e d r e s o u r c e s a n d v e h i c l e g r o u p o v e r p a s s t h r o u g h t c o n t r o l l e d zone.
O n t h e b a s i s of t h e p r o g r a m e x a m p l e s p r e s e n t e d i n t h e p a p e r o n e can a s c e r t a i n g r e a t u s e f u l n e s s of L O G L A N for c o n s t r u c t i n g s i m u l a t i o n p r o g r a m s for d i f f e r e n t a p p l i c a t i o n s . I t s h o u l d b e a d d i t i o n a l y s t r e s s e d t h a t the L O G L A N S I M U L A T I O N c l a s s m a y b e d e v e l o p e d b y n e w p r o c e d u r e s C n ext p s e u d o - r a n d o m n u m b e r g e n e r a t o r s , bar c h a r t s , d i a g r a m s of t h e r e s u l t s , etc.}
a n d a l s o b y t h e e l e m e n t s of m i x e d C d i s c r e t e - c o n t i n u o u s } s i m u l a t i o n or m u l t i c o m p u t e r s i m u l a t i o n .
T h e r e s e a r c h o n t h e s e p r o b l e m s a r e c a r r i e d o n i n t h e I n s t i t u t e of T r a n s p o r t of S i l e s i a n T e c h n i c a l U n i v e r s i t y .
L Ö S U N G S B E I S P I E L E V O N S I M U L A T I O N S P R O B L E M E N I N D E R S P R A C H E L O G L A N
Z u s a m m e n f a s s u n g
V o r l i e g e n d e r A u f s a t z b i l d e t e i n e W e i t e r f ü h r u n g der die S i m u l a t i o n s v o r r ä t e der S p r a c h e L O G L A N b e t r e f f e n d e n B e a r b e i t u n g Ci 3. Die v o r g e s t e l l t e n P r o g r a m m m b e i s p i e l e k ö n n e n e i n g e w i s s e r S c h e m a z u m A u f b a n von S i m u l a t o r e n der r e a l e n S y s t e m e n bilden.
I m A u f s a t z w e r d e n f o l g e n d e S i m u l a t i o n s b e i s p i e l e b e t r a c h t e t : B e d i e n u n g e i ner a b s t r a k t e n E i n r i c h t u n g , S y s t e m m i t a u f g e t e i l t e n V o r r ö t e n sowie D u r c h f a h r t e i n e r F a h r z e u g s g r u p p e d u r c h k o n t r o l l e r t e s Gebiet.
Auf B a s i s p r ä s e n t i e r t e n B e i s p i e l e k a n n m a n f e s t s t e l l t e n , daß d i e S p r a c h e L O G L A N für A u f b a u v o n S i m u l a t i o n s p r o g r a m m e n bei u n t e r s c h i e d l i c h e n A n w e n d u n g e n n ü t z l i c h ist. M a n soll d a b e i e i n e z u s ä t z l i c h e Ta t s a c h e u n t e r s t r e i c h e n , daß d i e L O G L A N - k l a s s e S I M U L A T I O N u m n e u P r o z e d u r e n C w e i t e r e P s e u d o z u f a l l s z a h l g e n e r a t o r e n , H i s t o g r a m e , E r g e b n i s d i a g r a m m e , u.
dsgl. m.} e r t w e i t e r t w e r d e n kann.
D i e s e k l a s s e k a n n a u c h u m E l e m e n t e der gemischte-- C d i s k r e t —s t e t i g e n } und M e h r r e c h n e r S i m u l a t i o n a u s g e b a u t werden.
Auf d i e s e n G e b i e t l a u f e n a k t u e l l i m T r a n s p o r t i n s t i t u t dir S c h l e s i s c h e n
Przykłady rozwiązywania problemów. 103
T e c h n i s c h e n U n i v e r s i t ä t F o r s c h u n g s a r b e i t e n .
nPMMEPŁI PEBEHMH CMMYJIHUMOHHŁDC IIPOBJIEM HA H3hDCE POrJlAH
P e 3 » n e
flaHHaa p a ö o T a SBiisieTcs npo/iojixeHen p a 3 p a 6 o T K M Cl 3, Kacaiomeftcsi CHnyjisuHOHHboc p e c y p c o B si3t>iKa LOGLAN. IIpeACTaBJieHHfaie n p m - e p u n p o r p a n n M o r y r cjiyxHT cxenoft t o c t p oAk m CMMyjisrropoB peajibHbix c m cTen.
n p M w e p a M H CMMyjisujMÄ, p a c c n a TpHBaetiMMM b c r a T b e . h b j i h i o t c h: oócjiyacMBaHMe MHMiioro ycTpoftcTBa, C M C T e n a c ąeiiMMbiMM p e n y p c a n H a T a K i e irpoe3ą H e x o T o p o r o KOiiMMecTBa TpaHciTopTa M e p e 3 KOHTpaiiMpoBaHHbift ynacTOK.
H a T T p H M e p e T r p e ą c T a B J i e H H b o c b C T a T b e n p M n e p o s u p ó r p a w i , mojcho b h a b t ó o j i b m y i o n p M r o Ä H o c T h L O G L A N a äjisi i r o j i y M e H M s i C M M y jiH U M O H H b o c n p o r p a M M ajisi p a 3 J i H M H o r o p o ą a n p H M B H e M H ń . H e o ö x o d H n o n o ą M e p K H y T b , m t o jiotjohobckmA K J i a c c S I M U L A T I O N M o x e r 6 b m > p a c m n p e H H a H O B b i e n p o u e / i y p w C r e H e p a T o p u T T c e B A O c j i y M a f t H b i x M M c e j i , m c T o r p a n n b i , p i t c y H K M p e 3 y j i b T O B H r n . } , a T a x x e H a
a i i e n e H T b i cmbiibhhoä C H M y j is m M M C A M C K p e T H O - H e i r p e p u B H o f i O hjim-xe M H o r o K O i t T T b i O T e p H o A . M c c i i e ą o B a H M S i n o p a c c M a T p M B a e n o A T r p o f i J i e n a T M K e B e / t y T c s i b Ha c T o s i m e e B p e r i s i b H H C T i r r y T e T p a H c i r o p T a C K J i e 3 C K o r o I I o i i M T e x H M M e c K o r o M H C T M T y T a .
