Построение графа

Сложение в шестнадцатеричной, двоичной, восьмеричной и десятичной системах счисления. Минимизация логических функций методами тождественных преобразований и S-кубов, методом карт Карно. Построение графа конечного автомата по таблице выходов и переходов.

Рубрика Математика
Вид контрольная работа
Язык русский
Дата добавления 11.01.2013
Размер файла 363,0 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

1. Сложение в шестнадцатеричной, двоичной, восьмеричной и десятичной системах счисления

1) Вычисления целесообразно начать с шестнадцатеричной системы:

ВD16 + AA16

Вычисление:

D + A = 1310 + 1010 = 2310, поскольку 23>15, требуется перенос в

старший разряд

2310 = 1610 + 710

С учетом переноса получаем:

1+ 11 + 10 = 2210, поскольку 22>15, требуется перенос в старший разряд.

2210 = 1610 + 610

Получаем в старшем разряде 1.

BD16+AA16=1162 + 6161 + 7160 = 16716

2) Выполним вычисления в двоичной системе счисления. Для этого переведем шестнадцатеричные цифры в двоичные тетрады, а затем из тетрад сформируем двоичные числа. Такой прямой поразрядный перевод из шестнадцатеричной системы счисления в двоичную возможен, поскольку основания этих систем счисления находятся в степенной зависимости. Получим:

B=1011 2

D = 11012

A = 10102

A = 10102

BD16= 1011 11012

AA16=1010 10102

Выполним сложение, учитывая, что

0+0= 0

1+0= 1

1+1 =102

1+1+1 =112

счисление тождественный граф логический

В результате с учетом переносов в старшие разряды получим:

1

1

1

1

1

0

1

1

1

1

0

1

+

1

0

1

0

1

0

1

0

1

0

1

1

0

0

1

1

1

Выполнив обратный перевод результата в шестнадцатеричную систему счисления (по тетрадам) можно убедиться в его правильности:

01112 = 7

01102 = 6

00012 = 1

0001011001112 = 16716

3) Выполним вычисления в восьмеричной системе счисления. Перевод в восьмеричную систему счисления удобно выполнять из двоичной системы счисления, разбивая число на триады, начиная с младших разрядов (справа).

BD16= 1011 11012 = 010 111 101 2

Из таблицы получаем:

0102 = 2

1112 = 7

1012 = 5

BD16 = 2758

Аналогично получим:

AA16=1010 10102 = 010 101 0102

0102 = 2

1012 = 5

0102 = 2

В916 = 2528

Осуществим поразрядное сложение 2758 + 2528

В результате получим:

1

2

7

5

+

2

5

2

5

4

7

Вычисления выполняются аналогично шестнадцатеричной системе

5 + 2 = 78, поскольку 7<8, то перенос в старший разряд

не требуется

7 + 5 = 128, поскольку 12>7, требуется перенос в старший разряд

128 = 88 +4 8

1 + 2 + 2 = 58, поскольку 5<7, то перенос в старший разряд

не требуется

Таким образом:

2758 + 2528 = 5478

Выполним проверку путем перевода результата в двоичную и шестнадцатеричную системы счисления

58 = 1012

48 = 1002

78 = 1112

Отсюда получим

5278 = 101 100 1112 = 0001 0110 01112 = 16716

4) Произведем вычисления в десятичной системе счисления. Перевод в десятичную систему счисления возможен из любой рассмотренной выше системы счисления, однако удобнее производить этот перевод из шестнадцатеричной системы.

BD16= 11 161+13 160=18910

AA16= 10 161+10 160=17010

18910+17010=35910

16716=1162+616+7160 =35910

Таким образом, результаты вычислений во всех системах счисления совпали.

2. Минимизация логических функций методами тождественных преобразований и S-кубов

Логическая функция задана следующей таблицей соответствия:

X0

X1

X2

X3

X4

X5

X6

X7

x1

0

0

0

0

1

1

1

1

x2

0

0

1

1

0

0

1

1

x3

0

1

0

1

0

1

0

1

y

1

0

1

0

1

0

1

1

Здесь аргументы функции, а входные слова - наборы значений аргументов.

На основе данной таблицы можно получить аналитическое выражение для логической функции в совершенной дизъюнктивной или конъюнктивной нормальной формах (СДНФ или СКНФ). Элементы СДНФ называют минитермами, а СКНФ - макстермами. СДНФ представляет собой дизъюнкцию минитермов, а СКНФ - конъюнкцию макстермов. Легко обнаружить, что минитерм равен 1 только при одном единственном входном слове, а макстерм равен 0 также только при одном единственном входном слове. Аналитическое выражение функции в форме СДНФ будет содержать конституенты единиц (и только их) для входных слов, при которых функция =1, а в форме СКНФ будет содержать конституенты нулей (и только их) для входных слов, при которых функция =0. При этом, если аргумент во входном слове =1, он входит в конституенту единицы в прямой форме, а в конституенту нуля - в инверсной. И наоборот, если аргумент во входном слове =0, он входит в конституенту нуля в прямой форме, а в конституенту единицы - в инверсной.

В результате для заданной функции можно получить следующие аналитические выражения в форме СДНФ:

и СКНФ:

Таким образом, любая булева функция представима в совершенной нормальной форме (дизъюнктивной или конъюнктивной). Такое представление является первым шагом перехода от табличного задания функции к ее аналитическому выражению.

Каноническая задача синтеза логических схем сводится к минимизации булевых функций, т.е. к представлению их в дизъюнктивной нормальной форме, которая содержит наименьшее число букв (переменных и их отрицаний). Такие формы называют минимальными. Формула, представленная в дизъюнктивной нормальной форме, упрощается многократным применением закона склеивания и закона поглощения . Здесь под a и b можно понимать любую формулу алгебры логики.

Минимизируем булевы функции:

1) Начинаем склеивание входных слов в форме СДНФ:

Путем склеивания мы получили минмальную форму .

2) Начинаем склеивание входных слов в форме CКНФ:

Путем склеивания мы получили минмальную форму .

Однако при применении закона склеивания возникает проблема, что с чем склеивать, так как легко можно получить тупиковую форму, которая не будет минимальной, но не будет также и упрощаться. Поэтому для минимизации логических функций используют графо-аналитические методы, одним из которых является метод S-кубов.

Отобразим логическую функцию в логическом пространстве. Легко обнаружить, что данная логическая функция будет задана только в вершинах куба с длиной ребра, равной 1. Отметим (зачерним) все вершины (точки в логическом пространстве), в которых функция равна 1.

Для каждой вершины можно записать соответствующую ей конституенту единицы. Легко обнаружить, что к конституентам единиц для точек, принадлежащих одному ребру можно применить закон склеивания. Тогда для ребер появятся новые конституенты, содержащие уже только две переменные. Аналогично к подобным конституентам для двух параллельных ребер, принадлежащих одной грани, также можно применить закон склеивания и получить значения переменных или их инверсий, выступающие в качестве конституент, соответствующих граням. Тогда конституенты, соответствующие ребрам могут быть получены как конъюнкции конституент граней, на пересечении которых данное ребро находится.

Теперь можно легко получить минимальную форму, как дизъюнкцию конституент (минитермов), соответствующих точкам, ребрам, граням полностью покрывающим все зачерненные точки, в которых функция равна 1 (и только их).

Из рисунка видно, что все точки могут быть покрыты гранью и ребром . Тогда минимальная форма для рассматриваемой функции будет иметь вид:

Теперь, используя графическое отображение функции можно восстановить тождественные преобразования, с помощью которых фактически была получена данная форма. Для этого, воспользовавшись выражением , в СДНФ запишем дважды конституенту (минитерм), соответствующую точке, принадлежащей одновременно и грани и ребру. Затем, применим закон склеивания к точкам, принадлежащим одному ребру, а затем к параллельным ребрам:

1) Склеиваем точки, принадлежащие одному ребру, получаем ребра:

2) Склеиваем ребра, принадлежащие одной грани и параллельные друг другу, получаем грани:

3) В итоге получаем минимальную функцию

Таким образом, результат минимизации методом S-кубов проверен тождественными преобразованиями.

3. Минимизация логических функций методом карт Карно. Построение логических схем

Методом карт Карно минимизируются функции с числом переменных до 5 - 6. Карта Карно представляет собой развертку логического пространства на плоскость. Аналогично методу S-кубов на карте также можно выделить области, соответствующие переменным или их инверсиям.

Минимизируем с помощью карты Карно функцию, заданную следующей таблицей соответствия:

X0

X1

X2

X3

X4

X5

X6

X7

X8

X9

X10

X11

X12

X13

X14

X15

x1

0

0

0

0

0

0

0

0

1

1

1

1

1

1

1

1

x2

0

0

0

0

1

1

1

1

0

0

0

0

1

1

1

1

x3

0

0

1

1

0

0

1

1

0

0

1

1

0

0

1

1

x4

0

1

0

1

0

1

0

1

0

1

0

1

0

1

0

1

Y

1

1

1

0

1

1

0

0

1

1

1

0

1

1

0

0

Отобразим данную функцию на карте Карно, проставив 1 в ячейки карты, соответствующие входным словам, при которых функция =1. Ребрам, граням и кубам на карте Карно соответствуют ортогональные области (блоки - строки, столбцы, квадраты, прямоугольники) заполненные 2, 4 и 8 единицами.

Минитерм, соответствующий той иди иной области (блоку) определяется как конъюнкция переменных или их инверсий, соответствующих областям, на пересечении которых данная ассоциация находится. Минимальная форма формируется как дизъюнкция этих минитермов. Для приведенной функции минимальная форма будет содержать минитермы, соответствующие трем ассоциациям: из двух единиц и из 8 единиц.

В результате минимальная форма будет иметь вид:

Для полученной минимальной формы логическая схема будет иметь вид:

4. Построение графа конченого автомата по общей таблице выходов и переходов. Моделирование работы конечного автомата

Таблицa состояний и переходов конечного автомата

X0

X1

X2

X3

S0

S0/Y0

S0/Y1

S1/Y4

S0/Y0

S1

S2/Y3

S1/Y0

S1/Y5

S0/Y1

S2

S2/Y2

S3/Y1

S0/Y6

S2/Y3

S3

S1/Y1

S1/Y2

S0/Y0

S3/Y7

В данной таблице указано, какие слова обозначают те или иные элементы таблицы. Построение графа начинается с построения четырех вершин, соответствующих четырем состояниям автомата. Затем построение ведется по строкам таблицы. Из соответствующей вершины для каждого входного слова X в графе проводится соответствующая дуга. Концом дуги будет вершина, соответствующая состоянию, в которое перейдет автомат в следующем такте, если на его вход подано слово X. Около каждой дуги указывается ее вес - в числителе входное слово, при котором произойдет данный переход, а в знаменателе - выходное слово, которое при этом установится.

Подобное построение осуществляется для каждого исходного состояния конечного автомата (каждой строки).

Граф конечного автомата выглядит следующим образом:

По графу осуществляем моделирование работы автомата при подаче на него некоторой последовательности входных слов. Для каждого входного слова и данного состояния по графу определяется выходное слово и состояние в следующем такте S(?+1). Затем процедура повторяется для этого нового состояния и т.д. Таблица моделирования работы автомата приведена ниже:

0

1

2

3

4

5

X()

X0

X2

X3

X0

X1

X3

Y()

Y2

Y6

Y0

Y0

Y1

Y0

S()

S2

S2

S0

S0

S0

S0

Размещено на Allbest.ru

...

Подобные документы

  • Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.

    курсовая работа [200,4 K], добавлен 27.04.2011

  • Сущность двоичной, восьмеричной и шестнадцатиричной систем счисления, их отличительные черты и взаимосвязь. Пример алгоритмов перевода чисел из одной системы в другую. Составление таблицы истинности и логической схемы для заданных логических функций.

    презентация [128,9 K], добавлен 12.01.2014

  • Построение таблицы поведения автомата и соответствующего графа. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции "пси". Определение булевой функции для реализации функции "фи". Составление логической схемы автомата.

    курсовая работа [96,7 K], добавлен 27.04.2011

  • Алгоритм построения минимального остовного дерева. Последовательность выполнения алгоритма Прима, его содержание и назначение. Процедура рисования графа. Порядок составления и тестирования программы, ее интерфейс, реализация и правила эксплуатации.

    курсовая работа [225,0 K], добавлен 30.04.2011

  • Восстановление графов по заданным матрицам смежности вершин. Построение для каждого графа матрицы смежности ребер, инцидентности, достижимости, контрдостижимости. Поиск композиции графов. Определение локальных степеней вершин графа. Поиск базы графов.

    лабораторная работа [85,5 K], добавлен 09.01.2009

  • Определение количества способов, которыми можно выбрать трех дежурных из группы в 20 человек. Построение таблицы истинности без предварительного упрощения функции по данному логическому выражению. Упрощение логических выражений с помощью карты Карно.

    контрольная работа [81,1 K], добавлен 25.08.2013

  • Нахождение экстремумов функций методом множителей Лагранжа. Выражение расширенной целевой функции. Схема алгоритма численного решения задачи методом штрафных функций в сочетании с методом безусловной минимизации. Построение линий ограничений.

    курсовая работа [259,9 K], добавлен 04.05.2011

  • Математическая теория чисел. Понятие систем счисления. Применения двоичной системы счисления. Компьютерная техника и информационные технологии. Алфавитное неравномерное двоичное кодирование. Достоинства и недостатки двоичной системы счисления.

    реферат [459,5 K], добавлен 25.12.2014

  • Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.

    курсовая работа [50,7 K], добавлен 28.05.2015

  • Определения системы счисления, числа, цифры, алфавита. Типы систем счисления. Плюсы и минусы двоичных кодов. Перевод шестнадцатеричной системы в восьмеричную и разбитие ее на тетрады и триады. Решение задачи Баше методом троичной уравновешенной системы.

    презентация [713,4 K], добавлен 20.06.2011

  • Алгоритм перехода к графическому представлению для неориентированного графа. Количество вершин неориентированного графа. Чтение из матрицы смежностей. Связи между вершинами в матрице. Задание координат вершин в зависимости от количества секторов.

    лабораторная работа [34,0 K], добавлен 29.04.2011

  • Анализ логических ошибок с помощью E-структур. Коллизиями E-структуры: коллизии парадокса и цикла. Основные методы анализа рассуждений. Построение графа рассуждения и применение к посылкам правила контрапозиции. Корректные и некорректные E-структуры.

    контрольная работа [188,6 K], добавлен 04.09.2010

  • Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.

    курсовая работа [185,3 K], добавлен 24.05.2015

  • Сокращенные, тупиковые дизъюнктивные нормальные формы. Полные системы булевых функций. Алгоритм Квайна, Мак-Класки минимизации булевой функции. Геометрическое представление логических функций. Геометрический метод минимизации булевых функций. Карты Карно.

    курсовая работа [278,1 K], добавлен 21.02.2009

  • Исследование истории систем счисления. Описание единичной и двоичной систем счисления, древнегреческой, славянской, римской и вавилонской поместной нумерации. Анализ двоичного кодирования в компьютере. Перевод чисел из одной системы счисления в другую.

    контрольная работа [892,8 K], добавлен 04.11.2013

  • Однородный Марковский процесс. Построение графа состояний системы. Вероятность выхода из строя и восстановления элемента. Система дифференциальных уравнений Колмогорова. Обратное преобразование Лапласа. Определение среднего времени жизни системы.

    контрольная работа [71,2 K], добавлен 08.09.2010

  • Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.

    курсовая работа [862,4 K], добавлен 12.12.2012

  • Понятие системы счисления. История развития систем счисления. Понятие натурального числа, порядковые отношения. Особенности десятичной системы счисления. Общие вопросы изучения нумерации целых неотрицательных чисел в начальном курсе математики.

    курсовая работа [46,8 K], добавлен 29.04.2017

  • Построение сигнального графа и структурной схемы системы управления. Расчет передаточной функции системы по формуле Мейсона. Анализ устойчивости по критерию Ляпунова. Синтез формирующего фильтра. Оценка качества эквивалентной схемы по переходной функции.

    курсовая работа [462,5 K], добавлен 20.10.2013

  • Методика нахождения различных решений геометрических задач на построение. Выбор и применение методов геометрических преобразований: параллельного переноса, симметрии, поворота (вращения), подобия, инверсии в зависимости от формы и свойств базовой фигуры.

    курсовая работа [6,4 M], добавлен 13.08.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.