ITMO University
“Programming Technologies” Department



Главная

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

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

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

English
 Home

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


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

Яndex



    / UniMod Projects / Simulation of a washing machine (версия для печати)


Simulation of a washing machine



Simulation of a washing machine



©2007 I.I. Gnilomedov, A.A. Shalyto

St. Petersburg State University of Information Technology, Mechanics and Optics

Project documentation
Applet
Compiled code

Annotation

The goal of the project is simulation of working of a washing machine, based on SWITCH-technology.

Automata-based method is well-suitable for programming tasks of controlling technical systems. Transition graph of created automata visualizes how the system works. It allows to decompose program developing in two phases : design and implementation.

The program is created in Eclipse with UniMod tool, which allows to interpret or generate program code automatically from the transition graph of the finite automaton. Functionality of input and output events is written on Java manually.


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