|
books
| book details |
Declarative Models of Concurrent Cyclic Processes
By (author) Grzegorz Bocewicz
|
| on special |
normal price: R 4,910.95
Price: R 4,664.95
|
| book description |
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. Thisfeature implies 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 the development of 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. · 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.
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 31 Oct 2023
Language |
Format | Hardback
Pages | 178
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0314-0551-8
Readership Age |
BISAC | computers / artificial intelligence
| other options |
Normally shipped |
Readership Age |
Normal Price | R 6,750.95
Price | R 6,412.95
| on special |
|
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
| specials |
|
|
Carl Morrow
Paperback / softback
160 pages
was: R 320.95
now: R 288.95
|
In this uniquely Southern African book, Carl Morrow and Keith Kirsten guide readers step by step into the magical realms of bonsai as a hobby, horticultural practice and art form.
|
Our moment has seen the resurgence of an anarchist sensibility, from the uprisings in Seattle in 1999 to the Occupy movement of 2011.
|
|
André Alexis
Paperback / softback
176 pages
was: R 280.95
now: R 252.95
|
A pack of dogs are granted the power of human thought - but what will it do to them? A surprising and insightful look at the beauty and perils of consciousness.
|
|
|
|