Направления исследований
Что мы изучаем, чтобы двойник, программа и привод сходились к одному факту. Каждое направление описано честно: что это, что оно может дать производству и на какой оно стадии.
Одна связка от браузера до привода — и данные обратной связи
SyncTwin держит в одних руках всю вертикаль: двойник оборудования, программу узла, конфигурацию контроллера и привод на шине EtherCAT. Привод по профилю CiA 402 возвращает позицию, скорость и момент. Значит, у нас есть и замысел, и факт исполнения — по одному и тому же узлу.
Большинство инструментов видит только одну сторону. Когда видны обе, задача меняется: не угадывать по сигналу, что происходит, а объяснять разницу между замыслом и фактом. Направления ниже — способы делать это строго, с числом.
- Меньше дней наладкиЧисла модели берутся из записи прогона, а не подбираются у станка.
- Ошибка программы — до станкаСвойство программы проверяется для всех входов, а не для одного сценария.
- Перегрузка видна до аварииРаннее предупреждение о перегрузке и износе узла — раньше, чем сработает защита.
- Энергия на изделиеСколько энергии узел тратит на одно изделие и куда она уходит.
Все направления на этой странице — на стадии «направление»: разбор первоисточников и план прототипа на одном узле. Результатов на оборудовании заказчиков пока нет; когда появятся — здесь будут числа с источником.
Раннее предупреждение о перегрузке и износе узла
Привод, механика и изделие описываются одной моделью через энергию: сколько вошло, сколько запасено, сколько ушло в трение и нагрев. Пока модель и факт сходятся, узел в норме. Когда расходятся — выросло трение, изменилась нагрузка или износ, и это видно раньше, чем сработает защита привода.
Признак работает для любого узла и не требует заранее описывать каждый дефект; порог берётся из шума записи, а не назначается.
Что даст предприятию
Раннее предупреждение о перегрузке и износе узла. Энергия на одно изделие и КПД узла — из тех же данных.
Разобраны теория и мировые библиотеки. Обратная связь оси по моменту и скорости у нас есть. План — прототип на одной оси.
Первоисточник (энергетическое моделирование): van der Schaft, Jeltsema. Port-Hamiltonian Systems Theory: An Introductory Overview, 2014.
Формальное доказательство программ ПЛК
Прогон программы — это тест: один набор входов, один ответ. Формальная проверка отвечает на другой вопрос: держится ли свойство для всех последовательностей входов. Программа на ST или SFC переводится в логическую формулу, решатель SMT ищет нарушение. Если находит — выдаёт конкретную последовательность входов, которую можно прогнать на модели мира и увидеть ошибку своими глазами.
∀ входы u₁…u_k: P(x₀) ∧ x_{i+1} = f(x_i, u_i) ⇒ P(x_k)
Свойства не пишутся с нуля: пределы силы и хода, коды отказов уже лежат в описании узла. Например: «команда скорости не превышает предела оси при любых значениях ручек».
Что даст предприятию
Ошибка программы найдена до станка — в том числе та, до которой ни один сценарий прогона не дошёл бы. Изменился предел в описании узла — проверка повторяется.
Разобраны методы и инструменты со свободными лицензиями. Результат решателя — «нарушение не найдено при названных допущениях», а не сертификат: допущения печатаются вместе с ответом.
Первоисточники: Fernández Adiego et al. Applying Model Checking to Industrial-Sized PLC Programs, IEEE TII, 2015 (CERN, PLCverif) · Sheeran, Singh, Stålmarck. Checking Safety Properties Using Induction and a SAT-Solver, FMCAD 2000 · Bradley. SAT-Based Model Checking without Unrolling, VMCAI 2011.
Идентификация трения и масс по записи прогона
Часть чисел двойника — трение, приведённая инерция, коэффициенты контакта — сегодня берётся из паспортов или помечена как допущение. Запись прогона содержит достаточно, чтобы их найти: модель оси линейна по этим параметрам, и они находятся методом наименьших квадратов на возбуждающей траектории. Найденное число записывается в двойник с источником «идентифицировано по прогону».
τ = J·q̈ + b·q̇ + F_c·sign(q̇) · θ* = argmin Σ ‖τ_k − Φ(q_k, q̇_k, q̈_k)·θ‖²
Что даст предприятию
Меньше дней наладки: модель сходится к конкретному экземпляру оборудования, а не к типовому каталогу. Расхождение модели и факта становится числом, а не впечатлением.
Метод классический — тот же, что в автонастройке сервоприводов. Наша часть — числа модели берутся из записи прогона.
Первоисточники: Swevers, Ganseman, Tükel, De Schutter, Van Brussel. Optimal Robot Excitation and Identification, IEEE Trans. Robotics and Automation, 1997 · Gautier, Khalil. Direct Calculation of Minimum Set of Inertial Parameters of Serial Robots, IEEE TRA, 1990 · Le Lidec et al. Differentiable simulation for physical system identification, IEEE RA-L, 2021.
Подбор усилия хвата и траектории на модели под изделие
Модель отвечает не только на вопрос «что будет, если…», но и «что изменить, чтобы…». Усилие хвата, профиль ускорения и параметры контакта подбираются на модели под конкретное изделие, а не перебором на оборудовании.
Что даст предприятию
Хват и траектория подбираются на модели под конкретное изделие; на оборудование уходят единицы проверенных вариантов.
Разобраны движки и пределы метода. Берёмся после подбора простых параметров из направления 3.
Движение у предела привода
Прогнозирующее управление (MPC) заранее считает движение на несколько шагов вперёд и держит его в ограничениях по току, скорости и ходу.
Что даст предприятию
Движение у предела привода без выхода за ограничения — там, где сейчас оставляют запас.
Следующее после раннего предупреждения и параметров по записи; разбор первоисточников впереди.
Регулятор с физическим смыслом параметров
Параметры регулятора задаются через физику узла, а не подбором коэффициентов. Устойчивость следует из построения.
Что даст предприятию
Регулятор с физическим смыслом параметров и устойчивостью по построению, а не по подбору.
Сначала — только в виртуальном мире. Живой привод не затрагивается до приёмки.
Устойчивый контакт с изделием
Хват, прижим и укладка без раскачки и ударов — в том числе при смене изделия или нагрузки.
Что даст предприятию
Устойчивый контакт с изделием без раскачки.
Сначала — только в виртуальном мире. Живой привод не затрагивается до приёмки.
Виртуальная пусконаладка до выката
Перед тем как новая версия программы или конфигурации уходит на объект, она проходит репетицию: та же печать конфигурации и тот же мир всех узлов, на тех же данных проекта. Итог репетиции сравнивается с прошлым удачным прогоном.
Что даст предприятию
Меньше остановок после обновления: расхождение видно до объекта, а не на нём.
Метод отрасли. Подробно о методе — «Виртуальная пусконаладка».
Первоисточник: VDI/VDE 3693 «Virtuelle Inbetriebnahme» (серия руководящих документов по виртуальной пусконаладке).
Программа, которая улучшается от прогона к прогону
Узлы выполняют однотипные задачи — это условие, при котором поправка, найденная на одном прогоне, помогает следующему. Итеративное обучающееся управление (ILC) сравнивает замысел с фактом исполнения и предлагает поправку; текст программы не переписывается, поправку видно и можно выключить.
u_{j+1}(t) = u_j(t) + L·e_j(t), где e_j — разница замысла и факта на прогоне j
У каждого экземпляра копится свой опыт.
Что даст предприятию
У каждого экземпляра оборудования копится свой опыт: люфт именно этого редуктора, трение именно этой ленты.
Сформулировано как видение; опирается на направления 1, 3 и 8.
Первоисточник: Bristow, Tharayil, Alleyne. A survey of iterative learning control, IEEE Control Systems Magazine, 2006.
Планирование и прогноз линии
Часть решений о линии — перебор с ограничениями: как разместить изделия в слое поддона, в каком порядке их укладывать, где поставить узлы на плане цеха. Для таких задач мы используем решатель Google OR-Tools CP-SAT со свободной лицензией Apache-2.0. Решатель получает данные — изделия, маршрутную карту, план цеха — и возвращает результат; в базу проекта он не ходит.
min Σ n_f · ‖p_src(f) − p_dst(f)‖₁, где n_f — изделий на партию в потоке f, p — порты узлов на плане; при условиях: следы узлов не пересекаются с учётом зазора обслуживания, узлы внутри цеха и вне препятствий (задача размещения оборудования, FLP — та же, что решают промышленные системы планировки ячеек).
Для порядка укладки каждый вариант проверяется геометрией: достанет ли рука, не заденет ли захват уже уложенных соседей. Дальше — поиск в большой окрестности (LNS) для крупных задач и такт и узкие места линии из модели до покупки оборудования.
Что даст предприятию
Схема слоя, порядок укладки и расстановка оборудования считаются из данных изделия и плана цеха, а не подбираются вручную. Ответ — «допустимо при названных допущениях», а не «оптимально всегда»: каждое предложение перепроверяется геометрией до выдачи, нарушения и признак доказанной оптимальности печатаются вместе с ответом.
Реализованы схема слоя поддона (сетка, перевязка, «вертушка»), порядок укладки с проверкой геометрией и расстановка узлов на плане цеха. Поиск в большой окрестности, распределение операций по узлам и такт — направление.
Первоисточники: Google OR-Tools, CP-SAT Solver · Shaw. Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems, CP 1998 · Pisinger, Ropke. Large Neighborhood Search, Handbook of Metaheuristics, 2010 · Drira, Pierreval, Hajri-Gabouj. Facility layout problems: A survey, Annual Reviews in Control, 2007.
Планирование и решатели →Как мы внедряем новое без риска для работающего
- РядомСначала — рядом с рабочим путём, ничем не управляя.
- ЧислоСравнение с рабочим путём — числом.
- ШагВключение — отдельным шагом.
- ВозвратВозврат — одной настройкой.
Первоисточники
Энергетическое моделирование
van der Schaft, Jeltsema, 2014, DOI 10.1561/2600000002.
Доказательство программ
Fernández Adiego et al., IEEE TII, 2015, DOI 10.1109/TII.2015.2489184. Sheeran, Singh, Stålmarck, FMCAD 2000. Bradley, VMCAI 2011. Gurfinkel, Ivrii, FMCAD 2017.
Параметры, градиент, обучение
Swevers et al., 1997. Gautier, Khalil, 1990. Le Lidec et al., IEEE RA-L, 2021. Griewank, Walther, Evaluating Derivatives, SIAM, 2008. Newbury et al., arXiv 2407.05560. Suh et al., arXiv 2202.00817. Werling et al., arXiv 2103.16021. Bristow et al., IEEE CSM, 2006.
Планирование
Google OR-Tools CP-SAT. Herz, IBM J. R&D, 1972, DOI 10.1147/rd.165.0462. Shaw, CP 1998, DOI 10.1007/3-540-49481-2_30. Pisinger, Ropke, 2010, DOI 10.1007/978-1-4419-1665-5_13. Drira et al., 2007, DOI 10.1016/j.arcontrol.2007.04.001.
Исследование на вашем узле
Если у вас есть узел с повторяющейся задачей и записью приводов, направление можно отработать на нём в рамках этапа НИОКР — с мерой, названной в техзадании.
Запросить доступ