2025 год, том 29, выпуск 2 (PDF)

А.С. Подколзин Введение в логические процессы. Представление задач в решателе

В статье описывается интерфейс решателя математических задач; рассказывается о логической системе "Искра"; описывается логический язык, используемый в решателе; рассказывается как осуществляется логическая формализация задач.

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

Д. А. Юдаков Изменение формы КАМ созвездий на стороне передатчика в беспроводном канале с фиксированным алгоритмом декодирования.

В работе исследуется оптимизация геометрии сигнальных созвездий для повышения пропускной способности в беспроводных системах связи. Рассматривается подход, при котором созвездия могут быть неравномерно распределены для улучшения эффективности передачи. Оптимизация выполняется на стороне базовой станции, а ее эффективность подтверждается численными экспериментами с использованием LDPC кодирования, OFDM модуляции и технологии MIMO.

Ключевые слова: беспроводная связь, сигнальное созвездие, изменение формы созвездий, взаимная информация.

Чж. Цуй, Д. С. Романов О растущей нижней оценке функции Шеннона длины единичного проверяющего теста при константных неисправностях на выходах элементов в формулах над базисами, близкими к стандартному

В статье установлены асимптотически равные числу переменных нижние оценки функций Шеннона длины единичного проверяющего теста при константных неисправностях на выходах элементов в булевых формулах над базисами \[ \{x\mathbin{\&}y,\,x\vee y,\,\bar x\}\], \[\{x\mathbin{\&}y,\,\bar x\}\], \[\{x\vee y,\,\bar x\}\], \[\{x\mathbin{\&}{\bar y},\,\bar x\}\], \[\{x\vee {\bar y},\,\bar x\}\].

Ключевые слова: проверяющий тест, константные неисправности, булева формула