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

Исследованы семейства автоматов без выхода, а также семейства обратимых автоматов Мили и Мура, заданные рекуррентными соотношениями над конечными T-квазигруппами. На основе разложения абелевой группы в прямую сумму примарных ...

Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ...

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

Наведено підхід до багатокритерійного прийняття рішень під час досліджень складних систем, який грунтується на використанні результатів, отриманих застосуванням множини методів (як ранжування, так і формування ядра), що ...

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

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

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

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

Дан обзор индексных структур для быстрого поиска по сходству объектов, представленных вещественными векторами. Рассмотрены структуры как для точного, так и для более быстрого, но приближенного поиска. Представлены главным ...