SYROM conferences have been organized since 1973 by the Romanian branch of the International Federation for the Promotion of Mechanisms and Machine Science IFToMM, Year by year the event grew in quality. Now in its 10th edition, international visibility and recognition among the researchers active in the mechanisms science field has been achieved. SYROM 2009 brought together researchers and academic staff from the field of mechanisms and machine science from all over the world and served as a forum for presenting the achievements and most recent results in research and education. Topics treated include conceptual design, kinematics and dynamics, modeling and simulation, synthesis and optimization, command and control, current trends in education in this field, applications in high-tech products. The papers presented at this conference were subjected to a peer-review process to ensure the quality of the paper, the engineering significance, the soundness of results and the originality of the paper. The accepted papers fulfill these criteria and make the proceedings unique among the publications of this type.

Rapid Modelling and Quick Response presents new research developments in the fields of rapid modelling and quick response linked with performance improvements (based on lead time reduction, etc., as well as financial performance measures). The papers and teaching cases in this book were presented at the second Rapid Modelling Conference: "Quick Response - Intersection of Theory and Practice". The main focus of this collection is the transfer of knowledge from theory to practice, providing the theoretical foundations for successful performance improvement. This conference volume challenges the traditional notions of rapid modelling, and offers valuable contributions to the scientific communities of operations management, production management, supply chain management, industrial engineering and operations research. Rapid Modelling and Quick Response will give the interested reader (researcher, as well as practitioner) a good overview of new developments in this field.

This book constitutes the second part of the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2014, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, held in Shanghai, China, in September 2014. The 159 revised full papers presented in the three volumes of CCIS 461-463 were carefully reviewed and selected from 572 submissions. The papers of this volume are organized in topical sections on advanced neural network theory and algorithms; advanced evolutionary computing theory and algorithms, such as particle swarm optimization, differential evolution, ant colonies, artificial life, artificial immune systems and genetic algorithm; fuzzy, neural, and fuzzy-neuro hybrids; intelligent modeling, monitoring, and control of complex nonlinear systems; intelligent modeling and simulation of climate change; communication and control for distributed networked systems.

This book deals with the analysis, the design and the implementation of the mechatronic systems. Classical and modern tools are developed for the analysis and the design for such systems. Robust control, H-Infinity and guaranteed cost control theory are also used for analysis and design of mechatronic systems. Different controller such as state feedback, static output feedback and dynamic output feedback controllers are used to stabilize mechatronic systems. Heuristic algorithms are provided to solve the design of the classical controller such as PID, phase lead, phase lag and phase lead-lag controllers while linear matrix inequalities (LMI) algorithms are provided for finding solutions to the state feedback, static output feedback and dynamic output feedback controllers. The theory presented in the different chapters of the volume is applied to numerical examples to show the usefulness of the theoretical results. Some case studies are also provided to show how the developed concepts apply for real system. Emphasis is also put on the implementation in real-time for some real systems that we have developed in our mechatronic laboratory and all the detail is provided to give an idea to the reader how to implement its own mechatronic system. Mechatronics Systems: Analysis, Design and Implementation is an excellent textbook for undergraduate and graduate students in mechatronic system and control theory and as a reference for academic researchers in control or mathematics with interest in control theory. The reader should have completed first-year graduate courses in control theory, linear algebra, and linear systems. It will also be of great value to engineers practising in fields where the systems can be modeled by linear time invariant systems.

In the past decade, feature-based design and manufacturing has gained some momentum in various engineering domains to represent and reuse semantic patterns with effective applicability. However, the actual scope of feature application is still very limited. Semantic Modeling and Interoperability in Product and Process Engineering provides a systematic solution for the challenging engineering informatics field aiming at the enhancement of sustainable knowledge representation, implementation and reuse in an open and yet practically manageable scale. This semantic modeling technology supports uniform, multi-facet and multi-level collaborative system engineering with heterogeneous computer-aided tools, such as CADCAM, CAE, and ERP. This presented unified feature model can be applied to product and process representation, development, implementation and management. Practical case studies and test samples are provided to illustrate applications which can be implemented by the readers in real-world scenarios. By expanding on well-known feature-based design and manufacturing approach, Semantic Modeling and Interoperability in Product and Process Engineering provides a valuable reference for researchers, practitioners and students from both academia and engineering field.

This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting the impact the workflow modeling might have on the work of natural scientists, this book serves three major purposes: 1. It acts as a primer for practitioners who are interested to learn how to think in terms of services and workflows when facing domain-specific scientific processes. 2. It provides interesting material for readers already familiar with this kind of tools, because it introduces systematically both the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field becomes increasingly relevant for lectures in both computer science and experimental sciences, it also provides helpful material for teachers that plan similar courses.

The objective of this Workshop is to confront models, methods and tools developed within the projects with the ongoing research worldwide and to provide an environment for fruitful exchange of ideas. The main topics are: 1. Advanced human models in transportation. 2. Human Errors and Risk Assessment in design processes of assistance systems. 3. Methods and tools to prevent erroneous behaviour to mitigate its consequences. The Workshop will consist of 10 keynote lectures as well as approximately 28 peer reviewed papers.

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.

This book constitutes the first part of the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2014, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, held in Shanghai, China, in September 2014. The 159 revised full papers presented in the three volumes of CCIS 461-463 were carefully reviewed and selected from 572 submissions. The papers of this volume are organized in topical sections on biomedical signal processing, imaging, and visualization; computational methods and intelligence in modeling genetic and chemical networks and regulation; computational methods and intelligence in organism modeling; computational methods and intelligence in modeling and design of synthetic biological systems; computational methods and intelligence in biomechanical systems, tissue engineering and clinical bioengineering; intelligent medical apparatus and clinical applications; modeling and simulation of societies and collective behaviour; innovative education in systems modeling and simulation; data analysis and data mining of biosignals; feature selection; robust optimization and data analysis.

ThisvolumeispublishedastheproceedingsoftheRussian-GermanAdvanced Research workshop on Computational Science and High Performance C- puting in Novosibirsk Academgorodok in September 2003. The contributions of these proceedings were provided and edited by the authors, chosen after a careful selection and reviewing. The workshop was organized by the Institute of Computational Techno- gies SB RAS (Novosibirsk, Russia) and the High Performance Computing Center Stuttgart (Stuttgart, Germany). The objective was the discussion of the latest results in computational science and to develop a close coope- tion between Russian and German specialists in the above-mentioned ?eld. The main directions of the workshop are associated with the problems of computational hydrodynamics, application of mathematical methods to the development of new generation of materials, environment protection pr- lems, development of algorithms, software and hardware support for hi- performance computation, and designing modern facilities for visualization of computational modelling results. The importance of the workshop topics was con?rmed by the partici- tion of representatives of major research organizations engaged in the so- tion of the most complex problems of mathematical modelling, development of new algorithms, programs and key elements of new information techno- gies. Among the Russian participants were researchers of the Institutes of the Siberian Branch of the Russian Academy of Sciences: Institute of Com- tational Technologies, Institute of Computational Mathematics and Mat- matical Geophysics, Institute of Computational Modelling, Russian Federal Nuclear Center, All-Russian Research Institute of Experimental Physics, - merovo State University.

This book constitutes the refereed proceedings of the 5th International Conference on Computational Logistics, ICCL 2014, held in Valparaiso, Chile, in September 2014. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections entitled: optimization of transport problems; container terminal applications; simulation and environmental sustainability applications.

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections: UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker.

Atmospheric ice takes a wide range of fascinating forms, all beautiful in their own ways but many posing severe risk to the security of overhead networks for electric power, communications and other systems. This comprehensive book documents the fundamentals of atmospheric icing and surveys the state of the art in eight chapters, each written by a team of experienced and internationally renowned experts. The treatment is detailed and richly illustrated. The presentation follows a logical sequence, starting with the icing climate and meteorological conditions, proceeding through development of observations and models of accretion and release of ice and heavy snow, then considering static and dynamic mechanical loads, the effects of ice and snow on electrical insulation, de-icing, ice prevention and mitigation methods. The statistical analysis of icing data and the mathematical and numerical modelling support appropriate mechanical and electrical design processes for icing conditions on overhead lines. Technical specialists, researchers and students in engineering and environmental science will all find value throughout the text.

This is the first book to revisit geotechnical site characterization from a probabilistic point of view and provide rational tools to probabilistically characterize geotechnical properties and underground stratigraphy using limited information obtained from a specific site. This book not only provides new probabilistic approaches for geotechnical site characterization and slope stability analysis, but also tackles the difficulties in practical implementation of these approaches. In addition, this book also develops efficient Monte Carlo simulation approaches for slope stability analysis and implements these approaches in a commonly available spreadsheet environment. These approaches and the software package are readily available to geotechnical practitioners and alleviate them from reliability computational algorithms. The readers will find useful information for a non-specialist to determine project-specific statistics of geotechnical properties and to perform probabilistic analysis of slope stability.

Whereas Volume 1 introduced the NetLogo platform as a means of prototyping simple models, this second volume focuses on the advanced use of NetLogo to connect both data and theories, making it ideal for the majority of scientific communities. The authors focus on agent-based modeling of spatialized phenomena with a methodological and practical orientation, demonstrating how advanced agent-based spatial simulation methods and technics can be implemented. This book provides theoretical and conceptual backgrounds, as well as algorithmic and technical insights, including code and applets, so that readers can test and re-use most of its content.

Platform Based Design at the Electronic System Level presents a multi-faceted view of the challenges facing the electronic industry in the development and integration of complex heterogeneous systems, including both hardware and software components. It analyses and proposes solutions related to the provision of integration platforms by System on Chip and Integrated Platform providers in light of the needs and requirements expressed by the system companies: they are the users of such platforms, which they apply to develop their next-generation products. This is the first book to examine ESL from perspectives of system developer, platform provider and Electronic Design Automation.

With the increasing complexity and dynamism in today's product design and manufacturing, more optimal, robust and practical approaches and systems are needed to support product design and manufacturing activities. Multi-objective Evolutionary Optimisation for Product Design and Manufacturing presents a focused collection of quality chapters on state-of-the-art research efforts in multi-objective evolutionary optimisation, as well as their practical applications to integrated product design and manufacturing. Multi-objective Evolutionary Optimisation for Product Design and Manufacturing consists of two major sections. The first presents a broad-based review of the key areas of research in multi-objective evolutionary optimisation. The second gives in-depth treatments of selected methodologies and systems in intelligent design and integrated manufacturing. Recent developments and innovations in multi-objective evolutionary optimisation make Multi-objective Evolutionary Optimisation for Product Design and Manufacturing a useful text for a broad readership, from academic researchers to practicing engineers.

Discrete event simulation and agent-based modeling are increasingly recognized as critical for diagnosing and solving process issues in complex systems. Introduction to Discrete Event Simulation and Agent-based Modeling covers the techniques needed for success in all phases of simulation projects. These include: * Definition - The reader will learn how to plan a project and communicate using a charter. * Input analysis - The reader will discover how to determine defensible sample sizes for all needed data collections. They will also learn how to fit distributions to that data. * Simulation - The reader will understand how simulation controllers work, the Monte Carlo (MC) theory behind them, modern verification and validation, and ways to speed up simulation using variation reduction techniques and other methods. * Output analysis - The reader will be able to establish simultaneous intervals on key responses and apply selection and ranking, design of experiments (DOE), and black box optimization to develop defensible improvement recommendations. * Decision support - Methods to inspire creative alternatives are presented, including lean production. Also, over one hundred solved problems are provided and two full case studies, including one on voting machines that received international attention. Introduction to Discrete Event Simulation and Agent-based Modeling demonstrates how simulation can facilitate improvements on the job and in local communities. It allows readers to competently apply technology considered key in many industries and branches of government. It is suitable for undergraduate and graduate students, as well as researchers and other professionals.

Soft computing, as an engineering science, and statistics, as a classical branch of mathematics, emphasize different aspects of data analysis. Soft computing focuses on obtaining working solutions quickly, accepting approximations and unconventional approaches. Its strength lies in its flexibility to create models that suit the needs arising in applications. In addition, it emphasizes the need for intuitive and interpretable models, which are tolerant to imprecision and uncertainty. Statistics is more rigorous and focuses on establishing objective conclusions based on experimental data by analyzing the possible situations and their (relative) likelihood. It emphasizes the need for mathematical methods and tools to assess solutions and guarantee performance. Combining the two fields enhances the robustness and generalizability of data analysis methods, while preserving the flexibility to solve real-world problems efficiently and intuitively.

This book constitutes the thoroughly refereed conference proceedings of the 6th International Symposium on Biomedical Simulation (ISBMS) which was held in Strasbourg, France, in October 2014. Biomedical modeling and simulation are at the center stage of worldwide efforts to understand and replicate the behavior and function of the human organism. Large scale initiatives such as the Physiome Project, Virtual Physiological Human and Blue Brain Project aim to develop advanced computational models that will facilitate the understanding of the integrative function of cells, organs, and organisms, with the ultimate goal of delivering truly personalized medicine. At the same time, progress in modeling, numerical techniques and haptics has enabled more complex and interactive simulations. The 27 revised full papers (including 16 regular and 11 short papers) were carefully selected from 45 submissions and cover topics such as training systems and haptics, physics-based registration, vascular modeling and simulation, image and simulation, modeling, surgical planning, analysis, characterization and validation.

G protein coupled receptors (GPCRs) comprise an important protein family, which is involved in signal transduction in the cell. Besides that a large number of drugs, available on market, address GPCRs. For an efficient and improved development of appropriate drugs, molecular modelling of GPCRs is - in order to understand the ligand-receptor interactions and functionality of GPCRs on molecular level - an important tool. The book "Modelling of GPCRs - a practical handbook" is focussed onto a practical introduction into molecular modelling of GPCRs. This book is very useful for beginners in GPCR modelling, but also addresses the advanced GPCR modeller: On the one hand, the book introduces principles of GPCR modelling, including extensive examples. On the other hand, detailed outlooks onto advanced GPCR modelling techniques are presented. Furthermore, the book includes important data, like information about crystal structures in a summarized manner or amino acid sequences, which are essential for GPCR modelling in general. Due to an increase in efficacy and data handling most modellers use LINUX as operating system. To address this, a summary of most important LINUX commands with examples is presented within the book.

This book constitutes the refereed proceedings of the 21st International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2014, held in Budapest, Hungary, in June/July 2014. The 18 papers presented were carefully reviewed and selected from 27 submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for stochastic systems, including Markov processes, queueing networks, stochastic Petri nets, process algebras, game theory, etc.

Fuzzy classifiers are important tools in exploratory data analysis, which is a vital set of methods used in various engineering, scientific and business applications. Fuzzy classifiers use fuzzy rules and do not require assumptions common to statistical classification. Rough set theory is useful when data sets are incomplete. It defines a formal approximation of crisp sets by providing the lower and the upper approximation of the original set. Systems based on rough sets have natural ability to work on such data and incomplete vectors do not have to be preprocessed before classification. To achieve better performance than existing machine learning systems, fuzzy classifiers and rough sets can be combined in ensembles. Such ensembles consist of a finite set of learning models, usually weak learners. The present book discusses the three aforementioned fields - fuzzy systems, rough sets and ensemble techniques. As the trained ensemble should represent a single hypothesis, a lot of attention is placed on the possibility to combine fuzzy rules from fuzzy systems being members of classification ensemble. Furthermore, an emphasis is placed on ensembles that can work on incomplete data, thanks to rough set theory. .

This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological Systems; Intelligent Information Processing; Theory and Applications of Metaheuristic Algorithms; Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine; Signals and Systems in Electronics; Model-Based System Design, Verification, and Simulation; Digital Signal Processing Methods and Applications; Modelling and Control of Robots; Mobile Platforms, Autonomous and Computing Traffic Systems; Cloud and Other Computing Systems; and Marine Sensors and Manipulators.