| 书目名称 | Declarative Models of Concurrent Cyclic Processes | | 编辑 | Grzegorz Bocewicz | | 视频video | | | 概述 | addresses researchers in operations management, operations research, computer science, and industrial engineering.Includes analysis of behaviors and synthesis of structures of Systems of Cyclic Concur | | 丛书名称 | Studies in Systems, Decision and Control | | 图书封面 |  | | 描述 | .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., i | | 出版日期 | Book 2023 | | 关键词 | Declarative Modeling; Constraint Programming; Ordered Fuzzy Numbers; Discrete Event Systems; Mesh-like N | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-40552-5 | | isbn_softcover | 978-3-031-40554-9 | | isbn_ebook | 978-3-031-40552-5Series ISSN 2198-4182 Series E-ISSN 2198-4190 | | issn_series | 2198-4182 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|
发表于 2025-3-21 17:24:04
