ГОСТ Р ИСО 15531-42—2010
6 Временной домен
6.1 Введение
На схеме времени приводят определения понятий, связанных с представлением времени, а так
же требуемых программными приложениями и относящихся, главным образом, к операциям планиро
вания графиков и управления производством. Данная схема позволяет создавать представления
временных доменов, интервалов времени, моментов времени и единиц измерения времени.
При управлении промышленными производственными системами присвоение моментов време
ни при появлении события необходимодля того, чтобы обеспечить возможность наблюдения и сравне
ния точек временной характеристики системы.
Поскольку временная область и всесвязанные с ней субкатегории определяют только различные
категории множества точек, необходима другая сущность, которая позволяет рассматривать длину,
продолжительность периода времени. Это понятие обеспечивается сущностью интервала времени,
продолжительность которого задается типом значения точки или интервалом сущности времени.
Понятие частоты событий является важным свойством этой модели, поскольку она позволяет
определить характеристики интервалов времени отдельно от проявления событий.
Правила преобразования двух временныхдоменов обеспечиваются посредством сущностиотно
шения временных областей. Эти правила могут быть выражены либо в виде единиц измерения време ни,
либо в виде изменений источника (перевода).
6.2 Фундаментальные концепции и предположения
Время определяется временным доменом, содержащим последовательные точки во времени.
Точка во времени определяется выбранным положением на временной оси при использовании едини
цы измерения времени.
Временной домен определяют следующим образом:
(Т,£),
где Т — множество точек во времени;
£— полное отношение упорядочения по Т.
Это определение справедливо как для непрерывных, так и временных доменов, рассматривае
мых в настоящем стандарте.
Пример 1 — Непрерывный временной домен может быть описан следующ им образом:
time (R+) * time (R
В этом примере мерой положения точки во времени в соответст вии с определенной единицей
измерения времени являю т ся дейст вительные положительные числа.
Пример 2 — Дискрет ный временной домен может быть описан следующ им образом:
q
time (N ) ■ time (N0.i).
В этом примере положениями т очки во времени в соответст вии с определенной единицей изме
рения времени являю т ся целые числа.
Правила преобразования необходимы для сравнения точек во времени в различных временных
доменах.
П р и м е ч а н и е — В подразделе 4.5 ИСО 15926-2 приведены расширения пространства — времени, на
пример. состояниями, периодами времени, точками во времени и событиями. Эти индивидуализированные объек ты
ограничены непрерывными доменами. В частности, периоды времени согласно ИСО 15926-2 полностью совмес тимы
с непрерывными временными доменами. При этом ограничении в случае, если продолжительность, которая
используется, но не определена в подразделе 4.5 ИСО 15926-2. является мерой периодов расширения времени, эти
два понятия полностью совместимы (эквивалентны) в ИСО 15926-2 и ИСО 15S31-42 в непрерывном временном до
мене. В ИСО 15926-2 связанные со временем расширения пространства — времени не совместимы с полной вре
менной моделью, приведенной в ИСО 15531-42. Они не совместимы с любым ее дискретным или составным вре
менным доменом, а совместимы только с непрерывным временным доменом в том случае, если
продолжительность можно рассматривать как меру периодов расширений времени. Кроме того, отсутствует собы
тие. определенное в ИСО 15531-42.
6.3 Определение схемы временного домена
Следующее объявление EXPRESS начинает time_domain_schema и определяет необходимые
внешние ссылки.
17