Автор работы: Пользователь скрыл имя, 08 Апреля 2013 в 21:12, реферат
Берілген жұмыста Unimod әзiрлеу ортасының қолдануымен жолаушылар лифтының жобалауы үшiн автоматты тәсiлдi қолданудың мысалы келтірілген.
Техникалық объектілерді логикалық басқару есептерін алгоритмдеу және программалау үшiн автоматты тәсiл ыңғайлы, себебi салынған автоматтың өткелдерiнің кескіні объектiнiң жұмысын көрнекi көрсетеді. Бұл жобалауда мүмкiн болатын қателерді жеңiл көруге болатынына әкеледі, мысалы, кейбiр өткелдірдің болмауы, күйдiң ашық еместiгi және басқалар.
Кіріспе ................................................................................................................... 3
1. Мақсаттың қойылуы ....................................................................................... 4
2. Сценаридің үстiрт мәтiнi.................................................................................. 7
3. Автоматты өткiзу .............................................................................................. 8
3.1. Автомат............................................................................................................ 8
3.2. Оқиғалар генераторы................................................................................... 10
3.3. Басқару объектiлері ..................................................................................... 10
4. Бағдарламаның өткiзілуi ................................................................................ 11
4.1. Интерпретациялық тәсiл ............................................................................. 11
4.2. Компиляциялық тәсiл................................................................................... 13
Қорытынды......................................
20:37:04,000 INFO [Run] Finish on-enter action [oLift.waitOpened] execution
20:37:04,000 INFO [Run] Finish event [OpenTheDoors] processing. In state [/liftAutomat:Посадка пассажиров 2]
20:37:04,000 INFO [Run] Start event [CloseTheDoors] processing. In state [/liftAutomat:Посадка пассажиров 2]
20:37:04,000 DEBUG [Run] Try transition [Посадка пассажиров 2#Движение вниз#CloseTheDoors#true]
20:37:04,000 INFO [Run] Transition to go found [Посадка пассажиров 2#Движение вниз#CloseTheDoors#true]
20:37:04,000 INFO [Run] Start output action [oLift.closeTheDoors] execution
20:37:04,734 INFO [Run] Finish output action [oLift.closeTheDoors] execution
20:37:04,734 INFO [Run] Start on-enter action [oLift.goDown] execution
20:37:04,734 INFO [Run] Finish on-enter action [oLift.goDown] execution
20:37:04,734 INFO [Run] Finish event [CloseTheDoors] processing. In state [/liftAutomat:Движение вниз]
20:37:04,734 INFO [Run] Start event [QueueIsEmpty]processing. In state [/liftAutomat:Движение вниз]
20:37:04,734 DEBUG [Run] Try transition [Движение вниз#Выбор направления#QueueIsEmpty#true]
20:37:04,734 INFO [Run] Transition to go found [Движение вниз#Выбор направления#QueueIsEmpty#true]
20:37:04,734 INFO [Run] Start output action [oLift.changeDirection] execution
20:37:04,734 INFO [Run] Finish output action [oLift.changeDirection] execution
20:37:04,734 INFO [Run] Start on-enter action [oLift.chooseDirection] execution
20:37:04,734 INFO [Run] Finish on-enter action [oLift.chooseDirection] execution
20:37:04,734 INFO [Run] Finish event [QueueIsEmpty] processing. In state [/liftAutomat:Выбор направления]
20:37:07,406 INFO [Run] Start event [Exit] processing. In state [/liftAutomat:Выбор направления]
20:37:07,406 DEBUG [Run]
Try transition [Выбор направления#FinalState#Exit#
20:37:07,406 INFO [Run]
Transition to go found [Выбор направления#FinalState#Exit#
20:37:07,406 INFO [Run] Start output action [oForm.closeForm] execution
20:37:07,421 INFO [Run] Finish output action [oForm.closeForm] execution
20:37:07,421 INFO [Run] State machine came to final state [/liftAutomat:FinalState]
20:37:07,421 INFO [Run] Finish event [Exit] processing. In state [/liftAutomat:FinalState]
4.2. Компилятивный подход
В этом подходе с помощью средств Unimod из XML-файла (Приложение 1), описывающего структуру программы и автомата, генерируется Java-файл. К этому файлу добавляются файлы, написанные вручную, которые реализуют поставщики управления и контрольные объекты. Для его работы необходимы также некоторые классы библиотек Unimod.
Отметим, что в используемых в настоящее время версиях инструментальной среды Unimod, главный класс, обеспечивающий запуск приложения, вручную писать не приходится. Он генерируется автоматически.
Выводы
Автоматный подход удобен для проектирования систем управления механическими процессами. С одной стороны, он позволяет разделить систему на отдельные несвязанные объекты, что сильно упрощает ее программирование, а с другой –наглядная диаграмма автомата позволяет человеку легчевидеть схему работы программы и находить возможные ошибки.
Набор инструментов Unimod [3] сильно упрощает задачу реализации спроектированной системы.
Список источников
1. Наумов А.С., Шалыто А.А.
Система управления лифтом. http://is.ifmo.ru/projects/
2. Наумов Л.А., Шалыто А.А.
Автоматное решение задачи Д. Кнута о лифте.
http://is.ifmo.ru/projects/
3. Unimod. http://unimod.sourceforge.net