Унифицированная карточка ресурса.

(Информационние карты диссертаций)

.
Дата материала:   20.01.2005
Название:   Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах
Основное описание:   Разработаны способ представления термов, алгоритм параллельной унификации, метод построения множества связей для DCDP параллельного вывода, эвристическая функция выбора связи, комплексный подход, объединяющий параллелизм на уровне термов и на уровне дизъюнктов. Результаты использованы в НПО "Мекомп" при разработке системы диагностики, что позволило сократить время устранения неисправностей, возникающих во время работ по инсталляции, системной настройке и системному администрированию.
Шифр специальности:   05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Авторы (ФИО):   Аверин Андрей Игоревич
Степень соискателя:   канд. техн. наук
Год защиты:   2005
УДК:   519.7:004.8
ГРНТИ:   27.47.23 Математические проблемы искусственного интеллекта

Связанные материалы
Диссертация -> Организация
Место защиты Московский энергетический институт (технический университет)
  Rambler's Top100