Программная библиотека алгоритмов удовлетворения табличных ограничений, представленных в виде С- и D-систем

14.01.2022

Библиотека ориентирована на использование в рамках современных сред программирования в ограничениях и дополняет их возможности. Библиотека позволяет “сжато” представлять качественные ограничения в табличной форме (в виде C- и D-систем) и реализует авторские методы распространения ограничений, оригинальные эвристики для организации поиска. В результате, ускоряется процесс решения задач удовлетворения ограничений, содержащих качественные зависимости

ГРНТИ

50.41.25 Прикладное программное обеспечение

Ключевые слова

задача удовлетворения ограничений

методы удовлетворения ограничений

алгоритмы интеллектуального поиска

Детали

Тип РИД

Программа для ЭВМ

Сферы применения

Разработка в рамках алгебраического подхода процедур логического анализа и интеллектуального поиска

Ожидается

Исполнитель

Исполнители

Институт информатики и математического моделирования - обособленное подразделение Федерального государственного бюджетного учреждения науки Федерального исследовательского центра «Кольский научный центр Российской академии наук»

Похожие документы

ПРОГРАММА ДЛЯ ЭВМ Программная библиотека логических операций нечеткой идентификации

0.864

РИД

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

0.839

НИОКТР

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

0.834

РИД

Программная библиотека для решения задачи выполнимости булевых формул при помощи реконфигурируемых вычислителей

0.832