Карты Карно для проектируемого автомата
Y1
| ~ | |||
| ~ | ~ | ~ | ~ |
Y2
| ~ | |||
| ~ | ~ | ~ | ~ |
Y3
| ~ | |||
| ~ | ~ | ~ | ~ |
Y4
| ~ | |||
| ~ | ~ | ~ | ~ |
Z
| ~ | |||
| ~ | ~ | ~ | |
Полученные функции алгебры логики
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 – схема безопасной реализации конечного автомата
Принцип работы троированной структуры конечного автомата заключается в следующем: три канала работают одновременно и сравнивают полученные значения, затем проверенные значения поступают в схему соответствия – если полученные значения от разных источников верные, следовательно, формируется приказ, о передаче команды на объект которым мы управляем. Если один из каналов переходит в защитное состояние – работа будет осуществляться по вычислениям двух исправно работающих каналов, если же два канала выходят из строя – система переходит в защитное состояние во избежание случаев опасных отказов, которые на железной дороге могут привести к непоправимым последствиям.
Расчет периода диагностирования безопасной реализации микропроцессорной системы
По условию интенсивность отказов 
Выводы
В ходе работы над проектом была осуществлена программная реализация конечного автомата по методу непосредственного вычисления булевых функций. В ходе проверки алгоритма функционирования на экране осциллографа была получена требуемая вход-выходная последовательность. Кроме того, был рассчитан период диагностирования и осуществлено доказательство тестируемости внешних элементов системы.