Презентация «Методы анализа КС на РС. Задачи. Основные методы. Многозначная логика»

Смотреть слайды в полном размере
Презентация «Методы анализа КС на РС. Задачи. Основные методы. Многозначная логика»

Вы можете ознакомиться с презентацией онлайн, просмотреть текст и слайды к ней, а также, в случае, если она вам подходит - скачать файл для редактирования или печати. Документ содержит 80 слайдов и доступен в формате ppt. Размер файла: 2.42 MB

Просмотреть и скачать

Pic.1
Методы анализа КС на РС Задачи. Основные методы. Многозначная логика.
Методы анализа КС на РС Задачи. Основные методы. Многозначная логика.
Pic.2
Анализ логических схем можно рассматривать как процедуру выявления рисков сбоя из-за различного вида
Анализ логических схем можно рассматривать как процедуру выявления рисков сбоя из-за различного вида состязаний сигналов (процедуру оценки функциональной устойчивости схем). Сравним существующие …
Pic.3
Широкое распространение получили следующие методы: Широкое распространение получили следующие методы
Широкое распространение получили следующие методы: Широкое распространение получили следующие методы: - использование временных диаграмм, в том числе асинхронное моделирование на их основе ; - …
Pic.4
Временные диаграммы являются эффективным средством анализа переходных процессов в цифровых схемах. В
Временные диаграммы являются эффективным средством анализа переходных процессов в цифровых схемах. Временные диаграммы являются основой при выполнении асинхронного моделирования, однако этот метод …
Pic.5
Методы многозначной логики основаны на использовании кроме значений 0 и 1 булевой алгебры различных
Методы многозначной логики основаны на использовании кроме значений 0 и 1 булевой алгебры различных представлений событийных сигналов: Методы многозначной логики основаны на использовании кроме …
Pic.6
- восьмизначная модель: 0, 1, чисто алгоритмические переходы 01 и 10, которые обозначаются специальн
- восьмизначная модель: 0, 1, чисто алгоритмические переходы 01 и 10, которые обозначаются специальными символами “+” и “–” соответственно, статические риски сбоя S0 и S1, динамические риски сбоя D+ …
Pic.7
Особенностью метода, использующего двоичную алгебру, является возможность определения не только факт
Особенностью метода, использующего двоичную алгебру, является возможность определения не только факта наличия рисков сбоя в схеме на заданных входных переходах, но и вычисления количества возможных …
Pic.8
Метод трехзначного моделирования Так как логическая функция задается для трехзначного моделирования
Метод трехзначного моделирования Так как логическая функция задается для трехзначного моделирования в виде системы булевых уравнений, необходимо определить троичные функции выходов основных булевых …
Pic.9
Метод трехзначного моделирования
Метод трехзначного моделирования
Pic.10
Метод трехзначного моделирования
Метод трехзначного моделирования
Pic.11
Метод трехзначного моделирования Пусть на схему, имеющую n входов, последовательно подаются два вход
Метод трехзначного моделирования Пусть на схему, имеющую n входов, последовательно подаются два входных набора Х1 = an-1,. . . , ai,. . . , a0 и Х2 = bn-1,. . . , bi,. . . , b0. Тогда переходный …
Pic.12
Метод трехзначного моделирования
Метод трехзначного моделирования
Pic.13
Метод трехзначного моделирования
Метод трехзначного моделирования
Pic.14
Метод трехзначного моделирования
Метод трехзначного моделирования
Pic.15
Метод восьмизначного моделирования При восьмизначном моделировании для представления значений величи
Метод восьмизначного моделирования При восьмизначном моделировании для представления значений величин сигналов берется множество:
Pic.16
Метод восьмизначного моделирования При восьмизначном моделировании для представления значений величи
Метод восьмизначного моделирования При восьмизначном моделировании для представления значений величин сигналов берется множество:
Pic.17
Метод восьмизначного моделирования При восьмизначном моделировании для представления значений величи
Метод восьмизначного моделирования При восьмизначном моделировании для представления значений величин сигналов берется множество:
Pic.18
Метод восьмизначного моделирования Примеры: Несколько примеров реакции элементов И и ИЛИ на восьмизн
Метод восьмизначного моделирования Примеры: Несколько примеров реакции элементов И и ИЛИ на восьмизначные сигналы для наихудшего случая приведены на рис.
Pic.19
Метод восьмизначного моделирования Снова проанализируем работу схемы, которая реализует функцию: Для
Метод восьмизначного моделирования Снова проанализируем работу схемы, которая реализует функцию: Для следующих переходов:
Pic.20
Метод восьмизначного моделирования
Метод восьмизначного моделирования
Pic.21
Метод восьмизначного моделирования
Метод восьмизначного моделирования
Pic.22
Достоинства метода многозначной логики !!! Рассмотренный метод восьмизначной логики нагляден, удобен
Достоинства метода многозначной логики !!! Рассмотренный метод восьмизначной логики нагляден, удобен, применим и для ручного, и для машинного анализа.
Pic.23
Спасибо за внимание!!!
Спасибо за внимание!!!
Pic.24
Реальные логические элементы
Реальные логические элементы
Pic.25
Реальные логические элементы
Реальные логические элементы
Pic.26
Реальные логические элементы
Реальные логические элементы
Pic.27
Реальные логические элементы
Реальные логические элементы
Pic.28
Логические элементы на ЭМ переключателях
Логические элементы на ЭМ переключателях
Pic.29
Реальные логические элементы
Реальные логические элементы
Pic.30
Риски сбоя в комбинационных схемах Определения: Риск сбоя - возможность появления на выходе цифровог
Риски сбоя в комбинационных схемах Определения: Риск сбоя - возможность появления на выходе цифрового устройства сигнала, не предусмотренного алгоритмом его работы и могущего привести к ложному …
Pic.31
Риски сбоя в комбинационных схемах Определения: Состязания (гонки) сигналов - процесс распространени
Риски сбоя в комбинационных схемах Определения: Состязания (гонки) сигналов - процесс распространения сигналов в различных цепях цифрового устройства при существовании разбросов временных задержек …
Pic.32
Риски сбоя в комбинационных схемах Определения: Неопасные состязания – которые не могут привести в с
Риски сбоя в комбинационных схемах Определения: Неопасные состязания – которые не могут привести в схеме к неалгоритмическому переходу при заданных условиях ее работы. Схема, свободная от влияния …
Pic.33
Риски сбоя в комбинационных схемах Гонки по входу.
Риски сбоя в комбинационных схемах Гонки по входу.
Pic.34
Риски сбоя в комбинационных схемах Определения: Изменение сигнала на каждом выходе схемы реально про
Риски сбоя в комбинационных схемах Определения: Изменение сигнала на каждом выходе схемы реально происходит не мгновенно, а образует некоторый сложный динамический процесс. Нахождение этих процессов …
Pic.35
Риски сбоя в комбинационных схемах Определения: Изменение сигнала на каждом выходе схемы реально про
Риски сбоя в комбинационных схемах Определения: Изменение сигнала на каждом выходе схемы реально происходит не мгновенно, а образует некоторый сложный динамический процесс. Нахождение этих процессов …
Pic.36
Риски сбоя в комбинационных схемах Определения: Переключательный процесс - последовательность уровне
Риски сбоя в комбинационных схемах Определения: Переключательный процесс - последовательность уровней “1” и “0” (импульсов и пауз), которая на любом конечном наблюдаемом интервале времени содержит …
Pic.37
Риски сбоя в комбинационных схемах Векторный переключательный процесс считается простым переключение
Риски сбоя в комбинационных схемах Векторный переключательный процесс считается простым переключением, если все его компоненты - простые переключения, совершаемые одновременно. В противном случае …
Pic.38
Риски сбоя в комбинационных схемах Событие - любое изменение логического сигнала, в том числе сложны
Риски сбоя в комбинационных схемах Событие - любое изменение логического сигнала, в том числе сложный переключательный процесс. Различают два вида задержек: чистая задержка, которая при подаче на …
Pic.39
Риски сбоя в комбинационных схемах Задержки, связанные с логическими элементами и линиями связи, обы
Риски сбоя в комбинационных схемах Задержки, связанные с логическими элементами и линиями связи, обычно называют паразитными задержками. Справедливо утверждение, что паразитные задержки имеют …
Pic.40
Риски сбоя в комбинационных схемах Под ‘τ’подразумевается паразитная задержка. Величину ‘τ’, а также
Риски сбоя в комбинационных схемах Под ‘τ’подразумевается паразитная задержка. Величину ‘τ’, а также моменты изменений входных переменных схемы, называют временными параметрами. Очевидно, что в общем …
Pic.41
Деформирование выходных сигналов В различных частях комбинационной схемы в зависимости от числа посл
Деформирование выходных сигналов В различных частях комбинационной схемы в зависимости от числа последовательно включенных элементов переходный процесс после смены входного набора будет заканчиваться …
Pic.42
Деформирование выходных сигналов
Деформирование выходных сигналов
Pic.43
Статические риски сбоя На рис. показана работа элементов И и ИЛИ при подаче на их входы двух последо
Статические риски сбоя На рис. показана работа элементов И и ИЛИ при подаче на их входы двух последовательных во времени наборов Х1 = x1x0= 01 и Х2 = x1x0= 10 Ложные сигналы на выходе и являются …
Pic.44
Статические риски сбоя Риск сбоя называется статическим, если у(X1) = y(Х2), где y - булева функция.
Статические риски сбоя Риск сбоя называется статическим, если у(X1) = y(Х2), где y - булева функция. Риск сбоя называется статическим в нуле S0, если у(X1) = y(Х2) = 0. Риск сбоя называется …
Pic.45
Динамические риски сбоя На рис. а приведена схема, реализующая функцию у= x2x1 + x0. Пусть входной н
Динамические риски сбоя На рис. а приведена схема, реализующая функцию у= x2x1 + x0. Пусть входной набор Х1 = x2x1x0= 010 изменяется на входной набор Х2 = x2x1x0= 101 На рис. б) имеет место …
Pic.46
Динамические риски сбоя Риск сбоя называется динамическим, если у(X1) ≠ y(Х2), где y - булева функци
Динамические риски сбоя Риск сбоя называется динамическим, если у(X1) ≠ y(Х2), где y - булева функция. Риск сбоя называется динамическим D+ при переходе на выходе 01, если у(X1) = 0, а y(Х2) = 1. …
Pic.47
Логический риск сбоя Рассмотрим переход от Х1 = x2x1x0= 110 к Х2 = x2x1x0= 010 для функции у, предст
Логический риск сбоя Рассмотрим переход от Х1 = x2x1x0= 110 к Х2 = x2x1x0= 010 для функции у, представленной картой Карно (рис. 8, а). Для нее можно записать .
Pic.48
Логический риск сбоя Устраним риск сбоя, для этого введем дополнительный контур  Статический риск с
Логический риск сбоя Устраним риск сбоя, для этого введем дополнительный контур  Статический риск сбоя, проявляющийся при соседней смене наборов, называется логическим, так как может быть устранен …
Pic.49
Функциональный риск сбоя
Функциональный риск сбоя
Pic.50
Функциональный риск сбоя Есть единственный путь смены наборов: 0 2 6 7, при котором не будет статиче
Функциональный риск сбоя Есть единственный путь смены наборов: 0 2 6 7, при котором не будет статического риска сбоя, так как у(X1 = 0) = y(Х2 = 7) = 1. Во всех остальных случаях будет статический …
Pic.51
Спасибо за внимание!
Спасибо за внимание!
Pic.52
На практике решается более простая задача представления ФАЛ в дизъюнктивной или конъюнктивной форме,
На практике решается более простая задача представления ФАЛ в дизъюнктивной или конъюнктивной форме, содержащей наименьшее возможное число букв (например, для СДНФ -- как можно меньше слагаемых, …
Pic.53
Методы минимизации ФАЛ 1) Расчетный метод – метод непосредственных преобразований; 2) Метод Квайна;
Методы минимизации ФАЛ 1) Расчетный метод – метод непосредственных преобразований; 2) Метод Квайна; 3) Расчетно-табличный метод (метод Квайна – Мак’Класски); 4) Метод Петрика; 5) Табличный метод …
Pic.54
Табличный метод В данном методе применяются или диаграммы Вейча или карты Карно, которые отличаются
Табличный метод В данном методе применяются или диаграммы Вейча или карты Карно, которые отличаются друг от друга расположением столбцов и строк. В картах Карно порядок следования : 00 01 11 10. В …
Pic.55
Правила минимизации для карт Карно 1. В карте Карно группы единиц (ДНФ) необходимо покрыть контурами
Правила минимизации для карт Карно 1. В карте Карно группы единиц (ДНФ) необходимо покрыть контурами. Внутри контура должны находится только единицы. (соответствует операции склеивания - нахождения …
Pic.56
Табличный метод Пример. ФАЛ, заданную таблицей истинности (табл. 1), можно представить следующими вы
Табличный метод Пример. ФАЛ, заданную таблицей истинности (табл. 1), можно представить следующими выражениями
Pic.57
Эталонные карты Карно для n= 4, 5
Эталонные карты Карно для n= 4, 5
Pic.58
Эталонная карта Карно для n= 6
Эталонная карта Карно для n= 6
Pic.59
Минимизация на картах Карно для n= 4
Минимизация на картах Карно для n= 4
Pic.60
Минимизация на картах Карно для n= 5
Минимизация на картах Карно для n= 5
Pic.61
Минимизация на картах Карно для n= 6
Минимизация на картах Карно для n= 6
Pic.62
Минимизация неполностью определённой ФАЛ
Минимизация неполностью определённой ФАЛ
Pic.63
Достоинства и недостатки табличного метода минимизации ФАЛ Достоинства: 1. Основным достоинством при
Достоинства и недостатки табличного метода минимизации ФАЛ Достоинства: 1. Основным достоинством применения карт Карно является компактность, простота и наглядность представления полностью и …
Pic.64
Метод Квайна-Мак’Класски Метод состоит из последовательного выполнения этапов: 1. Нахождение первичн
Метод Квайна-Мак’Класски Метод состоит из последовательного выполнения этапов: 1. Нахождение первичных импликант; 2. Расстановка меток; 3. Нахождение существенных импликант; 4. Вычеркивание лишних …
Pic.65
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. Элементарная коньюнкция ранга n
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. Элементарная коньюнкция ранга n = минитерм ранга n. y = f (0011, 0100, 0101, 0111, 1101, 1110, 1111) 1. Нахождение первичных …
Pic.66
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 1. Нахождение первичных импликант; Первичные импликанты: 010~, 0~11, 1~01, 111~, …
Pic.67
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 2. Расстановка меток; Для данной функции = VMi , где Мi – простые импликанты …
Pic.68
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 2. Расстановка меток;
Pic.69
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 3. Нахождение существенных импликант; Если в столбце только одна метка, то …
Pic.70
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 3. Нахождение существенных импликант; Существенные импликанты: 0~11, 010~, 1~01, …
Pic.71
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 4. Вычеркивание лишних столбцов;
Pic.72
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 4. Вычеркивание лишних первичных импликант;
Pic.73
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 5. Выбор минимального покрытия максимальными интервалами; Выбирается такая …
Pic.74
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1
Метод Квайна-Мак’Класски Пусть минимизируемая функция задана в СДНФ. y = V(0011, 0100, 0101, 0111, 1101, 1110, 1111) 5. Выбор минимального покрытия максимальными интервалами; Тогда МДНФ: y = x3x2x1 + …
Pic.75
Метод Неопределенных коэффициентов Метод состоит из последовательного выполнения этапов: 1. Представ
Метод Неопределенных коэффициентов Метод состоит из последовательного выполнения этапов: 1. Представляем функцию в виде ДНФ с неопределенными коэффициентами; 2. Задаем все возможные значения …
Pic.76
Метод Неопределенных коэффициентов Представление функции в СДНФ с неопределенными коэффициентами: Зд
Метод Неопределенных коэффициентов Представление функции в СДНФ с неопределенными коэффициентами: Здесь представлены все возможные коньюнкции, которые могут входить в ДНФ функции
Pic.77
Метод Неопределенных коэффициентов Система уравнений для определения значений коэффициентов на разли
Метод Неопределенных коэффициентов Система уравнений для определения значений коэффициентов на различных наборах :
Pic.78
Метод Неопределенных коэффициентов Пример: Составляем систему:
Метод Неопределенных коэффициентов Пример: Составляем систему:
Pic.79
Метод Неопределенных коэффициентов Из уравнений с 0 значениями получаем: Отсюда получаем МДНФ:
Метод Неопределенных коэффициентов Из уравнений с 0 значениями получаем: Отсюда получаем МДНФ:
Pic.80
Достоинства и недостатки МКМК и МНК Достоинства: 1. Основным достоинством применения указанных метод
Достоинства и недостатки МКМК и МНК Достоинства: 1. Основным достоинством применения указанных методов это возможность их используются при большом числе переменных n = 16 и более в профессиональных …


Скачать презентацию

Если вам понравился сайт и размещенные на нем материалы, пожалуйста, не забывайте поделиться этой страничкой в социальных сетях и с друзьями! Спасибо!