Exponenta Banner

Stateflow.StateTransitionTableChart

Табличное представление конечного автомата для модальной логики

развернуть все на странице

    Описание

    Использование Stateflow.StateTransitionTableChart объект для создания табличного представления конечного конечного автомата для модальной логики. Преимущества использования таблиц переходов состояний включают:

    • Простота моделирования поездоподобных машин состояний, где модальная логика включает переходы от одного состояния к своему соседу

    • Краткий, компактный формат для конечного автомата

    • Сокращение времени на работу с графическими объектами

    Для получения дополнительной информации смотрите Таблицы переходов состояний в Stateflow.

    Создание

    Как создать Stateflow.StateTransitionTableChart объект, вызовите функцию sfnew с -STT аргумент. Например, чтобы создать State Transition Table блок в новом Simulink® модель называется myModel, введите:

    sfnew -STT myModel

    Кроме того, можно добавить новый блок State Transition Table к существующей модели с помощью функции add_block (Simulink):

    add_block('sflib/State Transition Table','myModel/State Transition Table')

    Затем, чтобы получить доступ к Stateflow.StateTransitionTableChart объект, вызовите find функция для Simulink.Root объект:

    rt = sfroot;
table = find(rt,'-isa','Stateflow.StateTransitionTableChart', ...
    'Path','myModel/State Transition Table');

    Свойства

    расширить все

    Содержимое

    Имя таблицы переходов состояний, заданное как вектор символов.

    Язык действия, используемый для программирования таблицы переходов состояний, задается как 'MATLAB' или 'C'. Для получения дополнительной информации смотрите Различия между MATLAB и C как синтаксис языка действий.

    Семантика конечного автомата, реализованная таблицей переходов состояний, заданная как 'Classic', 'Mealy', или 'Moore'. Для получения дополнительной информации смотрите Обзор машин Мили и Мура.

    Поддерживает ли таблица переходов состояний данные переменного размера, заданные в виде числа или логического 1 (true) или 0 (false). Только данные переменного размера могут изменить размерность во время симуляции. Для получения дополнительной информации см. «Объявление данных переменного размера в диаграммах Stateflow».

    Инициализация графика

    Является ли инициализация строения состояния таблицы перехода состояния в начальный момент времени вместо при первом входном событии, заданная в виде числа или логического 1 (true) или 0 (false). Для получения дополнительной информации смотрите Выполнение графика при инициализации.

    Поведение состояний, когда входное событие вызова функции вновь включает таблицу переходов состояний, заданную как одно из следующих значений:

    • '' - Таблица переходов состояний не содержит входных событий вызова функции.

    • 'held' - Таблица переходов состояний поддерживает самые последние значения состояний.

    • 'reset' - Таблица переходов состояний возвращается к начальным условиям состояний.

    Для получения дополнительной информации смотрите Состояния управления в Графиках, активируемых входными Событиями вызова функции.

    Является ли инициализация выходных данных каждый раз, когда таблица перехода состояния просыпается, задается в виде числа или логического 1 (true) или 0 (false). Для получения дополнительной информации смотрите Инициализация выходов каждый раз, когда график просыпается.

    Выход активного состояния

    Создайте ли активный выходной порт данных о состоянии для таблицы переходов состояний в виде числа или логического 1 (true) или 0 (false). Для получения дополнительной информации смотрите Мониторинг активности состояния через данные активного состояния.

    Это свойство доступно только для чтения.

    Объект данных активного состояния для таблицы переходов состояний, заданный как Stateflow.Data объект. Это свойство применяется только когда HasOutputData свойство для таблицы переходов состояний true.

    Имя объекта данных активного состояния для таблицы переходов состояний, заданное как вектор символов. Это свойство применяется только когда HasOutputData свойство для таблицы переходов состояний true.

    Режим мониторинга данных выходов активного состояния, заданный как 'ChildActivity' или 'LeafStateActivity'.

    Имя перечисляемого типа данных для объекта данных активного состояния для таблицы переходов состояний, заданное как вектор символов. Для получения дополнительной информации см. раздел «Имя перечисления».

    Задавать ли перечисляемый тип данных для выхода данных о активном состоянии вручную, задается в виде числа или логического 1 (true) или 0 (false). Для получения дополнительной информации смотрите Задать перечисляемый тип действий состояния.

    Дискретная и непрерывная семантика

    Метод активации для таблицы переходов состояний, заданный как 'CONTINUOUS', 'DISCRETE', или 'INHERITED'. Для получения дополнительной информации см. «Метод обновления».

    Шаг расчета для активации таблицы переходов состояний, заданный как вектор символов. Это свойство применяется только когда ChartUpdate свойство для таблицы переходов состояний 'DISCRETE'.

    Активировать ли обнаружение пересечения нулем при переходах состояний в таблице переходов состояний, заданной в виде числа или логического 1 (true) или 0 (false). Это свойство применяется только когда ChartUpdate свойство для таблицы переходов состояний установлено в 'CONTINUOUS'. Для получения дополнительной информации смотрите Отключение обнаружения пересечения нулем.

    Семантика супер-шага

    Активировать ли семантику супер-шага для таблицы переходов состояний, заданную в виде числа или логического 1 (true) или 0 (false). Для получения дополнительной информации см. Раздел «Семантика супер-шагов».

    Максимальное количество переходов, которые может взять таблица переходов за один супер шаг, заданный как целочисленный скаляр. Это свойство применяется только когда EnableNonTerminalStates свойство для таблицы переходов состояний true.

    Поведение, если супершаг для таблицы переходов состояний превышает максимальное количество переходов, заданное в NonTerminalMaxCounts свойство до достижения устойчивого состояния, заданное в качестве одного из следующих значений:

    • 'Proceed' - Таблица перехода состояния переходит в состояние ожидания с последним активным строением состояния.

    • 'Throw Error' - Таблица переходов состояний генерирует ошибку.

    Это свойство применяется только когда EnableNonTerminalStates свойство для таблицы переходов состояний true.

    Целое число и данные с фиксированной точкой

    Насыщаются ли данные в таблице переходов состояний при целочисленном переполнении, заданном в виде числа или логического 1 (true) или 0 (false). Когда это свойство отключено, данные в таблице переходов состояний переносятся при целочисленном переполнении. Для получения дополнительной информации смотрите Handle Integer Overflow для данных графика.

    Унаследованные сигналы Simulink для обработки как Fixed-Point Designer™ fi объекты, заданные как одно из следующих значений:

    • 'Fixed-point' - Таблица переходов состояний обрабатывает все входы с фиксированной точкой следующим fi объекты.

    • 'Fixed-point & Integer' - Таблица переходов состояний обрабатывает все входы с фиксированной точкой и целое число следующим fi объекты.

    Это свойство применяется только когда ActionLanguage свойство таблицы переходов состояний 'MATLAB'.

    Значения по умолчанию fimath свойства для таблицы переходов состояний, заданные в качестве одного из следующих значений:

    • 'Same as MATLAB Default' - Использовать ту же fimath свойства как текущее значение по умолчанию fimath объект.

    • 'Other:UserSpecified' - Используйте InputFimath свойство для задания fimath по умолчанию объект.

    Это свойство применяется только когда ActionLanguage свойство таблицы переходов состояний 'MATLAB'.

    Значения по умолчанию fimath объект, заданный как вектор символов. Когда EmlDefaultFimath свойство для таблицы переходов состояний 'Other:UserSpecified', вы можете использовать это свойство для:

    • Введите выражение, которое создает fimath объект.

    • Введите имя переменной для fimath объект в MATLAB® или моделировать рабочую область.

    Это свойство применяется только когда ActionLanguage свойство таблицы переходов состояний 'MATLAB'.

    Язык действий на C

    Использовать ли сильное типирование данных, когда таблица переходов состояний взаимодействует с входными и выходными сигналами Simulink, заданными в виде числа или логического 1 (true) или 0 (false). Это свойство применяется только к таблицам переходов состояний, которые используют C в качестве языка действий. Для получения дополнительной информации смотрите Использование сильного набора данных с Simulink ввод-вывод.

    Использовать ли битовые операции в состоянии и переходные действия в таблице переходов состояний, заданной в виде числа или логического 1 (true) или 0 (false). Это свойство применяется только к таблицам переходов состояний, которые используют C в качестве языка действий. Для получения дополнительной информации смотрите Включить C-битные операции.

    Отладка

    Устанавливать ли On Chart Entry точка останова для таблицы переходов состояний, заданная в виде числа или логического 1 (true) или 0 (false).

    Пример: table.Debug.Breakpoints.OnEntry = true;

    Графический внешний вид

    Это свойство доступно только для чтения.

    Редактор таблицы переходов состояний, заданный как Stateflow.Editor объект. Можно использовать этот объект для управления положением, размером и уровнем увеличения Stateflow® Окно редактора.

    Отображает ли Редактора Stateflow окно таблицу переходов состояний, заданную в виде числа или логического 1 (true) или 0 (false).

    Цвет фона для графика, которая автоматически генерируется для таблицы переходов состояний, задается как трехэлементный числовой вектор формы [red green blue] который задает красное, зеленое и синее значения. Каждый элемент должен находиться в области значений от 0 до 1.

    Цвет для полей, функций и состояний на графике, который автоматически генерируется для таблицы переходов состояний, заданный как трехэлементный числовой вектор формы [red green blue] который задает красное, зеленое и синее значения. Каждый элемент должен находиться в области значений от 0 до 1.

    Цвет для переходов на графике, который автоматически генерируется для таблицы переходов состояний, заданный как трехэлементный числовой вектор формы [red green blue] который задает красное, зеленое и синее значения. Каждый элемент должен находиться в области значений от 0 до 1.

    Цвет для соединений на графике, который автоматически генерируется для таблицы переходов состояний, заданный как трехэлементный числовой вектор формы [red green blue] который задает красное, зеленое и синее значения. Каждый элемент должен находиться в области значений от 0 до 1.

    Цвет для меток поля, функции и состояния на графике, который автоматически генерируется для таблицы переходов состояний, заданный как трехэлементный числовой вектор формы [red green blue] который задает красное, зеленое и синее значения. Каждый элемент должен находиться в области значений от 0 до 1.

    Угол шрифта для меток поля, функции и состояния на графике, который автоматически генерируется для таблицы переходов состояний, задается как 'NORMAL' или 'ITALIC'.

    Пример: table.StateFont.Angle = 'ITALIC';

    Толщина шрифта для меток ящика, функции и состояния на графике, который автоматически генерируется для таблицы переходов состояний, задается как 'NORMAL' или 'BOLD'.

    Пример: table.StateFont.Weight = 'BOLD;

    Начальный размер шрифта для меток аннотации, куба, функции и состояния на графике, который автоматически генерируется для таблицы переходов состояний, задается как скаляр.

    Пример: table.StateFont.Size = 8;

    Название шрифта для меток аннотации, поля, функции и состояния на графике, который автоматически генерируется для таблицы переходов состояний, задается как вектор символов.

    Пример: table.StateFont.Name = 'Arial';

    Цвет меток переходов на графике, который автоматически генерируется для таблицы переходов состояний, задается как трехэлементный числовой вектор формы [red green blue] который задает красное, зеленое и синее значения. Каждый элемент должен находиться в области значений от 0 до 1.

    Угол шрифта для меток переходов на графике, который автоматически генерируется для таблицы переходов состояний, задается как 'NORMAL' или 'ITALIC'.

    Пример: table.TransitionFont.Angle = 'ITALIC';

    Толщина шрифта для меток переходов на графике, который автоматически генерируется для таблицы переходов состояний, задается как 'NORMAL' или 'BOLD'.

    Пример: table.TransitionFont.Weight = 'BOLD';

    Начальный размер шрифта для меток переходов на графике, который автоматически генерируется для таблицы переходов состояний, задается как скаляр.

    Пример: table.TransitionFont.Size = 8;

    Название шрифта для меток перехода на графике, который автоматически генерируется для таблицы переходов состояний в виде вектора символов.

    Пример: table.TransitionFont.Name = 'Arial';

    Иерархия

    Это свойство доступно только для чтения.

    Машина, которая содержит таблицу переходов состояний, заданную как Stateflow.Machine объект.

    Это свойство доступно только для чтения.

    Расположение таблицы переходов состояний в иерархии модели, заданное как вектор символов.

    Изменилась ли таблица переходов после открытия или сохранения, заданная в виде числа или логики 1 (true) или 0 (false).

    Является ли таблица переходов состояний заблокированной, задается как число или логический 1 (true) или 0 (false). Включите это свойство, чтобы предотвратить изменения в таблице переходов состояний.

    Это свойство доступно только для чтения.

    Является ли таблица переходов состояний заблокированной, задается как число или логический 1 (true) или 0 (false). Это свойство эквивалентно свойству Locked, но используется внутри для предотвращения изменений в таблице переходов состояний во время симуляции.

    Идентификация

    Описание таблицы переходов состояний, заданное как вектор символов.

    Ссылка на документ для таблицы переходов состояний, заданная как вектор символов.

    Пользовательский тег для таблицы переходов состояний, заданный как данные любого типа.

    Это свойство доступно только для чтения.

    Уникальный идентификатор, заданный как целочисленный скаляр. Используйте это свойство, чтобы отличить таблицу переходов состояний от других объектов модели. Значение этого свойства переназначается каждый раз, когда вы запускаете новый сеанс работы с MATLAB, и может быть повторно использовано после удаления объекта.

    Функции объекта

    classhandleПредоставьте указатель на класс для объекта
    dialogОткройте диалоговое окно свойств
    findЗаданные объекты в иерархии
    getВерните структуру MATLAB, содержащую настройки свойств объекта или массива объектов
    parseПроанализируйте один график или все графики в модели
    setУстановите свойства с заданными значениями
    viewОтобразите объект в среде редактирования

    Примеры

    свернуть все

    Вызовите функцию sfnew с -STT аргумент для открытия новой модели Simulink, которая содержит пустой блок State Transition Table.

    sfnew -STT

    Доступ к Simulink.Root объект вызовом sfroot функция.

    rt = sfroot;

    Доступ к Stateflow.StateTransitionTableChart объект вызовом find функция для Simulink.Root объект.

    table = find(rt,'-isa','Stateflow.StateTransitionTableChart');

    См. также

    Блоки

    Функции

    Темы

    Введенный в R2012b

    Документация Stateflow

    Поддержка