Design Tools and Methods in Industrial Engineering II, Rizzi
Автор: Jose M. Framinan; Rainer Leisten; Rub?n Ruiz Garc? Название: Manufacturing Scheduling Systems ISBN: 1447162714 ISBN-13(EAN): 9781447162711 Издательство: Springer Рейтинг: Цена: 22203.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines the different aspects required to design and implement systems to efficiently and effectively support manufacturing scheduling decisions. Includes examples and case studies from real implementations of scheduling systems.
Автор: Michael Dierkes; Charles Pecheur Название: Formal Methods for Industrial Critical Systems ISBN: 364241009X ISBN-13(EAN): 9783642410093 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.- HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis.- An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code.- Boolean Quantifier Elimination for Automotive Configuration - A Case Study.- Study on the Barriers to the Industrial Adoption of Formal Methods.- On the Effectiveness of Assertion-Based Verification in an Industrial Context.- Complex Digital System Design: A Methodology and Its Application to Medical Implants.- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.- Predicate Abstraction for Programmable Logic Controllers.- High-Level Guidance for Managers Deploying Formal Methods in Their Organisation.- Auditing User-Provided Axioms in Software Verification Conditions.- Formal Reliability Analysis of Protective Relays in Power Distribution Systems.- Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.
Автор: Christopher M. Schlick Название: Industrial Engineering and Ergonomics ISBN: 3642425534 ISBN-13(EAN): 9783642425530 Издательство: Springer Рейтинг: Цена: 39182.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 60th birthday of Prof. Luczak is the reason for this book. He will be honoured for his research work during the "GfA-confernece" in March 2009. This book is the correspondig "Festschrift" for him.
Автор: Caterina Rizzi; Angelo Oreste Andrisano; Francesco Название: Design Tools and Methods in Industrial Engineering ISBN: 3030311538 ISBN-13(EAN): 9783030311537 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book reports on cutting-edge design methods and tools in industrial engineering, advanced findings in mechanics and material science, and relevant technological applications. Topics span from geometric modelling tools to applications of virtual/augmented reality, from interactive design to ergonomics, human factors research and reverse engineering. Further topics include integrated design and optimization methods, as well as experimental validation techniques for product, processes and systems development, such as additive manufacturing technologies. This book is based on the International Conference on Design Tools and Methods in Industrial Engineering, ADM 2019, held on September 9–10, 2019, in Modena, Italy, and organized by the Italian Association of Design Methods and Tools for Industrial Engineering, and the Department of Engineering “Enzo Ferrari” of the University of Modena and Reggio Emilia, Italy. It provides academics and professionals with a timely overview and extensive information on trends and technologies in industrial design and manufacturing.
Автор: Christopher M. Schlick Название: Industrial Engineering and Ergonomics ISBN: 3642012922 ISBN-13(EAN): 9783642012921 Издательство: Springer Рейтинг: Цена: 41925.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 60th birthday of Prof. Luczak is the reason for this book. He will be honoured for his research work during the "GfA-confernece" in March 2009. This book is the correspondig "Festschrift" for him.
Описание: This book emphasizes the need to ask critical questions before implementing tools and their integration into the many applications in which industrial engineers work. This use of critical thinking will minimize the likelihood of mistakes that can result in the wasting of finite resources and the possible loss of life.
Автор: Alexander Romanovsky; Martyn Thomas Название: Industrial Deployment of System Engineering Methods ISBN: 3642331696 ISBN-13(EAN): 9783642331695 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space, railway and business systems, and microprocessor design.
Автор: Pilania, Ghanshyam Balachandran, Prasanna V. Gubernatis, James E. Lookman, Turab Название: Data-based methods for materials design and discovery ISBN: 168173737X ISBN-13(EAN): 9781681737379 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 11365.00 р. Наличие на складе: Нет в наличии.
Описание: Machine learning methods are changing the way we design and discover new materials. This book provides an overview of approaches successfully used in addressing materials problems (alloys, ferroelectrics, dielectrics) with a focus on probabilistic methods, such as Gaussian processes, to accurately estimate density functions. The authors, who have extensive experience in this interdisciplinary field, discuss generalizations where more than one competing material property is involved or data with differing degrees of precision/costs or fidelity/expense needs to be considered.
Автор: Adolfo Crespo M?rquez; Vicente Gonz?lez-Prida D?a Название: Advanced Maintenance Modelling for Asset Management ISBN: 3319580442 ISBN-13(EAN): 9783319580449 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book promotes and describes the application of objective and effective decision making in asset management based on mathematical models and practical techniques that can be easily implemented in organizations.
Автор: Liu Tao Название: Industrial Process Identification and Control Design ISBN: 1447160169 ISBN-13(EAN): 9781447160168 Издательство: Springer Рейтинг: Цена: 22201.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is devoted to advanced identification and control methods for the operation of continuous-time processes, both with and without time delay, in industrial and chemical engineering practice. Methods are well illustrated by practical examples.
Описание: Introduction.- Concurrent monitoring of steady state and process dynamics with SFA.- Online monitoring and diagnosis of control performance with SFA and contribution plots.- Recursive SFA algorithm and adaptive monitoring system design.- Probabilistic SFR model and its applications in dynamic quality prediction.- Improved DPLS model with temporal smoothness and its applications in dynamic quality prediction.- Nonlinear and dynamic soft sensing model based on Bayesian framework.- Summary and open problems.
Название: Ergonomics in Design ISBN: 0367356902 ISBN-13(EAN): 9780367356903 Издательство: Taylor&Francis Рейтинг: Цена: 7961.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book will be useful to those interested in providing a better understanding of how ergonomics is applied to product design. It will have 30 chapters touching on several different areas including conceptual aspects of ergonomics in design, the knowledge of human characteristics applied to design, and methodological aspects of design.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
