This paper is devoted to the problem of synthesis of algorythmic refl ection of railway automation and remote control life cycle as complex queuing system (CQS). It is accepted that algorythmic refl ection s presented as request service algorythm (RSA), it should be formalised on PLSA language and used as the base for simulation models (SM) of CQS. Expediency of synthesis of united RSA is shown. The defi nition of united RSA is given. Authors offer the method of algorythm union based of formation of occurrence matrix of basic PLSA alphabet, analysis of its fragmentation, that allows to synthesize the united RSA with occurring once of basic PLSA alphabet elements, minimum number of separation logical conditions and minimized number of diriding logical conditions logical functions. Implementation of offered method of algorythm union allows to reduce the amount of SM and therefore the number of errors in simulation software.
railway automation and remote control life cycle provision systems, complex queuing systems, simulation modeling, request service algorythm, united algorythm, occurrence matrix, separation logical conditions
1. Sapozhnikov Vl. V. Dokazatel'stvo bezopasnosti sistem zh.-d. avtomatiki / Vl. V. Sapozhnikov, O. A. Nasedkin // Nauka i transport. - 2006. - S. 10-13.
2. Nasedkin O. A. Osobennosti ispytaniya MPU ZhAT / O. A. Nasedkin, E. V. Ledyaev // Avtomatika svyaz', informatika. - 2012. - № 7. - S. 30-32.
3. Vasil'ev D. A. Ekspertnaya programma dlya provedeniya ispytaniy tehnologicheskogo programmnogo obespecheniya sistem mikroprocessornoy centralizacii / D. A. Vasil'ev, S. V. Gizler, O. A. Nasedkin, M. P. Shayfer // Razvitie elementnoy bazy i sovershenstvovanie metodov postroeniya ustroystv zheleznodorozhnoy avtomatiki i telemehaniki : sb. nauch. tr. ; pod. red. Vl. V. Sapozhnikova. - SPb. : FGBOU VPO PGUPS, 2014. - S. 39-42.
4. Nasonov G. F. Avtomatizirovannaya sistema monitoringa proektirovaniya, proizvodstva, stroitel'stva i provedeniya puskonaladochnyh rabot po sistemam SCB / G. F. Nasonov, M. N. Vasilenko, P. E. Bulavskiy // Transport Rossiyskoy Federacii. - 2010. - № 3. - S. 46-49.
5. Vasilenko M. N. Avtomatizirovannaya sistema ekspertizy shemnyh resheniy zheleznodorozhnoy avtomatiki i telemehaniki / M. N. Vasilenko, A. M. Gorbachev, D. V. Zuev, E. V. Grigor'ev // Transport Rossiyskoy Federacii. - 2011. - № 5. - S. 64-67.
6. Molodcov V. P. Sistemy dispetcherskogo kontrolya i monitoringa ustroystv zheleznodorozhnoy avtomatiki i telemehaniki : ucheb. posobie / V. P. Molodcov, A. A. Ivanov. - SPb. : Peterburgskiy gos. un-t putey soobscheniya, 2010. - 140 s.
7. Efanov D. V. Obespechenie bezopasnosti dvizheniya za schet tehnicheskogo diagnostirovaniya i monitoringa ustroystv zheleznodorozhnoy avtomatiki i telemehaniki / D. V. Efanov, P. A. Plehanov // Transport Urala. - 2011. - № 3. - S. 44-48.
8. Lykov A. A. Tehnicheskoe diagnostirovanie i monitoring sostoyaniya ustroystv ZhAT / A. A. Lykov, D. V. Efanov, S. V. Vlasenko // Transport Rossiyskoy Federacii. - 2012. - № 5. - S. 67-72.
9. Efanov D. V. Nekotorye aspekty razvitiya sistem funkcional'nogo kontrolya ustroystv zheleznodorozhnoy avtomatiki i telemehaniki / D. V. Efanov // Transport Urala. - 2015. - № 1. - S. 35-40.
10. Telezhenko T. A. Avtomatizirovannaya sistema ekspertizy shemnyh resheniy ZhAT / T. A. Telezhenko // Avtomatika, svyaz', informatika. - 2009. - № 5. - S. 24-26.
11. Vasilenko M. N. Elektronnyy dokumentooborot v hozyaystve SCB / M. N. Vasilenko, V. G. Trohov, D. V. Zuev // Avtomatika, svyaz', informatika. - 2014. - № 8. - S. 2-3.
12. Vasilenko M. N. Razvitie elektronnogo dokumentooborota v hozyaystve AT / M. N. Vasilenko, V. G. Trohov, D. V. Zuev, D. V. Sedyh // Avtomatika, svyaz', informatika. - 2015. - № 1. - S. 14-16.
13. Nesterov V. V. Razvitie sistem STDM, ASU-Sh-2 i AOS-ShCh / V. V. Nesterov // Avtomatika, svyaz', informatika. - 2012. - № 12. - S. 45-46.
14. Informacionnye tehnologii : uchebnik dlya vuzov / B. Ya. Sovetov, V. V. Cehanovskiy. - M. : Vysshaya shkola, 2003. - 263 s. Elektronnoe modelirovanie 429 Avtomatika na transporte № 4, tom 1, dekabr' 2015
15. Bulavskiy P. E. Matrichnyy metod formalizacii imitacionnyh modeley slozhnyh sistem massovogo obsluzhivaniya / P. E. Bulavskiy, D. S. Markov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2010. - № 4. - S. 186-195.
16. Aliev T. I. Osnovy modelirovaniya diskretnyh sistem / T. I. Aliev. - SPb. : SPbGU ITMO, 2009. - 363 s.
17. GPSSWORLD. Osnovy imitacionnogo modelirovaniya razlichnyh sistem / E. M. Kudryavcev. - M. : DMK Press, 2004. - 317 s.
18. Markov D. S. Metod porcionnogo modelirovaniya transportnyh sistem massovogo obsluzhivaniya / D. S. Markov, V. B. Sokolov // Razvitie elementnoy bazy i sovershenstvovanie metodov postroeniya ustroystv zheleznodorozhnoy avtomatiki i telemehaniki : sb. nauch. tr. ; pod red. Vl. V. Sapozhnikova. - SPb. : FGBOU VPO PGUPS, 2014. - S. 43-47.
19. Sintez upravlyayuschih avtomatov / V. G. Lazarev, E. I. Piyl'. - M. : Energiya, 1984. - 408 s.
20. D'yachenko V. F. Upravlenie na setyah svyazi / V. F. D'yachenko, V. G. Lazarev, G. G. Savvin. - M. : Nauka, 1967. - 223 s.
21. Balci O. Verifi cation, validation and accreditation / O. Balci // Proceedings of the 1998 Winter Simulation Conference, Washington, DC, USA, December 13-16, Piscataway, NJ, 1998. - Pp. 41-48.
22. Shamanov V. I. Upravlenie processom modernizacii kompleksov sistem zheleznodorozhnoy avtomatiki i telemehaniki / V. I. Shamanov // Avtomatika na transporte. - 2015. - T. 1. - № 3. - S. 237-250.
23. Carson J. S. Model verifi cation and validation / J. S. Carson // Proceedings of the 2002 Winter Simulation Conference, San Diego, CA, USA, December 08-11, 2002. - Pp. 52-58.
