Зображення обкладинки

Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования

Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1. Software for parallel inference search in propositional calcu...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Кибернетика и системный анализ
Дата:	2010
ISSN:	0023-1274
Автори:	Летичевский, А.А., Герман, В.Н., Мороховец, М.К., Щеголева, Н.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Теми:	Программно-технические комплексы
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/45253
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Алгоритм регуляризации τ-метода Ланцоша и его реализация средствами алгебраического программирования
за авторством: Денисенко, П.Н.
Опубліковано: (2011)

Развитие отечественной технологии программирования
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)

Распознавание вторичной структуры ДНК нечеткими системами логического вывода
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2014)

Инструментальные средства автоматизации параллельного программирования на основе алгебры алгоритмов
за авторством: Андон, Ф.И., та інші
Опубліковано: (2015)

Информационная система агромониторинга на основе геопространственных данных
за авторством: Шелестов, А.Ю., та інші
Опубліковано: (2013)

Синтез адаптивных логических сетей на основе полинома Жегалкина
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2015)

Трансформационный подход к разработке программных архитектур на основе нечетких графовых моделей
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2008)

Методы синхронизации цифровых водяных знаков
за авторством: Кошкина, Н.В.
Опубліковано: (2008)

Обобщение логистической регрессии, веса категории переменной и индекса Джини для непрерывной целевой переменной, принимающей вероятностные значения
за авторством: Солошенко, А.Н.
Опубліковано: (2015)

Количественный критерий пространственной неоднородности электромагнитного поля в ближней зоне рамочного излучателя
за авторством: Николов, Н.А.
Опубліковано: (2013)

Алгоритмы распараллеливания математической модели лесных пожаров на суперкомпьютерах и теоретические оценки эффективности параллельных программ
за авторством: Барановский, Н.В.
Опубліковано: (2015)

Об особенностях организации вычислений на основе метода базисных матриц
за авторством: Богаенко, В.А., та інші
Опубліковано: (2012)

Качественный анализ системы противоопухолевого иммунитета на основе дерева решений
за авторством: Марценюк, В.П., та інші
Опубліковано: (2015)

Метод построения нечеткой регрессионной модели на основе LARS для выбора значимых признаков
за авторством: Ерохин, А.Л., та інші
Опубліковано: (2016)

Построение билинейных цифровых подписей с открытым ключом на основе личностных данных пользователя
за авторством: Кулага, А.А.
Опубліковано: (2012)

Аналитическое исследование составляющих ошибки для решения дискретных некорректных задач на основе случайного проецирования
за авторством: Ревунова, Е.Г.
Опубліковано: (2015)

Высокоточные максимальные напряжения в задаче о взаимодействии упругих волн с системой цилиндрических полостей в условиях плоской деформации
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2015)

Система управления комплексными проектами
за авторством: Крижановский, В.В., та інші
Опубліковано: (2009)

Математическое обеспечение для исследования состояний сложных систем в условиях неопределенности на основании нечетких сетевых моделей доверия
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2014)

Информационное обеспечение технологии автоматизированного мониторинга состояния здоровья населения
за авторством: Рогозинская, Н.С., та інші
Опубліковано: (2013)

О распространении вероятностей в нечетких байесовских сетях с недетерминированными состояниями
за авторством: Верёвка, О.В., та інші
Опубліковано: (2008)

Численная оптимизация на основе алгоритмов сортировки с приложением к дифференциальным и нелинейным уравнениям общего вида
за авторством: Ромм, Я.Е., та інші
Опубліковано: (2011)

Современное состояние теории мультимножеств с сущностной точки зрения
за авторством: Редько, В.Н., та інші
Опубліковано: (2015)

Оптимизация тайлинга при численном решении многомерного уравнения теплопроводности на кольце процессоров
за авторством: Соболевский, П.И., та інші
Опубліковано: (2010)

Методы обучения параллельно-иерархической сети и их применение для распознавания образов
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2011)

Алгоритмы параллельных вычислений для задач линейной алгебры с матрицами нерегулярной структуры
за авторством: Химич, А.Н., та інші
Опубліковано: (2011)

К распараллеливанию последовательных программ: распределение массивов между процессорами и структуризация коммуникаций
за авторством: Адуцкевич, Е.В., та інші
Опубліковано: (2012)

Метод организации параллельно-иерархической сети для распознавания образов
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2011)

Метод прогнозирования положения энергетического центра изображения лазерного пучка с использованием параллельно-иерархической сети
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2013)

Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2010)

Классификация больших площадей земного покрова по ретроспективным спутниковым данным
за авторством: Лавренюк, Н.С., та інші
Опубліковано: (2016)

Онтологический подход к спецификации свойств программных систем и их компонентов
за авторством: Бабенко, Л.П.
Опубліковано: (2009)

Сравнение методов распределения наблюдений на классы при прогнозировании наличия осложнений у тяжелобольных
за авторством: Иванчук, М.А., та інші
Опубліковано: (2015)

Метод доказательства инвариантности линейных неравенств для линейных циклов
за авторством: Львов, М.С.
Опубліковано: (2014)

Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
за авторством: Погорелый, С.Д., та інші
Опубліковано: (2009)

Алгоритмы решения систем линейных уравнений в кольцах вычетов
за авторством: Крывый, С.Л.
Опубліковано: (2016)

Измерение производительности параллельных компьютеров с распределенной памятью
за авторством: Ющенко, Р.А.
Опубліковано: (2009)

Технология формирования гибридных документов
за авторством: Иванов, А.И., та інші
Опубліковано: (2014)

Преобразование алгоритмов, записанных в виде композиционных схем
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2014)

Национальная система электронных цифровых подписей как открытая система
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2011)