PN-логики и модификационные исчисления
Логики с PN-операторами как логический базис для систем интеллектуального анализа данных, основанных на когнитивных рассуждениях, использующих немонотонные модификационные исчисления. Анализ основных альтернатив многозначным логикам с J-операторами.
Подобные документы
Термины "логический" и "физический" как отражение различия представления данных. Схема организации файлового ввода-вывода. Эволюция концепций обработки данных. Схема управления данными в СУБД. Отличительные особенности обработки для файловых систем.
презентация, добавлен 21.02.2016Обеспечение эффективности функционирования систем управления базами данных (СУБД) с позиции моделей и методов, предназначенных для оптимизации запросов. Синтез математической логики и прикладной теории алгоритмов. Эволюция методов оптимизации запросов.
статья, добавлен 22.03.2016Потенциал слияния разнородных данных. Инструменты и традиционные методы интеллектуального анализа данных. Проблемы разрыва данных, обнаружение выбросов и аномалий данных, непрерывный аудит, стратегии вычислительных кластеров, их аспекты и описание.
статья, добавлен 24.05.2021Изучение технологии решения задач интеллектуального анализа данных. Определение типа вина, обнаружение кишечной палочки методами "нейронная сеть", "байесовский классификатор", "линейная регрессия", "деревья принятия решений"," k-ближайших соседей".
практическая работа, добавлен 08.05.2017Классификация и параметризация дефектов. Алгоритмы нечеткого моделирования для описания знания о проблемной области и адекватного отображения аспектов неопределенности человеческого мышления. Адаптивная нечёткая система с механизмом логического вывода.
статья, добавлен 15.03.2019- 56. Булева алгебра
Раскрытие понятия математической логики. Логические схемы компьютера, основанные на булевой алгебре. Характеристика логических операций: основных и производных, приоритеты операций. Основные законы Булевой алгебры. Логические элементы компьютера.
реферат, добавлен 13.09.2015 Описание модели для автоматического получения комплексной оценки уровня сформированности профессиональных умений операторами, а также изучение особенностей применения метода анализа иерархий для вычисления комплексного коэффициента освоения материала.
статья, добавлен 29.06.2017Актуальные программные инструменты формального анализа протоколов аутентификации и авторизации. Возможность повышении уровня достоверности оценки безопасности протоколов аутентификации и авторизации распределенных систем путем применения БАН-логики.
статья, добавлен 01.02.2019Совокупность теоретических основ, методов, алгоритмов, процедур и программных средств, базирующихся на использовании нечетких знаний и оценок экспертов для решения широкого круга задач. Проблемы создания вычислительной системы на основе нечёткой логики.
статья, добавлен 20.04.2019Изучение преобразования сигнала логическим элементом. Рассмотрение схемы сложения одноразрядных двоичных чисел с учетом возможности переноса в старший разряд. Реализация логики в вычислительных системах. Анализ инвертора, выполняющего функцию отрицания.
реферат, добавлен 02.05.2018Этапы развития логики как науки, изучающей законы и формы мышления. Анализ логической схемы работы компьютера. Понятие высказывания, его виды. оценка истинности и инверсия. Дизъюнкция как логическое сложение. Логические выражения и таблицы истинности.
презентация, добавлен 12.03.2021Знакомство с видами деятельности ООО "Гамма", этапы расчета налоговых вычетов. В. Лейбниц как основоположник математической логики. Анализ условных обозначений базовых логических элементов. Особенности применения алгебры высказываний в информатике.
курсовая работа, добавлен 05.05.2015Использование алгебры логики при построении основных узлов ЭВМ, логический элемент как часть электронной схемы компьютера. Применение триггеров в регистрах компьютера для запоминания двоичного кода. Принцип работы регистра памяти, сумматора, дешифратора.
лекция, добавлен 20.01.2015Использование оптической системы для навигации летательного аппарата при посадке в условиях плохой видимости. Определение разности смещения между текущим и предыдущим изображением. Применение нечеткой логики при управлении системой второго порядка.
статья, добавлен 13.03.2013Изучение темы "Основы робототехники с Lego Mindstorms NXT 2.0", непосредственно для начинающих, при изучении палитры данных: их настроек, возможностей и примеры программирования в среде NXT-G 2.0. Внешний вид разъемов данных и цветовая окраска шин данных.
статья, добавлен 10.08.2018Описание логики работы разрабатываемого устройства на основе программируемых логических интегральных схем. Описание функционирования арифметико-логического устройства с помощью языка VerilogHDL. Анализ структуры программы, ее тела и принципа работы.
курсовая работа, добавлен 09.06.2014Рассмотрение истоков формальной логики и способов мышления: понятия, высказывания и умозаключения. Алгебра высказываний и логические функции. Логические выражения и таблицы истинности; правила преобразования выражений и основы устройства компьютера.
курсовая работа, добавлен 14.06.2013Логические операции: дизъюнкция, конъюнкция и отрицание. Описание логических операций таблицами истинности, отражающими результаты сложных высказываний. Логические основы компьютера и законы алгебры логики. Триггер как элемент памяти, схема RS-триггера.
курсовая работа, добавлен 07.01.2015Особенности технологий аналитической обработки данных, а именно OLAP и ИАД (интеллектуального анализа данных), а также их интеграция. Применение данных методов работы с разнородной информацией больших объемов, методы хранения и работы с большими данными.
статья, добавлен 27.02.2019Свойства информации в жизни человека. Понятие зарождение теоретических основ информатики. Структура и признаки современной информатики. Методы представления информации. Количество и единицы измерения информации. Сущность двоичной системы исчисления.
контрольная работа, добавлен 16.06.2010Программы, обеспечивающие работу с файлами данных. Функции системы управления базами данных. Проблемы сопровождения больших систем, основанных на файлах. Сетевые базы данных. Реляционная организация данных. Использование универсальных сред разработки.
статья, добавлен 22.03.2019Использование аппарата нечеткой логики для представления сложных пространственных моделей. Проектирование и модернизация объектов размещения отходов промышленных предприятий. Определение границ санитарно-защитной зоны полигона захоронения отходов.
статья, добавлен 30.05.2017Пример графа для иллюстрации понятия "кратчайший путь". Граф с официальным циклом. Иллюстрация логики алгоритма Форда-Беллмана. Работа алгоритма Е. Дейкстры. Формализованная запись логики. Пути в бесконтурном графе. Использование алгоритма Флойда.
презентация, добавлен 24.09.2017Описание реляционной модели данных. Использование null-значений вместо неизвестных данных. Парадоксальные следствия применения трехзначной логики. Уникальные атрибуты, используемые для идентификации кортежей. Операции, нарушающие ссылочную целостность.
учебное пособие, добавлен 16.03.2015Современные методы контроля состояния СДО (сложных динамических объектов). Оценка применимости методов интеллектуального анализа данных для контроля состояния СДО. Разработка модели сигналов и базовых алгоритмов анализа эталонных и поступающих сигналов.
автореферат, добавлен 31.07.2018