Алгоритм резолюции в логике высказываний при 0-1-ном представлении дизъюнктов
Анализ автоматизации алгоритма резолюции в логике высказываний. Анализ представления дизъюнктов и матричной структуры представления связей дизъюнктов, для которых разработан алгоритм резолюции с эвристической функцией выбора связи для резольвирования.
Подобные документы
Сущность жадного алгоритма, описание кодов Хаффмана. Сущность задачи об одномерной оптимальной упаковке, её математическая постановка, уравнение Беллмана. Суть метода динамического программирования. Способы представления графа в памяти компьютера.
шпаргалка, добавлен 13.01.2015Анализ задачи планирования траектории на плоскости как задачи отыскания пути на графе специальной структуры. Описание иерархического алгоритма решения. Анализ результатов, подтверждающих эффективность применения предлагаемого алгоритма на практике.
статья, добавлен 18.01.2018Этапы разработки гибридного алгоритма, объединяющего результаты решения алгоритмов с логическим и прецедентным способами представления информации. Оценка его качества обоснование эффективности программной технологии для решения комбинированных задач.
автореферат, добавлен 19.08.2018Характеристика модификации стандартного генетического алгоритма, особенности принципа его работы. Проверка работоспособности модифицированного алгоритма. Использование критериев Уилкоксона, Манна-Уитни и пакета статистической обработки данных Statistica.
статья, добавлен 19.01.2018Характеристика циклической и линейной структуры программного алгоритма. Описание полного и неполного ветвления разветвляющегося алгоритма. Исследование алгоритма и разработка программного приложения в среде Delphi, показывающего информацию об учениках.
курсовая работа, добавлен 28.06.2012Разработка и анализ алгоритма последовательного улучшения управлений для дискретной управляемой системы и построение соответствующего программного комплекса. Специфические особенности построенной модели, а также основные технические требования к ней.
статья, добавлен 16.01.2018Итерационные блочные шифры. Алгоритм шифрования имитовставки, режимы его применения. Достоинства AES-128. Структура раунда. Таблицы замен. Атаки на полнораундовый алгоритм. Дифференциальный криптоанализ на связанных ключах. Advanced Encryption Standard.
реферат, добавлен 19.04.2015Понятие исчисление высказываний и исчисление предикатов, характеристика главных задач и функций. Сущность основных символов, их предложения. Семантика предложений и необходимость интерпретации. Применение закона контрапозиции импликации и Моргана.
лекция, добавлен 23.10.2013Язык как способ представления информации. Двоичные числа и двоичное кодирование текста в памяти компьютера. Информационный объем текста. Кодирование цветного изображения. Представление и обработка звука. Понятие и свойства алгоритма и блок-схемы.
шпаргалка, добавлен 03.05.2012Общее понятие алгоритма. Пример алгоритма "открыть дверь ключом". Дискретность и детерминированность, конечность, массовость и результативность этой категории. Способы записи алгоритмов, языки программирования, блок-схема, псевдокоды, структура.
презентация, добавлен 18.11.2013Рассмотрение вопроса последовательного доопределения граф-схемы абстрактного алгоритма и представления его двудольным графом. Определение возможности задания алгоритмов в матрично-предикатном виде. Анализ особенностей доопределения оператора действия.
статья, добавлен 30.07.2017Реализация клиент-серверного приложения для пересылки закодированной информации с помощью алгоритма RSA. Алгоритм создания открытого и секретного ключей. Шифрование сообщения с использованием открытого ключа. Применение закрытого ключа для расшифрования.
курсовая работа, добавлен 10.12.2016- 113. Алгоритм компрессии воксельного поля, оптимизированный для хранения данных о ландшафте (ANIRLE)
Способ представления данных о форме и содержимом объектов с помощью воксельной информации. Использование вокселей как трехмерных аналогов пикселей. Алгоритм хранения и доступа к данным, ключевым назначением которого является снижение затрат памяти.
статья, добавлен 30.05.2017 Исследование результатов работы программного продукта, использующего разработанный алгоритм. Модели генетических алгоритмов и их создание. Разработка программного продукта на основе спроектированного алгоритма. Список профессий, подходящих пользователю.
дипломная работа, добавлен 14.12.2019Понятие и концепция алгоритма. Структура электронно-вычислительных машин неймановского типа. Принцип программного управления. Формы представления чисел в памяти компьютера. Эволюция средств программирования. Формализованное определение понятия "язык".
курсовая работа, добавлен 17.02.2012Классификация вычислительных систем. Стандарты для распараллеливания программ. Описание схемы параллельного выполнения алгоритма. Параллельные вычисления в решении задач метаногенеза. Генетический алгоритм, его особенности. Наложение текстуры на объекты.
курсовая работа, добавлен 26.09.2017Проблема разработки универсальных методов, пригодных для обработки информации. Оценка возможности использования модифицированного алгоритма кластеризации в задаче опорно-двигательного аппарата. Анализ и описание основных этапов алгоритма Хамелеон.
лекция, добавлен 30.01.2016Параллельные вычислительные системы и их классификация. Стандарты для распараллеливания программ. Описание схемы параллельного выполнения алгоритма. Генетический алгоритм и его особенности. Параллельные вычисления в решении задач метаногенеза.
курсовая работа, добавлен 14.09.2017Рассмотрение особенностей задач о назначении. Описание алгоритма классической транспортной задачи. Изучение правил применения венгерского метода решения. Составление структуры программы. Тестирование программы при нормальных и экстремальных условиях.
курсовая работа, добавлен 18.01.2016Причины угрозы потери информации: случайные, специальные. Анализ корректирующих кодов как способа защиты информации от наводок. Характеристика алгоритма Хаффмана. Алгоритм RSA как классика асимметричной криптографии. Особенности симметричных шифров.
контрольная работа, добавлен 04.08.2012Понятие и история алгоритма как одного из фундаментальных понятий информатики. Алгоритмический язык программирования — формальный язык, используемый для записи, реализации и изучения алгоритмов. Анализ основных служебных слов алгоритмического языка.
реферат, добавлен 13.03.2019Сущность линейного предсказания с мультикодовым управлением как алгоритма кодирования речи, первоначально предложенный М.Р. Шредером и Б.С. Аталом. Характеристика четырех идей алгоритма CELP. Процесс расширения полосы пропускания, искажение шумом.
реферат, добавлен 26.10.2014Построение венгерского алгоритма. Пересчет потенциала и увеличение паросочетания. Ключевые идеи, позволяющие достичь требуемой асимптотики. Цикл добавления строк. Реализацию венгерского алгоритма на языке C#. Инициализация массивов и создание матрицы.
контрольная работа, добавлен 27.05.2013Словесное описание алгоритма решения задачи, в виде блок-схемы. Обоснование выбора основных инструментов реализации алгоритма. Пользовательский интерфейс программы, ее исходный код и спецификация. Рекомендации по улучшению или добавлению функционала.
курсовая работа, добавлен 24.06.2011- 125. Асимметричный криптографический алгоритм на базе конечно-автономной модели, сохраняющей информацию
Особенности применения криптографического алгоритма с открытым ключом. Безопасность GSM: история, анализ, вскрытие. Обоснование применения конечно-автономной модели, сохраняющей информацию. Основная концепция алгоритма построения криптографической КАМСИ.
научная работа, добавлен 15.09.2012