Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA
This article is a continuation of the authors' previous work devoted to the development of the algebra of finite automata of the special type DTA (Digital Twin Algebra), designed for mathematical modeling of the behavior of digital twins of production. In this work, the mathematical modeling o...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
The Fund for Promotion of Internet media, IT education, human development «League Internet Media»
2022-10-01
|
| Series: | Современные информационные технологии и IT-образование |
| Subjects: | |
| Online Access: | http://sitito.cs.msu.ru/index.php/SITITO/article/view/909 |
| _version_ | 1811162313733963776 |
|---|---|
| author | Dmitry Gapanovich Vladimir Sukhomlin |
| author_facet | Dmitry Gapanovich Vladimir Sukhomlin |
| author_sort | Dmitry Gapanovich |
| collection | DOAJ |
| description | This article is a continuation of the authors' previous work devoted to the development of the algebra of finite automata of the special type DTA (Digital Twin Algebra), designed for mathematical modeling of the behavior of digital twins of production. In this work, the mathematical modeling of the functions of twins uses the DTA algebra apparatus in the form of systems of event-matched finite automata or event matched machines ‒ abbreviated ‒ EMM-systems, while automata (quasi-automata) of such systems are considered as having a specialized multi-sorted structure and an appropriate interpretation of behavior. The multi-sorted structure of automata is realized by dividing the states of quasi-automatic machines of EMM systems into non-intersecting classes, namely, the sets of their states are divided into two classes ‒ A (states of the modes of operation of an object modeled using FSA) and B (states of the production activity of an object). Such FSAs are called bipartite FSAs or abbreviated as BPA (Bipartite Automaton). Using a graphical view of such bipartite automata in the form of Moore diagrams, an example of describing the functioning of equipment and facilities of some imaginary mine of a mining enterprise is considered. This example demonstrates the clarity and adequacy of the means of the proposed apparatus for modelling the behavior of similar production facilities. |
| first_indexed | 2024-04-10T06:27:59Z |
| format | Article |
| id | doaj.art-f6eb8e7afa7441698b88705961c9475a |
| institution | Directory Open Access Journal |
| issn | 2411-1473 |
| language | Russian |
| last_indexed | 2024-04-10T06:27:59Z |
| publishDate | 2022-10-01 |
| publisher | The Fund for Promotion of Internet media, IT education, human development «League Internet Media» |
| record_format | Article |
| series | Современные информационные технологии и IT-образование |
| spelling | doaj.art-f6eb8e7afa7441698b88705961c9475a2023-03-01T20:13:00ZrusThe Fund for Promotion of Internet media, IT education, human development «League Internet Media»Современные информационные технологии и IT-образование2411-14732022-10-0118363464310.25559/SITITO.18.202203.634-643Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTADmitry Gapanovich0https://orcid.org/0000-0002-3222-694XVladimir Sukhomlin1https://orcid.org/0000-0001-9468-7138Lomonosov Moscow State University, Moscow, Russia, Corresponding authorLomonosov Moscow State University; Federal Research Center Computer Science and Control of Russian Academy of Sciences, Moscow, RussiaThis article is a continuation of the authors' previous work devoted to the development of the algebra of finite automata of the special type DTA (Digital Twin Algebra), designed for mathematical modeling of the behavior of digital twins of production. In this work, the mathematical modeling of the functions of twins uses the DTA algebra apparatus in the form of systems of event-matched finite automata or event matched machines ‒ abbreviated ‒ EMM-systems, while automata (quasi-automata) of such systems are considered as having a specialized multi-sorted structure and an appropriate interpretation of behavior. The multi-sorted structure of automata is realized by dividing the states of quasi-automatic machines of EMM systems into non-intersecting classes, namely, the sets of their states are divided into two classes ‒ A (states of the modes of operation of an object modeled using FSA) and B (states of the production activity of an object). Such FSAs are called bipartite FSAs or abbreviated as BPA (Bipartite Automaton). Using a graphical view of such bipartite automata in the form of Moore diagrams, an example of describing the functioning of equipment and facilities of some imaginary mine of a mining enterprise is considered. This example demonstrates the clarity and adequacy of the means of the proposed apparatus for modelling the behavior of similar production facilities.http://sitito.cs.msu.ru/index.php/SITITO/article/view/909digital twindt cyber-physical systemdspfinite automata algebramealy finite automatonmealy finite automaton diagramsmathematical modeling of production twins |
| spellingShingle | Dmitry Gapanovich Vladimir Sukhomlin Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA Современные информационные технологии и IT-образование digital twin dt cyber-physical system dsp finite automata algebra mealy finite automaton mealy finite automaton diagrams mathematical modeling of production twins |
| title | Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA |
| title_full | Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA |
| title_fullStr | Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA |
| title_full_unstemmed | Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA |
| title_short | Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA |
| title_sort | modeling the functioning of the mine using the algebra of finite automata dta |
| topic | digital twin dt cyber-physical system dsp finite automata algebra mealy finite automaton mealy finite automaton diagrams mathematical modeling of production twins |
| url | http://sitito.cs.msu.ru/index.php/SITITO/article/view/909 |
| work_keys_str_mv | AT dmitrygapanovich modelingthefunctioningofthemineusingthealgebraoffiniteautomatadta AT vladimirsukhomlin modelingthefunctioningofthemineusingthealgebraoffiniteautomatadta |