ГОСТ Р HCO/HL7 27951— 2016
Окончание таблицы В. 44
Общая литеральная форма
Форма календарного
шаблона
Описание
[19870101:19870105[/(2 wk>@WY
WY/2
Каждую вторую неделю года (характер
ный пример влияния привязки к календа
рю: продолжительность фазы составляет
только 4 дня и тем не менее представля
ет целую неделю в календарной привяз
ке «неделя года»)
[ 19870406:19870413{/(1 a>@WY
WY15
15-я календарная неделя каждого года
[19870105;19870112[/{1 mo)@WM
WW2
Вторая неделя каждого месяца
[19870508;19870509[/(1 a>@DY
DY128
128-й день каждого года
[10 miny(2 d)
Каждый второй день в течение 10 мин.
(известна только ширина повторяющего
ся интервала)
[1 h]/(8 h)
№8
Каждый восьмой час (в течение 60 мин.)
[1 h]/(8 h) 1ST
H/8 1ST
Три раза в день во время, заданное сто
роной (каждый раз в течение 60 мин.)
/(8 h) 1ST
Три раза в день во время, заданное сто
роной. О повторяющемся интервале ни
чего не известно, то есть литерал опи
сывает только период (частоту), а фаза
остается неопределенной
В.5.1.5 Периодические интервалы как множества
Существенным свойством множества является то, что оно содержит элементы. Для значений типов PIVL, не
привязанных к календарю, свойство contains (содержит) определяется следующим образом: элемент t типаданных
TS содержится во множестве типа PIVL в том и только том случае, если существует целое число i. для которого
сумма t с произведением period на i является элементом фазы phase.
in v a ria n t (PIVLcTS* x f TS t}
where x .n o n N u ll.a n a (x .a lig n m e n t.is N u lll {
x .c o n ta in s(t> .e q u a l(e xists(1 N T i> t
x.phase.contains
(t.pius
(x.period.times
( 1
>
II
;
I I ;
I!
Для значений типов PIVL. привязанных к календарю, свойство contains определяется, используя свойство
календарного цикла sum(t. п). которое добавляет п таких календарных циклов к моменту времени t.
invariant. (PIVL<TS> х, TS t, CalendarCycle c)
where x.nonNull.and(c.equal(x.alignment>> [
x.contains(t>.equal(exists(
INT
ij (
x.phase.contains(c.aum(t, i>>;
l >f
1;
B.5.2 Тип данных периодического интервала времени с привязкой к событию EIVL (специализация
типа данных SET)
Определение: задает периодический интервал времени, повторения которого основаны на событиях повседнев
нойдеятельности или других важных событиях, которые связаны с временем, но не имеют точно заданного времени.
Например, расписание «через час после завтрака» указывает, что интервал начинается через час после
завершения завтрака. Предполагается, что завтрак происходит до обеда, но при этом никакое конкретное время
завтрака не определено.
templatecTS Т>
p ro te cte d type EventRelat e d P enom cInterva 1<Т> a lia s EIVL<T>
407