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

Дан обзор индексных структур для быстрого поиска по сходству объектов, представленных бинарными векторами (с компонентами 0 или 1). Рассмотрены структуры как для точного, так и для приближенного поиска по расстоянию Хэмминга ...

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

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

Предложен метод исследования систем обслуживания M/Es/1/m, Er/Es/1/m и Er/M/n/m, включая случай m=∞. Получены рекуррентные соотношения для вычисления стационарного распределения числа заявок в системе и стационарных ...

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

Для двух фрагментов, LP и LF, логики первого порядка с ограниченными кванторами сформулированы и доказаны соответствующие варианты теоремы о спецификации, позволяющие свести процедуру синтеза ∑-автоматов, специфицированных ...

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