DRAKON.SU

Текущее время: Четверг, 28 Март, 2024 18:32

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 15 ] 
Автор Сообщение
СообщениеДобавлено: Вторник, 24 Июль, 2018 13:45 
Аватара пользователя

Зарегистрирован: Вторник, 04 Октябрь, 2011 17:45
Сообщения: 585
Онлайн-демо по автоматному программированию на языке ДРАКОН.
https://drakonhub.com/files/lift.html
Игрушечный лифт, можно понажимать кнопочки.
Диаграммы силуэт конечных автоматов.
Тестирование.
Вложение:
auto-demo.png
auto-demo.png [ 67.47 КБ | Просмотров: 9091 ]


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 26 Июль, 2018 21:12 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 341
Степан Митькин писал(а):
Онлайн-демо по автоматному программированию на языке ДРАКОН.
https://drakonhub.com/files/lift.html
Игрушечный лифт, можно понажимать кнопочки.
Диаграммы силуэт конечных автоматов.
Тестирование.
Вложение:
auto-demo.png

Степан, спасибо!

Очень интересно!


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 11:32 

Зарегистрирован: Среда, 03 Май, 2017 09:55
Сообщения: 200
Степан Митькин писал(а):
Онлайн-демо по автоматному программированию на языке ДРАКОН.
https://drakonhub.com/files/lift.html

Степан, у вашего лифта есть как минимум 2 уязвимости:
1) Если лифт стоит на каком-то этаже, то можно постоянно нажимать кнопку вызова и лифт никогда не уедет
2) Если лифт стоит на каком-то этаже, то можно нажимать на кнопку этого этажа в кабине, и лифт никогда не поедет

Вот пример видео: http://recordit.co/kbJtN72jQc

Интересно как вы предложите устранять их.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 13:25 

Зарегистрирован: Среда, 27 Сентябрь, 2017 18:44
Сообщения: 332
Круто Степан правда не на русском
А как все четыре схемы со существуют?
Это получается на один лифт 4 контроллера надо?
В какой последовательности их стоит выполнять?
Где находится сам алгоритм Машины Состояния?
Пока идет переходной процесс допустим MOVING c выбором MOVE, другие ветки не в одном алгоритме выполнятся не могут? Значит машина состояний полноценно работать не может
Т.е. если в момент выполнения какой- то ветки алгоритма( т.к она зациклена сама на себя и выход может быть только по окончанию процесса) другие события могущие возникнуть в других частях системы обработке не подлежат?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 15:34 

Зарегистрирован: Среда, 27 Сентябрь, 2017 18:44
Сообщения: 332
Складывается впечатление о несостоятельности теории конечных автоматов
Либо она применима к глухо замкнутым неответственным системам с реализацией в рамках одного устройства, где циклично выполняется единственная программа состояний.
И речи об использовании как "кирпичиков" в большой программе речи быть не может


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 15:45 

Зарегистрирован: Среда, 27 Сентябрь, 2017 18:44
Сообщения: 332
Владимир Ситников писал(а):
Степан Митькин писал(а):
Онлайн-демо по автоматному программированию на языке ДРАКОН.
https://drakonhub.com/files/lift.html

Степан, у вашего лифта есть как минимум 2 уязвимости:
1) Если лифт стоит на каком-то этаже, то можно постоянно нажимать кнопку вызова и лифт никогда не уедет
2) Если лифт стоит на каком-то этаже, то можно нажимать на кнопку этого этажа в кабине, и лифт никогда не поедет

Вот пример видео: http://recordit.co/kbJtN72jQc

Интересно как вы предложите устранять их.


Владимир - это как раз и есть не возможность обрабатывать все события системы, в рамках одного состояния этой системы.
На сколько я помню вы тоже работаете с контроллерами. Посмотрите очень внимательно на алгоритм и все будет понятно.


Последний раз редактировалось А_МУР Вторник, 09 Апрель, 2019 16:00, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 15:47 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Алексей, вы читали статью Степана Митькина по автоматному программированию на языке ДРАКОН, опубликованную в журнале "Программная инженерия" №1 за 2019 год?
https://drakonhub.com/files/pe_drakon_a ... n_2019.pdf


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 15:51 

Зарегистрирован: Среда, 27 Сентябрь, 2017 18:44
Сообщения: 332
Владимир Паронджанов писал(а):
Алексей, вы читали статью Степана Митькина по автоматному программированию на языке ДРАКОН, опубликованную в журнале "Программная инженерия" №1 за 2019 год
https://drakonhub.com/files/pe_drakon_a ... n_2019.pdf

Да читал, задавал вопросы Степану, от ответов на которые он отклонился или ответил размыто.
С помощью теории конечных автоматов, неоднократно под разными углами, я пытался решить задачу управления группой насосов(простейшая задача имеющая огромное число вариантов реализации), но контроллер ... есть контроллер, он живет по другим, явно не теоретическим законам....
Результат отрицательный
Хотя казалось, что конечный автомат в данной задаче подход здравый....


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 22:19 
Аватара пользователя

Зарегистрирован: Вторник, 04 Октябрь, 2011 17:45
Сообщения: 585
Владимир Ситников писал(а):
1) Если лифт стоит на каком-то этаже, то можно постоянно нажимать кнопку вызова и лифт никогда не уедет
2) Если лифт стоит на каком-то этаже, то можно нажимать на кнопку этого этажа в кабине, и лифт никогда не поедет

Вот пример видео: http://recordit.co/kbJtN72jQc

Это называется "Держать лифт, пока друганы из столовой идут".

Владимир Ситников писал(а):
Интересно как вы предложите устранять их.

Никак, потому что это не уязвимость, а фича. Замысел такой: если дверь закрыта или закрывается на твоём этаже, нажми кнопку, и дверь откроется.

Но если есть желание эту фичу отключить, нужно просто убрать реакцию автомата Door в состоянии Closing на сообщение open.
А именно:
1. В машине Door, состоянии Closing, сообщении open убрать действие requestOpen(self).
2. Ниже в том же месте переключить икону Адрес с Opening на Closing.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 22:43 
Аватара пользователя

Зарегистрирован: Вторник, 04 Октябрь, 2011 17:45
Сообщения: 585
А_МУР писал(а):
А как все четыре схемы со существуют?

Они соединены в виде упорядоченного графа.
А_МУР писал(а):
Это получается на один лифт 4 контроллера надо?

4 машины внутри одного контроллера. Машин может быть сколько угодно.
Недавно решал задачу по непрерывному перерасчёту стоимости портфелей ценных бумаг на основании real-time данных с финансовых рынков. Там в одной программе крутится несколько тысяч автоматов.
А_МУР писал(а):
В какой последовательности их стоит выполнять?

Автоматы могут работать в нескольких режимах.
Данный пример работает в браузере, а там реактивная модель выполнения. В реактивной модели автоматы не нужно "выполнять", им нужно только кидать сообщения. Например "нажата кнопка 2 этаж" или "двери закрылись".
Кроме этого бывает режим опроса (polling). В режиме опроса есть цикл, в котором каждому автомату по очереди дают команду "выполни следующий шаг". Сообщения в режиме опроса автомату посылают путём установки флагов, которые автомат проверяет при выполнении шага. Иногда в цикле обходят не все автоматы в системе, а только "грязные". Иногда не флаги устанавливают, а кладут сообщения в очередь, принадлежащую этому автомату.
А_МУР писал(а):
Где находится сам алгоритм Машины Состояния?

Алгоритм Машины состояния генерируется автоматически. Пример: строка 741 здесь:
https://github.com/stepan-mitkin/lift-d ... ftLogic.js
А_МУР писал(а):
Пока идет переходной процесс допустим MOVING c выбором MOVE, другие ветки не в одном алгоритме выполнятся не могут?

Могут. Каждый автомат представляет собой параллельный процесс.
Получив сообщение (или команду "следующий шаг"), автомат быстро выполняет некоторый код и сразу отдаёт управление обратно.
Потом следующий автомат выполняет свой код.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Апрель, 2019 23:48 

Зарегистрирован: Среда, 03 Май, 2017 09:55
Сообщения: 200
Степан Митькин писал(а):
Это называется "Держать лифт, пока друганы из столовой идут".

Ага. У нормальных лифтов защита от этого есть.
Либо у грузовых нормальная кнопка "для погрузки".

Степан Митькин писал(а):
Но если есть желание эту фичу отключить, нужно просто убрать реакцию автомата Door в состоянии Closing на сообщение open.

Это вообще уберёте. А что-нибудь в духе "если дверь не закрывается более трёх раз, то пищим, плюём на кнопки, закрываем и едем дальше"?

Я к чему: важно не только то, что "вот, автомат", а не менее важно то, можно ли реализованный алгоритм дорабатывать и не развалится ли он при этом под гнётом костылей.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 10 Апрель, 2019 15:48 

Зарегистрирован: Среда, 27 Сентябрь, 2017 18:44
Сообщения: 332
Степан Митькин писал(а):
А_МУР писал(а):
А как все четыре схемы со существуют?

Они соединены в виде упорядоченного графа.
А_МУР писал(а):
Это получается на один лифт 4 контроллера надо?

4 машины внутри одного контроллера. Машин может быть сколько угодно.
Недавно решал задачу по непрерывному перерасчёту стоимости портфелей ценных бумаг на основании real-time данных с финансовых рынков. Там в одной программе крутится несколько тысяч автоматов.
А_МУР писал(а):
В какой последовательности их стоит выполнять?

Автоматы могут работать в нескольких режимах.
Данный пример работает в браузере, а там реактивная модель выполнения. В реактивной модели автоматы не нужно "выполнять", им нужно только кидать сообщения. Например "нажата кнопка 2 этаж" или "двери закрылись".
Кроме этого бывает режим опроса (polling). В режиме опроса есть цикл, в котором каждому автомату по очереди дают команду "выполни следующий шаг". Сообщения в режиме опроса автомату посылают путём установки флагов, которые автомат проверяет при выполнении шага. Иногда в цикле обходят не все автоматы в системе, а только "грязные". Иногда не флаги устанавливают, а кладут сообщения в очередь, принадлежащую этому автомату.
А_МУР писал(а):
Где находится сам алгоритм Машины Состояния?

Алгоритм Машины состояния генерируется автоматически. Пример: строка 741 здесь:
https://github.com/stepan-mitkin/lift-d ... ftLogic.js
А_МУР писал(а):
Пока идет переходной процесс допустим MOVING c выбором MOVE, другие ветки не в одном алгоритме выполнятся не могут?

Могут. Каждый автомат представляет собой параллельный процесс.
Получив сообщение (или команду "следующий шаг"), автомат быстро выполняет некоторый код и сразу отдаёт управление обратно.
Потом следующий автомат выполняет свой код.

Понятно.
Тогда для промышленных контроллеров понятие автоматное програмирование отваливается... ну конечно можно допилить несколькими приемами теорию конечных автоматов для ПЛК
В промышленном контроллере не предусмотрены параллельные процессы и отсутствует обработчик событий
Код должен выполнятся в строгом порядке


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 10 Апрель, 2019 20:03 
Аватара пользователя

Зарегистрирован: Суббота, 29 Март, 2008 19:27
Сообщения: 1098
Откуда: Россия, Чебоксары
А_МУР писал(а):
В промышленном контроллере не предусмотрены параллельные процессы.
Код должен выполнятся в строгом порядке
И это хорошо. Потому что любые параллельные процессы можно исполнять последовательно, и лучше по своим чётким правилам, чем полагаясь на планировщики "больших" ОС.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 10 Апрель, 2019 22:36 

Зарегистрирован: Среда, 27 Сентябрь, 2017 18:44
Сообщения: 332
Alexey_Donskoy писал(а):
А_МУР писал(а):
В промышленном контроллере не предусмотрены параллельные процессы.
Код должен выполнятся в строгом порядке
И это хорошо. Потому что любые параллельные процессы можно исполнять последовательно, и лучше по своим чётким правилам, чем полагаясь на планировщики "больших" ОС.

Да, Алексей, Вы правы.
Пытался применить теорию конечных автоматов неоднократно.
В результате получается что для каждого состояния необходимо писать полный обработчик этих состояний, который гарантировано должен выполнятся каждый цикл.
Далее т.к обработчик одинаковый для всех состояний я выношу его в отдельную ветку которая гарантированно выполняется каждый цикл.
Получается сквозной конечный автомат.
1) В начале цикла обрабатывается состояние конечного автомата после прошлого цикла, далее проверяются, не появились ли новые условия при которых необходимо изменить состояние автомата - эту ветку я обычно называю МАШИНА СОСТОЯНИЙ- результат выполнения ветки отправка к ветке необходимого конечного состояния.
2) Выполняем конечное состояние. Как правило это приравнивание входов подпрограмм, и выходных переменных, реже в ветке конечного состояния может находится вспомогательное событие, которое может влиять на данные, выполняемые только в этом состоянии автомата
3) последняя ветка обязательное гарантированное выполнение подпрограмм. Т.к многие подпрограммы должны работать с разностью данных между идущим циклом и предыдущим циклом. Нарушение этого правила ведет к некорректной работе подпрограмм. По факту подпрограммы- это очень простые конечные автоматы имеющие не более трех состояний (таймеры, тригерры, и прочий вспомогательный функционал.

Далее выполняется по тому же принципу следующий конечный автомат, .... и еще конечный автомат

пока не кончатся конечные автоматы длится цикл. Как только закончился цикл, снова начинается выполнение по вышеприведенной схеме первого автомата. И так до тех пор пока есть питание контроллера с интервалом 10 мсек.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 11 Апрель, 2019 21:49 

Зарегистрирован: Среда, 27 Сентябрь, 2017 18:44
Сообщения: 332
Кроме всего прочего в машине состояний нужно проработать приоритет того или иного состояния.
Возможно что имеет смысл проработать теорию автомата состояний?


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 15 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2024, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB