РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016663149

Дата регистрации: 29.11.2016

Номер и дата поступления заявки: 2016619788 19.09.2016

Дата публикации: 20.12.2016

Контактные реквизиты:
394018, г. Воронеж, Университетская пл., 1, к. 479а, Центр коммерциализации технологий
	
Автор:
Махортов Сергей Дмитриевич

Правообладатель:
Федеральное государственное бюджетное образовательное учреждение высшего образования «Воронежский государственный университет» (ФГБОУ ВО «ВГУ»)

Название программы для ЭВМ:
Библиотека DLPStructure

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

Тип реализующей ЭВМ: IBM PC - совмест. ПК

Язык программирования: С++ с библиотекой STL

Вид и версия операционной системы: Windows XP/Vista/7/10, GNU Linux Debian/Ubuntu/Gentoo

Объем программы для ЭВМ: 50 Кб