СОКРАЩЕНИЕ ТОЧЕК ПРОМЫШЛЕННОЙ ТЕЛЕМЕТРИИ БЕЗ ПОТЕРИ ДИСКРЕТНЫХ СОБЫТИЙ: ТИПОЗАВИСИМЫЙ КОНТРАКТ С ПРОВЕРЯЕМОЙ ГРАНИЦЕЙ ОШИБКИ

1. Введение

1.1. Постановка проблемы

Сокращение числа точек следует рассматривать в связи с задачей пользователя. Для числового графика допустим контролируемый отход от исходной ломаной; для состояния «рез включён» удаление краткого переключения меняет последовательность событий. Общий параметр «точность», не различающий эти случаи, не задаёт проверяемого результата. Уменьшение массива не гарантирует и полезности представления: предварительное прореживание может уничтожить особенности, которые последующий алгоритм уже не восстановит.

1.2. Обзор литературы

tsdownsample [1] даёт высокопроизводительные реализации алгоритмов отбора для визуализации временных рядов и показывает, что выбор метода влияет на производительность и форму результата. Ortigossa и соавторы [2, с. 161653] систематизируют способы представления временных данных и связывают визуальную форму с интерпретацией неоднородных и прерывистых рядов. TiVy [3] обобщает временные ряды через последовательные паттерны, что отличается от отбора отдельных точек одной кривой.

Эти работы исследуют разные уровни задачи, но не проверяют конкретный промышленный тракт одновременно на сохранение дискретных переходов и на объявленную точность числового сигнала.

1.3. Пробел и исследовательские вопросы

Открыт вопрос, какие гарантии возможны для каждого типа сигнала, как проверить их относительно исходных данных и как сообщать о превышении бюджета точек, не разрушая свойства результата. Отсюда вопросы:

• RQ1. Какие обязательства по сохранности можно установить отдельно для дискретного и числового типа сигнала?
• RQ2. Как проверить заявленные свойства результата относительно исходного ряда, а не предварительно прореженного входа?
• RQ3. Как сообщать о недостижимости ограничений, не подменяя её скрытым ухудшением результата?

1.4. Вклад

Работа вносит следующие элементы:

• типозависимый контракт результата, разделяющий точные дискретные переходы, вертикальную числовую ошибку и бюджет точек;
• нижнюю границу числа точек для принятого событийного представления и явный статус превышения бюджета;
• проверку результата относительно исходного, а не предварительно прореженного ряда;
• количественный отчёт о сохранённых событиях, достигнутой ошибке и расходе точек, применимый как основание интерфейса анализа.

1.5. Структура статьи

Раздел 2 описывает данные, контракт сокращённого представления и методику эксперимента; раздел 3 — результаты по дискретным и числовым рядам, проверки масштаба и независимого расчёта; раздел 4 — обсуждение; раздел 5 — заключение.

2. Материалы и методы

2.1. Данные и исходный тракт

Использованы исходные тексты приложения анализа и два производственных окна агрегата продольной резки: 10.09.2026, 12:00:00–12:30:31 и 11.09.2026, 10:25:00–10:50:00 (UTC+3). Выгрузки содержат 1 514 448 строк по 95 тегам. В основной набор включены числовые теги двух окон и все непостоянные дискретные теги: 24 числовых ряда с 310 576 отсчётами и 36 дискретных с 554 608. Один числовой ряд постоянен [4].

Справочник задаёт длину, скорость, натяжение и момент, но единицы числовых промышленных тегов в нём не заполнены; физические размерности не приписываются. Все значения выбранных рядов конечны, метки строго возрастают после сортировки. Для прототипа сохранены микросекунды исходных данных; промышленный тракт работает с миллисекундными метками, и эти два представления времени не смешиваются в утверждениях о точности событий.

Внешний контроль — первые 32 наблюдения одного канала открытого набора SKAB [5]. Они проверяют замену единицы измерения на физическом сигнале и являются ограниченным контрольным фрагментом, а не внешним бенчмарком.

Исходный тракт задаёт предварительный отбор: в числовой ветви сохраняются минимумы и максимумы временных корзин, в дискретной — изменения состояния. В исследуемых окнах используется корзина 2 с, а последующее числовое упрощение вызывается и для дискретного результата. Расстояние в исходном алгоритме считается в координатах «миллисекунды — исходное значение» без нормирования осей. По умолчанию сокращение отключено; показанные потери относятся к явному включению профиля, а не к факту его применения на предприятии.

2.2. Контракт сокращённого представления

Вход — упорядоченный конечный сегмент пар «время — значение». Контракт задаётся типом, интервалом представления, способом реконструкции, допуском ошибки и бюджетом точек. Выход включает точки результата и протокол проверки: число точек, покрытие границ, достигнутую ошибку либо набор переходов и признак соблюдения бюджета. Это не сертификат соответствия стандарту, а машинно проверяемый отчёт о свойствах конкретного результата (таблица 1).

Таблица 1.

Разделение обязательств по типам сигнала.

2.3. Дискретный тип: точные переходы и нижняя граница бюджета

Пусть K — число изменений состояния после первого наблюдения. Сохраняются первая точка, все точки изменения и при необходимости последняя для покрытия правой границы — не более K + 2 точек. Для представления через начальное состояние и явный список переходов нужно не менее K + 1 точки; это граница данного интерфейсного представления, а не всех способов двоичного кодирования. Если K + 1 превышает бюджет, точное событийное представление несовместимо с ним: метод возвращает полный набор и статус превышения, а не прореживает события молча. Точность утверждается на участке от первого до последнего наблюдения; состояние до начала выгрузки не восстанавливается.

2.4. Числовой тип: проверяемая вертикальная ошибка

Для непостоянного ряда вводится размах и нормированные значения. Для пары опорных точек вычисляется линейная реконструкция и наибольший абсолютный вертикальный остаток между ними. Если остаток превышает допуск, добавляется точка максимального остатка и независимо обрабатываются два подотрезка; иначе сохраняются только концы. Реализация использует явный стек, поэтому глубина разбиения не ограничена стеком вызовов. Это известная схема рекурсивного разбиения ломаной с выбранной вертикальной мерой, а не новое семейство алгоритмов; существенно, что критерий отвечает проверяемому требованию к ординате в тот же момент времени. Евклидово расстояние до наклонного отрезка отвечает другому вопросу: малая геометрическая дистанция не устанавливает такую же вертикальную ошибку.

Для каждого принятого отрезка все исходные узлы имеют ошибку не более допуска, умноженного на размах. Между соседними узлами обе функции линейны, их разность линейна, а максимум модуля достигается на границе, поэтому граница выполняется на всей исходной кусочно-линейной функции внутри сегмента, а не только на проверенных узлах. Она не относится к неизвестному сигналу между измерениями, ступенчатой отрисовке, сплайнам и предсказаниям за пределами окна. Положительное аффинное преобразование не меняет нормированный ряд, а изменение единицы времени не меняет отношение разностей, поэтому в точной арифметике индексы отбора инвариантны к этим преобразованиям.

2.5. Проверка по исходным данным и статус бюджета

После построения результата рассчитывается фактическая ошибка на исходных отсчётах. Для дискретного типа сравниваются множества пар «время перехода — новое состояние» и ступенчатая реконструкция; для числового проверяются концы и максимум вертикального остатка. Отдельная программа повторяет проверки по возвращённым индексам без использования рассчитанного значения ошибки.

Проверка должна обращаться к исходному ряду, а не к предварительно прореженному входу, иначе корректность конечного алгоритма может скрывать потери предыдущей стадии. Прототип поэтому работает непосредственно с исходными сегментами, а промышленный отбор минимумов и максимумов не используется. Сравнение с исходным трактом — изменение полной схемы обработки, а не соревнование алгоритмов на одинаковом входе.

Если числовой метод возвращает больше точек, чем бюджет, это превышение данным результатом и не доказывает, что ломаной с тем же допуском и меньшим числом точек не существует: рекурсивная процедура не решает задачу глобального минимума числа опорных точек. В интерфейсе предлагаются увеличение бюджета, уменьшение окна или явное ослабление допуска; автоматическое повышение ошибки не допускается.

2.6. Методика эксперимента

Для прототипа зафиксированы допуски 0,5; 1 и 2 % размаха и бюджет 256 точек — исследовательские настройки, а не норматив допустимой ошибки. Выполнены 72 запуска (24 ряда при трёх допусках). Основной профиль с допуском 1 % дополнительно проверен после умножения значений на 0,001 и 1000 — 48 преобразованных запусков. Изменения единицы времени рассмотрены аналитически.

На 36 дискретных рядах определены число переходов, количество опорных точек, точность событий и достижимость бюджета. Независимая программа проверила выходы всех 60 рядов основного профиля относительно исходных микросекундных данных. Выполнены 11 граничных проверок входного контракта (пустой массив, дубли времени, неконечные значения) — инженерная проверка реализации, не увеличивающая число промышленных наблюдений. Ошибка и нормированная среднеквадратическая ошибка вычисляются по исходным отсчётам:

Emax = 100 · max |yᵢ − ŷᵢ| / R; NRMSE = 100 · √mean((yᵢ − ŷᵢ)²) / R.                                                           (2)

Нормированная среднеквадратическая ошибка агрегируется по 23 непостоянным рядам, а число точек и соблюдение бюджета — по всем 24. Ряды из двух окон зависимы и не образуют случайную выборку предприятий, поэтому используются описательные медианы без проверки превосходства в генеральной совокупности. Полный программный комплекс, браузер и хранилище не запускались; вычислительное время не сравнивается с производственной эксплуатацией.

3. Результаты

3.1. Сохранение дискретных событий

Новый прототип преобразовал 554 608 дискретных отсчётов в 1154 опорные точки и сохранил все 1082 перехода; независимая проверка подтвердила точное равенство множества событий и ступенчатой реконструкции для каждого из 36 рядов. Микросекундные метки не округлялись. Удалены повторяющиеся отсчёты неизменного состояния, но не обнаруженные переключения (таблица 2).

Таблица 2.

Результат дискретного сокращения.

В 35 рядах результат укладывается в 256 точек. Исключение — тег 95 второго окна: 401 переход требует не менее 402 точек, с явной правой границей возвращены 403. Сообщение о превышении бюджета здесь — корректный результат, а не неудачное испытание.

Исходный профиль с RDP и ε = 1 после выделения дискретных изменений оставляет две крайние точки каждого ряда и сохраняет лишь 8 из 1082 переходов в миллисекундном представлении. Для двоичного ряда это объясняется без предположения об авариях: ординаты отрезка между концами лежат в единичном интервале, расстояние любой точки до него не превышает единицы, а разбиение выполняется только при строгом превышении допуска. Новый маршрут исключает применение такого числового критерия к двоичным состояниям. Речь идёт о сохранности визуального представления, а не об удалении данных из хранилища.

3.2. Числовая точность и цена ограничения ошибки

Во всех 72 запусках достигнутая максимальная ошибка не превысила выбранный допуск (таблица 3).

Таблица 3.

Результат числового маршрута на исходных данных.

Для основного профиля с допуском 1 % сохранено суммарно 23 727 точек вместо 310 576 исходных; медиана по рядам — 334 точки. Медиана нормированной среднеквадратической ошибки 0,233 %, наибольшее значение около 0,457 %. В 13 рядах число точек превышает 256. Малая ошибка получена не за счёт сокрытия расхода точек: метод явно показывает, где два ограничения не обеспечены одновременно.

Рисунок 1. Число опорных точек при разных допусках: медиана и межквартильный диапазон по 24 числовым рядам. Пунктир обозначает исследовательский бюджет 256 точек

Контрольное сопоставление с RDP и LTTB после общего предварительного отбора при бюджете не более 256 точек давало медианы нормированной ошибки 1,68 и 3,76 %. Эти числа характеризуют исходный тракт и не используются для заявления об улучшении в фиксированное число раз: новая схема получает непрореженный вход, использует иной критерий и для 13 рядов превышает бюджет. Корректный вывод — ошибка теперь проверяется по исходным данным, а цена её ограничения становится наблюдаемой.

Пример с соблюдённым бюджетом — тег 14 второго окна: при допуске 1 % получены 23 точки, наибольшая ошибка 0,822 %, нормированная 0,238 %. Это показывает, что для данного сигнала точки можно сокращать с явной границей, но не распространяется на шумные каналы. Наибольшее число точек для основного профиля требуется тегу 38 первого окна; такой случай не исключён из сводки.

3.3. Масштаб и независимая проверка

Во всех 48 изменениях амплитудного масштаба получены те же индексы точек, что и в основном профиле (по равенству списков, а не только длины). Независимая реализация подтвердила допуск 1 % для всех 24 числовых выходов и точные события для всех 36 дискретных. Это две раздельные проверки: преобразования выявляют зависимость от масштаба, сравнение с исходным рядом — фактическую ошибку.

В контрольном фрагменте открытого набора при переходе между единицами измерения прототип сохраняет одни и те же 32 точки; сокращения при выбранном допуске не произошло, и это не называется выигрышем компрессии. Исходный ненормированный RDP на тех же 32 наблюдениях оставлял 2 и 10 точек. Контроль подтверждает различие размерностной политики, но не заменяет оценку на полном внешнем наборе [5].

4. Обсуждение

4.1. Интерпретация результата

Вклад работы — типозависимый контракт, явная проверка результата по исходному ряду и различение двух видов превышения бюджета: доказанного ограничением событийного формата и полученного конкретной числовой процедурой. Рекурсивное разбиение, выделение переходов и нормирование не объявляются новыми математическими изобретениями. Гарантии относятся к указанным моделям реконструкции и валидным сегментам; неопределённость качества, неизвестное начальное состояние, строки и произвольные пропуски требуют самостоятельных правил.

Наиболее значимый прикладной результат относится к дискретным данным: производственный профиль терял почти все переключения, тогда как контракт сохраняет их все при явном расходе точек. Числовая часть показывает, что ограничение ошибки достижимо, но не бесплатно, и цена ограничения должна быть видимой, а не скрытой.

4.2. Интерфейсная интерпретация и внедрение

Вместо абстрактного поля «точность» предлагается показывать реально проверенное свойство. Для дискретного графика — «сохранены все наблюдаемые переключения», их число и формат времени; для числового — «максимальная вертикальная ошибка не более 1 % размаха», размер исходного ряда и результата. Рядом указываются охват окна, способ реконструкции, предобработка и статус бюджета. Обещание «сохраняются все важные пики» не заменяет эти сведения.

Типозависимый маршрут не гарантирует сохранность любого значимого технологического события числового сигнала: малое, но важное изменение может укладываться в допуск. Для контроля порогов нужны отдельные обязательные опорные точки или абсолютный допуск из предметной области. Нормирование на размах удобно для размерностной инвариантности, но чувствительно к выбросам и смене окна, и это должно быть видно в интерфейсе. Прототип возвращает статус превышения, а не изменяет настройки оборудования; интеграция потребует доработки серверного интерфейса и явного хранения типа сигнала.

4.3. Сопоставление с литературой

Результат согласуется с наблюдением Ortigossa и соавторов [2, с. 161653] о связи визуальной формы с интерпретацией неоднородных рядов и дополняет его требованием проверяемости: свойство результата должно быть измерено относительно исходных данных, а не заявлено. В отличие от готовых реализаций отбора [1], работа не сравнивает алгоритмы по скорости, а задаёт контракт гарантий отдельно для дискретного и числового типа. Обобщение через последовательные паттерны [3] относится к другому классу представления и не заменяет точечную проверку переходов.

4.4. Ограничения

Эмпирическая база ограничена двумя окнами одного агрегата, целевым набором числовых тегов и небольшим внешним фрагментом. Метод может сохранять много точек на шумном сигнале и не минимизирует их число глобально. Сравнение с исходными алгоритмами не является сравнением при равных условиях, поскольку различаются вход и критерий. Результаты не показывают повышения скорости диагностики, снижения когнитивной нагрузки или меньшего числа ошибок инженеров; такие исходы требуют эксперимента с людьми. Техническая сохранность — необходимый предмет проверки, но не замена пользовательского результата.

4.5. Перспективы

Для очень больших архивов полный проход может быть неприемлем; понадобится многоуровневая структура с заранее проверенной границей ошибки, серверная обработка или ограничение окна. Отдельного исследования требует влияние предложенных сообщений на понимание графика инженером. Контрольный прогон нового числового критерия на предварительно прореженном входе позволил бы разделить вклад входа и критерия; такой прогон остаётся за рамками работы.

5. Заключение

Предложен и реализован типозависимый способ сокращения телеметрии с проверкой заявленных свойств. На 36 дискретных рядах все 1082 переключения представлены 1154 точками с сохранением исходных микросекундных меток, тогда как производственный профиль сохранял 8 из 1082. Для 24 числовых рядов основной допуск 1 % выполнен, но бюджет 256 точек соблюдён лишь в 11 случаях; превышение возвращается явно. В 48 проверках масштаба индексы отбора не изменились. Результат позволяет заменить неподтверждённые обещания алгоритма количественным отчётом о событиях, ошибке и расходе точек и служит основой развития интерфейса анализа телеметрии. Влияние формы на деятельность инженера не измерялось.