Model-based Systems Architecting is a key tool for designing complex industrial systems. It is dedicated to the working systems architects, engineers and modelers, in order to help them master the complex integrated systems that they are dealing with in their day-to-day professional lives. It presents the CESAMES Systems Architecting Method (CESAM), a systems architecting and modeling framework which has been developed since 2003 in close interaction with many leading industrial companies, providing rigorous and unambiguous semantics for all classical systems architecture concepts. This approach is practically robust and easy-to-use: during the last decade, it was deployed in more than 2,000 real system development projects within the industry, and distributed to around 10,000 engineers around the globe.

This book constitutes the refereed proceedings of the Second International Workshop on Process-Aware Systems, PAS 2015, held in Hangzhou, China, in October 2015. The four revised full papers and two short papers, presented together with five demo papers were carefully reviewed and selected from 16 submissions. The papers are organized in topical sections on process modeling and comparison; process data analysis; Cloud workflow applications.

The purpose of this book is to provide an up-to-date introduction to the time-domain finite element methods for Maxwell's equations involving metamaterials. Since the first successful construction of a metamaterial with both negative permittivity and permeability in 2000, the study of metamaterials has attracted significant attention from researchers across many disciplines. Thanks to enormous efforts on the part of engineers and physicists, metamaterials present great potential applications in antenna and radar design, sub-wavelength imaging, and invisibility cloak design. Hence the efficient simulation of electromagnetic phenomena in metamaterials has become a very important issue and is the subject of this book, in which various metamaterial modeling equations are introduced and justified mathematically. The development and practical implementation of edge finite element methods for metamaterial Maxwell's equations are the main focus of the book. The book finishes with some interesting simulations such as backward wave propagation and time-domain cloaking with metamaterials.

The Earth's average temperature has risen by 1.4 DegreesF over the past century, and computer models project that it will rise much more over the next hundred years, with significant impacts on weather, climate, and human society. Many climate scientists attribute these increases to the build up of greenhouse gases produced by the burning of fossil fuels and to the anthropogenic production of short-lived climate pollutants. Climate Change Modeling Methodologies: Selected Entries from the Encyclopaedia of Sustainability Science and Technology provides readers with an introduction to the tools and analysis techniques used by climate change scientists to interpret the role of these forcing agents on climate. Readers will also gain a deeper understanding of the strengths and weaknesses of these models and how to test and assess them. The contributions include a glossary of key terms and a concise definition of the subject for each topic, as well as recommendations for sources of more detailed information.

Relevant to, and drawing from, a range of disciplines, the chapters in this collection show the diversity, and applicability, of research in Bayesian argumentation. Together, they form a challenge to philosophers versed in both the use and criticism of Bayesian models who have largely overlooked their potential in argumentation. Selected from contributions to a multidisciplinary workshop on the topic held in Sweden in 2010, the authors count linguists and social psychologists among their number, in addition to philosophers. They analyze material that includes real-life court cases, experimental research results, and the insights gained from computer models. The volume provides, for the first time, a formal measure of subjective argument strength and argument force, robust enough to allow advocates of opposing sides of an argument to agree on the relative strengths of their supporting reasoning. With papers from leading figures such as Michael Oaksford and Ulrike Hahn, the book comprises recent research conducted at the frontiers of Bayesian argumentation and provides a multitude of examples in which these formal tools can be applied to informal argument. It signals new and impending developments in philosophy, which has seen Bayesian models deployed in formal epistemology and philosophy of science, but has yet to explore the full potential of Bayesian models as a framework in argumentation. In doing so, this revealing anthology looks destined to become a standard teaching text in years to come.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This twenty-second issue contains 11 carefully selected and revised contributions.

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.

This book contains the research on modeling bodies, cloth and character based adaptation performed during the last 3 years at MIRALab at the University of Geneva. More than ten researchers have worked together in order to reach a truly 3D Virtual Try On. What we mean by Virtual Try On is the possibility of anyone to give dimensions on her predefined body and obtain her own sized shape body, select a 3D cloth and see oneself animated in Real-Time, walking along a catwalk. Some systems exist today but are unable to adapt to body dimensions, have no real-time animation of body and clothes. A truly system on the web of Virtual Try On does not exist so far. This book is an attempt to explain how to build a 3D Virtual Try On system which is now very much in demand in the clothing industry. To describe this work, the book is divided into five chapters. The first chapter contains a brief historical background of general deformation methods. It ends with a section on the 3D human body scanner systems that are used both for rapid p- totyping and statistical analyses of the human body size variations.

Die Casting: An Analytical Approach will refresh knowledge of the governing laws of the fluid dynamics that have an effect on die cast die and die cast process design. It will be bought by product designers that design die cast parts and die cast die and process engineers and designers.

The papers in this volume were selected for presentation at the 19th International Meshing Roundtable (IMR), held October 3-6, 2010 in Chattanooga, Tennessee, USA. The conference was started by Sandia National Laboratories in 1992 as a small meeting of organizations striving to establish a common focus for research and development in the field of mesh generation. Now after 19 consecutive years, the International Meshing Roundtable has become recognized as an international focal point annually attended by researchers and developers from dozens of co- tries around the world. The 19th International Meshing Roundtable consists of technical presentations from contributed papers, research notes, keynote and invited talks, short course presentations, and a poster session and competition. The Program Committee would like to express its appreciation to all who participate to make the IMR a successful and enriching experience. The papers in these proceedings were selected by the Program Committee from among numerous submissions. Based on input from peer reviews, the committee selected these papers for their perceived quality, originality, and appropriateness to the theme of the International Meshing Roundtable. We would like to thank all who submitted papers. We would also like to thank the colleagues who provided reviews of the submitted papers. The names of the reviewers are acknowledged in the following pages. We extend special thanks to Jacqueline Hunter for her time and effort to make the 19th IMR another outstanding conference.

This is a book for people who love mechanics of composite materials and ? MATLAB . We will use the popular computer package MATLAB as a matrix calculator for doing the numerical calculations needed in mechanics of c- posite materials. In particular, the steps of the mechanical calculations will be emphasized in this book. The reader will not ?nd ready-made MATLAB programs for use as black boxes. Instead step-by-step solutions of composite material mechanics problems are examined in detail using MATLAB. All the problems in the book assume linear elastic behavior in structural mechanics. The emphasis is not on mass computations or programming, but rather on learning the composite material mechanics computations and understanding of the underlying concepts. The basic aspects of the mechanics of ?ber-reinforced composite materials are covered in this book. This includes lamina analysis in both the local and global coordinate systems, laminate analysis, and failure theories of a lamina.

Nowadays, engineering systems are of ever-increasing complexity and must be c- sidered asmultidisciplinary systems composed of interacting subsystems or system components from different engineering disciplines. Thus, an integration of various engineering disciplines, e.g, mechanical, electrical and control engineering in ac- current design approach is required. With regard to the systematic development and analysis of system models,interdisciplinary computer aided methodologies are - coming more and more important. A graphical description formalism particularly suited for multidisciplinary s- tems arebondgraphs devised by Professor Henry Paynter in as early as 1959 at the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts, USA and in use since then all over the world. This monograph is devoted exclusively to the bond graph methodology. It gives a comprehensive, in-depth, state-of-the-art presentation including recent results sc- tered over research articles and dissertations and research contributions by the - thor to a number of topics. The book systematically covers the fundamentals of developing bond graphs and deriving mathematical models from them, the recent developments in meth- ology, symbolic and numerical processing of mathematical models derived from bond graphs. Additionally it discusses modern modelling languages, the paradigm of object-oriented modelling, modern software that can be used for building and for processing of bond graph models, and provides a chapter with small case studies illustrating various applications of the methodology.

The finite element method is often used for numerical computation in the applied sciences. It makes a major contribution to the range of numerical methods used in the simulation of systems and irregular domains, and its importance today has made it an important subject of study for all engineering students. While treatments of the method itself can be found in many traditional finite element books, Finite Element Modeling for Materials Engineers Using MATLAB (R) combines the finite element method with MATLAB to offer materials engineers a fast and code-free way of modeling for many materials processes. Finite Element Modeling for Materials Engineers Using MATLAB (R) covers such topics as: developing a weak formulation as a prelude to obtaining the finite element equation, interpolation functions, derivation of elemental equations, and use of the Partial Differential Equation Toolbox (TM). Exercises are given based on each example and m-files based on the examples are freely available to readers online. Researchers, advanced undergraduate and postgraduate students, and practitioners in the fields of materials and metallurgy will find Finite Element Modeling for Materials Engineers Using MATLAB (R) a useful guide to using MATLAB for engineering analysis and decision-making.

This volume contains the articles presented at the 18th International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and held October 25-28, 2009 in Salt Lake City, Utah, USA. The volume presents recent results of mesh generation and adaptation which has applications to finite element simulation. It introduces theoretical and novel ideas with practical potential.

The problem of robotic and virtual interaction with physical objects has been the subject of research for many years in both the robotic manipulation and haptics communities. Both communities have focused much attention on human touch-based perception and manipulation, modelling contact between real or virtual hands and objects, or mechanism design. However, as a whole, these problems have not yet been addressed from a unified perspective. This edited book is the outcome of a well-attended workshop which brought together leading scholars from various branches of the robotics, virtual-reality, and human studies communities during the 2004 IEEE International Conference on Robotics and Automation. It covers some of the most challenging problems on the forefront of today's research on physical interaction with real and virtual objects, with special emphasis on modelling contacts between objects, grasp planning algorithms, haptic perception, and advanced design of hands, devices and interfaces.

I want to express my sincere thanks to all authors who submitted research papers to support the Third IFIP International Conference on Computer and Computing Te- nologies in Agriculture and the Third Symposium on Development of Rural Infor- tion (CCTA 2009) held in China, during October 14-17, 2009. This conference was hosted by the CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University), China National En- neering Research Center for Information Technology in Agriculture, Asian Conf- ence on Precision Agriculture, International Federation for Information Processing, Chinese Society of Agricultural Engineering, Beijing Society for Information Te- nology in Agriculture, and the Chinese Society for Agricultural Machinery. The pla- num sponsor includes the Ministry of Science and Technology of China, Ministry of Agriculture of China, Ministry of Education of China, among others. The CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University) focuses on research and development of advanced and practical technologies applied in agriculture and on promoting international communi- tion and cooperation. It has successfully held three International Conferences on C- puter and Computing Technologies in Agriculture, namely CCTA 2007, CCTA 2008 and CCTA 2009. Sustainable agriculture is the focus of the whole world currently, and therefore the application of information technology in agriculture is becoming more and more - portant. 'Informatized agriculture' has been sought by many countries recently in order to scientifically manage agriculture to achieve low costs and high incomes.

This book constitutes the refereed proceedings of the 15th International Conference on Product-Focused Software Process Improvement, PROFES 2014, held in Helsinki, Finland, in December 2014. The 18 revised full papers presented together with 14 short papers were carefully reviewed and selected from 45 initial submissions. The papers are organized in topical sections on agile development, decision-making, development practices and issues, product planning, and project management.

This book constitutes the thoroughly refereed proceedings of the First International Conference on Simulation of Urban Mobility, SUMO 2013, held in Berlin, Germany, in May 2013. The 12 revised full papers presented tin this book were carefully selected and reviewed from 22 submissions. The papers are organized in two topical sections: models and technical innovations and applications and surveys.

Recent trends in the fashion market (including an impressive increase in the number of new collections, product assortments and variants, and the emerging mass-customization model) dictate the need for a new approach. "Transforming Clothing Production into a Demand-Driven, Knowledge-Based, High-Tech Industry" discusses the ramifications of such an approach, which must lead to a drastic shortening of the whole cycle from conception to production and retail, as well as a shift from a labor-intensive to a technology- and knowledge-intensive clothing manufacturing industry. "Transforming Clothing Production into a Demand-Driven, Knowledge-Based, High-Tech Industry" is a collection of short papers from prominent researchers involved with the LEAPFROG (Leadership for European Apparel Production From Research along Original Guidelines) initiative. LEAPFROG proposes a revolutionary industrial paradigm based on research results in scientific-technological fields.

Modeling of photovoltaic sources and their emulation by means of power electronic converters are challenging issues. The former is tied to the knowledge of the electrical behavior of the PV generator; the latter consists in its realization by a suitable power amplifier. This extensive introduction to the modeling of PV generators and their emulation by means of power electronic converters will aid in understanding and improving design and set up of new PV plants. The main benefit of reading Photovoltaic Sources is the ability to face the emulation of photovoltaic generators obtained by the design of a suitable equipment in which voltage and current are the same as in a real source. This is achieved according to the following steps: the source electrical behavior modeling, the power converter design, including its control, for the laboratory emulator. This approach allows the reader to cope with the creation of an indoor virtual photovoltaic plant, in which the environmental conditions can be imposed by the user, for testing real operation including maximum power point tracking, partial shading, control for the grid or load interfacing, etc. Photovoltaic Sources is intended to meet the demands of postgraduate level students, and should prove useful to professional engineers and researchers dealing with the problems associated with modeling and emulation of photovoltaic sources.

This book introduces the techniques needed to produce realistic simulations and animations of particle and rigid-body systems. The text focuses on both the theoretical and practical aspects of developing and implementing physically based dynamic-simulation engines. Each chapter examines numerous algorithms, describing their design and analysis in an accessible manner, without sacrificing depth of coverage or mathematical rigor. Features: examines the problem of computing an hierarchical representation of the geometric description of each simulated object, as well as the simulated world; discusses the use of discrete and continuous collision detection to handle thin or fast-moving objects; describes the computational techniques needed for determining all impulsive and contact forces between bodies with multiple simultaneous collisions and contacts; presents techniques that can be used to dynamically simulate articulated rigid bodies; concludes each chapter with exercises.

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.

This book highlights recent developments in multidimensional data visualization, presenting both new methods and modifications on classic techniques. Throughout the book, various applications of multidimensional data visualization are presented including its uses in social sciences (economy, education, politics, psychology), environmetrics, and medicine (ophthalmology, sport medicine, pharmacology, sleep medicine). The book provides recent research results in optimization-based visualization. Evolutionary algorithms and a two-level optimization method, based on combinatorial optimization and quadratic programming, are analyzed in detail. The performance of these algorithms and the development of parallel versions are discussed. The utilization of new visualization techniques to improve the capabilies of artificial neural networks (self-organizing maps, feed-forward networks) is also discussed. The book includes over 100 detailed images presenting examples of the many different visualization techniques that the book presents. This book is intended for scientists and researchers in any field of study where complex and multidimensional data must be represented visually.

The storage yard is the operational and geographical centre of most seaport container terminals. Therefore, it is of particular importance for the whole terminal system and plays a major role for trade and transport flows. One of the latest trends in container-storage operations is the automated Rail-Mounted-Gantry-Crane system, which offers dense stacking, and offers low labour costs. This book investigates whether the operational performance of container terminals is influenced by the design of these storage systems and to what extent the performance is affected by the terminal's framework conditions, and discusses the strategies applied for container stacking and crane scheduling. A detailed simulation model is presented to compare the performance effects of alternative storage designs, innovative planning strategies, and other influencing factors. The results have useful implications future research, practical terminal planning and optimisation.

Computer languages and computer graphics have become the primary modes of human-computer interaction. This book provides a basic introduction to "Real and Virtual Environment" computer modelling. Graphics models are used to illustrate both the way computer languages are processed and also used to create computer models of graphic displays. Computer languages have been bootstrapped from machine code, to high-level languages such as Java, to animation scripting languages. Integrating graphic and computer models takes this support for programming, design and simulation work, one step further, allowing interactive computer graphic displays to be used to construct computer models of both real and virtual environment systems. The Java language is used to implement basic algorithms for language translation, and to generate graphic displays. It is also used to simulate the behaviour of a computer system, to explore the way programming and design-simulation environments can be put together.