Способ представления термов в логике предикатов первого порядка
Способ представления термов в логике предикатов первого порядка. Принципы алгоритма унификации, использующего данное представление. Разработка более производительного алгоритма унификации, чем алгоритм, предложенный Дж.Р. Вагин. Обзор его работы.
Подобные документы
Обзор алгоритмов поиска. Несостоятельность примитивного алгоритма. Алгоритмы: сравнение как "черном ящике", с начала и конца, в необычном порядке. Описание алгоритма Бойера-Мура: сканирование слева направо, сравнение справа налево, эвристика стоп-символа.
курсовая работа, добавлен 23.06.2011- 52. Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях
Проблема выбора режима исполнения (последовательный или параллельный) при обработке цепочек предикатов в регулярно-логических выражениях. Описание сути регулярно-логических выражений, их известных применений; видов и состава цепочек предикатов.
статья, добавлен 08.03.2019 Понятие кластеризации и принципы работы ее алгоритмов. Этапы применения кластерного анализа для получения оптимального результата. Классификация алгоритмов кластеризации. Принцип работы алгоритма LargeItem. Понятие транзакций и проблема их кластеризации.
дипломная работа, добавлен 21.03.2016Изучение последовательного алгоритма Гаусса решения систем линейных уравнений. Программная реализация последовательного алгоритма Гаусса. Зависимость времени реализации алгоритма от размера матрицы. Вычисление эффективности параллельного алгоритма.
курсовая работа, добавлен 27.12.2019Оценка вычислительной сложности алгоритма. Основные его характеристики при анализе. Классы входных данных. Их влияние на последовательность действий программного кода. Проблематика выбора алгоритма в условиях ограниченной памяти. Эффективность его работы.
лекция, добавлен 18.06.2015Сущность блочного алгоритма шифрования, его основные характеристики: уровень криптостойкости, скорость. Представление сети Фейстеля. Операции шифрования. Пример криптографического протокола, используемым алгоритмом. Предложения по его использованию.
контрольная работа, добавлен 05.11.2015Усовершенствование алгоритма исчисления порядка, основанного на применении таблиц индексов, применяемых в областях современной теории передачи информации и криптографии. Упрощение задачи вычисления дискретных логарифмов, применяемых в криптографии.
статья, добавлен 30.07.2016Описаны основные принципы работы и программная реализация алгоритма преобразования конусных проекций в проекции параллельных веерных слоев. В статье приведены результаты исследования производительности алгоритма при различных вариантах сканирования.
статья, добавлен 29.01.2019Характеристика циклической и линейной структуры программного алгоритма. Описание полного и неполного ветвления разветвляющегося алгоритма. Исследование алгоритма и разработка программного приложения в среде Delphi, показывающего информацию об учениках.
курсовая работа, добавлен 28.06.2012Анализ понятия граф. Рассмотрение вершин, достижимости и длины пути. Классификация и примеры графов. Способы их представления. Преимущества матрицы смежности и иерархического списка. Исследование алгоритма Дейкстры. Создание графа в программе "ProGraph".
презентация, добавлен 20.04.2015Анализ временных рядов на базе нечёткого представления сценариев типового развития. Модель представления динамики временного ряда в виде последовательности волн с нечеткой амплитудой. Способ идентификации прецедента, прогнозирование его поведения.
статья, добавлен 27.02.2019Рассмотрение алгоритма построения минимального остовного дерева взвешенного связного неориентированного графа. Описание, псевдокод и блок-схема алгоритма Краскала. Код программы и сложность алгоритма. Описание, псевдокод и сложность алгоритма Прима.
курсовая работа, добавлен 25.04.2015Разработка гибридного алгоритма поиска грифов с минимальным числом входных параметров для оптимизации сложных функций, меняющихся с течением времени. Исследование эффективности работы алгоритма и его сравнительный анализ с некоторыми другими алгоритмами.
статья, добавлен 14.05.2017Исследование влияния хищников на число популяции животных и разработка программы по реализации математической модели экологической системы. Определение алгоритма и порядка ввода начальных показателей, построение графиков и описание работы программы.
реферат, добавлен 28.06.2012Сравнительный анализ алгоритма искусственной пчелиной колонии и гибридного алгоритма искусственной пчелиной колонии с гравитационным алгоритмом. Анализ производительности работы алгоритмов на основе функций Розенброка, Гривонка, Растригина, Швефеля.
статья, добавлен 30.04.2018Принцип работы блочного алгоритма симметричного шифрования на основе сети Фейстеля. Реализация алгоритма криптосистемы на языке программирования C# в Visual Studio. Принцип зашифровки текста. Проверка работоспособности и корректности работы программы.
контрольная работа, добавлен 20.12.2017Целевые функции и анализ существующих алгоритмов маршрутизации. Борьба с перегрузкой и постановка задачи маршрутизации. Разработка алгоритма маршрутизации трафика в MPLS-сети. Разработка алгоритма динамической маршрутизации на базе протокола OSPF.
курсовая работа, добавлен 12.12.2014Краткая характеристика численного метода. Проектирование алгоритма головной программы. Разработка алгоритма ввода исходных данных. Особенность кодирования программы-приложения. Проектирование интерфейса пользователя. Описание компьютера для тестирования.
курсовая работа, добавлен 31.03.2020Создание динамических, управляемых данными систем представления данных, обеспечение нахождения кратчайших путей между всеми парами вершин графа. Реализация алгоритма Флойда и возможность редактирования данных. Тестирование программного продукта.
контрольная работа, добавлен 07.04.2016Описание заданной структуры данных или алгоритма, характеристика работы алгоритма. Анализ временной сложности алгоритма, определение отображаемых элементов, проектирование интерфейса. Специфика методики и результатов тестирования программного обеспечения.
курсовая работа, добавлен 21.03.2021Описание алгоритма программы. Рассмотрение особенностей ручного расчёта программы. Анализ алгоритма вычисления кратчайших расстояний. Разработка программы, выполняющей поиск минимального пути от одной вершины к другим, используя алгоритм Дейкстры.
курсовая работа, добавлен 22.02.2019Алгоритм для построения кривых на экране монитора или на графопостроителе под управлением вычислительной машины. Особенности кривой Серпинского. Схема алгоритма главной процедуры. Тестирование программы и запуск интерпретатора XLisp в окне MS-DOS.
курсовая работа, добавлен 12.02.2013Описание подхода информационного обеспечения синтеза виртуальной реальности в условиях нечеткого представления контролируемых параметров. Разработка объектов виртуальной реальности на основе правил логического вывода с использованием алгоритма Мамдани.
статья, добавлен 28.04.2017Электронная коммерция: понятие, цели и задачи. Преимущества и недостатки электронных магазинов. Разработка серверной, администраторской и клиентской части, алгоритм работы. Разработка системы оплаты и доставки. API-интерфейс Membership, Roles, Profiles.
курсовая работа, добавлен 16.05.2016Определение и понятие алгоритма. Принципы разработки и формы их представления (словесная, графическая, программная, псевдокоды). Часто употребляемые символы: название, обозначение, пояснение. Реализация алгоритмов с использованием базовых структур данных.
презентация, добавлен 30.04.2011