Declarative Models of Concurrent Cyclic Processes
暫譯: 併發循環過程的宣告式模型

Bocewicz, Grzegorz

Declarative Models of Concurrent Cyclic Processes
  • 出版商: Springer
  • 出版日期: 2024-10-31
  • 售價: $5,760
  • 貴賓價: 9.5 折 $5,472
  • 語言: 英文
  • 頁數: 178
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031405544
  • ISBN-13: 9783031405549

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

這本專著提出了一種新的聲明式方法，專門用於分析循環並發多模態過程系統（SCCMP）的行為和結構合成。這類問題是一些最困難的循環排程問題，無論是在計算方面還是所使用模型的複雜性上。

SCCMP被理解為一組過程（特別是多模態過程），這些過程在一組共同使用的（共享的）資源（處理器、機器、運輸工具等）上循環執行操作。它們模擬了許多在實際環境中遇到的系統的運作，這些系統的特徵是循環（週期性）行為。典型的例子包括客運鐵路系統、製造系統、運輸系統等。

所考慮的問題，即行為分析問題、結構原型問題以及各種SCCMP行為的相互可達性問題，都是強NP困難的。這一特徵意味著需要尋找計算效率高的算法。這些算法將能夠在實時模式下評估所考慮系統功能的選定方面，例如服務成本、運輸時間等。

在這個背景下，所呈現的專著填補了SCCMP建模領域的空白。其目的是展示循環多模態過程系統的聲明式模型。這些模型允許開發計算效率高的行為分析和SCCMP結構合成方法。本研究中提出的具體問題包括：

- 使用規則/分形結構建模SCCMP，即由重複片段組成的結構。
- 確定各種SCCMP行為的相互可達性條件，特別是CSS。
- 使用模糊變數描述的SCCMP建模。

這本專著針對運營管理、運營研究、計算機科學和工業工程的研究人員、實務工作者和研究生。並發循環過程的聲明式模型將成為在計算機科學、製造、通信和運輸服務等領域中，從事循環排程問題的專業人士的重要參考。

作者簡介

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 Wroclaw 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, Wroclaw University of Science and Technology) and participation in many scientific projects (funded by the European Commission, National Science Center, and Koszalin University of Technology).

作者簡介(中文翻譯)

格熱戈茲·博切維茨（Grzegorz Bocewicz）是波蘭科沙林科技大學電子與計算機科學系的副教授。他在波蘭科沙林科技大學獲得了電信碩士學位，並於2006年、2007年和2014年分別在波蘭弗羅茨瓦夫科技大學獲得計算機科學的博士及博士後學位。從2016年到2022年，他擔任科沙林科技大學電子與計算機科學系的院長。目前，他是計算機科學與管理系的系主任。

他的研究興趣包括決策支持系統的建模與設計、高級規劃與排程方法、約束編程技術、並發循環過程系統的建模與分析、運營研究技術、人工智慧方法、動態離散事件系統理論，以及在不確定約束下的項目組合原型設計。

他已指導或共同指導五篇計算機科學、自動化和管理領域的博士論文。作為作者、合著者或編輯，他已發表超過60篇期刊文章、三本書籍、40章書籍內容以及50篇經過同行評審的會議論文。他在波蘭及國際會議上發表了60篇論文的口頭報告。他是兩個國際自動控制聯盟（IFAC）技術委員會（TC 5.1 - 製造廠控制，和 TC 5.2 - 製造與物流中的管理與控制）以及波蘭測量、自動化與機器人協會（POLSPAR）的會員。他的科學活動成果還包括與多所大學（如奧爾堡大學、弗羅茨瓦夫科技大學）的合作以及參與多個科學項目（由歐洲委員會、國家科學中心和科沙林科技大學資助）。

類似商品