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



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

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

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


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

Яndex

Google





   Главная / 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—2009 По техническим вопросам сайта: mikhail.tsarev@gmail.com