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

В работе исследуется оптимизация геометрии сигнальных созвездий для повышения пропускной способности в беспроводных системах связи. Рассматривается подход, при котором созвездия могут быть неравномерно распределены для улучшения эффективности передачи. Оптимизация выполняется на стороне базовой станции, а ее эффективность подтверждается численными экспериментами с использованием 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\}\).