Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
Рассмотрены основы синтеза безопасных систем управления движением поездов на ж/д станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов, соответственно, возни...
Gorde:
Egile nagusia: | |
---|---|
Formatua: | Liburua |
Argitaratua: |
СКФУ
|
Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|