71838

Разработка алгоритма управления подвижной четырехколесной платформой

Курсовая

Экономическая теория и математическое моделирование

Простое логическое выражение состоит из одного высказывания и не содержит логические операции. Результатом операции НЕ является следующее: если исходное выражение истинно то результат его отрицания будет ложным; если исходное выражение ложно то результат его отрицания будет истинным.

Русский

2014-11-13

138 KB

3 чел.

ГОУВПО «Воронежский государственный технический университет»        Факультет энергетики и систем управления                                                         Кафедра высшей математики и физико-математического моделирования

Курсовая работа

по дисциплине дискретная математика на тему:

« Разработка алгоритма управления подвижной

четырехколесной платформой »

Выполнил: студент гр. АТР-131                                                                                                Жученко Е.А

Принял: доц. Купцов В. С.

Воронеж 2013 г.

Содержание

Условие задачи…………………………………………………………………………….3

Теоретическое введение…………………………………………………………………..4

Решение…………………………………………………………………………………....8

Заключение……………………………………………………………………………….11

Список литературы………………………………………………………………………12


Условие задачи

 Разработать схему управления подвижной платформы с четырьмя независимыми ведущими электродвигателями-колёсами. Органы управления: кнопки – «Вперёд», «По часовой», «Против часовой».

 

Теоретическое введение

Алгебра логики

 Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными.

 Простое логическое выражение состоит из одного высказывания и не содержит логические операции. В простом логическом выражении возможно только два результата — либо «истина», либо «ложь».

 Сложное логическое выражение содержит высказывания, объединенные логическими операциями. По аналогии с понятием функции в алгебре сложное логическое выражение содержит аргументы, которыми являются высказывания.

 В качестве основных логических операций в сложных логических выражениях используются следующие:

 отрицание;

 конъюнкция;

 дизъюнкция;

а также константы — логический ноль 0 и логическая единица 1.

 Отрицание (НЕ) — логическая операция над суждениями, результатом которой является суждение противоположное» исходному. Результатом операции НЕ является следующее:

• если исходное выражение истинно, то результат его отрицания будет ложным;

• если исходное выражение ложно, то результат его отрицания будет истинным.

 Для операции отрицания НЕ приняты следующие условные обозначения:

Не А, Ā, not A, ¬А.

 Результат операции отрицания НЕ определяется следующей таблицей истинности:

A

не А

0

1

1

0

 Результат операции отрицания истинен, когда исходное высказывание ложно, и наоборот.

 Дизъюнкция (ИЛИ) — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».

 Результатом операции ИЛИ является выражение, которое будет истинным тогда и только тогда, когда истинно будет хотя бы одно из исходных выражений.

 Применяемые обозначения: А или В,    А V В,    A or B.

 Результат операции ИЛИ определяется следующей таблицей истинности:

A

B

А или B

0

0

0

0

1

1

1

0

1

1

1

1

 Результат операции ИЛИ истинен, когда истинно А, либо истинно В, либо истинно и А и В одновременно, и ложен тогда, когда аргументы А и В — ложны.

 Конъюнкция (И) — логическая операция, по своему применению максимально приближенная к союзу «и». Результатом операции И является выражение, которое будет истинным тогда и только тогда, когда истинны оба исходных выражения.

 Применяемые обозначения: А и В, А Λ В, A  & B, A and B.

 Результат  операции  И  определяется  следующей таблицей истинности:

A

B

А и B

0

0

0

0

1

0

1

0

0

1

1

1

 Результат операции И истинен тогда и только тогда, когда истинны одновременно высказывания А и В, и ложен во всех остальных случаях.

 Импликация (ЕСЛИ-ТО) —  логическая связка, по своему применению приближенная к союзам «еслито…». Эта операция связывает два простых логических выражения, из которых первое является условием, а второе — следствием из этого условия.

 Применяемые обозначения:

если А, то В; А влечет В; if A then В; А→ В.

 Таблица истинности:

A

B

А → B

0

0

1

0

1

1

1

0

0

1

1

1

 Результат операции следования (импликации) ложен только тогда, когда предпосылка А истинна, а заключение В (следствие) ложно.

Булева алгебра

Булевой алгеброй называется непустое множество A с двумя бинарными операциями  (аналог конъюнкции),  (аналог дизъюнкции), унарной операцией  (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина).

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

  1.  x y = y x
  2.  Ú y = y Ú x
  3.  Å y = y Å x
  4.  x  (y z) = (x y)  z
  5.  Ú (Ú z) = (Ú yÚ z
  6.  Å (Å z) = (Å yÅ z
  7.  Ú (y z) = (Ú y) (Ú z)
  8.  x  (Ú z) = (x yÚ (x z)
  9.  ¬¬x = x
  10.  ¬(x y) = ¬x Ú ¬y
  11.  ¬(Ú y) = ¬x ¬y
  12.  x x = x
  13.  x ¬x = 0
  14.  x  0 = 0
  15.  x  1 = x
  16.  Ú x = x
  17.  Ú ¬x = 1
  18.  Ú 0 = x
  19.  Ú 1 = 1
  20.  Å y = (x ¬yÚ (¬x y)
  21.  É y = ¬x Ú y
  22.  º y = (x yÚ (¬x ¬y)

Булева функция

Булева функция  от n аргументов — в дискретной математике — отображение Bn  B, где B = {0,1} — булево множество.

Булева функция задаётся конечным набором значений, что позволяет представить её в виде таблицы истинности, например:

x1

x2

xn-1

xn

f(x1,x2,…,xn)

0

0

0

0

0

0

0

0

1

0

0

0

1

0

1

0

0

1

1

0

1

1

0

0

1

1

1

0

1

0

1

1

1

0

0

1

1

1

1

0

Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов.

Совершенная конъюнктивная нормальная форма (СКНФ) — это такая КНФ, которая удовлетворяет трём условиям:

  •  в ней нет одинаковых элементарных дизъюнкций
  •  в каждой дизъюнкции нет одинаковых пропозициональных переменных
  •  каждая элементарная дизъюнкция содержит каждую пропозициональную букву из входящих в данную КНФ пропозициональных букв.

Дизъюнктивная нормальная форма (ДНФ) в булевой логике  нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов.  

Совершенная дизъюнктивная нормальная форма (СДНФ) — это такая ДНФ, которая удовлетворяет трём условиям:

  •  в ней нет одинаковых элементарных конъюнкций
  •  в каждой конъюнкции нет одинаковых пропозициональных букв
  •  каждая элементарная конъюнкция содержит каждую пропозициональную букву из входящих в данную ДНФ пропозициональных букв, причём в одинаковом порядке.

Для любой функции алгебры логики существует своя СДНФ, причём единственная.


Решение

 

 Пусть:

Х1 – кнопка «Вперед»;

Х2 – кнопка «По часовой стрелке»;

Х3 – кнопка «Против часовой стрелки».

 Для упрощения объединим левую пару колес в одну переменную, а правую – в другую.

 Пусть:

Y1 – Левая пара колес, движение вперед;

Y2 – Левая пара колес, движение назад;

Y3 – Правая пара колес, движение вперед;

Y4 – Правая пара колес, движение назад;

 Составим таблицу истинности:

Х1

Х2

Х3

Y1

Y2

Y3

Y4

0

0

0

0

0

0

0

0

0

1

0

1

1

0

0

1

0

1

0

0

1

0

1

1

0

0

0

0

1

0

0

1

0

1

0

1

0

1

0

0

0

0

1

1

0

0

0

0

0

1

1

1

0

0

0

0

 Используя метод СДНФ, и, выбирая «1»,  получим:

Х1

Х2

Х3

Y1

Y2

Y3

Y4

0

0

1

0

1

1

0

0

1

0

1

0

0

1

1

0

0

1

0

1

0

Для каждой операции получим следующие выражения: ¬ Ú

Y1 = X1  ¬ X2 ¬ X3 Ú ¬ X1  X2 ¬ X3 = ¬ X3 (X1  ¬ X2 Ú ¬ X1  X2) =

= ¬ X3 (X1X2);

Х1

Х2

Х3

¬X3

X1X2

¬ X3 (X1X2)

0

1

0

1

1

1

1

0

0

1

1

1

Y2 = ¬X1 ¬X2 X3;

Х1

Х2

Х3

¬X1

¬X2

¬X1 ¬X2

¬X1 ¬X2 X3

0

0

1

1

1

1

1

Y3 = X1 ¬X2 ¬X3 Ú ¬X1 ¬X2 X3 = ¬X2 (XX3 Ú ¬X1 X3) = =

=¬X2  (X1X3);

Х1

Х2

Х3

¬X2

X1X3

¬X2  (X1X3)

0

0

1

1

1

1

1

0

0

1

1

1

Y4 = ¬X1 X2 ¬X3;

Х1

Х2

Х3

¬X1

¬X3

¬X1 X2

¬X1 X2 ¬X3

0

1

0

1

1

1

1


Заключение

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

Y1 = ¬ X3 (X1X2);

Y2 = ¬X1 ¬X2 X3;

Y3 = ¬X2 (X1X3);

Y4 = ¬X1 X2 ¬X3;


Список литературы

  •  Гаврилов Г. П., Сапоженко А. А. Сборник задач по дискретной математике. — М.: Наука, 1969.
  •  Кузнецов О. П., Адельсон-Вельский Г. М. Дискретная математика для инженера. — М.: Энергия, 1980
  •  Владимиров Д. А. Булевы алгебры. — М.: «Наука», 1969
  •  Ю.И. Галушкина, А.Н. Марьямов: Конспект лекций по дискретной математике - 2-е изд., испр. - М.: Айрис-пресс, 2008.


 

А также другие работы, которые могут Вас заинтересовать

39886. Разработка программного обеспечения для ведения финансовой отчетности Кировской территориальной избирательной комиссии 309 KB
  Во всех территориальных избирательных комиссиях на постоянной штатной основе работают председатели в Мурманской территориальной избирательной комиссии в связи с большим числом избирателей на штатной основе работает и секретарь главные бухгалтеры. Кроме того для обеспечения передачи данных о ходе проводимых избирательных кампаний в вышестоящие избирательные комиссии председателям территориальных избирательных комиссий оперативно подчиняются системные администраторы ГАС Выборы работающие в аппарате Комиссии области. Для обеспечения...
39887. Разработать на основе МПК I8085 контроллер управления, обеспечивающий и поддерживающий определенную температуру (точность: плюс/минус 0.1 С) в холодильной камере, в зависимости от вида продукции для хранения 204.08 KB
  3 Постановка задачи4 Структурная схема устройства5 Общая схема алгоритма.6 Функциональная схема8 Детальная схема алгоритма. Структурная организация устройства Общая схема алгоритма Основная программа Х1: 1 значение с датчиков равно значению с переключателей; 0 не равно; Х2: 1 значение датчика больше чем значение переключателей; 0 меньше: Рис. Общая схема алгоритма работы устройства.
39888. Прохождение практики на Предприятии ОАО «Апатит» 177.73 KB
  Служба эксплуатации контрольноизмерительных приборов и автоматики КИП и А выполняет следующие функции: метрологический надзор; техническое обслуживание; ремонт и настройку контрольноизмерительных приборов и приборов автоматического управления. Цех КИП и А выполняет такие наиболее ответственные работы как ремонт и поверка приборов эксплуатация сложных систем автоматики и др. Внедряет новые системы автоматики осуществляет техническое руководство группами эксплуатации приборов КИП и А в других цехах предприятия организует...
39889. ОПРЕДЕЛЕНИЕ РАВНОВЕСНОЙ ТЕМПЕРАТУРЫ ВОЗДУХА В ОХЛАЖДАЕМОМ ПОМЕЩЕНИИ (НА ПРИМЕРЕ НИЗКОТЕМПЕРАТУРНЫХ ПРИЛАВКОВ И ШКАФОВ) 6.31 MB
  При включении холодильной машины в охлаждаемом помещении устанавливается температура ниже температуры наружного окружающего помещение воздуха. при балансе: При наступлении равновесия между теплопритоками и теплоотводом в камере установится определенная температура называемая равновесной температурой. Не будет теплопритока от грузов и в случае если это камера длительного хранения куда грузы заложены уже давно и их температура стала равна температуре в охлаждаемом помещении. Для ограждения не подверженного действию солнечной радиации:...
39890. Бизнес-план создания ОАО «Мебель Интерьер Центр» 300.5 KB
  Расчетные данные согласно приложениям 16 показывают что предприятие в 2013 году будет иметь стабильный экономический рост: общая выручка от реализации продукции составит 14187 млн. 7663 млн. Темп роста составит 1851; объемы реализации промышленной продукции увеличатся с 45069 млн. в 2012 году до 102270 млн.
39891. Программирование баз данных 29 KB
  Создание модуля данных Доступ к базе данных в системе DELPHI выполняется достаточно просто с использованием богатого набора невизуальных компонентов работы с СУБД. Как правило эти компоненты группируются в создаваемой программе в специальном модуле данных TDtModule. Модуль данных представляет собой хранилище объектов которое позволяет централизованно управлять их работой и отделяет программную логику связанную с базами данных от программного кода выполняющего вычислительные действия и отображение данных на форме.
39892. Объектно-ориентированное программирование. Скрытие данных в объектах 42 KB
  Наследование определение объекта и дальнейшее использование всех его свойств для построения иерархии порожденных объектов с возможностью для каждого порожденного объекта относящегося к иерархии доступа к коду и данным всех порожденных объектов...
39893. Компоненты страницы Standard 146 KB
  Button1ClickSender: TObject; begin lbel4.Text; end; Результат работы процедуры: Пример: при изменении состояния флажка о его текущем состоянии будет выведена надпись.CheckBox1ClickSender: TObject; begin cse CheckBox1.Cption:= 'Включен'; end; end; Результат работы процедуры: Пример: при изменении состояния переключателя о его текущем состоянии будет выведена надпись.