caxapa.ru :: Спорно. Во первых, большое количество состояний не гарантирует возможность разбить их на несколько переменных состояния, во вторых, проще от этого не становится. Проще становится когда проектируешь не в коде, а в нарисованном на листочке графе состояний. А в код только переносишь результат.

Cкpипaч, пророк (24.02.2024 09:46, просмотров: 104) ответил Boвa на Такую "супер огромную конечную машину" нужно делить на более мелкие которые работают параллельно. 5 машин с 4 состояниями отладить легче чем одну с 1000 состояний. А комбинаций состояний у 5 машин будет даже больше.

Спорно. Во первых, большое количество состояний не гарантирует возможность разбить их на несколько переменных состояния, во вторых, проще от этого не становится. Проще становится когда проектируешь не в коде, а в нарисованном на листочке графе состояний. А в код только переносишь результат.

... но не любой ценой.

Ответить

- В общем да, там надо искать другое решение контроля. Сверху. Кстати оказалось что классическим трассированием и отладкой (и логгингом) отлаживать это Н Е В О З М О Ж Н О. Т.е. пытались два года, но дико сложно, результаты так себе. Пзц там был в том, что придание вот такой-то стратегии поведения тут же причиняло другие проблемы. Дело пошло только тогда, когда стала рисоваться телеметрия состояния FSM (и ведущих датчиков) в виде графиков во времени. RxTx(185 знак., 24.02.2024 19:20)
  - "Стратегия" , "конечные автоматы", "управление", "нейронки" , "зрение" это разные уровни программ. Их должны писать разные люди на разных языках и т.д. И наверное это все не должно быть монолитным. Тут бы привести исчерпывающую монографию про это всё, но у меня её нет, а есть что-то такое, зато с картинками Возможно что-то там можно еще покопать, может и книжку какую-то толковую найдете. Boвa(1 знак., 25.02.2024 12:21, ссылка)
  - Жутко любопытно, что за задача? (естественно, без секретных подробностей) - Cкpипaч(25.02.2024 10:13)
- Диды (Хоровиц с Хилом) завещали что черновая версия проекта должна умещаться на обратной стороне почтового конверта. Если ваш граф требует нескольких форматов, вы делаете что-то не то. - Boвa(24.02.2024 09:49)
  - Схемы же? Или КА? - RxTx(24.02.2024 19:14)
    - КА наиболее наглядны в виде графов состояний (см.книгу ниже). Обычно начинают с простенькой схемы на пять-десять "кружочков", которые потом расписывают и дополняют. Cкpипaч(255 знак., 24.02.2024 19:25)
  - Черновая версия, да, не спорю. Cкpипaч(732 знак., 24.02.2024 12:23)

Кибернетика, автоматика, протоколы