Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
Рассмотрены основы синтеза безопасных систем управления движением поездов на ж/д станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов, соответственно, возни...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Vydáno: |
СКФУ
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|