ГОСТ РИСО 21090—2016
телевизора использует два таких генератора для строк и столбцов изображения. Скажем, если на экра не
отображается развертка 200 строк с 320 растровыми столбцами, то у генератора столбцов свойство
denominator равно 1. а у генератора строк оно равно 320.
7.9.5.3.4 period : Integer: если это свойство не пусто и не имеет причины пустоты nullFlavor. то оно
определяет чередование последовательности, то есть через заданное в нем число различных элемен
тов значение элемента последовательности возвращается к начальному значению.
П р и м е р
—
Последовательность (1; 2; 3; 1; 2; 3; 1; 2; 3;...) имеет период 3; последовательность
(1; 1; 2; 2; 3: 3; 1; 1; 2; 2; 3; 3;...) также имеет период 3.
Задание свойства period позволяет периодически повторять группу значений. «Сигнал» такого
периодического генератора всегда является «пилой» наподобие изображения линейной функции на
осциллографе.
7.3.5.4 Равенство
Тип данных GLIST описывает генератор последовательностей. Два экземпляра типа GLIST равны,
если они задают одну и ту же последовательность элементов.
Следует учесть, что последовательности, генерируемые с помощью экземпляров типа GLIST, бес
конечны. а экземпляр типа LIST не может быть бесконечным, поэтому они никогда не могут быть равны.
7.9.5.5 Инварианты:
- если экземпляр типа GLIST не имеет причины пустотьП nullFlavor. то требуются все атрибуты,
кроме period;
- свойство denominator должно быть положительным;
- период должен быть положительным.
Определения инвариантов на языке OCL:
inv "требуемые атрибуты": isNuLl xor (head.isNotKulI and
increment.isNotNull ar.ddenominator.ocllaDefined)
inv "значение атрибута denominator должно быть положительным":
denominator.oclIsDefined
implies denominator > 0
inv "период должен быть положительным": period.oclIsDefined implies
period > 0
inv "у атрибута значения типа GLIST нет истории или режима изменений":
r.oUpdateOrHistory (head) and noUpdateOrHistory(increment j
7.3.5.6 Операции
7.9.5.6.1subList(lower: Integer, upper: Integer): LIST(T): фрагмент последовательности, опреде
ляемой данным экземпляром типа GLIST. начиная с позицииг lower и завершая позицией upper (вклю
чительно). Если позиции lower или upper больше длины текущей последовательности либо равны этой
длине, либо lower или upper меньше 0. или lower больше upper, то результатом операции будет пустая
последовательность.
7 9.5.6.2 at(i ; Integer): Т: элемент текущей последовательности, находящийся в позиции i. Если
позиция i больше длины текущей последовательности либо равна этой длине, то результатом операции
будет пустое значение.
7.9.5.7 Примеры
<example xsi:rype-"GLIST_PC" period-"10C" denomir.ator-"100">
<head value-"0" unit-"V"/>
<increw ent x s i:ty p e -"P Q " v a lu e -" l" u n it-"m V "/>
</example>
Считывание линейно возрастающего напряжения на входе цифрового осциллографа в пределах
от 0 до 100 мВ за 100 шагов по 1 мВ. Частота опроса по этим данным не определяется, поскольку ин
тервал времени между последовательными считываниями неизвестен.
<example xsi:type-"GLIST_TS" denominator-"1">
<head value-"20020729203000"/>
120