ITMO University
“Programming Technologies” Department



Главная

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

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


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

Яndex



    / Projects / Universal infra-red remote control for domestic technics (версия для печати)


Universal infra-red remote control for domestic technics



© 2005 S. E. Velder, Y. D. Bedny

Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Project documentation (in Russian)
Executable program
Source code

Annotation

For algorithmization and programming the emulator for IR remote control for domestic technics the authors used the SWITCH-technology that develops with reference to development of the software of event systems and devices (http://is.ifmo.ru).

In the present work the authors used the automatic style of programming. Such approach was named "programming with evident state extraction".

The technology is demonstrated using the example of creating electronic infra-red remote control realizing these functions:

  • storing IR signal from an external device, decoding it, converting to bit sequence and associating one of the keyboard buttons to it;
  • sending IR signal if the button associated to it is pressed;
  • displaying the operating mode on the LCD;
  • switching between different keyboard layouts.

The present work contains the documentation including technical description, connections diagram and transition graph of the automaton on which the source of the program is written formally and isomorphically.


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