Cantitate/Preț
Produs
Total produse
Vezi coșul
Declarative Models of Concurrent Cyclic Processes de Grzegorz Bocewicz

Declarative Models of Concurrent Cyclic Processes: Studies in Systems, Decision and Control, cartea 438

Autor Grzegorz Bocewicz
en Limba Engleză Hardback – 31 oct 2023

Adresat cercetătorilor, inginerilor de sistem și studenților la nivel masteral sau doctoral, Declarative Models of Concurrent Cyclic Processes propune o metodologie riguroasă pentru gestionarea unora dintre cele mai dificile probleme de planificare ciclică. Remarcăm faptul că autorul Grzegorz Bocewicz se concentrează pe sistemele SCCMP, întâlnite frecvent în logistica feroviară, producția industrială și rețelele de transport, unde procesele execută operațiuni repetitive utilizând resurse partajate.

Suntem de părere că valoarea tehnică a acestui volum rezidă în capacitatea de a transforma probleme de complexitate NP-hard în modele declarative eficiente computațional. Structura cărții urmărește o progresie logică: începe cu fundamentele proceselor ciclice concurente, trece prin modelarea performanței și analiza bazei de stări staționare, culminând cu gestionarea incertitudinii prin logică fuzzy. Această abordare permite evaluarea în timp real a costurilor de serviciu și a timpilor de transport, un aspect critic pentru sistemele moderne de tip „just-in-time”.

Complementar lucrării Modelling and Performance Analysis of Cyclic Systems de Wojciech Bożejko, care se axează pe echilibrul dintre cercetare și aplicații în producția de serie, volumul de față aduce în plus o perspectivă matematică aprofundată asupra structurilor fractale și a condițiilor de atingere reciprocă a comportamentelor de sistem. În contextul operei autorului, Declarative Models of Concurrent Cyclic Processes reprezintă o rafinare a conceptelor de inteligență artificială aplicată discutate în volumele conferințelor Distributed Computing and Artificial Intelligence, mutând accentul de la soluții distribuite generale către un cadru teoretic specializat pentru procese periodice.

Citește tot Restrânge

Din seria Studies in Systems, Decision and Control

Preț: 95072 lei

Preț vechi: 118839 lei
-20%

Puncte Express: 1426

Carte disponibilă

Livrare economică 08-22 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031405518
ISBN-10: 303140551X
Pagini: 178
Ilustrații: XIX, 178 p. 97 illus., 69 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.48 kg
Ediția:1st ed. 2023
Editura: Springer Nature Switzerland
Colecția Springer
Seria Studies in Systems, Decision and Control

Locul publicării:Cham, Switzerland

De ce să citești această carte

Pentru specialiștii în cercetare operațională și managementul producției, această carte oferă instrumentele matematice necesare pentru a optimiza sisteme complexe cu fluxuri ciclice. Veți câștiga o metodă nouă de a modela incertitudinea și de a proiecta structuri de control eficiente pentru rețele de transport sau linii de fabricație, reducând complexitatea algoritmică a problemelor de planificare.

Despre autor

Grzegorz Bocewicz este un cercetător recunoscut în domeniul informaticii și al cercetării operaționale, cu un interes marcat pentru aplicarea metodelor de inteligență artificială în optimizarea proceselor. Contribuțiile sale anterioare, vizibile în coordonarea conferințelor internaționale Distributed Computing and Artificial Intelligence, subliniază expertiza sa în sisteme distribuite și modelare declarativă. Lucrările sale se concentrează pe rezolvarea problemelor complexe de inginerie industrială și logistică, promovând utilizarea algoritmilor eficienți pentru sisteme cu resurse partajate, temă centrală și în monografia de față.

Cuprins

1.Concurrent cyclic processes.- 2 Performance modeling.- 3 Cyclic steady states reachability.- 4 Modeling the uncertainty of concurrent cyclic processes.- 5 Summary.- References.

Notă biografică

Grzegorz Bocewicz is an Associate Professor at the Faculty of Electronics and Computer Science of Koszalin University of Technology in Poland. He obtained an M.Sc. in Telecommunications from the Koszalin University of Technology, Poland, and Ph.D. and D.Sc. degrees in Computer Sciences from the Wrocław University of Technology, Poland in 2006, 2007, and 2014, respectively. From 2016-2022 he was a Dean of the Faculty of Electronics and Computer Science of Koszalin University of Technology. Currently, he is the head of the Department of Computer Science and Management.
His research interests include the modeling and design of decision support systems, methods of advanced planning and scheduling, constraints programming techniques, modeling and analyzing of systems of concurrent cyclic processes, operational research techniques, artificial intelligence methods, theory of dynamic discrete event systems, and projects portfolio prototyping under uncertain constraints.
He hassupervised/co-supervised five Ph.D. theses in the domains of computer science, automation, and management. As an author, co-author, or editor, he has published over 60 journal articles, three books, 40 chapters in books, and 50 peer-reviewed conference papers. He has delivered oral presentations of 60 papers submitted to Polish and international conferences. He is a Fellow of two IFAC Technical Committees (TC 5.1 - Manufacturing Plant Control, and TC 5.2 - Management and Control in Manufacturing and Logistics) and the Polish Association for Measurements, Automatics, and Robotics - POLSPAR. The result of his scientific activity is also cooperation with many universities (i.e., Aalborg University, Wrocław University of Science and Technology) and participation in many scientific projects (funded by the European Commission, National Science Center, and Koszalin University of Technology).

Textul de pe ultima copertă

This monograph presents a new declarative approach dedicated to the analysis of behaviors and synthesis of structures of Systems of Cyclic Concurrent Multimodal Processes (SCCMP). These kinds of problems are some of the most difficult cyclic scheduling problems - both from the computational side and the complexity of the models used. SCCMP is understood as a set of processes (in particular, multimodal processes) that execute operations cyclically on a set of jointly used (shared) resources (processors, machines, means of transport, etc.). They model the functioning of numerous systems encountered in practical settings and which are characterized by cyclic (periodic) behavior. Typical examples are the passenger railway system, the manufacturing system, the transportation system, and etc.
Considered problems, i.e., the behavior analysis problem, the structure prototyping problem, and the problem of mutual reachability of various SCCMP behaviors, are strongly NP-hard. This featureimplies that computationally-efficient algorithms need to be sought. They would enable the evaluation of selected aspects of the considered system's functions, such as service costs, transport time, etc., in real-time mode.
In that context, the presented monograph fills the gap in the field of SCCMP modeling. Its aim is to present declarative models of systems of cyclic multimodal processes. Such models allow developing computationally-efficient methods of analysis of the behavior and synthesis of the structure of SCCMP. The particular issues raised in this study concern:
· Modeling of SCCMP with regular/fractal structures, i.e., structures composed of repeating fragments.
· Determining the conditions of mutual reachability of various SCCMP behaviors, in particular CSS.
· Modeling of SCCMP described by fuzzy variables.
The monograph is addressed to researchers, practitioners, and graduate students in operations management, operations research, computer science, and industrial engineering. Declarative models of concurrent cyclic processes will serve as an essential reference for professionals working on cyclic scheduling problems in computer science, manufacturing, communication, and transportation services, as well as in many other areas.

Caracteristici

addresses researchers in operations management, operations research, computer science, and industrial engineering Includes analysis of behaviors and synthesis of structures of Systems of Cyclic Concurrent Multimodal Processes (SCCMP) Provides a declarative model of cyclic systems