Методи матричної інтерпретації підсистеми логічних залежностей мікропроцесорної централізації стрілок та сигналів

Abstract

UA: Розроблені методи аналітичної інтерпретації графічних моделей підсистеми логічних залежностей мікропроцесорної централізації стрілок та сигналів з використанням топологічних матриць. Дані методи дозволяють виконати компактне та наочне аналітичне представлення підсистеми логічних залежностей станцій великої розмірності, яке може бути застосоване в якості критерію адекватності комплексної випробувальної моделі. Матричне представлення підсистеми логічних залежностей передбачає попереднє розбиття графу даної підсистеми на компоненти, які наділені функціональною завершеністю з позиції моделювання поїзних та маневрових переміщень на залізничній станції, що обумовлює надмірність вихідних блоків топологічних матриць, яка виявляється в наявності спільних елементів в суміжних блоках.

EN: The methods of analytical interpretation of graphic models of subsystem processing logical dependences of microprocessor interlocking of pointers and signals with the use of topological matrices are developed. These methods allow to execute compact and evident presentation of subsystem processing logical dependences of the large dimension stations, which can be used as a complex test-bed criterion of adequacy. Matrix presentation of subsystem of logical dependences is foreseen by the previous laying out the count of this subsystem on components, which are provided with a functional completeness from position of design of the train and mobile moving at the railway station, which stipulates surplus of initial blocks of topological matrices, which appears in a presence general elements in contiguous blocks. Coming from it at development of transition method from the sectional laying out to the continuous topological matrix the exception of general columns and term is foreseen from blocks which are formed on basis the count of subsystem of logical dependences of microprocessor interlocking.