Полученные функции алгебры логики

 

 

10. Полученные функции алгебры логики на языке программирования С++ Builder

Y1=(~y1)&x

Y2=x&((~y4)&(~y1)&y2)|y1&(~y2)

Y3=x&(((y3&(~y1))|(y1&(~y3)&y2)|(y3&(~y2))

Y4=x&(((~y2)&y4)|(y1&y4))|(y1&y2&y3)

Z=x&((~y1)&y3))|((~y2)&y3)|((~y4)&(~y2)&y1))

 

Блок - схема алгоритма приложения в целом

 

Нет

Нет

Нет

Да

Да

Да

Начало

OnCreate: 1. Открытие ППА 2. Инициализация ППА 3. y1=y2=y3=y4=0 3.3.3.

Button 1 Click Разрешение работы таймера

Пуск

100мс

Закрыть

OnDestroy Закрытие ППА

Timer1Timer Реализация метода НВБФ

Конец

 

рис. 3 - Блок-схема алгоритма проекта в целом

 

Блок-схема алгоритма Timer1Timer

начало

начало

Вычисление Zk

Чтение х

Вывод х на форму

Вычисление Y1=f(x,y1,y2,y3,y4) Y2=f(x,y1,y2,y3,y4) Y3=f(x,y1,y2,y3,y4) Y4=f(x,y1,y2,y3,y4)

Вычисление Z

Объединение Y1, Y2, Y3, Y4 в один вектор

Вывод Y1, Y2, Y3, Y4 на форму

Вывод Z на форму и  в порт С

Окрашивание символов

Присваивание y1=Y1, y2=Y2, y3=Y3, y4=Y4

 

Рис. 4 - Блок-схема алгоритма функцииTimer1Timer

Краткое описание используемых объектов

Label1 ->Caption ->"Входной набор"

Label2 ->Caption ->" "

Label3 ->Caption ->"Состояние элементов памяти"

Label4 ->Caption ->" "

Label5 ->Caption ->"Выходная функция"

Label6 ->Caption ->""

Button1->Caption ->"Пуск"

Timer: Interval -> 100 ms; Enabled -> False

Краткое описание этапов разработки проекта

· 14.1. Создание проекта

· 14.2. Сохранение проекта

· 14.3. Включение в проект дополнительных файлов

· 14.4. Визуальное проектирование

· 14.5. Создание обработчиков событий

· 14.6. Программирование файла реализации

· 14.7. Работа операторов функции Timer1Timer

· 14.8. Компиляция проекта

· 14.9. Включение и остановка проекта

· 14.10. Отладка проекта

· 14.11. Получение распечаток файлов

 

Структурная схема безопасной реализации конечного автомата

рис. 5 – схема безопасной реализации конечного автомата

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

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

По условию интенсивность отказов

 

 

Выводы

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