Digital Twins for Vessel Life Cycle Service
Author : Houxiang Zhang
Publisher : Springer Nature
Page : 208 pages
File Size : 22,38 MB
Release :
Category :
ISBN : 9819747686
Author : Houxiang Zhang
Publisher : Springer Nature
Page : 208 pages
File Size : 22,38 MB
Release :
Category :
ISBN : 9819747686
Author : Paolo Masci
Publisher : Springer Nature
Page : 424 pages
File Size : 41,73 MB
Release : 2023-02-10
Category : Computers
ISBN : 3031262360
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
Author : Zainah Md. Zain
Publisher : Springer Nature
Page : 257 pages
File Size : 13,16 MB
Release :
Category :
ISBN : 9819720273
Author : Antonio Cerone
Publisher : Springer Nature
Page : 355 pages
File Size : 23,72 MB
Release : 2022-09-24
Category : Computers
ISBN : 3031124294
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development. Due to the Corona pandemic this event was held virtually.
Author : Tiziana Margaria
Publisher : Springer Nature
Page : 431 pages
File Size : 37,19 MB
Release : 2022-10-19
Category : Computers
ISBN : 3031197623
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
Author : Christophe Danjou
Publisher : Springer Nature
Page : 340 pages
File Size : 48,24 MB
Release :
Category :
ISBN : 3031625781
Author : Houxiang Zhang
Publisher : Springer
Page : 0 pages
File Size : 45,25 MB
Release : 2024-11-11
Category : Computers
ISBN : 9789819747672
This book introduces the development of the digital twin of the marine infrastructure in Norway, which will be a significant scientific and operational achievement for the industry, making efficient and safe offshore operations possible. It enables data exchange safely and easily between different sub-systems, modules, and various applications. A complete digital twin ship will be presented in details. Thus, the twin ship can provide an integrated view of the ship’s various physical and behavioral aspects in different stages, and allow simultaneous optimization of functional performance requirements. In addition, it enables advanced control and optimization, e.g., creating more reliable prediction for flexible objectives (time, output, emissions, fuel consumption), and executing day-ahead and long-term planning for operations. More importantly, several related applications and case studies are presented in the end to confirm the effectiveness of the digital twin system. The research work is not only interesting for academia, also for industry.
Author : Franz-Josef Kahlen
Publisher : Springer
Page : 334 pages
File Size : 50,31 MB
Release : 2016-08-16
Category : Business & Economics
ISBN : 3319387561
This book presents an internationally comprehensive perspective into the field of complex systems. It explores the challenges of and approaches to complexity from a broad range of disciplines, including big data, health care, medicine, mathematics, mechanical and systems engineering, air traffic control and finance. The book’s interdisciplinary character allows readers to identify transferable and mutually exclusive lessons learned among these disciplines and beyond. As such, it is well suited to the transfer of applications and methodologies between ostensibly incompatible disciplines. This book provides fresh perspectives on comparable issues of complexity from the top minds on systems thinking.
Author : Theodor Borangiu
Publisher : Springer
Page : 444 pages
File Size : 42,13 MB
Release : 2019-08-02
Category : Technology & Engineering
ISBN : 3030274772
This proceedings book presents selected peer-reviewed papers from the 9th International Workshop on ‘Service Oriented, Holonic and Multi-agent Manufacturing Systems for the Industry of the Future’ organized by Universitat Politècnica de València, Spain, and held on October 3–4, 2019. The SOHOMA 2019 Workshop aimed to foster innovation in the digital transformation of manufacturing and logistics by promoting new concepts and methods and solutions through service orientation in holonic and agent-based control with distributed intelligence. The book provides insights into the theme of the SOHOMA’19 Workshop – ‘Smart anything everywhere – the vertical and horizontal manufacturing integration, ’ addressing ‘Industry of the Future’ (IoF), a term used to describe the 4th industrial revolution initiated by a new generation of adaptive, fully connected, analytical and highly efficient robotized manufacturing systems. This global IoF model describes a new stage of manufacturing, that is fully automatized and uses advanced information, communication and control technologies such as industrial IoT, cyber-physical production systems, cloud manufacturing, resource virtualization, product intelligence, and digital twin, edge and fog computing. It presents the IoF interconnection of distributed manufacturing entities using a ‘system-of-systems’ approach, discussing new types of highly interconnected and self-organizing production resources in the entire value chain; and new types of intelligent decision-making support based on from real-time production data collected from resources, products and machine learning processing. This book is intended for researchers and engineers working in the manufacturing value chain, and specialists developing computer-based control and robotics solutions for the ‘Industry of the Future’. It is also a valuable resource for master’s and Ph.D. students in engineering sciences programs.
Author :
Publisher : Academic Press
Page : 384 pages
File Size : 36,89 MB
Release : 2020-01-28
Category : Computers
ISBN : 0128187565
The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases, Volume 117, the latest volume in the Advances in Computers series, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters vividly illustrate how the emerging discipline of digital twin is strategically contributing to various digital transformation initiatives. Specific chapters cover Demystifying the Digital Twin Paradigm, Digital Twin Technology for "Smarter Manufacturing", The Fog Computing/ Edge Computing to leverage Digital Twin, The industry use cases for the Digital Twin idea, Enabling Digital Twin at the Edge, The Industrial Internet of Things (IIOT), and much more.