САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ
Кафедра «Технологии программирования»



Меню
Главная
Новости

Автографы
Автоматы
Автоматное программирование в школе
Беллетристика
Важное
Верификация
Визуализаторы
Внедрение автоматного программирования
Генетические алгоритмы
Геном
Движение
Дипломы
Диссертации
Инновации
Искусственный интеллект
Искусство
Клеточные автоматы
Книги
Конференции
Люди
Мотивация
Мысли
Наука
Нейронные сети
О нас
Об автоматном программировании
Обработка изображений
Образование
Параллельные вычисления
Персоналии
Презентации
Премии
Программная инженерия
Программная кибернетика
Проекты
Прорыв
UniMod
Unimod-проекты
Разное
Рецензии
Роботы и агенты
Ролики о нас
Свидетельства
Семинары
Скартел-Yota
Статьи
Соревнования по программированию
Тестирование
Учебные курсы
Фотографии
Электрические Джунгли
English
Home

Articles
Automata-Based Programming
EffelState
Initiatives
Projects
Miscellaneous
Presentations
State Machines
Technology
UniMod
UniMod Projects
Visualizers


Поиск по сайту

Яndex

Google





   Главная / Проекты / Система управления дорожным светофором (версия для печати)


Система управления дорожным светофором



(C) 2003 г. А.А. Дистель, Д.А. Кобак, А.А. Шалыто

Санкт-Петербургский государственный институт точной механики и оптики (технический университет)

Отсюда можно скачать полный текст документации в формате pdf (168 кб)
Отсюда можно скачать приложение (7 кб)
Исходные тексты (36 кб)

Аннотация

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

Для алгоритмизации и программирования задач логического управления была предложена SWITCH-технология, которая в дальнейшем была развита применительно к событийным и объектно-ориентированным программам. Подробно ознакомиться с этой технологией и с конкретными примерами ее использования можно на сайтах http://is.ifmo.ru и http://www.softcraft.ru.

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

Проект был написан на языке C++.


© 2002—2009 По техническим вопросам сайта: mikhail.tsarev@gmail.com