Bücher der Reihe SpringerBriefs in Applied Sciences and Technology

This book systematically analyzes the applicability of big data analytics and Industry 4.0 from the perspective of semiconductor manufacturing management. It reports in real examples and presents case studies as supporting evidence. In recent years, technologies of big data analytics and Industry 4.0 have been frequently applied to the management of semiconductor manufacturing. However, related research results are mostly scattered in various journal issues or conference proceedings, and there is an urgent need for a systematic integration of these results. In addition, many related discussions have placed too much emphasis on the theoretical framework of information systems rather than on the needs of semiconductor manufacturing management. This book addresses these issues.

This book provides a hands-on guide towards conducting state-of-the-art engineering research and gaining a patent. It lists pragmatic, step-by-step instructions that cover every stage in engineering research and patent gaining, from choosing a topic to the presentation of research outcomes or patent application. The topics include the introduction and basic concepts of engineering research; research problem and questions; use of libraries, literature search and review; developing a research plan; research data collection methods, analysis and interpretation; project report writing and presentations; and inventions and patents. This book is ideal for engineering undergraduate and postgraduate students and/or first-time or novice researchers and academics intending to launch their research studies and careers.

This book provides the intermittency equation that is derived a priori. Since the intermittency equation is mathematically obtained, the resulting gamma transition model no longer requires any extra parameters and terms to explicitly account for free-stream turbulence and pressure gradient like the previous transition models.Instead, the present gamma transition model can naturally predict natural transition and effects of free-stream turbulence and pressure gradient on the transition process. Furthermore, the present gamma transition model requires much fewer model constants than the previous transition models.The book is beneficial for CFD researchers in industry and academia who confront modern complex applications involving simultaneously laminar, transitional and turbulent flow regimes, and ideally relevant to graduate students in applied physics, applied mathematics and engineering who are interested in the world of laminar-to-turbulent transition modeling in CFD, or would like to further advance more realistic transition models in the future.

This book systematically summarizes the accuracy, precision, and repeatability levels of field-based tests applied in soccer. It considers such details as the effectiveness of tests for different age categories and sexes. In this book, the readers will be able to check all the field-based tests conceived for fitness assessment in soccer through a large systematic review made to the literature. In addition a brief characterization of each test and presentation of the concurrent validity and repeatability levels for each test will be provided. Finally, the book contains a general discussion of the implications of the tests for different methodological approaches to training. It will be use to sports scientists and practitioners.

This is an open access book. The aim of this book is to provide a thorough grounding in rainfall-induced landslides from three aspects: the coupling effect of hydraulic and mechanic; the analytical, numerical, and physical simulation methods, and the controlling factors underlying the problem of rainfall-induced landslides. The improved numerical methods, nonlinear, and linear iterative methods which can be used to address the related unsaturated infiltration problems are also presented. This book is an essential reading for researchers and graduate students who are interested in rainfall infiltration, landslides, slope stability, and geohazards in fields of civil engineering, engineering geology, and earth science. The book is written to guide professional engineers and practitioners in slope engineering and geohazard management. This book can enhance their understanding of rainfall-induced landslides, help them analyze a specific problem, prevent landslides, and design engineering slopes according to the local soil and climate conditions.

This book introduces PYNQ, a Python-based framework from Xilinx® that makes it easier for users to build electronic systems on Xilinx platforms. The book covers the architecture of PYNQ, the design tools and methods, software and hardware design approach, as well as rich experiment cases on communications, multimedia, and deep learning. This book serves as a useful guide for those getting starting with, or working with PYNQ and enables the learners to have a thorough understanding of the hardware/software co-design approaches in the area of the communication, multimedia, and other information system components.This book is organized based on the teaching materials of ¿hardware comprehensive experiments¿ which is an experimental course in BUPT, for both undergraduate and graduate students, and domestic and international students. This course has more than ten years of teaching experience and has taught hundreds of students.

This open access book presents a set of practical tools and collaborative solutions in multi-disciplinary settings to foster the Alpine Space health tourism industry¿s innovation and competitiveness. The proposed solutions emerge as the result of the synergy among health, environment, tourism, digital, policy and strategy professionals. The approach underlines the pivotal role of a sustainable and ecomedical use of Alpine natural resources for health tourism destinations, and highlights the need of integrating aspects of natural resources¿ healing effects, a shared knowledge of Alpine assets through digital solutions, and frames strategic approaches for the long-term development of the sector.The volume exploits the results of the three-years long EU research project HEALPS 2, which involved several stakeholders from the health tourism, healthcare and sustainable tourism industries. This book is relevant for health tourism destinations and facilities (hotels, clinics, wellnessand spa companies), regional and local authorities (policy makers), business support organizations, researchers involved in digital healthcare and geoinformatics.

This book presents the concept of fractional dimensional space applied to the use of electromagnetic fields and waves.  It provides demonstrates the advantages in studying  the behavior of electromagnetic fields and waves in fractal media. The book presents novel fractional space generalization of the differential electromagnetic equations is provided as well as a new form of vector differential operators is formulated in fractional space. Using these modified vector differential operators, the classical Maxwell's electromagnetic equations are worked out. The Laplace's, Poisson's and Helmholtz's equations in fractional space are derived by using modified vector differential operators.

In this work we derive asymptotically stabilizing control laws for electrical power systems using two nonlinear control synthesis techniques. For this transient stabilization problem the actuator considered is a power electronic device, a controllable series capacitor (CSC). The power system is described using two different nonlinear models - the second order swing equation and the third order flux-decay model. To start with, the CSC is modeled by the injection model which is based on the assumption that the CSC dynamics is very fast as compared to the dynamics of the power system and hence can be approximated by an algebraic equation. Here, by neglecting the CSC dynamics, the input vector $g(x)$ in the open loop system takes a complex form - the injection model. Using this model, interconnection and damping assignment passivity-based control (IDA-PBC) methodology is demonstrated on two power systems: a single machine infinite bus (SMIB) system and a two machine system. Further, IDA-PBC is used to derive stabilizing controllers for power systems, where the CSC dynamics are included as a first order system. Next, we consider a different control methodology, immersion and invariance (I\&I), to synthesize an asymptotically stabilizing control law for the SMIB system with a CSC. The CSC is described by a first order system. As a generalization of I\&I, we incorporate the power balance algebraic constraints in the load bus to the SMIB swing equation, and extend the design philosophy to a class of differential algebraic systems. The proposed result is then demonstrated on another example: a two-machine system with two load buses and a CSC. The controller performances are validated through simulations for all cases.

This publication reviews most of the available literature on the fatigue properties of ß annealed Ti-6Al-4V and titanium alloys with similar microstructures. The focus is on ß processed and ß heat-treated alloys because ß annealed Ti-6Al-4V has been selected for highly loaded and fatigue-critical structures, including the main wing-carry-through bulkheads and vertical tail stubs, of advanced high-performance military aircraft.  An important aspect of the review is a concise survey of fatigue life assessment methods and the required types of fatigue data. This survey provides the background to recommendations for further research, especially on the fatigue behaviour of ß annealed Ti-6Al-4V under realistic fatigue load histories, including the essential topic of short/small fatigue crack growth. Such research is required for independent fatigue life assessments that conform to the aircraft manufacturer's design requirements, and also for life reassessments that most probably will have to be made during the service life of the aircraft.

This book examines the background of fourth-generation biofuel production, use of genetically modified microalgae for production of fourth-generation biofuels; cultivation and harvesting of genetically modified microalgae; residue from biofuel extraction; health and environmental concerns of fourth-generation biofuels; regulations on cultivation and processing of the genetically modified algae; carbon dioxide sequestration; water footprint and current status and key challenges. The topic caters to academic researchers and industrial experts, who work in the field of biofuels as source of alternative fuel to achieve environmental and economic sustainability.

The book presents theoretical and experimental studies of ice fracturing process during impact and explosion load. It shows how to obtain ice in natural and artificial conditions. The book summarizes the results of full-scale experiments for 5 years on undermining ice sheets with emulsion explosives. It presents an algorithm that simulates the process of fracturing of thick ice subjected to blast load, showing that the behavior of ice under impact and explosive loads can be described by a model of continuum mechanics. Qualitative and quantitative assessments of the ballistic perfomance of an ice cube after deep penetration low-velocity projectiles are reported in this book. Some pilot problems are formulated for a deeper understanding of the mechanics of ice fracturing during impact and explosion. 

This book applies artificial intelligence to lean production and shows how to practically combine the advantages of these two disciplines. Lean manufacturing originated in Japan and is a well-known tool for improving manufacturers' competitiveness. Prevalent tools for lean manufacturing include Kanban, Pacemaker, Value Stream Map, 5s, Just-in-Time and Pull Manufacturing. Lean Manufacturing and  the Toyota Manufacturing System has been successfully applied to various factories and supply chains around the world. A lean manufacturing system can not only reduce wastes and inventory, but also respond to customer needs more immediately. Artificial intelligence is a subject that has attracted much attention recently. Many researchers and practical developers are working hard to apply artificial intelligence to our daily lives, including in factories. For example, fuzzy rules have been established to optimize machine settings. Bionic algorithms have been proposed to solve production sequencing and scheduling problems. Machine learning technologies are applied to detect possible product quality problems and diagnose the health of a machine. This book will be of interest to production engineers, managers, as well as students and researchers in manufacturing engineering.

This book introduces basic concepts related to computer-aided simulation of welding and prepares the reader to perform the simulation of welding by commercial simulation software. It focuses on conceptualizing the physics of welding, heat transfer, stress development and microstructure development in welding. This book helps the reader to implement these concepts in any commercial software to simulate the welding process according to their own requirement.

This book reports four structural equation models (SEM) for quantifying the relationship between the most important lean manufacturing (LM) practices applied to the manufacturing industry. The SEMs are evaluated using 220 responses to a survey applied to manufacturing companies applying LM principles in the production system and are related to: distribution and maintenance, production process and quality system, supply chain and quality, and an integrator model. The findings identify the most important activities for every LM practices and how they are related. These relationship' values will help administrators, managers, engineers to focus their efforts on these most important activities, facilitating the decision-making process.

This book aims to critically assess the Cartesian stance that affirms robotic and AI technologies as candidates to supplant human capacities in non-routine intellectual nature activities based on social power relations. In the argumentation listed, the contradictions that this hypothesis approaches will be exposed, mainly in a historical and social analysis based on a complex and uncertain sociological perspective, added by a discussion within the scope of the Chaos theory. Finally, an outline of the current era, fostered by extremisms and extremists, will be described in terms of its contradictions in an attempt at sociological analysis. For this, some crucial and unsettling questions will be asked, and an effort to come up with answers will be made for some.

Computing and science reveal a synergic relationship. On the one hand, it is widely evident that computing plays an important role in the scientific endeavor. On the other hand, the role of scientific method in computing is getting increasingly important, especially in providing ways to experimentally evaluate the properties of complex computing systems. This book critically presents these issues from a unitary conceptual and methodological perspective by addressing specific case studies at the intersection between computing and science. The book originates from, and collects the experience of, a course for PhD students in Information Engineering held at the Politecnico di Milano. Following the structure of the course, the book features contributions from some researchers who are working at the intersection between computing and science.

Professionals as well as researchers can benefit from this comprehensive introduction into the topic of setup planning, which reflects the latest state of research and gives hands-on examples. Starting with a brief but thorough introduction, this book explains the significance of setup planning in process planning and includes a reflection on its external constraints. Step-by-step the different phases of setup planning are outlined and traditional as well as modern approaches, such as fuzzy logic based setup planning, on the solution of setup planning problems are presented. Three detailed examples of applications provide a clear and accessible insight into the up-to-date techniques and various approaches in setup planning.