Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Пример для исследования эргономичности логических выражений

Читайте также:
  1. Cпонтанные изменения в древнеанглийской системе гласных (примеры)
  2. D) ПРИМЕР ТРАГИЧЕСКОГО
  3. II. Пример.
  4. IV. Изучение технологических свойств руд
  5. V. Изучение гидрогеологических, инженерно-геологических, экологических и других природных условий месторождения
  6. X. Освенцим: научные исследования
  7. А на человеческом языке - нормальном я имею в виду, на русском, например, или на английском - не того?..

Итак, мы собираемся найти эргономичный способ записи сложных логических выражений. Чтобы разобраться в сути вопроса, желательно иметь под рукой какой-нибудь пример, на котором мы будем “проигрывать” различные методы улучшения эргономичности.

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

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

! горит зеленый сигнал светофора и нет помех движению;

! желтый сигнал загорелся, когда робот уже выехал на перекресток, и нет помех движению;

! светофор сломался (нет ни зеленого, ни желтого, ни красного сигнала) и нет помех движению.

 

В остальных случаях признак имеет значение “нет”, запрещающее роботу движение через перекресток.

Введем обозначения, показанные на рис. 76, которым соответствуют очевидные равенства:

Y = Можно.ехать.через.перекресток (1)

А = Зеленый.сигнал.светофора (2)

В = Желтый.сигнал.светофора (3)

С = Красный.сигнал.светофора (4)

D = Робот.выехал.на.перекресток (5)

Е = Помехи.для.движения (6)

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

Y = (A & ┐ E) (B & D & ┐ E) (┐ A & ┐ B & ┐ C & ┐ E) (7)

Пример, представленный на рис. 75 и 76, позволяет приступить к изучению проблемы. Ниже мы рассмотрим несколько вариантов записи логических выражений и сравним их между собой с эргономической точки зрения. При этом предполагается, что робот имеет пять датчиков, формирующих логические сигналы А, В, С, D, E, которые поступают в бортовой компьютер, управляющий движением робота.


Дата добавления: 2015-08-21; просмотров: 79 | Нарушение авторских прав


Читайте в этой же книге: Пересечения линий? — БОЖЕ УПАСИ! | Семейство Дракон-языков | Чем отличается икона “Вопрос” от развилки? | Что такое рокировка? | Эргономичность литеральных алгоритмов | Что такое подстановка? | Улучшение эргономичности алгоритмов с помощью цепочки эквивалентных преобразований | Обычный цикл | Главный маршрут силуэта | Визуализация функции И |
<== предыдущая страница | следующая страница ==>
Визуализация сложных логических функций| Логическое выражение с абстрактными идентификаторами

mybiblioteka.su - 2015-2024 год. (0.006 сек.)