Аналізатор скінченних цифрових автоматів
EIRZNTU - Electronic Institutional Repository of Zaporizhzhia National Technical University
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Аналізатор скінченних цифрових автоматів
Анализатор конечных цифровых автоматов Analyzer of the finite digital automaton |
|
Creator |
Сердюк, Сергій Микитович
Сердюк, Сергей Никитович Serdiuk, Serhii M. |
|
Subject |
синтез
скінченний автомат граф метод мурашиних колоній synthesis finite automaton graph Ant Colony method синтез конечный автомат граф метод муравьиных колоний |
|
Description |
Сердюк, С. М. Аналізатор скінченних цифрових автоматів / С.М. Сердюк // Вісник Житомирського державного технологічного університету. Технічні науки. Випуск №1 (52) 2010. – Житомир: ЖДТУ. – 2010.– С.146-150.
UA: Для рішення задачі синтезу детермінованого скінченного автомата запропоноване використання діаграм двійкових рішень. Це дозволяє істотно поліпшити масштабованість методу й представити структуру автомата у вигляді бінарного дерева – структури даних зручної для наступного етапу аналізу. Використання на етапі аналізу модифікованого мультиагентного методу мурашиних колоній (МК) і імовірнісного підходу, дозволило визначити оптимальні шляхи обходження графа й імовірності перебування автомата в кожному зі станів. EN: The suggestion to solve the deterministic finite automaton synthesis problem is to use binary solution diagrams. Significant improvements achieved are extended scalability and further analysis capabilities while representing the automation data structure as binary tree nodes. The analysis works involves the modified Multi Agents Ant Colony method and probability approaches to optimize graph-states paths as well as automation state probability data acquisition. RU: Для решения задачи синтеза детерминированного конечного автомата предложено использование диаграмм двоичных решений. Это позволяет существенно улучшить масштабируемость метода и представить структуру автомата в виде бинарного дерева - структуры данных удобной для последующего этапа анализа. Использование на этапе анализа модифицированного мультиагентного метода муравьиных колоний (МК) и вероятностного подхода, позволило определить оптимальные пути обхождения графа и вероятности пребывания автомата в каждом из состояний. |
|
Date |
2016-08-26T07:52:13Z
2016-08-26T07:52:13Z 2010 |
|
Type |
Article
|
|
Identifier |
1728-4260
http://eir.zntu.edu.ua/handle/123456789/1124 |
|
Language |
uk
|
|
Publisher |
Житомирський державний технологічний університет
|
|