Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism
Background. It is proposed to develop agent-based network metacomputer systems and applications based on logical methods and related conceptual graphical models, which allows combining imperative and declarative methods when designing the functional architecture and software of a metacomputer. Fo...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Penza State University Publishing House
2022-06-01
|
| Series: | Известия высших учебных заведений. Поволжский регион:Технические науки |
| Subjects: |
| _version_ | 1818469412708024320 |
|---|---|
| author | V.I. Volchikhin N.S. Karamysheva S.A. Zinkin E.I. Gurin |
| author_facet | V.I. Volchikhin N.S. Karamysheva S.A. Zinkin E.I. Gurin |
| author_sort | V.I. Volchikhin |
| collection | DOAJ |
| description | Background. It is proposed to develop agent-based network metacomputer
systems and applications based on logical methods and related conceptual graphical
models, which allows combining imperative and declarative methods when designing the
functional architecture and software of a metacomputer. Formalized specifications for
creating agent-based network applications based on conceptual and logical models of
artificial intelligence are proposed. The term “metacomputer” is chosen to denote the
network environment in which the action script is deployed. Another name is a cloudnetwork
application, in principle it means the same thing, but it differs in the additional
consideration of terminology from the field of modern network technologies in an explicit
form. In connection with the growing importance of global computer networks in science
and education, the problem of creating large-scale applications is relevant. A functional
organization of metacomputer agent-based network distributed computing is proposed,
which implements the main structures of distributed programming, where the network is
actually considered as a computer with distributed program control based on the messagedriven
computing paradigm, and not as a means of implementing the simple client-server or
master-slave applications. The aim of the work is to increase the level of parallelism in data
processing in metacomputer systems by organizing the pipeline movement of messages
over the network. Materials and methods. Conceptual models, logical-algebraic operating
models, logical Petri nets are used as the main methods. Results. Conceptual graphs of
distributed algorithms and logical-algebraic operational expressions suitable for use as
directly executable specifications are proposed, a method is developed for moving from
conceptual graphs to executable specifications that define the functional architecture of a
metacomputer. Simulation models for distributed algorithms have been developed.
Conclusions. The practical implementation of the above concepts and models will increase
the level of parallelism in the operation of agent-based virtual metacomputer systems due to
the pipeline organization of message passing. |
| first_indexed | 2024-04-13T21:24:15Z |
| format | Article |
| id | doaj.art-8e8b2b86dda5497bbaa9b82ebd6951f9 |
| institution | Directory Open Access Journal |
| issn | 2072-3059 |
| language | English |
| last_indexed | 2024-04-13T21:24:15Z |
| publishDate | 2022-06-01 |
| publisher | Penza State University Publishing House |
| record_format | Article |
| series | Известия высших учебных заведений. Поволжский регион:Технические науки |
| spelling | doaj.art-8e8b2b86dda5497bbaa9b82ebd6951f92022-12-22T02:29:23ZengPenza State University Publishing HouseИзвестия высших учебных заведений. Поволжский регион:Технические науки2072-30592022-06-01210.21685/2072-3059-2022-2-1Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelismV.I. Volchikhin0N.S. Karamysheva1S.A. Zinkin2E.I. Gurin3Penza State UniversityPenza State UniversityPenza State UniversityPenza State UniversityBackground. It is proposed to develop agent-based network metacomputer systems and applications based on logical methods and related conceptual graphical models, which allows combining imperative and declarative methods when designing the functional architecture and software of a metacomputer. Formalized specifications for creating agent-based network applications based on conceptual and logical models of artificial intelligence are proposed. The term “metacomputer” is chosen to denote the network environment in which the action script is deployed. Another name is a cloudnetwork application, in principle it means the same thing, but it differs in the additional consideration of terminology from the field of modern network technologies in an explicit form. In connection with the growing importance of global computer networks in science and education, the problem of creating large-scale applications is relevant. A functional organization of metacomputer agent-based network distributed computing is proposed, which implements the main structures of distributed programming, where the network is actually considered as a computer with distributed program control based on the messagedriven computing paradigm, and not as a means of implementing the simple client-server or master-slave applications. The aim of the work is to increase the level of parallelism in data processing in metacomputer systems by organizing the pipeline movement of messages over the network. Materials and methods. Conceptual models, logical-algebraic operating models, logical Petri nets are used as the main methods. Results. Conceptual graphs of distributed algorithms and logical-algebraic operational expressions suitable for use as directly executable specifications are proposed, a method is developed for moving from conceptual graphs to executable specifications that define the functional architecture of a metacomputer. Simulation models for distributed algorithms have been developed. Conclusions. The practical implementation of the above concepts and models will increase the level of parallelism in the operation of agent-based virtual metacomputer systems due to the pipeline organization of message passing.metacomputerscloud network applicationsvirtual architectures of distributed computing systemsformal modelslogical-algebraic operational expressionsformalized specificationssoftware agentslogical network models |
| spellingShingle | V.I. Volchikhin N.S. Karamysheva S.A. Zinkin E.I. Gurin Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism Известия высших учебных заведений. Поволжский регион:Технические науки metacomputers cloud network applications virtual architectures of distributed computing systems formal models logical-algebraic operational expressions formalized specifications software agents logical network models |
| title | Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism |
| title_full | Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism |
| title_fullStr | Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism |
| title_full_unstemmed | Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism |
| title_short | Algorithms, logic and modeling of agent-based metacomputer systems with a high level of parallelism |
| title_sort | algorithms logic and modeling of agent based metacomputer systems with a high level of parallelism |
| topic | metacomputers cloud network applications virtual architectures of distributed computing systems formal models logical-algebraic operational expressions formalized specifications software agents logical network models |
| work_keys_str_mv | AT vivolchikhin algorithmslogicandmodelingofagentbasedmetacomputersystemswithahighlevelofparallelism AT nskaramysheva algorithmslogicandmodelingofagentbasedmetacomputersystemswithahighlevelofparallelism AT sazinkin algorithmslogicandmodelingofagentbasedmetacomputersystemswithahighlevelofparallelism AT eigurin algorithmslogicandmodelingofagentbasedmetacomputersystemswithahighlevelofparallelism |