Пакет: sdo.requirements
Кусочно-линейная амплитуда связана
Задайте кусочно-линейные верхние или более низкие амплитудные границы на сигнале временного интервала. Можно затем оптимизировать образцовый ответ, чтобы соответствовать этим границам с помощью sdo.optimize
.
Можно включать несколько линейных ребер и расширить к + или –inf
.
создает объект sig_req
= sdo.requirements.SignalBoundsdo.requirements.SignalBound
и присваивает значения по умолчанию его свойствам.
дополнительные опции использования заданы одним или несколькими аргументами пары sig_req
=
sdo.requirements.SignalBound(Name,Value
)Name,Value
. Name
является именем свойства, и Value
является соответствующим значением. Имя должно находиться внутри одинарных кавычек (' ').
Можно задать несколько аргументов пары "имя-значение" в любом порядке как
Name1,Value1,...,NameN,ValueN
.
Укажите необязательные аргументы в виде пар ""имя, значение"", разделенных запятыми.
Имя (Name) — это имя аргумента, а значение (Value) — соответствующее значение.
Name
должен появиться в кавычках. Вы можете задать несколько аргументов в виде пар имен и значений в любом порядке, например: Name1, Value1, ..., NameN, ValueN.
Используйте аргументы Name,Value
, чтобы задать свойства объекта требования во время создания объекта. Например, requirement = sdo.requirements.SignalBound('Type','>=')
создает объект sdo.requirements.SignalBound
и задает свойство Type
как нижнюю границу.
|
Значения значения для связанного кусочно-линейного. Задайте запуск и значения значения конца для всех ребер в связанном. Свойство должно быть массивом Используйте Значение по умолчанию: |
|
Временные стоимости связанного кусочно-линейного. Задайте запуск и время окончания для всех ребер в связанном кусочно-линейном. Свойство должно быть массивом Используйте Значение по умолчанию: |
|
Описание требования, заданное как вектор символов. Например, Значение по умолчанию: |
|
Имя требования, заданное как вектор символов. Значение по умолчанию: |
|
Расширьте связанный в отрицательном или положительном направлении времени. Задайте, расширяет ли первое и последнее ребро связанного к Должен быть логический массив Значение по умолчанию: |
|
Единицы измерения времени требования, заданного как одно из следующих значений:
Значение по умолчанию: |
|
Связанный тип Задайте, является ли кусочно-линейное требование верхней или нижней границей, заданной как одно из следующих значений:
Значение по умолчанию: |
evalRequirement | Оцените кусочно-линейный связанный |
Создайте сигнал связанный объект и задайте кусочно-линейные границы.
r = sdo.requirements.SignalBound; set(r,'BoundTimes', [0 10; 10 20],... 'BoundMagnitudes', [1.1 1.1; 1.01 1.01])
Также можно задать границы во время конструкции:
r = sdo.requirements.SignalBound(... 'BoundTimes',[0 10; 10 20],... 'BoundMagnitudes',[1.1 1.1; 1.01 1.01]);
Используйте getbounds
, чтобы задать границы в блоке Check Custom Bounds.