Программа выявления формальных понятий с использованием парадигмы программирования в ограничениях
программирование в ограничениях формальные понятий
Программа предназначена для выявления формальных понятий с использованием парадигмы программирования в ограничениях. Формальный контекст моделируется в виде сжатой таблицы D-типа. Выявление кандидатов в формальные понятия сводится к решению соответствующей задачи удовлетворения ограничений: ограничения накладываются на компоненты сжатой таблицы D-типа. Исключение неприемлемых кандидатов реализуется с помощью ограничения, служащего для проверки замкнутости множества объектов относительно множества признаков (и наоборот). Программный пользовательский интерфейс позволяет представлять исходные данные в виде объектно-признаковой таблицы, организовывать процедуру расчета, а также дает возможность сохранения результата для дальнейшего анализа.

Ссылки:
https://fips.ru/EGD/98a9690d-e545-4e0c-b418-253ef4fad305 
https://new.fips.ru/registers-doc-view/fips_servlet?DB=EVM&DocNumber=2023685757&TypeFile=html
Позволяет представлять исходные данные в виде объектно-признаковой таблицы, организовывать процедуру расчета, дает возможность сохранения результата для дальнейшего анализа.
Андрей
Олейник
Григорьевич
Главный научный сотрудник
Доктор технических наук
Отсутствует
K-1640-2017
57189025044
69012
0000-0002-7612-5999
РОССИЯ
Сергей
Кривовичев
Владимирович
Генеральный директор ФИЦ КНЦ РАН
РОССИЯ
28.17.31
Моделирование процессов управления
28.01.75
Экономика, организация, управление, планирование и прогнозирование
50.41.25
Прикладное программное обеспечение
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Александр
Зуенко
Анатольевич
РОССИЯ
Ольга
Зуенко
Николаевна
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Петр
Мордовской
Григорьевич
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ФИЦ КНЦ РАН
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ФЕДЕРАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЦЕНТР "КОЛЬСКИЙ НАУЧНЫЙ ЦЕНТР РОССИЙСКОЙ АКАДЕМИИ НАУК"
1025100508333
СЕРГЕЙ
КРИВОВИЧЕВ
ВЛАДИМИРОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения