|
Showing 1 - 13 of
13 matches in All Departments
Illustrated with real-life manufacturing examples, Formal Methods
in Manufacturing provides state-of-the-art solutions to common
problems in manufacturing systems. Assuming some knowledge of
discrete event systems theory, the book first delivers a detailed
introduction to the most important formalisms used for the
modeling, analysis, and control of manufacturing systems (including
Petri nets, automata, and max-plus algebra), explaining the
advantages of each formal method. It then employs the different
formalisms to solve specific problems taken from today's industrial
world, such as modeling and simulation, supervisory control
(including deadlock prevention) in a distributed and/or
decentralized environment, performance evaluation (including
scheduling and optimization), fault diagnosis and diagnosability
analysis, and reconfiguration. Containing chapters written by
leading experts in their respective fields, Formal Methods in
Manufacturing helps researchers and application engineers handle
fundamental principles and deal with typical quality goals in the
design and operation of manufacturing systems.
Illustrated with real-life manufacturing examples, Formal Methods
in Manufacturing provides state-of-the-art solutions to common
problems in manufacturing systems. Assuming some knowledge of
discrete event systems theory, the book first delivers a detailed
introduction to the most important formalisms used for the
modeling, analysis, and control of manufacturing systems (including
Petri nets, automata, and max-plus algebra), explaining the
advantages of each formal method. It then employs the different
formalisms to solve specific problems taken from today's industrial
world, such as modeling and simulation, supervisory control
(including deadlock prevention) in a distributed and/or
decentralized environment, performance evaluation (including
scheduling and optimization), fault diagnosis and diagnosability
analysis, and reconfiguration. Containing chapters written by
leading experts in their respective fields, Formal Methods in
Manufacturing helps researchers and application engineers handle
fundamental principles and deal with typical quality goals in the
design and operation of manufacturing systems.
EconomĂa del transporte ofrece una presentaciĂ³n detallada de los
temas clave en economĂa del transporte, con un enfoque integrado
de las cuestiones relevantes que facilita el estudio de un sector
tan complejo. Aunque el libro estĂ¡ orientado principalmente a
estudiantes universitarios en licenciaturas de economĂa e
ingenierĂas, estĂ¡ escrito pensando tambiĂ©n en lectores con una
formaciĂ³n bĂ¡sica en economĂa interesados en temas de transporte.
Por ello, debe resultar de gran interés para profesionales que
trabajen en el Ă¡mbito del transporte.
Leverage the power of Artificial Intelligence (AI) to drive the
growth and success of your organization. This book thoroughly
explores the reasons why it is so hard to implement AI, and
highlights the need to reconcile the motivations and goals of two
very different groups of people, business-minded and
technical-minded. Divided into four main parts (First
Principles, The Why, The What, The How), you'll
review case studies and examples from companies that have
successfully implemented AI. Part 1 provides a comprehensive
overview of the First Principles approach and its basic
conventions. Part 2 provides an in-depth look at the current state
of AI and why it is increasingly important to businesses of all
sizes. Part 3 delves into the key concepts and technologies of AI.
Part 4 shares practical guidance and actionable steps for
businesses looking to implement AI. Grow Your Business with
AI is a must-read for anyone looking to understand and harness the
power of AI for business growth and to stay ahead of the
curve. What You'll Learn Review the key concepts and
technologies of AI, including machine learning, natural language
processing, and computer vision Apply the benefits of AI, including
increased efficiency, improved decision-making, and new revenue
streams in different industries Integrate AI into existing systems
and processes. Who This Book Is For Entrepreneurs, business
leaders, and professionals looking to leverage the power of AI to
drive growth and success for their organizations.
This book is a guide to the economic evaluation of transport
policies and investment projects through cost-benefit analysis
(CBA). It covers the CBA of transportation projects and policies,
and introduces the fundamental concepts of CBA before considering
their application in real-world settings. A distinct focus of the
book is on the practical applications of CBA. It includes
real-world examples of CBA, such as high-speed rail investment and
the subsidization of air transport, which illustrate the importance
of using a rigorous analytical framework to evaluate transport
projects and policies. The primary objective of this book is to
present a basic model for the evaluation of transport projects and
policies, with explicit assumptions and practical evaluation
rules derived from it. The rules and measurement criteria derived
from this model are applied to the examples mentioned
above.Overall, this book is an excellent resource for students,
practitioners, and policymakers involved in transport economics and
evaluation, as it provides a comprehensive understanding of the
principles and applications of CBA in the transport sector.
This book constitutes the proceedings of the 12th International
Conference on Quantitative Evaluation of Systems, QEST 2015, held
in Madrid, Spain, in September 2015. The 19 papers presented were
carefully reviewed and selected from 42 submissions. They are
organized in topical sections named: modelling and applications;
tools; petri nets, process algebra and fault trees; applications;
and queuing systems and hybrid systems. The book also contains one
full-paper invited talk.
A diferencia de la historiografia mayoritaria, este libro sostiene
que la implementacion de la economia social de mercado no fue
consecuencia del triunfo de liberales por sobre desarrollistas
durante el Gobierno Militar, sino que obedecio a un proceso que se
inicio el mismo 11 de septiembre de 1973, y que tuvo sus origenes
en el Convenio de la Universidad Catolica de Chile con la
Universidad de Chicago. Para argumentar esta hipotesis se analizan
los principales hitos historicos que hicieron posible la revolucion
economica, asi como el rol decisivo que tuvo la Universidad
Catolica, el periodico El Mercurio y los denominados Chicago Boys.
El libro revisa tambien los Decretos Leyes que hicieron posible el
cambio de modelo, y la evolucion de Jaime Guzman, motivada por la
necesidad de adaptar su filosofia al neoliberalismo que defendia
Pinochet."
Neural networks and fuzzy systems are model free control design
approaches that represent an advantage over classical control when
dealing with complicated nonlinear actuator dynamics. This book
brings neural networks and fuzzy logic together with dynamical
control systems. Each chapter presents powerful control approaches
for the design of intelligent controllers to compensate for
actuator nonlinearities such as time delay, friction, deadzone, and
backlash that can be found in all industrial motion systems, plus a
thorough development, rigorous stability proofs, and simulation
examples for each design. In the final chapter, the authors develop
a framework to implement intelligent control schemes on actual
systems. Rigorous stability proofs are further verified by computer
simulations, and appendices contain the computer code needed to
build intelligent controllers for real-time applications. Neural
networks capture the parallel processing and learning capabilities
of biological nervous systems, and fuzzy logic captures the
decision-making capabilities of human linguistics and cognitive
systems.
|
|