|
Искусственный интеллект и принятие решений, 2012, выпуск 2, страницы 63–76
(Mi iipr431)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Моделирование и управление
Параллельный логический вывод на компьютерных системах
В. П. Кутепов, М. М. Кумачев Московский энергетический институт
Аннотация:
В статье исследуются различные алгоритмы параллельного логического вывода, основанные на принципе резолюции. Проведены экспериментальные исследования алгоритмов на компьютерных системах с общей памятью и кластере. Описанные результаты показывают влияние архитектуры и характеристик компьютерных систем, степени распараллеливания и эвристик на эффективность параллельного вывода.
Ключевые слова:
логика, принцип резолюции, алгоритмы, параллельные вычисления, параллельный логический вывод.
Образец цитирования:
В. П. Кутепов, М. М. Кумачев, “Параллельный логический вывод на компьютерных системах”, Искусственный интеллект и принятие решений, 2012, № 2, 63–76; Scientific and Technical Information Processing, 40:6 (2013), 403–413
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iipr431 https://www.mathnet.ru/rus/iipr/y2012/i2/p63
|
Статистика просмотров: |
Страница аннотации: | 26 | PDF полного текста: | 13 | Список литературы: | 1 |
|