Технологии / Техническое руководство
Конечные автоматы управления ветроустановкой: состояние, триггер и завершение
Конечный автомат представляет поведение через именованные состояния и заданные переходы. Его активное состояние обобщает логический контекст; оно не является автоматически прямым измерением состояния каждого физического компонента. Понимание этого различия помогает объяснить, почему запрос перехода и завершение соответствующего физического изменения могут происходить в разное время.
Переход логического состояния не доказывает завершения физического действия.
Прежде чем интерпретировать обозначение рабочего режима, разграничьте состояние, событие, условие и выходной запрос.
01 / Смысл состояния
Состояние определяет контекст поведения.
Модель с конечным числом состояний имеет заданный набор состояний.
Модель с конечным числом состояний имеет определённый набор состояний. Активное состояние может определять, какие правила или выходные сигналы применимы. Оно может обобщённо описывать режим, например ожидание или работу, не включая каждую непрерывную величину системы.
Объяснение переходов состояний в материалах MathWorks различает состояния и переходы. Непрерывная величина скорости или температуры может влиять на модель, оставаясь отличной от обозначения её состояния. Поэтому в два момента с одним и тем же активным состоянием физические значения могут различаться.
02 / События и условия переходов
Факт возникновения состояния и его соответствие критериям учёта — разные вещи.
Событие отмечает происшествие, значимое для оценки модели.
Событие отмечает факт, значимый для оценки модели. Защитное условие определяет, допустим ли переход. Событие может произойти, когда защитное условие остаётся ложным, поэтому модель не обязана менять состояние лишь потому, что получила событие.
Условие, связанное со временем, также отличается от поступления сообщения с более ранней временной меткой. Представленные временные соотношения и смысл условия влияют на то, позволяет ли наблюдаемая запись объяснить переход. Один лишь порядок событий не составляет всей модели.
03 / Граница действия
Команда на выходе является результатом работы логики.
Переход может формировать выходной сигнал или запрос на выполнение действия.
Переход может формировать выходной сигнал или запрос на действие. Принимающему механизму может требоваться время для отклика; он может столкнуться с ограничением или выдать отдельную индикацию. Поэтому выдача запроса и фактическое выполнение действия — разные утверждения.
Абстрактная модель может переходить в состояние B при выдаче запроса или использовать другое определённое состояние в ожидании подтверждения. Эти варианты имеют разную семантику. Это сравнение логических представлений, а не последовательность действий защиты турбины.
04 / Пробел в наблюдениях
Логика располагает только теми сигналами состояния, которые ей передаются.
Если завершение обозначается сигналом обратной связи, этот сигнал должен иметь реальный физический смысл.
Если завершение отображается посредством сигнала обратной связи, этот сигнал должен иметь реальный физический смысл. Эхо команды не равнозначно независимо наблюдаемому завершению. Отсутствующая, устаревшая или неоднозначная информация не может стать достигнутым физическим состоянием лишь потому, что обозначение состояния остаётся видимым.
Материал руководство по обратной связи объясняет заданные и измеренные величины. Конечный автомат может организовать принятие решений на основе этих величин; сам по себе он не повышает их точность и не определяет наличие дополнительных датчиков.
05 / Поведение при одновременных процессах
Одно обозначение может не описывать всю систему.
Несколько логических областей могут одновременно представлять разные функции.
Несколько логических областей могут одновременно представлять разные функции. Активное состояние одной функции не обязательно определяет состояние другой. Аналогично, режим более высокого уровня может содержать более детальные подсостояния, различие между которыми важно для интерпретации события.
Поэтому обозначения состояний следует интерпретировать в пределах той области, которую они описывают. Сводный статус «активно» в зависимости от модели может означать разрешение, выбранный режим или фактически выполняемую работу. Эти значения нельзя вывести из одного лишь слова.
06 / Область применения продукта
Концептуальная логика рассматривается отдельно от поведения системы управления в выпущенной версии.
Полезное объяснение выделяет смоделированное состояние, допустимый переход, выданный запрос и подтвержденное физическое наблюдение.
Для корректной интерпретации следует различать моделируемое состояние, допустимый переход, выданный запрос и подкрепленное данными физическое наблюдение. руководство по реагированию на отказы рассматривает отдельный вопрос о функциях в условиях определенных сбоев.
Здесь не раскрываются и не задаются список состояний MARSTON, условие разрешения перехода, сигнал завершения или реализация защиты. Объяснение не содержит последовательности работы, команды сброса, внесения неисправностей или процедуры изменения состояния оборудования.
Продолжите рассмотрение с помощью Обратная связь по повороту гондолы: уставка, измерение и ошибка в замкнутом контуре.
Продолжите рассмотрение с помощью Безопасность при отказе и сохранение работоспособности при отказе: концепции управления ветротурбиной.
Продолжите рассмотрение с помощью Насыщение управления, интегральное насыщение и защита от интегрального насыщения.
Общие сведения: MathWorks: состояния, события, условия переходов и действия при переходах. Эти источники объясняют отраслевые понятия; они рассматриваются отдельно от применимой документации MARSTON на продукцию и проект.
Ключевые понятия и условия.
Рассматривайте каждую величину с её отсчётом, единицами и условиями. Общая зависимость не устанавливает значение для конкретной модели.
| Понятие / величина | Смысл / связь | Условия / пределы |
|---|---|---|
| Состояние | Контекст действующей логики | Его физическое толкование необходимо определить. |
| Событие | Соответствующее событие | Это не обязательно делает переход допустимым. |
| Условие перехода | Условие перехода. | Выполнение условий разрешения действия отличается от завершения самого действия. |
| Запрос на действие | Выходной сигнал, формируемый логикой | Запрошенные и достигнутые эффекты могут различаться. |
| Индикация завершения | Наблюдение с определенным физическим смыслом | Одного эхо-подтверждения команды недостаточно. |
Инженерные вопросы.
Всегда ли обозначение состояния является прямым измерением?
Нет. Это может описывать логический режим, разрешение или сводку.
Вызывает ли каждое событие переход?
Нет. Заданные условия переходов и контекст модели также имеют значение.
Является ли переход в состояние свидетельством завершения движения?
Только если такое завершение входит в определённый и обоснованный смысл состояния.
Могут ли несколько функций иметь разные состояния активности?
Да. Совместное или вложенное поведение может иметь разные границы.
Является ли эхо команды физическим подтверждением?
Не автоматически. Это может показывать лишь запрошенное действие.
Публикуется ли на этой странице логика защиты турбины?
Нет. Здесь объясняются принципы без конкретных условий разрешения переходов или рабочих последовательностей.
Технический запрос
Обсудите технический вопрос.
Конечный автомат описывает поведение через именованные состояния и определённые переходы. Предоставьте модель и применимые сведения об эксплуатации или проектировании для инженерного обсуждения.