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 / (версия для печати)




Modelling of automated multistorey parking

Modelling of automated multistorey parking



© 2007 F.V. Podtelkin, A.A. Shalyto

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

Project Documentation (in Russian)
Executable assemply(Interpreter approach)
Executable assembly(Compilative approach)
Source code

Annotation

The project is an example of applying automata approach to technical system control problems. Advantage of the method is evident and natural representation of system logic.

Unimod development environment simplifies development in times. An important feature is the fact that the tool does not generate code from uncomplete or conflicting specification, so errors are found and fixed during design of the system.

To start the application one must download archive with executable assembly, unpack it and start run.bat. To open the project in Unimod one must select "File/Import" in system menu, then select "Existing project in workspace"in popup window. Then press "Next >" button. Directory containg the project files has to be selected.


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