Описание тега fsm

Описание тега Вопросы с тегом
Аббревиатура от Finite State Machine.
3 ответа

Наименее полезная ошибка за всю историю: Ошибка типа: непредсказуемый тип: 'список'

Я только что переписал большой кусок кода Django, который имел отношение к FSM из 40 с чем-то состояний. Существует множество STATE_DEFINITIONS = "4.7.1" для каждой из трех задействованных моделей и множество проверок, если текущее состояние == SOME…
05 дек '13 в 02:53
1 ответ

Конечные автоматы, инкапсуляция и ООП дизайн

Я внедряю FSM, используя библиотеку Boost's MSM. В FSM у меня есть таблицы переходов, которые описывают события, состояния источника, состояния цели, действия и охрану. Я впервые использую высокоуровневый дизайн конечного автомата. В прошлом я тольк…
11 июл '18 в 20:21
8 ответов

Фреймворк конечных автоматов для JBoss/Java?

Мы разрабатываем приложение, которое включает в себя множество различных тестов, каждый из которых приводит пользователей к нескольким этапам. Мы думаем об использовании инфраструктуры конечных автоматов для захвата состояний / переходов из кода. Мы…
04 ноя '08 в 19:17
1 ответ

Python: Нужен инструмент проверки моделей и результаты конвертации в CNF

Я хотел бы протестировать мой код с помощью средства проверки моделей и сделать из него FSM автоматически. Для этого мне нужна программа проверки моделей и преобразования результатов FSM в CNF. Любой совет, как я могу сделать это в Python? Я знаю то…
02 июн '14 в 15:09
8 ответов

Как реализовать FSM - конечный автомат в Java

У меня есть кое-что для работы, и мне нужна ваша помощь. Мы хотим реализовать FSM - Finite State Machine, чтобы определить последовательность символов (например: A, B, C, A, C) и сообщить, принято ли это. Мы думаем реализовать три класса: State, Eve…
04 ноя '12 в 17:46
1 ответ

Конвертирование FSM в регулярные выражения

Я знаю, как преобразовать регулярное выражение в FSM, но не совсем уверен, как его отменить. каким будет регулярное выражение для этого примера?
30 май '13 в 18:34
1 ответ

Утверждение, исключение, ошибка во время выполнения или неопределенное поведение?

Я работаю над библиотекой конечных автоматов с этими публичными методами: template <typename STATE_T> void add_state(); // allocate STATE_T on heap - STATE_T must derive from state template <typename FROM_STATE_T, typename TO_STATE_T> vo…
20 авг '13 в 18:39
1 ответ

Как проверить конечный автомат с помощью pytest?

Я новичок в тестировании, и мне нужно найти способ тестирования конечного автомата, который я написал, похожий на этот https://code.activestate.com/recipes/577308-simple-state-machine-implementation/ с использованием pytest. Код принимает словарь вр…
31 янв '19 в 09:13
0 ответов

Затраты времени на создание и запуск NFA против DFA для данного регулярного выражения

Я прохожу прошлые экзамены и постоянно сталкиваюсь с вопросами, на которые я не могу найти ответ в учебниках или в Google, поэтому любая помощь будет высоко ценится. Вопрос, с которым у меня сейчас проблемы, заключается в следующем: Учитывая регуляр…
06 авг '12 в 15:05
1 ответ

Какие есть двигатели для конечных автоматов общего назначения?

Требования следующие: основные функции автоматизации: состояния, события, правила гибкость (интеграция с внешними языковыми инструментами для анализа, классификации, поиска) декларативные, изменения без перекомпиляции [опционально] возможности рандо…
12 апр '16 в 09:43
2 ответа

akka fsm matchEvent реализация

Я пытаюсь понять АККА ФСМ "matchEvent": public final <ET> FSMStateFunctionBuilder<S, D> matchEvent(Class<ET> eventType, TypedPredicate2<ET, D> predicate, Apply2<ET, D, State<S, D>> apply) { return (new FSMStateFun…
31 окт '16 в 12:39
3 ответа

Почему бы не двухпроцессный конечный автомат в VHDL?

Когда я научился выражать конечные автоматы в VHDL, это было с двухпроцессорной архитектурой. Один процесс обрабатывает сигналы синхронизации / сброса, а другой - комбинаторную логику обновления состояния и вывода. Пример ниже. Я видел критику этого…
15 ноя '15 в 10:26
0 ответов

FSM в Verilog некорректно компилируется с помощью quartus

Мой FSM выдаст мне все правильные выходы при моделировании, но когда я собираюсь поставить его на DE0-CV, светодиодный индикатор работает правильно, но 7-сегментный дисплей не меняет состояния. Я не совсем уверен, как включить HEX дисплей со светоди…
23 июн '18 в 01:35
0 ответов

Рекомендуемый переход от FSM к ML

Я немного занимался машинным обучением с tenorflow и tflearn и решил вернуться к старой проблеме. Конкретная проблема заключается в написании программы, которая может эффективно решить Ханойские башни из любого штата в любой другой штат. Ранее я дел…
02 фев '17 в 10:56
0 ответов

Как я могу изменить FSM с этим условием?

Скриншот структуры и условий FSM Это мой источник изображения FSM. Мой профессор сказал, что "мы должны включить это условие", причем условие y = 1 when state == s2 and x == 1, Я могу спроектировать источники FSM по умолчанию, но я не уверен, как п…
21 сен '17 в 12:35
2 ответа

Как управлять переходами состояний в python fsm с помощью библиотеки переходов

Я пытаюсь реализовать конечный автомат, используя модуль переходов. Python версия 2.7.13 и переходы это версия 0.4.4. В документации проекта все примеры проходят через состояния, набирая вызовы функций в командной строке. Взяв фрагмент из первого пр…
16 фев '17 в 21:09
2 ответа

Как повлиять только на 1 игровой объект в операторе if

Создание игры AI, пытаясь повлиять только на 1 игровой объект в операторе if. Я думаю, что то, как я это делаю, очень неправильно, и мне посоветовали создать массив моего экземпляра enum. Я просто не уверен, что это лучший способ. Это код, который у…
24 фев '14 в 20:16
1 ответ

Динамическая передача экстракторов для сопоставления с образцом

Я хочу иметь возможность динамически выбирать, какие экстракторы использовать в моем сопоставлении шаблонов классов дел. Я хочу что-то вроде: def handleProcessingResult(extract: SomeType) : PartialFunction[Event, State] = { case Event(someEvent: Som…
11 авг '15 в 23:35
1 ответ

Синхронизация шины FPGA

Я обнаружил, что внедряю код Verilog для сопряжения FT600 USB3.0 FIFO с ПЛИС решетки ICE40. Вопрос, который я здесь задам, не является специфическим для этих частей, поскольку он применим к каждому случаю, когда вам нужно спроектировать конечный авт…
10 май '16 в 11:07
1 ответ

Чтение из файла SCXML с использованием LINQ

В настоящее время я работаю над проектом, в котором мне нужно извлечь состояния и соответствующие переходы из файла XML. В настоящее время я могу успешно извлечь всю правильную информацию, но вложенные переходы не связаны с их состояниями. Извиняюсь…
15 ноя '16 в 11:00