Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
Рассмотрены основы синтеза безопасных систем управления движением поездов на ж/д станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов, соответственно, возни...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Publié: |
СКФУ
|
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Résumé: | Рассмотрены основы синтеза безопасных систем управления движением поездов на ж/д станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов, соответственно, возникновения катастрофических нарушений в работе, вызывающих угрозы пассажирам и перевозимым грузам. |
|---|