Stateflow.TruthTableChart

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

Описание

Использование Stateflow.TruthTableChart объекты для создания truth table блоков, которые реализуют комбинаторный логический проект в кратком, табличном формате. Типичные приложения включают принятие решений для:

Обнаружение и управление отказом
Переключение режимов

Truth table блоки выполняются как Simulink^® блокирует и обеспечивает более прямую реализацию логики принятия решений, чем использование функций таблицы истинности в Stateflow^® чарты. Для получения дополнительной информации смотрите Использование Таблиц Истинности для Моделирования Комбинаторной Логики.

Создание

Как создать Stateflow.TruthTableChart объект, вызовите функцию sfnew с -TT аргумент. Например, чтобы создать Truth Table блок в новой модели Simulink под названием myModel, введите:

sfnew -TT myModel

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

add_block('sflib/Truth Table','myModel/Truth Table')

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

rt = sfroot;
table = find(rt,'-isa','Stateflow.TruthTableChart', ...
    'Path','myModel/Truth Table');

Свойства

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

Содержимое

`Name` - Имя таблицы истинности
`'Truth Table'` (по умолчанию) | вектор символов

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

`ActionTable` - Таблица действий
массив ячеек из векторов символов

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

`ConditionTable` - Таблица условий
массив ячеек из векторов символов

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

`SupportVariableSizing` - Поддерживает ли таблица истинности данные переменного размера
`true` или 1 (по умолчанию) | `false` или 0

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

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

`ChartUpdate` - Метод активации для таблицы истинности
`'INHERITED'` (по умолчанию) | `'CONTINUOUS'` | `'DISCRETE'`

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

`SampleTime` - Шаг расчета для активации таблицы истинности
`'-1'` (по умолчанию) | вектор символов

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

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

`SaturateOnIntegerOverflow` - Насыщаются ли данные при целочисленном переполнении
`true` или 1 (по умолчанию) | `false` или 0

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

`TreatAsFi` - Унаследованные сигналы Simulink для обработки как `fi` объекты
`'Fixed-point'` (по умолчанию) | `'Fixed-point & Integer'`

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

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

`EmlDefaultFimath` - По умолчанию `fimath` свойства
`'Same as MATLAB Default'` (по умолчанию) | `'Other:UserSpecified'`

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

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

`InputFimath` - По умолчанию `fimath` объект
вектор символов

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

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

Отладка

`OverSpecDiagnostic` - Уровень диагностики при переопределении таблицы истинности
`'Error'` (по умолчанию) | `'Warning'` | `'None'`

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

`UnderSpecDiagnostic` - Уровень диагностики при недоопределении таблицы истинности
`'Error'` (по умолчанию) | `'Warning'` | `'None'`

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

Иерархия

`Machine` - Машина, содержащая таблицу истинности
`Stateflow.Machine` объект

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

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

`Path` - Расположение таблицы истинности в иерархии модели
вектор символов

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

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

`Dirty` - Изменилась ли таблица истинности
`true` или 1 | `false` или 0

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

`Locked` - Заблокирована ли таблица истинности
`false` или 0 (по умолчанию) | `true` или 1

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

`Iced` - Заблокирована ли таблица истинности
`false` или 0 (по умолчанию) | `true` или 1

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

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

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

`Description` - Описание
`''` (по умолчанию) | вектор символов

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

`Document` - Ссылка на документ
`''` (по умолчанию) | вектор символов

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

`Tag` - Определяемый пользователем тег
`[]` (по умолчанию) | любой тип данных

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

`Id` - Уникальный идентификатор
скаляр

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

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

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

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

Примеры

свернуть все

Создайте пустую таблицу истинности

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

sfnew -TT

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

rt = sfroot;

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

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

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

Stateflow.TruthTableChart

Описание

Создание

Свойства

Содержимое

Name - Имя таблицы истинности 'Truth Table' (по умолчанию) | вектор символов

ActionTable - Таблица действий массив ячеек из векторов символов

ConditionTable - Таблица условий массив ячеек из векторов символов

SupportVariableSizing - Поддерживает ли таблица истинности данные переменного размера true или 1 (по умолчанию) | false или 0

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

ChartUpdate - Метод активации для таблицы истинности 'INHERITED' (по умолчанию) | 'CONTINUOUS' | 'DISCRETE'

SampleTime - Шаг расчета для активации таблицы истинности '-1' (по умолчанию) | вектор символов

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

SaturateOnIntegerOverflow - Насыщаются ли данные при целочисленном переполнении true или 1 (по умолчанию) | false или 0

TreatAsFi - Унаследованные сигналы Simulink для обработки как fi объекты 'Fixed-point' (по умолчанию) | 'Fixed-point & Integer'

EmlDefaultFimath - По умолчанию fimath свойства 'Same as MATLAB Default' (по умолчанию) | 'Other:UserSpecified'

InputFimath - По умолчанию fimath объект вектор символов

Отладка

OverSpecDiagnostic - Уровень диагностики при переопределении таблицы истинности 'Error' (по умолчанию) | 'Warning' | 'None'

UnderSpecDiagnostic - Уровень диагностики при недоопределении таблицы истинности 'Error' (по умолчанию) | 'Warning' | 'None'

Иерархия

Machine - Машина, содержащая таблицу истинности Stateflow.Machine объект

Path - Расположение таблицы истинности в иерархии модели вектор символов

Dirty - Изменилась ли таблица истинности true или 1 | false или 0

Locked - Заблокирована ли таблица истинности false или 0 (по умолчанию) | true или 1

Iced - Заблокирована ли таблица истинности false или 0 (по умолчанию) | true или 1

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

Description - Описание '' (по умолчанию) | вектор символов

Document - Ссылка на документ '' (по умолчанию) | вектор символов

Tag - Определяемый пользователем тег [] (по умолчанию) | любой тип данных

Id - Уникальный идентификатор скаляр

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

Примеры

Создайте пустую таблицу истинности

См. также

Блоки

Функции

Темы

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

Поддержка

`Name` - Имя таблицы истинности
`'Truth Table'` (по умолчанию) | вектор символов

`ActionTable` - Таблица действий
массив ячеек из векторов символов

`ConditionTable` - Таблица условий
массив ячеек из векторов символов

`SupportVariableSizing` - Поддерживает ли таблица истинности данные переменного размера
`true` или 1 (по умолчанию) | `false` или 0

`ChartUpdate` - Метод активации для таблицы истинности
`'INHERITED'` (по умолчанию) | `'CONTINUOUS'` | `'DISCRETE'`

`SampleTime` - Шаг расчета для активации таблицы истинности
`'-1'` (по умолчанию) | вектор символов

`SaturateOnIntegerOverflow` - Насыщаются ли данные при целочисленном переполнении
`true` или 1 (по умолчанию) | `false` или 0

`TreatAsFi` - Унаследованные сигналы Simulink для обработки как `fi` объекты
`'Fixed-point'` (по умолчанию) | `'Fixed-point & Integer'`

`EmlDefaultFimath` - По умолчанию `fimath` свойства
`'Same as MATLAB Default'` (по умолчанию) | `'Other:UserSpecified'`

`InputFimath` - По умолчанию `fimath` объект
вектор символов

`OverSpecDiagnostic` - Уровень диагностики при переопределении таблицы истинности
`'Error'` (по умолчанию) | `'Warning'` | `'None'`

`UnderSpecDiagnostic` - Уровень диагностики при недоопределении таблицы истинности
`'Error'` (по умолчанию) | `'Warning'` | `'None'`

`Machine` - Машина, содержащая таблицу истинности
`Stateflow.Machine` объект

`Path` - Расположение таблицы истинности в иерархии модели
вектор символов

`Dirty` - Изменилась ли таблица истинности
`true` или 1 | `false` или 0

`Locked` - Заблокирована ли таблица истинности
`false` или 0 (по умолчанию) | `true` или 1

`Iced` - Заблокирована ли таблица истинности
`false` или 0 (по умолчанию) | `true` или 1

`Description` - Описание
`''` (по умолчанию) | вектор символов

`Document` - Ссылка на документ
`''` (по умолчанию) | вектор символов

`Tag` - Определяемый пользователем тег
`[]` (по умолчанию) | любой тип данных

`Id` - Уникальный идентификатор
скаляр