ITMO University
“Programming Technologies” Department



Главная

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

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

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

English
 Home

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


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

Яndex



    / Projects / Refrigerator modelling (fragments) (версия для печати)


Refrigerator modelling (fragments)



© A.R.Ishmetyev, A.N.Sitnikov, A.A. Shalyto

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

Project documentation (in Russian)
Executable program
Source code

Annotation

The project is an example of using SWITCH-technology for modelling refrigerator. Model contains three objects: "Air cleaner", "Open-door tracking loop", "Frazil controller". Choice of the model was caused by small amount of states and events. It helps to provide obvious demonstration of this technology.

Application of the SWITCH-technology is the best way to solve problem put by: as against of traditional programming, the SWITCH-technology allows to describe device's states everytime neatly.

The model doesn't exhaust by those three objects (automata), which were choosen by authors. Also it possible to programme other control devices by means of SWITCH-technology, e.g.: compressor, cooling system etc. But it wasn't author's main aim. Goal is - demonstrate the convenience of SWITCH-technology for the task of this kind.




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