This book-unique in the literature-provides readers with the mathematical background needed to design many of the optical combinations that are used in astronomical telescopes and cameras. The results presented in the work were obtained by using a different approach to third-order aberration theory as well as the extensive use of the software package Mathematica (R). Replete with workout examples and exercises, Geometric Optics is an excellent reference for advanced graduate students, researchers, and practitioners in applied mathematics, engineering, astronomy, and astronomical optics. The work may be used as a supplementary textbook for graduate-level courses in astronomical optics, optical design, optical engineering, programming with Mathematica, or geometric optics.

3. 8 Problems . . . 66 4 ENABLING REUSE 69 4. 1 Concepts . . . . . . . . 69 4. 2 Exploiting commonality 70 4. 3 Reusable building blocks 71 4. 4 Allowing replaceable components 75 4. 5 Other replaceable entities 79 4. 6 Limiting flexibility . . . 82 4. 7 Other considerations . . 84 4. 8 Language fundamentals 85 4. 9 Problems . . . . . . . . 88 5 FUNCTIONS 91 5. 1 Concepts . . . . . . . . 91 5. 2 Introduction to functions 92 5. 3 An interpolation function 94 5. 4 Multiple return values 96 97 5. 5 Passing records as arguments 5. 6 Using extemal subroutines 100 5. 7 Language fundamentals 102 5. 8 Problems . . . . . . . . 110 6 USING ARRAYS 113 6. 1 Concepts . . . . . . . . . . . . . . . . . . 113 6. 2 Planetary motion: Arrays of components . . 113 6. 3 Simple ID heat transfer: Arrays of variables 120 6. 4 Using arrays with chemical systems 132 6. 5 Language fundamentals 143 6. 6 Problems . . . . . . . . . . . . . . 152 7 HYBRID MODELS 155 7. 1 Concepts . . . . . . . . 155 7. 2 Modeling digital circuits 155 7. 3 Bouncing ball . . . . . . 162 7. 4 Sensor modeling . . . . 166 7. 5 Language fundamentals 178 7. 6 Problems . . . . . . . . 186 8 EXPLORING NONLINEAR BEHAVIOR 189 8. 1 Concepts . . . 189 8. 2 An ideal diode 189 8. 3 Backlash . . . 193 8. 4 Thermal properties 199 Contents vii 8. 5 Hodgkin-Huxley nerve cell models 203 8. 6 Language fundamentals 206 8. 7 Problems . . . . . . . . . . . . . . 210 9 MISCELLANEOUS 213 9. 1 Lookup rules 213 9. 2 Annotations . . 225 Part II Effective Modelica 10 MULTI-DOMAIN MODELING 231 10. 1 Concepts . . . . . . . . . 231 231 10. 2 Conveyor system . . . . .

Some recent fuzzy database modeling advances for the non-traditional applications are introduced in this book. The focus is on database models for modeling complex information and uncertainty at the conceptual, logical, physical design levels and from integrity constraints defined on the fuzzy relations.
The database models addressed here are; the conceptual data models, including the ExIFO and ExIFO2 data models, the logical database models, including the extended NF2 database model, fuzzy object-oriented database model, and the fuzzy deductive object-oriented database model. Integrity constraints are defined on the fuzzy relations are also addressed. A continuing reason for the limited adoption of fuzzy database systems has been performance. There have been few efforts at defining physical structures that accomodate fuzzy information. A new access structure and data organization for fuzzy information is introduced in this book.

Modeling and Simulation: Theory and Practice provides a comprehensive review of both methodologies and applications of simulation and modeling. The methodology section includes such topics as the philosophy of simulation, inverse problems in simulation, simulation model compilers, treatment of ill-defined systems, and a survey of simulation languages. The application section covers a wide range of topics, including applications to environmental management, biology and medicine, neural networks, collaborative visualization and intelligent interfaces. The book consists of 13 invited chapters written by former colleagues and students of Professor Karplus. Also included are several short 'reminiscences' describing Professor Karplus' impact on the professional careers of former colleagues and students who worked closely with him over the years.

The underlying technologies enabling the realization of recent advances in areas like mobile and enterprise computing are artificial intelligence (AI), modeling and simulation, and software engineering. A disciplined, multifaceted, and unified approach to modeling and simulation is now essential in new frontiers, such as Simulation Based Acquisition. This volume is an edited survey of international scientists, academicians, and professionals who present their latest research findings in the various fields of AI; collaborative/distributed computing; and modeling, simulation, and their integration. Whereas some of these areas continue to seek answers to basic fundamental scientific inquiries, new questions have emerged only recently due to advances in computing infrastructures, technologies, and tools. The book¿s principal goal is to provide a unifying forum for developing postmodern, AI-based modeling and simulation environments and their utilization in both traditional and modern application domains. Features and topics: * Blends comprehensive, advanced modeling and simulation theories and methodologies in a presentation founded on formal, system-theoretic and AI-based approaches * Uses detailed, real-world examples to illustrate key concepts in systems theory, modeling, simulation, object orientation, and intelligent systems * Addresses a broad range of critical topics in the areas of modeling frameworks, distributed and high-performance object-oriented simulation approaches, as well as robotics, learning, multi-scale and multi-resolution models, and multi-agent systems * Includes new results pertaining to intelligent and agent-based modeling, the relationship between AI-based reasoning and Discrete-Event System Specification, and large-scale distributed modeling and simulation frameworks * Provides cross-disciplinary insight into how computer science, computer engineering, and systems engineering can collectively provide a rich set of theories and methods enabling contemporary modeling and simulation This state-of-the-art survey on collaborative/distributed modeling and simulation computing environments is an essential resource for the latest developments and tools in the field for all computer scientists, systems engineers, and software engineers. Professionals, practitioners, and graduate students will find this reference invaluable to their work involving computer simulation, distributed modeling, discrete-event systems, AI, and software engineering.

What is it about the structure and organisation of science and technology that has led to the spectacularly successful growth of knowledge during this century? This book explores this important and much debated question in an innovative way, by using computer simulations. The computer simulation of societies and social processes is a methodology which is rapidly becoming recognised for its potential in the social sciences. This book applies the tools of simulation systematically to a specific domain: science and technology studies. The book shows how computer simulation can be applied both to questions in the history and philosophy of science and to issues of concern to sociologists of science and technology. Chapters in the book demonstrate the use of simulation for clarifying the notion of creativity and for understanding the logical processes employed by eminent scientists to make their discoveries. The book begins with three introductory chapters. The first introduces simulation for the social sciences, surveying current work and explaining the advantages and pitfalls of this new methodology. The second and third chapters review recent work on theoretical aspects of social simulation, introducing fundamental concepts such as self organisation and complexity and relating these to the simulation of scientific discovery."

This text describes computer programs for simulating phenomena in hydrodynamics, gas dynamics, and elastic plastic flow in one, two, and three dimensions. Included in the two-dimensional program are Maxwell's equations, and thermal and radiation diffusion. The numerical procedures described in the text permit the exact conservation of physical properties in the solutions of the fundamental laws of mechanics. The author also treats materials, including the use of simulation programs to predict material behavior.

A Perspective on Two Decades of Rapid Modeling It is an honor for me to be asked to write a foreword to the Proceedings of the 1st Rapid Modeling Conference. In 1987, when I coined the term "Rapid Modeling" to denote queuing modeling of manufacturing systems, I never imagined that two decades later there would be an international conference devoted to this topic I am delighted to see that there will be around 40 presentations at the conference by leading researchers from aroundthe world, and about half of these presentationsare represented by written papers published in this book. I congratulate the conference organizers and program committee on the success of their efforts to hold the ?rst ever conference on Rapid Modeling. Attendees at this conferencemight?nd it interesting to learn about the history of the term Rapid Modeling in the context it is used here. During the fall of 1986 I was invited to a meeting at the Headquarters of the Society of Manufacturing Engineers (SME) in Dearborn, Michigan. By that time I had successfully demonstrated s- eral industry applications of queuing network models at leading manufacturers in the USA. Although in principle the use of queuing networks to model manufact- ing systems was well known in the OR/MS community and many papers had been published, the actual use of suchmodelsby manufacturingprofessionalswas almost nonexistent.

Since the first edition of this book was published seven years ago, the field of modeling and simulation of communication systems has grown and matured in many ways, and the use of simulation as a day-to-day tool is now even more common practice. With the current interest in digital mobile communications, a primary area of application of modeling and simulation is now in wireless systems of a different flavor from the traditional' ones. This second edition represents a substantial revision of the first, partly to accommodate the new applications that have arisen. New chapters include material on modeling and simulation of nonlinear systems, with a complementary section on related measurement techniques, channel modeling and three new case studies; a consolidated set of problems is provided at the end of the book.

Emerging business models, value configurations, and information technologies interact over time to create competitive advantage. Modern information technology has to be studied, understood, and applied along the time dimension of months and years, where changes are the rule. Such changes created by interactions between business elements and resources are very well suited for system dynamics modeling. ""Business Dynamics in Information Technology"" presents business-technology alignment processes, interaction processes, and decision processes, helping the reader study information technology from a dynamic, rather than a static, perspective. By introducing two simple tools from system dynamic modeling - causal loops and reference modes - the dynamic perspective will become important to both students and practitioners in the future.

The focus of this volume is comprised of the fundamentals, models, and information technologies (IT) methods and tools for disaster prediction and mitigation. A more detailed list of topics includes mathematical and computational modeling of processes leading to or producing disasters, modeling of disaster effects, IT means for disaster mitigation, including data mining tools, knowledge-based and expert systems for use in disaster circumstances, GIS-based systems for disaster prevention and mitigation and equipment for disaster-prone areas. A specific type or class of disasters (natural or human-made), however will not be part of the main focus of this work. Instead, this book was conceived to offer a comprehensive, integrative view on disasters, seeking to determine what various disasters have in common. Because disaster resilience and mitigation involve humans, societies and cultures, not only technologies and economic models, special attention was paid in this volume to gain a comprehensive view on these issues, as a foundation of the IT tool design.

Agent-based modeling and social simulation have emerged as both developments of and challenges to the social sciences. The developments include agent-based computational economics and investigations of theoretical sociological concepts using formal simulation techniques. Among the challenges are the development of qualitative modeling techniques, implementation of agent-based models to investigate phenomena for which conventional economic, social, and organizational models have no face validity, and the application of physical modeling techniques to social processes. Bringing together diverse approaches to social simulation and research agendas, this book presents a unique collection of contributions from the First World Congress on Social Simulation, held in 2006 in Kyoto, Japan. The work emerged from the collaboration of the Pacific Asian Association for Agent-Based Approach in Social Systems Sciences, the North American Association for Computational Social and Organizational Science, and the European Social Simulation Association.

Requirements engineering has since long acknowledged the importance of the notion that system requirements are stakeholder goals-rather than system functions-and ought to be elicited, modeled and analyzed accordingly. In this book, Nurcan and her co-editors collected twenty contributions from leading researchers in requirements engineering with the intention to comprehensively present an overview of the different perspectives that exist today, in 2010, on the concept of intention in the information systems community. These original papers honor Colette Rolland for her contributions to this field, as she was probably the first to emphasize that 'intention' has to be considered as a first-class concept in information systems engineering. Written by long-term collaborators (and most often friends) of Colette Rolland, this volume covers topics like goal-oriented requirements engineering, model-driven development, method engineering, and enterprise modeling. As such, it is a tour d'horizon of Colette Rolland's lifework, and is presented to her on the occasion of her retirement at CaISE 2010 in Hammamet, the conference she once cofounded and which she helped to grow and prosper for more than 20 years.

The book examines the performance and optimization of systems where queueing and congestion are important constructs. Both finite and infinite queueing systems are examined. Many examples and case studies are utilized to indicate the breadth and depth of the queueing systems and their range of applicability. Blocking of these processes is very important and the book shows how to deal with this problem in an effective way and not only compute the performance measures of throughput, cycle times, and WIP but also to optimize the resources within these systems. The book is aimed at advanced undergraduate, graduate, and professionals and academics interested in network design, queueing performance models and their optimization. It assumes that the audience is fairly sophisticated in their mathematical understanding, although the explanations of the topics within the book are fairly detailed.

From environmental management to land planning and geo-marketing, the number of application domains that may greatly benefit from using data enriched with spatio-temporal features is expanding very rapidly. Unfortunately, development of new spatio-temporal applications is hampered by the lack of conceptual design methods suited to cope with the additional complexity of spatio-temporal data. This complexity is obviously due to the particular semantics of space and time, but also to the need for multiple representations of the same reality to address the diversity of requirements from highly heterogeneous user communities. Conceptual design methods are also needed to facilitate the exchange and reuse of existing data sets, a must in geographical data management due to the high collection costs of the data. Yet, current practice in areas like geographical information systems or moving objects databases does not include conceptual design methods very well, if at all.

This book shows that a conceptual design approach for spatio-temporal databases is both feasible and easy to apprehend. While providing a firm basis through extensive discussion of traditional data modeling concepts, the major focus of the book is on modeling spatial and temporal information. Parent, Spaccapietra and Zimanyi provide a detailed and comprehensive description of an approach that fills the gap between application conceptual requirements and system capabilities, covering both data modeling and data manipulation features. The ideas presented summarize several years of research on the characteristics and description of space, time, and perception. In addition to the authors' own data modeling approach, MADS (Modeling of Application Data with Spatio-temporal features), the book also surveys alternative data models and approaches (from industry and academia) that target support of spatio-temporal modeling.

The reader will acquire intimate knowledge of both the traditional and innovative features that form a consistent data modeling approach. Visual notations and examples are employed extensively to illustrate the use of the various constructs. Therefore, this book is of major importance and interest to advanced professionals, researchers, and graduate or post-graduate students in the areas of spatio-temporal databases and geographical information systems.

"For anyone thinking of doing research in this field, or who is developing a system based on spatio-temporal data, this text is essential reading." (Mike Worboys, U Maine, Orono, ME, USA)

"The high-level semantic model presented and validated in this book provides essential guidance to researchers and implementers when improving the capabilities of data systems to serve the actual needs of applications and their users in the temporal and spatial domains that are so prevalent today." (Gio Wiederhold, Stanford U, CA, USA)"

This textbook reviews the theory, applications, and latest breakthroughs in Delay Tolerant Networks (DTNs). Presenting a specific focus on Opportunistic Mobile Networks (OMNs), the text considers the influence of human aspects, and examines emerging forms of inter-node cooperation. Features: contains review terms and exercises in each chapter, with the solutions and source code available at an associated website; introduces the fundamentals of DTNs, covering OMNs, PSNs, and MOONs; describes the ONE simulator, explaining how to set up a simulation project; provides detailed insights into the development and testing of protocols, together with a set of best practices for increased productivity and optimized performance; examines human aspects in the context of communication networks, from human-centric applications to the impact of emotion on human-network interplay; proposes various schemes for inter-node cooperation in DTNs/OMNs; presents a detailed discussion on aspects of heterogeneity in DTNs.

Digital technologies are changing the relationship between design and construction: with computer models, CAD/CAM, and prototyping, designers can gain direct control of building and construction processes. The ability to digitally model designs, and thus to use those models directly in the context of production, creates a synthesis between design and construction in keeping with the tradition of the close relationship between design and craftsmanship, between the quality of the design and the rules of the craft. The evolution of the culture of design and construction is the underlying theme of this book. The aim is to discuss the direction that innovation is now taking, with a particular focus on today's cutting-edge architectures. The method addresses the ways in which different societies have dealt with the issues of their age regarding design and construction, the different contributions provided by various techniques, and with them the meanings expressed by the architecture. As building design using digital tools requires specific skills in the fabrication processes and in the languages used by information technology, the book also offers a practical guide to new methods and techniques of managing and controlling fabrication for AEC. A systematic analysis of new skills used in the design process presents an overview of opportunities for architects and engineers. By collecting information on significant projects and analyzing them, the book explores the technical and artistic potential of digital technology. The cases studied are the outcomes of groundbreaking projects which were able to give form and significance to technological research. They show that digital tools are not the exclusive prerogative of large firms but can also be adopted by teams working across small and medium-sized firms - firms which have been able to use informed research to link innovative design with the possibilities offered by digital fabrication in architecture.

This book focuses on the use of farm level, micro- and macro-data of cooperative systems and networks in developing new robust, reliable and coherent modeling tools for agricultural and environmental policy analysis. The efficacy of public intervention on agriculture is largely determined by the existence of reliable information on the effects of policy options and market developments on farmers' production decisions and in particular, on key issues such as levels of agricultural and non-agricultural output, land use and incomes, use of natural resources, sustainable-centric management, structural change and the viability of family farms. Over the last years, several methods and analytical tools have been developed for policy analysis using various sets of data. Such methods have been based on integrated approaches in an effort to investigate the above key issues and have thus attempted to offer a powerful environment for decision making, particularly in an era of radical change for both agriculture and the wider economy.

The book reports on the 11th International Workshop on Railway Noise, held on 9 - 13 September, 2013, in Uddevalla, Sweden. The event, which was jointly organized by the Competence Centre Chalmers Railway Mechanics (CHARMEC) and the Departments of Applied Mechanics and Applied Acoustics at Chalmers University of Technology in Gothenburg, Sweden, covered a broad range of topics in the field of railway noise and vibration, including: prospects, legal regulations and perceptions; wheel and rail noise; prediction, measurements and monitoring; ground-borne vibration; squeal noise and structure-borne noise; and aerodynamic noise generated by high-speed trains. Further topics included: resilient track forms; grinding, corrugation and roughness; and interior noise and sound barriers. This book, which consists of a collection of peer-reviewed papers originally submitted to the workshop, not only provides readers with an overview of the latest developments in the field, but also offers scientists and engineers essential support in their daily efforts to identify, understand and solve a number of problems related to railway noise and vibration, and to achieve their ultimate goal of reducing the environmental impact of railway systems.

The research and its outcomes presented in this collection focus on various aspects of high-performance computing (HPC) software and its development which is confronted with various challenges as today's supercomputer technology heads towards exascale computing. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The collection thereby highlights pioneering research findings as well as innovative concepts in exascale software development that have been conducted under the umbrella of the priority programme "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) and that have been presented at the SPPEXA Symposium, Jan 25-27 2016, in Munich. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.

DRAG (from un modele de la Demande Routiere, des Accidents et leur Gravite) is a complex computer model that simulates accident propensities under detailed conditions. The DRAG approach constitutes the largest road accident modelling effort ever undertaken. Gaudry is the creator and developer of DRAG and this work explains its nature, purpose and value. Such a model, which explains accidents for a whole region, province or country, has advantages in answering many questions asked about accidents (such as the role of the economic cycle, weather, prices, insurance etc.) that other models fail to take fully into account.
DRAG research is underpinned by a fundamental theoretical innovation which sees a 3-level approach to analysing the determinants of the number of road victims in a given accident: Exposure (the distance travelled), Accident Frequency Risk and Accident Severity Risk (i.e. the number of victims of each type of accident). In applying flexible mathematical forms, the DRAG model also allows significant conceptual and empirical claims to be made about the importance of detecting responses that reverse themselves (to alcohol, and to other factors).
Under Gaudry's guidance, a family of DRAG-inspired models has grown up, based on their development for different countries and this book explores each national model in turn. As more countries seek to adopt the DRAG approach, this book serves as a timely, unique and valuable guide to the model.

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems from a high-level perspective. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation. A formal verification methodology is formulated to verify general properties of the designs and demonstrate that this methodology is efficient in dealing with the problem of complexity and effective in finding bugs. However, manual intervention in the form of abstraction selection and separation of timing and functionality is required. It is conjectured that, for specific properties, efficient algorithms exist for completely automatic formal validations of systems. Synchronous Equivalence: Formal Methods for Embedded Systems presents a brand new formal approach to high-level equivalence analysis. It opens design exploration avenues previously uncharted. It is a work that can stand alone but at the same time is fully compatible with the synthesis and simulation framework described in another book by Kluwer Academic Publishers Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, by Balarin et al. Synchronous Equivalence: Formal Methods for Embedded Systems will be of interest to embedded system designers (automotive electronics, consumer electronics, and telecommunications), micro-controller designers, CAD developers and students, as well as IP providers, architecture platform designers, operating system providers, and designers of VLSI circuits and systems.

"Intelligent Control" considers non-traditional modelling and control approaches to nonlinear systems. Fuzzy logic, neural networks and evolutionary computing techniques are the main tools used. The book presents a modular switching fuzzy logic controller where a PD-type fuzzy controller is executed first followed by a PI-type fuzzy controller thus improving the performance of the controller compared with a PID-type fuzzy controller.The advantage of the switching-type fuzzy controller is that it uses one rule-base thus minimises the rule-base during execution. A single rule-base is developed by merging the membership functions for change of error of the PD-type controller and sum of error of the PI-type controller. Membership functions are then optimized using evolutionary algorithms. Since the two fuzzy controllers were executed in series, necessary further tuning of the differential and integral scaling factors of the controller is then performed. Neural-network-based tuning for the scaling parameters of the fuzzy controller is then described and finally an evolutionary algorithm is applied to the neurally-tuned-fuzzy controller in which the sigmoidal function shape of the neural network is determined.

The important issue of stability is addressed and the text demonstrates empirically that the developed controller was stable within the operating range. The text concludes with ideas for future research to show the reader the potential for further study in this area.

"Intelligent Control "will be of interest to researchers from engineering and computer science backgrounds working in the intelligent and adaptive control."

Offers a unique multidisciplinary overview of how humans interact with soft objects and how multiple sensory signals are used to perceive material properties, with an emphasis on object deformability. The authors describe a range of setups that have been employed to study and exploit sensory signals involved in interactions with compliant objects as well as techniques to simulate and modulate softness - including a psychophysical perspective of the field. Multisensory Softness focuses on the cognitive mechanisms underlying the use of multiple sources of information in softness perception. Divided into three sections, the first Perceptual Softness deals with the sensory components and computational requirements of softness perception, the second Sensorimotor Softness looks at the motor components of the interaction with soft objects and the final part Artificial Softness focuses on the identification of exploitable guidelines to help replicate softness in artificial environments.

Manufacturing and operations management paradigms are evolving toward more open and resilient spaces where innovation is driven not only by ever-changing customer needs but also by agile and fast-reacting networked structures. Flexibility, adaptability and responsiveness are properties that the next generation of systems must have in order to successfully support such new emerging trends. Customers are being attracted to be involved in Co-innovation Networks, as - proved responsiveness and agility is expected from industry ecosystems. Renewed production systems needs to be modeled, engineered and deployed in order to achieve cost-effective solutions. BASYS conferences have been developed and organized as a forum in which to share visions and research findings for innovative sustainable and knowledge-based products-services and manufacturing models. Thus, the focus of BASYS is to discuss how human actors, emergent technologies and even organizations are integrated in order to redefine the way in which the val- creation process must be conceived and realized. BASYS 2010, which was held in Valencia, Spain, proposed new approaches in automation where synergies between people, systems and organizations need to be fully exploited in order to create high added-value products and services. This book contains the selection of the papers which were accepted for presentation at the BASYS 2010 conference, covering consolidated and emerging topics of the conference scope.