Stateflow. TruthTableChart

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

Описание

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

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

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

Создание

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

sfnew -TT myModel

Можно также добавить новый блок таблицы истинности в существующую модель с помощью функции 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). Только данные переменного размера могут изменять размеры во время моделирования. Дополнительные сведения см. в разделе Объявление данных переменного размера в диаграммах потока состояний.

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

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

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

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

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

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

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

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

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

Унаследованные сигналы Simulink для обработки как 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, содержащей пустой блок таблицы истинности.

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 - Уникальный идентификатор скаляр

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

Примеры

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

См. также

Блоки

Функции

Темы

Документация по Статефлоу

Поддержка

`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` - Уникальный идентификатор
скаляр