Реализация многокоординатной ассоциативной среды на основе программируемых логических схем
Анализ структур многокоординатной ассоциативной среды (МКАС) и программируемых логических схем типа Field-Programmable Gate Array (FPGA). Оптимальное размещение структуры МКАС на матрице FPGA, выполнение декомпозиции ассоциативных ячеек МКАС на элементы.
Подобные документы
- 76. Алгебра логики
Сущность логики как науки о формах и способах мышления. Характеристика основных видов мышления: понятие, высказывание, умозаключение. Описание базовых логических операций: инверсия, дизъюнкция, конъюнкция. Порядок применения закона Моргана, его цель.
презентация, добавлен 06.12.2013 Логика одна из древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока. Модальность логических суждений. Логическая характеристика суждения. Эпистемическая модальность. Деонтическая модальность.
реферат, добавлен 20.01.2009Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.
контрольная работа, добавлен 22.02.2010- 79. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017 Изучение принципов установления изоморфизма или изоморфного вложения между заданными структурами при решении комбинаторно-логических задач и оптимизационных на графах. Пример решения задач распознавания изоморфизма. Определение вершины в алгоритме.
лекция, добавлен 23.01.2017Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Комбинаторика - наука о расположении элементов в определенном порядке и о подсчете числа способов такого расположения. Классические элементы комбинаторной теории вероятности. Рассмотрение правил суммы и умножения. Перестановка и размещение комбинаций.
презентация, добавлен 26.07.2015Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Понятия логической функции и методов минимизации, их преимущества и недостатки, отличия и сходства с другими методами. Сущность метода эквивалентных преобразований и неопределенных коэффициентов. Алгоритм метода Квайна (шаги). Метод диаграмм Вейча.
курсовая работа, добавлен 23.11.2011- 85. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 - 86. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 Цель изучения математики: повышение общего кругозора, культуры мышления, формирование научного мировоззрения. Два вида умозаключений: дедукция и индукция. Основные закономерности построения сходных по форме логических связей в математическом мышлении.
контрольная работа, добавлен 16.11.2010Стратегия научного исследования – совокупность этапов, располагаемых в логической последовательности их выполнения и отражающих сущности сформированного названия на начальной стадии соответствующей темы. Обобщение – один из видов логических операций.
статья, добавлен 25.08.2020Создание распределенных и виртуализованных сред, ориентированных на размещение, хранение и управление ресурсами. Построение математических моделей, описывающих компоненты такой среды. Математические модели интегрированных средств контроля доступа.
автореферат, добавлен 02.03.2018Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.
презентация, добавлен 21.10.2018Занимательные задачи из области математики, физики, естествознания, задачи на взвешивание, задачи на нестандартное логическое мышление. Как научиться решать логические задачи. Основные приемы решения логических задач. Применение метода рассуждений.
презентация, добавлен 17.12.2015Виды теорем, их структура и обратные утверждения. Свойства логических операций. Умозаключения и их разновидности (разделительно-категорическое, условно-категорическое и условно-разделительное). Понятие конструктивной дилеммы, лемматических силлогизмов.
реферат, добавлен 06.11.2011Определение роли логических задач в обучении математики. Ознакомление с задачами, решаемыми с помощью метода "здравых суждений", составления таблиц, построения графов и с помощью кругов Эйлера. Пример задачи, решаемой с применением алгебры высказываний.
статья, добавлен 11.11.2018- 95. Метод прогонки
Анализ методов конечных элементов и разностных схем, решающих системы линейных алгебраических уравнений. Характеристика построения матрицы с доминирующей главной диагональю. Обоснование формул в системе краевой задачи для трехточечного уравнения.
презентация, добавлен 30.10.2013 Разработка эффективных итерационных процессов решения систем сеточных уравнений, аппроксимирующих эллиптические краевые задачи. Принципы декомпозиции задачи на конечное число подзадач, упрощения этих подзадач с помощью введения фиктивного пространства.
автореферат, добавлен 02.03.2018Методики полной и неполной декомпозиции топологии структурно-сложных систем для автоматизированного вычисления показателей: надежности изолированных систем; живучести открытых систем; степени реализации решения организационных и планирующих процессов.
статья, добавлен 25.02.2021- 98. Алан Тьюринг
Роль Алана Тьюринга в истории информатики. Роль теории "логических вычисляющих машин" в научной деятельности ученого. Дружба с Кристофером Моркомом как основной стимул для развития своего интереса к науке. Биография и характеристика Алана Тьюринга.
доклад, добавлен 23.01.2011 Понятие эвристики как метода научного познания, особенности ее применения в математике. Понятие доказательства в математике и его особенности, применение для его построения эвристических логических подходов. Эвристический подход при доказательстве теорем.
курсовая работа, добавлен 19.02.2012Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011