Модель: ZeroCrossing

Библиотека: StateGraph

Имя на уровне решателя: ZCM

Аннотация: При пересечении входным сигналом нуля на выходе значение истина

Обозначение:

Описание модели

Порты (степени свободы) компонента:

№	Обозначение порта	Тип	Наименование порта
1	Port1	base.DOF1	Сигнальный входной порт (входящий сигнал, на значение которого мы реагируем)
2	Port2	base.DOF1	Сигнальный входной порт (входящий сигнал активности)
3	Port3	base.DOF1	Сигнальный выходной порт

Пользовательские параметры модели

№	Параметр	Тип	Описание	Значение по умолч.
1	CrossType	base.real	Тип пересечения: 0 - Любой, 1 - Вверх, 2 - Вниз [0, 1, 2]
2	Ground value	base.real	Значение, пересечение которого учитывается
3	Ta	base.real	Период, в течение которого выходной сигнал активен

---

Результаты тестирования

www.laduga.com

Глава 1. Заданные параметры теста

Название тестируемого компонента	ZeroCrossing
Модуль тестируемого компонента	StateGraph
Дата тестирования	Thu Mar 12 16:46:43 2026
Результат	OK

Глава 2. Схема тестируемого объекта

Модель Zero Crossing

На вход модели подаются два сигнала.
Первый сигнал — основной входной сигнал, который изменяется
по синусоидальному закону. Его параметры:
A = 1 — амплитуда;
T = 1.2 с — период.
Этот сигнал является тем значением, за которым происходит наблюдение.
Второй сигнал — источник кусочно-линейной функции с данными,
 подгружаемыми из внешнего файла.
Он используется как сигнал активности,
то есть определяет моменты времени,
когда модель должна реагировать на основной сигнал.
Оба сигнала поступают в модель Zero Crossing.
Модель отслеживает моменты, когда входной синусоидальный сигнал
пересекает заданное значение (в данном случае ноль).
Если пересечение происходит в момент, когда активен сигнал активности,
на выходе модели формируется значение истина
на заданный промежуток времени.
Параметры модели:
CrossType — тип пересечения:
0 — любое пересечение,
1 — пересечение снизу вверх,
2 — пересечение сверху вниз;
Ground value — значение, пересечение которого отслеживается (в данном случае ноль);
Ta — период времени, в течение которого выходной
сигнал остаётся активным после обнаружения пересечения.
Таким образом, модель реагирует только на те моменты,
когда синусоидальный сигнал пересекает ноль,
и делает это только в период активности системы.
При обнаружении такого события на выходе формируется логический сигнал,
который остаётся активным в течение времени Ta.
Это подтверждает корректную работу модели обнаружения пересечения.

Рисунок 1 - Схема теста

Глава 3. Графики результатов теста

Рисунок 2 - ZeroCrossing.RUN

Рисунок 3 - ZeroCrossing.Check1