In this letter, we propose an efficient mix source separation algorithm for collision resolution in radio frequency identification (RFID) systems equipped with an antenna array at the reader. We first introduce an approach that exploits the zero constant modulus (ZCM) criterion to separate colliding tags through gradient descent, without using pilot symbols. We show that the ZCM characteristic, considered alone, in the design of the objective function can lead to significant ambiguities in the determination of the beamformers used in the recovery of tag messages. To address this limitation, we propose a more sophisticated approach, relying on a hybrid objective function, incorporating a new ambiguity-raising criterion in addition to the ZCM criterion.
- ID статьи: 2511.15490
- Название: Collision Resolution in RFID Systems Using Antenna Arrays and Mix Source Separation
- Авторы: Mohamed Siala (MEDIATRON Lab., SUP'COM, University of Carthage, Tunisia), Noura Sellami (LETI Lab., ENIS, University of Sfax, Tunisia)
- Классификация: eess.SP (обработка сигналов), cs.IT (теория информации), math.IT (теория информации)
- Дата подачи: 19 ноября 2025 г. на arXiv
- Ссылка на статью: https://arxiv.org/abs/2511.15490
В данной работе предложен эффективный алгоритм смешанного разделения источников для решения проблемы коллизии меток в системах считывания RFID, оснащённых антенными решётками. Авторы вводят метод разделения коллизионных меток с использованием критерия нулевой константной модуля (ZCM) посредством градиентного спуска без использования пилотных символов. Исследование показывает, что проектирование целевой функции исключительно на основе свойства ZCM приводит к значительной неоднозначности при определении формирователей пучков для восстановления сообщений меток. Для преодоления этого ограничения авторы предлагают более сложный подход, основанный на смешанной целевой функции, которая вводит новый критерий разрешения неоднозначности за пределами критерия ZCM.
Проблема коллизии меток в системах RFID: когда несколько RFID-меток одновременно активируются, их сообщения взаимно коллизируют и создают помехи на приёмнике, что требует повторной передачи идентификационной информации меток, приводя к потерям полосы пропускания и увеличению задержки идентификации.
- RFID-технология играет ключевую роль в управлении цепочками поставок, безопасности, контроле доступа и транспортировке
- Коллизия меток является основным узким местом, ограничивающим производительность систем RFID
- Эффективное разрешение коллизий критически важно для повышения пропускной способности системы и снижения задержки идентификации
Существующие методы разрешения коллизий делятся на две основные категории:
- Методы сетевого уровня: такие как алгоритмы древовидного разбиения или протокол ALOHA, решающие проблему через методы избежания коллизий
- Методы обработки сигналов: такие как методы разделения источников
В частности, алгебраический алгоритм ZCM (AZCMA), предложенный в работе 6, имеет критические недостатки:
- Требует решения проблемы матричного пучка, что вычислительно сложно
- При идеальной или почти идеальной синхронизации частоты создаёт серьёзную неоднозначность, приводящую к появлению ложных формирователей пучков
- Зависит от наличия в системе дрейфа генератора и колебаний фазы как искусственных дефектов
- Большинство RFID-меток не имеют обучающих символов, что затрудняет оценку канала
- Смешанное разделение источников (MSS) является жизнеспособным методом преодоления проблемы идентификации меток
- Необходимо разработать алгоритмы, которые эффективно работают даже при условиях идеальной синхронизации
- Выявление проблемы неоднозначности критерия ZCM: систематический анализ и доказательство того, что при использовании исключительно критерия ZCM, когда сигналы меток синхронизированы по частоте с приёмником, возникают ложные формирователи пучков
- Предложение нового критерия разрешения неоднозначности: введение нового критерия на основе произведения трёх последовательных символов π[n]=s^[n−1]s^∗[n]s^[n+1], который равен нулю для истинных формирователей пучков, но принимает ненулевые значения с ненулевой вероятностью для ложных формирователей пучков
- Проектирование смешанной целевой функции: объединение критерия ZCM и нового критерия разрешения неоднозначности в взвешенную смешанную целевую функцию J01(w)=λJ0(w)+(1−λ)J1(w)
- Разработка алгоритма оптимизации на основе градиентного спуска: предложение полных формул расчёта градиента и стратегии итеративного обновления, избегающей решения проблемы матричного пучка
- Проверка робастности алгоритма: демонстрация через моделирование эффективности предложенного метода в различных сценариях, включая идеальную синхронизацию и наличие частотных смещений/случайных фаз
Входные данные:
- Матрица принятых данных размером M×N, обозначаемая X, где M — количество приёмных антенн, N — количество символов в пакете данных
- X=AS+N, содержащая суперпозицию сигналов от d меток
Выходные данные:
- d векторов формирования пучков размером M×1, обозначаемых wi (1≤i≤d)
- Восстановленные сигналы меток s^i=wiHX
Ограничения:
- Матрица канала A имеет полный ранг столбцов (переопределённая или точно определённая система)
- Сигналы меток обладают свойством ZCM: ∣si[n]∣∈{0,1}
- Используется кодирование Manchester
n-й символ i-й метки моделируется как:
si[n]=bi[n]exp(jϕi[n]),1≤n≤N
где bi[n]∈{0,1} — двоичное сообщение, ϕi[n] — случайная фаза.
Правила кодирования Manchester:
- Логическая единица: (bi[2k],bi[2k+1])=(1,0)
- Логический ноль: (bi[2k],bi[2k+1])=(0,1)
Матрица принятого сигнала представляется как:
X=AS+N
где:
- A=[a1,a2,⋯,ad]: матрица канала размером M×d
- S: матрица сигналов размером d×N
- N: матрица шума размером M×N
Свойство ZCM может быть компактно представлено как:
s[n](∣s[n]∣2−1)=0
В идеальном случае (без шума, идеальное формирование пучка, постоянная фаза ϕi[n]=ϕi), выход формирователя пучка равен:
s^i[n]=wiHx[n]=ejθisi[n]=ejψibi[n]
где ψi=θi+ϕi.
Случай двух меток:
Для любых двух формирователей пучков wi1 и wi2 можно построить ложный формирователь пучка:
w±=ejψi1wi1+ej(±2π/3+ψi2)wi2
Соответствующий выход равен:
(w±)Hx[n]=bi1[n]+e∓j2π/3bi2[n]
Ключевое открытие: как показано в таблице I, этот ложный формирователь пучка всё ещё удовлетворяет свойству ZCM (модуль всегда равен 0 или 1), поэтому может стать решением AZCMA.
Случай трёх меток:
Аналогично можно построить:
w±=ejψi1wi1+ej(±2π/3+ψi2)wi2+ej(∓2π/3+ψi3)wi3
Выход всё ещё удовлетворяет свойству ZCM, создавая дополнительную неоднозначность.
Определим произведение трёх последовательных символов:
π[n]=s^[n−1]s^∗[n]s^[n+1]=wHx[n−1]xH[n]wwHx[n+1]
Ключевые свойства:
- Для истинных формирователей пучков: π[n]≡0 (гарантируется чередующимся свойством кодирования Manchester)
- Для ложных формирователей пучков: π[n] принимает ненулевые значения с ненулевой вероятностью
Таблица II демонстрирует, что при использовании ложного формирователя пучка w+, из 16 комбинаций множество случаев приводит к π[n]=0.
J0(w)=N1∑n=1N∣s^[n]∣2(∣s^[n]∣2−1)2
Градиент равен:
∇J0(w)=N1∑n=1Nc[n]∗x[n]
где:
c[n]=2(∣wHx[n]∣2−1)(2∣wHx[n]∣2+1)(wHx[n])
J1(w)=N−21∑n=2N−1∣s^[n−1]s^[n]∗s^[n+1]∣2
Градиент равен:
∇J1(w)=N−21∑n=2N−1(c−[n]∗x[n−1]+c0[n]∗x[n]+c+[n]∗x[n+1])
где:
c−[n]=2∣wHx[n]∣2∣wHx[n+1]∣2(wHx[n−1])c0[n]=2∣wHx[n−1]∣2∣wHx[n+1]∣2(wHx[n])c+[n]=2∣wHx[n−1]∣2∣wHx[n]∣2(wHx[n+1])
J01(w)=λJ0(w)+(1−λ)J1(w)
где λ∈(0,1) — параметр взвешивания, используемый для балансировки двух критериев.
Формула итеративного обновления:
w[l+1]=w[l]−μ∇J01(w)∣w=w[l]
где:
- μ: размер шага
- l: номер итерации
- ∇J01(w)=λ∇J0(w)+(1−λ)∇J1(w)
- Размер пакета данных: N=100 символов
- Отношение сигнал-шум: SNR = Eb/N0=20 дБ
- Размер шага: μ=10−2
- Количество итераций: L∈{100,200,400,800}
- Критерий успеха: метка правильно идентифицирована
- Идеальная синхронизация частоты: ϕi[n]=ϕi (постоянная фаза)
- Частотное смещение: si[n]=bi[n]exp(2jπδFin), где δFi∼U[−δF/2,δF/2]
- Случайная фаза: ϕi[n]∼U[0,2π]
- Количество меток: d∈{2,3,4}
- Количество приёмных антенн: M∈{2,3,4,5}
- Рассмотрены переопределённые (M>d) и точно определённые (M=d) системы
Конфигурация: d=2, M=2, идеальная синхронизация
Ключевые открытия:
- λ=1 (чистый критерий ZCM): вероятность успеха крайне низка (<10%), что подтверждает отказ метода из работы 6
- λ>0.6: вероятность успеха остаётся низкой, проблема неоднозначности серьёзна
- 0.025<λ<0.6: вероятность успеха значительно возрастает
- λ=0 (чистый новый критерий): вероятность успеха равна нулю, что показывает необходимость комбинирования с критерием ZCM
- Оптимальный диапазон: с увеличением количества итераций L диапазон λ с высокой вероятностью успеха расширяется; при L=800 вероятность успеха близка к 100% в диапазоне 0.05<λ<0.5
Вывод: необходимость смешанной стратегии подтверждена, система демонстрирует хорошую робастность к выбору λ.
Конфигурация: L=800, идеальная синхронизация
Результаты:
- Точно определённые системы (M=d):
- (d=2,M=2): вероятность успеха >90% при 0.025<λ<0.4
- (d=3,M=3): хорошая производительность при 0.05<λ<0.3
- (d=4,M=4): эффективность при 0.1<λ<0.25
- Переопределённые системы (M>d):
- (d=2,M=3), (d=3,M=4), (d=4,M=5): оптимальный диапазон λ смещается в сторону меньших значений, лучшая производительность при λ<0.2
- Переопределённые системы обеспечивают больше степеней свободы в пространстве, улучшая способность разделения
Вывод: алгоритм хорошо адаптируется к различным конфигурациям системы, переопределённые системы показывают лучшую производительность.
Конфигурация: d=2, M=2, L=800
Результаты:
- δF=0 (идеальная синхронизация): метод из работы 6 (λ=1) отказывает, предложенный метод достигает вероятности успеха >95% при 0.05<λ<0.4
- δF=0.005: производительность немного улучшается
- δF≥0.01: с увеличением частотного смещения производительность при высоких значениях λ улучшается, так как частотное смещение помогает критерию ZCM устранить неоднозначность
- Случайная фаза: производительность оптимальна при всех значениях λ (вероятность успеха близка к 100%), так как случайность фазы естественным образом устраняет неоднозначность
Ключевые выводы:
- Предложенный метод эффективен при идеальной синхронизации (наиболее сложный сценарий), в то время как метод из работы 6 полностью отказывает
- Предложенный метод показывает лучшую производительность при наличии системных дефектов (частотное смещение, колебания фазы)
- Алгоритм робастен к системным дефектам и не зависит от искусственно введённых несовершенств
| Метод | Идеальная синхронизация | Частотное смещение | Случайная фаза |
|---|
| Метод из работы 6 AZCMA | Отказ | Частично эффективен | Эффективен |
| Предложенный метод | Эффективен | Эффективен | Эффективен |
Улучшение производительности: при идеальной синхронизации вероятность успеха повышается с <10% до >95% (улучшение более чем на 85 процентных пункта).
- Алгоритмы древовидного разбиения: избегают коллизий через временное разделение
- Протокол ALOHA и его варианты3: стратегии случайного доступа
- Ограничения: увеличение задержки идентификации, низкая спектральная эффективность
- Слепое разделение источников5: использование статистических свойств сигналов для разделения
- Анализ независимых компонент (ICA)7: предположение о статистической независимости исходных сигналов
- Недоопределённое слепое разделение8: обработка случаев, когда количество источников превышает количество датчиков
- Mindikoglu и van der Veen (2008)6:
- Первое применение критерия ZCM к разрешению коллизий в RFID
- Использование алгебраического метода решения проблемы матричного пучка
- Данная работа выявляет его внутренние недостатки: отказ при идеальной синхронизации
- Комбинирование ALOHA и MSS7: гибридный подход сетевого и физического уровней
- Преимущества: выигрыш пространственного разнообразия, улучшенная производительность разделения
- Наследование: использование свойства ZCM для неконтролируемого разделения
- Инновация: выявление проблемы неоднозначности и предложение систематического решения
- Преимущества:
- Независимость от несовершенств частоты/фазы
- Избежание сложного решения проблемы матричного пучка через градиентный спуск
- Смешанный критерий обеспечивает робастность
- Комбинирование теоретического анализа и экспериментальной проверки
- Теоретический вклад: систематическое выявление проблемы неоднозначности критерия ZCM при идеальной синхронизации, доказательство того, что любые два или три истинных формирователя пучков могут порождать два дополнительных ложных решения
- Вклад в методологию: предложение нового критерия разрешения неоднозначности на основе произведения трёх последовательных символов, который равен нулю для истинных решений и принимает ненулевые значения с ненулевой вероятностью для ложных решений
- Вклад в алгоритмику: проектирование смешанной целевой функции и соответствующего алгоритма градиентного спуска, избегающего сложного решения проблемы матричного пучка
- Экспериментальная проверка:
- При идеальной синхронизации вероятность успеха метода из работы 6 <10%, предложенного метода >95%
- Алгоритм демонстрирует хорошую робастность к выбору λ, с широким эффективным диапазоном
- Эффективен для различных конфигураций системы (точно определённые/переопределённые)
- Показывает лучшую производительность при наличии системных дефектов
- Вычислительная сложность: градиентный спуск требует множество итераций (в экспериментах L=800), что может быть более затратно по времени, чем одноразовое алгебраическое решение
- Зависимость от инициализации: производительность алгоритма градиентного спуска может зависеть от стратегии инициализации, которая не обсуждается подробно в работе
- Неполнота теоретического анализа:
- Отсутствие доказательства сходимости
- Отсутствие анализа оптимального выбора λ
- Отсутствие теоретического руководства по выбору λ для различных конфигураций (d,M)
- Ограничения экспериментов:
- Рассмотрена только модель узкополосного канала
- Не тестированы крупномасштабные системы (d,M>5)
- Не учтено влияние ошибок оценки канала
- Специфичность кодирования Manchester: алгоритм разработан на основе чередующегося свойства кодирования Manchester; применимость к кодированию FM0, хотя и заявляется как эквивалентная, не полностью проверена
- Чувствительность к шуму: производительность при низком SNR недостаточно изучена (тестировалось только SNR=20дБ)
Хотя в работе не указаны явно, можно вывести следующие направления:
- Совершенствование теории:
- Анализ сходимости и скорости сходимости
- Стратегия адаптивного выбора оптимального веса λ
- Единая теоретическая база для различных схем кодирования
- Улучшение алгоритма:
- Алгоритмы быстрой сходимости (сопряжённый градиент, метод Ньютона)
- Стратегии адаптивного размера шага
- Совместная оптимизация нескольких формирователей пучков
- Практическое применение:
- Совместное проектирование с протоколами сетевого уровня
- Реализация на аппаратуре в реальном времени
- Масштабируемость для крупномасштабных систем RFID
- Расширение сценариев:
- Модели широкополосного канала
- Сценарии с движущимися метками
- Недоопределённые системы (d>M)
- Глубокое понимание: первое систематическое выявление проблемы неоднозначности критерия ZCM, конструктивное доказательство существования ложных формирователей пучков
- Математическая строгость: таблицы I и II ясно демонстрируют, как ложные решения удовлетворяют свойству ZCM
- Ясное определение проблемы: сведение проблемы неоднозначности к условию идеальной синхронизации, выявление сути проблемы
- Проектирование нового критерия: использование чередующегося свойства кодирования Manchester, критерий π[n] прост и эффективен
- Смешанная стратегия: балансирование преимуществ двух критериев, избежание недостатков одного критерия
- Полный расчёт градиента: предоставление подробных формул расчёта градиента, удобство реализации
- Многомерная проверка:
- Влияние различного количества итераций
- Производительность при различных конфигурациях системы
- Робастность при различных условиях синхронизации
- Ясное сравнение: прямое сравнение с методом из работы 6 подчёркивает улучшение
- Полный анализ параметров: выбор λ тщательно исследован
- Реальное значение: решение проблемы идеальной синхронизации, часто встречающейся в практических системах
- Независимость от дефектов: не зависит от частотного смещения или колебаний фазы
- Высокая реализуемость: алгоритм градиентного спуска легко программируется
- Логическая ясность: полный процесс проблема→анализ→решение→проверка
- Точность выражения: стандартное использование математических символов, строгие выводы формул
- Хорошая читаемость: таблицы и графики эффективно поддерживают аргументацию
- Отсутствие доказательства сходимости: сходимость алгоритма градиентного спуска не гарантирована теоретически
- Отсутствие анализа оптимальности: не доказана глобальная оптимальность смешанной целевой функции
- Отсутствие теоретического руководства по выбору параметров: выбор λ в основном основан на экспериментах, без теоретического обоснования
- Единственное значение SNR: тестировалось только 20дБ, производительность при низком SNR не изучена
- Ограниченный масштаб: максимум тестировалось d=4,M=5, производительность крупномасштабных систем неизвестна
- Отсутствие статистической значимости: не сообщены среднее значение и дисперсия при множественных запусках
- Не обсуждена инициализация: стратегия выбора начальных значений формирователей пучков не указана
- Специфичность кодирования: сильная зависимость от чередующегося свойства кодирования Manchester
- Высокая вычислительная сложность: требуется 800 итераций, может повлиять на реальное время
- Риск локального оптимума: градиентный спуск может застрять в локальном оптимуме, решение не предложено
- Оценка канала: предполагается, что матрица канала A известна или может быть оценена, но влияние ошибок оценки не обсуждается
- Подавление сигнала считывателя: предполагается идеальное подавление сигнала считывателя, в действительности может быть остаток
- Требования к расстоянию между антеннами: расстояние 16 см может быть сложно реализовать на портативных устройствах
- Неполное сравнение: не сравнено с другими методами слепого разделения источников (ICA, разреженное кодирование)
- Недостаточный анализ преимуществ: не подробно объяснены конкретные преимущества по сравнению с другими методами MSS
- Теоретический вклад: выявление внутреннего недостатка критерия ZCM, предоставление важного понимания для будущих исследований
- Вклад в методологию: предоставление практического решения, применимого к системам RFID
- Вдохновляющее значение: идея смешанного критерия может быть обобщена на другие проблемы слепого разделения
- Прямое применение: применимо к системам UHF RFID для разрешения коллизий
- Значительное улучшение производительности: в критическом сценарии улучшение вероятности успеха >85%
- Умеренная сложность реализации: алгоритм градиентного спуска легко реализуется
- Преимущества:
- Подробное описание алгоритма, полные формулы
- Ясные параметры установки
- Недостатки:
- Не предоставлены код или псевдокод
- Стратегия инициализации не указана
- Критерий остановки не ясен
- Краткосрочное: вероятно быстрое принятие и проверка исследовательским сообществом RFID
- Среднесрочное: может вдохновить исследования слепого разделения в других системах связи
- Долгосрочное: идея смешанного критерия может стать универсальной парадигмой решения проблем неоднозначности
- Системы с высокой синхронизацией:
- RFID-метки с высокоточными кварцевыми генераторами
- Короткодистанционная связь (малая ошибка синхронизации)
- Внутренние среды (стабильный канал)
- Приложения с фиксированными метками:
- Управление складом
- Библиотечные системы
- Отслеживание активов
- Переопределённые системы:
- Количество антенн считывателя больше количества меток
- Достаточное пространство для развёртывания антенной решётки
- Движущиеся метки: требуется учёт эффекта Доплера
- Крупномасштабные системы: требуется проверка масштабируемости
- Среды с низким SNR: требуется повышение робастности к шуму
- Недоопределённые системы (d>M): требуются дополнительные предположения о разреженности
- Широкополосные системы: предположение узкополосности не выполняется
- Требования экстремального реального времени: итеративный алгоритм может быть слишком медленным
- Не-Manchester кодирование: эффективность нового критерия требует переоценки
| Аспект | Оценка | Вес | Взвешенная оценка |
|---|
| Теоретическая инновативность | 9/10 | 25% | 2.25 |
| Эффективность методов | 8/10 | 25% | 2.00 |
| Достаточность экспериментов | 7/10 | 20% | 1.40 |
| Практическая ценность | 8/10 | 15% | 1.20 |
| Качество написания | 9/10 | 10% | 0.90 |
| Воспроизводимость | 6/10 | 5% | 0.30 |
| Итоговая оценка | | | 8.05/10 |
- Настоятельно рекомендуется: исследователи систем RFID, исследователи слепого разделения источников, исследователи обработки сигналов антенных решёток
- Рекомендуется: исследователи беспроводной связи, разработчики систем Интернета вещей
- Опционально: студенты обработки сигналов (как пример применения градиентного спуска)
6 A. F. Mindikoglu and A.-J. van der Veen, "Separation of overlapping RFID signals by antenna arrays," ICASSP 2008
- Основной объект сравнения в данной работе, предложил метод AZCMA
5 Z. Luo et al., "A Comprehensive Survey on Blind Source Separation for Wireless Adaptive Processing," IEEE Access 2018
- Обзор слепого разделения источников, предоставляет теоретическую базу MSS
9 ISO/IEC 18000-6:2013
- Стандарт RFID, определяет кодирование Manchester и параметры системы
Данная работа решает проблему коллизии меток в системах RFID, предлагая алгоритм градиентного спуска на основе смешанной целевой функции. Основной вклад заключается в выявлении и решении проблемы неоднозначности существующего критерия ZCM при условиях идеальной синхронизации. Путём введения нового критерия разрешения неоднозначности и его комбинирования с критерием ZCM алгоритм достигает вероятности успеха >95% в наиболее сложном сценарии, что представляет улучшение более чем на 85 процентных пункта по сравнению с существующими методами.
Основные преимущества работы включают: (1) глубокое теоретическое понимание, систематический анализ математических корней проблемы неоднозначности; (2) искусное проектирование методов, новый критерий прост и эффективен; (3) достаточная экспериментальная проверка, многомерная демонстрация робастности алгоритма.
Основные ограничения заключаются в: (1) неполнота теоретического анализа, отсутствие доказательства сходимости и теоретического руководства по выбору параметров; (2) ограниченный масштаб экспериментов, не тестированы крупномасштабные системы и низкие SNR; (3) высокая вычислительная сложность, может повлиять на реальное время.
В целом, это высококачественная исследовательская работа (8.05/10), предоставляющая практическое и эффективное решение для разрешения коллизий в RFID, имеющая важное теоретическое и практическое значение для областей обработки сигналов и беспроводной связи. Рекомендуется, чтобы будущие исследования сосредоточились на совершенствовании теории, проверке крупномасштабных систем и оптимизации реальной реализации.