Welcome to Bavaria - Germany and to the First Intercontinental Maritime Simulation Symposium and Mathematical Modelling Workshop. A triennial international conference jointly pro moted by Control Data, IMSF and SCS, which takes place at Schliersee, a small town near the Alps. The aim of the Symposium is to cover most of the aspects of maritime modelling and simulation in theory and practice, to promote the exchange of knowledge and experience between dif ferent international research groups in this field, and to strengthen the international contact between developers and users of modelling and simulation techniques. On the occas on of the Symposium people of scientific and engineering disciplines will meet to discuss the state-of-the art and future activities and developments. A large number of contributed papers has been strictly exam ined and selected by the papers committee to guarantee a high international standard. The book contains the accepted papers which will be presented at the Symposium. The papers have been classified according to the following topics: VI 1. Fifth Generation Computer Technology 2. Simulation-Software-Tools 3. An Industrial Computer System - The Chrysler Story 4. Marine Mathematical Modelling 5. CFD for Marine Vehicles 6. Navigation Methodology 7. Marine Maneuvering and Motion Simulation 8. Off-Shore Modelling 9. Steering and Control of Marine Vehicles 10. Training and Traffic Control 11. Under-Water Vehicles Operation Authors from 9 countries will meet at the Symposium."

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.

This reference collects the latest information from the International Conference on Heavy Vehicles, specifically as it relates to Heavy Vehicle Transport Technology.? Among the topics detailed are: interactions between heavy vehicles or trains and the infrastructure, environment and other system users; heavy vehicle and road management information-measurements, data quality, data management; freight mobility and safety; vehicle classification, size and weight evaluation, regulations, and enforcement; and traffic and road safety.

The book provides an introduction to the mechanics of composite materials, written for graduate students and practitioners in industry. It examines ways to model the impact event, to determine the size and severity of the damage and discusses general trends observed during experiments.

Lamb waves are guided waves that propagate in thin plate or shell structures. There has been a clear increase of interest in using Lamb waves for identifying structural damage, entailing intensive research and development in this field over the past two decades. Now on the verge of maturity for diverse engineering applications, this emerging technique serves as an encouraging candidate for facilitating continuous and automated surveillance of the integrity of engineering structures in a cost-effective manner. In comparison with conventional nondestructive evaluation techniques such as ultrasonic scanning and radiography which have been well developed over half a century, damage identification using Lamb waves is in a stage of burgeoning development, presenting a number of technical challenges in application that need to be addressed and circumvented. It is these two aspects that have encouraged us to write this book, with the intention of consolidating the knowledge and know-how in the field of Lamb-wave-based damage identification, and of promoting widespread attention to mature application of this technique in the practical engineering sphere. This book provides a comprehensive description of key facets of damage identification technique using Lamb waves, based on the authors' knowledge, comprehension and experience, ranging from fundamental theory through case studies to engineering applications.

The necessity for a reprint of the previous edition of this Manual has afforded an opportunity of bringing the information in certain parts of the book up to date, by the addition of a new Chapter 13 which deals with the more important developments that have occurred in the interim. This method has been adopted in order to simplify and to expedite the preparation of the present edition. As with the other Manuals of the Series, the elementary method of treatment of the subject has been retained, but where considered necessary some theoretical aspects are discussed. The previous edition has been checked and where desirable certain minor altera tions and improvements have been made in order to clarify the text. There have been several important developments in electrical components and wiring methods since the last edition, the more interesting of which have included the wider use of electronics in the design and construction of certain automobile parts. Examples of these are the use of transistors, diodes and printed circuits on flat and flexible bases, notably for instrument panels, while minia turized versions of printed circuits are finding wider applications in automobile components, e.g. for alternator voltage control units. In order to assist the non-technical reader, for whom these Manuals were originally intended, a brief outline of the theory and applications of diodes and transistors has been included to help him to understand the circuits using these modern components."

Thin shells are very popular structures in many different branches of engineering. There are the domes, water and cooling towers, the contain ments in civil engineering, the pressure vessels and pipes in mechanical and nuclear engineering, storage tanks and platform components in marine and offshore engineering, the car bodies in the automobile industry, planes, rockets and space structures in aeronautical engineering, to mention only a few examples of the broad spectrum of application. In addition there is the large applied mechanics group involved in all the computational and experimental work in this area. Thin shells are in a way optimal structures. They play the role of.the "primadonnas" among all kinds of structures. Their performance can be extraordinary, but they can also be very sensitive. The susceptibility to buckling is a typical example. David Bushnell says in his recent review paper entitled "Buckling of Shells - Pitfall for DeSigners" "To the layman buckling is a mysterious, perhaps even awe inspiring phenomenon that transforms objects originally imbued with symmetrical beauty into junk.""

The aim of this book is to present pedestrian injuries from a biomechanical perspective. We aim to give a detailed treatment of the physics of pedestrian impact, as well as a review of the accident databases and the relevant injury criteria used to assess pedestrian injuries. A further focus will be the effects on injury outcome of (1) pedestrian/vehicle position and velocity at impact and (2) the influence of vehicle design on injury outcome. Most of the content of this book has been published by these and other authors in various journals, but this book will provide a comprehensive treatment of the biomechanics of pedestrian impacts for the first time. It will therefore be of value to new and established researchers alike.

The book presents the analysis and design of integrated automotive radar receivers in Silicon-Germanium technology, for use in complex multi-channel radar transceiver front-ends in the 77GHz frequency band. The main emphasis of the work is the realization of high-linearity and low-power modular receiver channels as well as the investigation of millimeter-wave integrated test concepts for the receiver front-end.

The articles in the book treat flow instability and transition starting with classical material dealt with in an innovative and rigorous way, some newer physical mechanisms explained for the first time and finally with the very complex topic of bombustion and two-phase flow instabilities.

The analysis of plates and shells under static and dynamic loads is of greatinterest to scientists and engineers both from the theoretical and the practical viewpoint. The Boun- dary Element Method (BEM) has some distinct advantages over domain techniques such as the Finite Difference Method (FDM) and the Finite Element Method (FEM) for a wide class of structuralanalysis problems. This is the first book to deal specifically with the analysis of plates and shells by the BEM and to cover all aspects of their behaviour, and combi- nes tutorial and state-of-the-art articles on the BEM as ap- plied to plates and shells. It aims to inform scientists and engineers about the use and the advantages of this techni- que, the most recent developments in the field and the per- tinent literature for further study.

The proceedings contain papers accepted for the 17th ISPE International Conference on Concurrent Engineering, which was held in Cracow, Poland, September 6-10, 2010. Concurrent Engineering (CE) has a history of over twenty years. At first, primary focus was on bringing downstream information as much upstream as possible, by introducing parallel processing of processes, in order to prevent errors at the later stage which would sometimes cause irrevocable damage and to reduce time to market. During the period of more than twenty years, numerous new concepts, methodologies and tools have been developed. During this period the background for engineering/manufacturing has changed extensively. Now, industry has to work with global markets. The globalization brought forth a new network of experts and companies across many different domains and fields in distributed environments. These collaborations integrated with very high level of profesionalism and specialisation, provided the basis for innovations in design and manufacturing and succeeded in creating new products on a global market.

In March 1988, an international workshop on intersections without traffic signals was held at the Ruhr-University in Bochum, Germany. The proceedings of this workshop were published by Springer 1). The workshop was performed in a very harmonious atmosphere, which stimulated the experts from different countries to communicate and exchange their ideas and experiences. The presentations and the written contributions documented the present state of technical solutions for design and engineering of unsi gnalized intersections both regarding scientific research and practical applications. Moreover, numerous unsolved problems were identified. Thus, the 1988 workshop stimulated new developments in the field of unsignalized inter sections in several countries. In the meantime, these investigations have lead to a remarkable progress. For example in Germany a new guideline for unsignalized cross intersections and T-junctions has been finished and is going to be introduced in 1991. New results on roundabout capacity have been worked out as well. Many particularly important developments were made in foreign countries. Especially in the United States, an increasing interest in this subject can be observed. In the annual meetings of the TRB, this item received great attention. Many research institutes in North America have concentrated their activities on that point. A new TRB-circular concerning unsignalized intersections is going to be published. It will contain a new procedure for four-way-stop-control intersections, which seems to be a special feature of North American traffic engineering. However, new results from the US for two-way-stop control intersections are available as well."

This volume contains the papers presented at the Second International Work ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was like wise concerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system de pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions or ganized to examine particular topics in detail."

This volume is a compendium of papers presented during the second TRlennal Symposium on Transportation ANalysis (TRISTAN II) that took place in Capri, Italy on June 23-28, 1994. The Symposium was organized by the Progetto Finalizzato Trasporti and the Istituto di Analisi dei Sistemi ed Informatica of the Italian National Research Council jointly with the Italian Operations Research Society. The purpose of this kind of meetings is to periodically allow an exchange of views and findings by scientists in the field of transportation analysis methods and tools. Therefore, the papers presented dealt with a wide range of topics and cover the different aspects of transportation analysis. The material contained in this book gives particular emphasis to the development of mathematical modelling and algorithms. This development is due to the evolution of digital computers and the continuous increase of the computing power. In fact the need of solving large scale problems (crew scheduling, network traffic control, pollution monitoring and control, . etc ... ) involves in some case, thousands of variables and therefore sophisticated mathematical models and computational algorithms

This volume contains eighteen selected papers presented at the Second International Conference on Stochastic Structural Dynamics, which are related to new theoretical developments in the field. This and a companion volume, related to new practical applications, constitute the proceedings of the conference, and reflect the state of the art of the rapidly developing subject. The conference was held in Boca Raton, Florida during May 9-11, 1990 hosted by the Center for Applied Stochastics Research of Florida Atlantic University. A total of 20 technical sessions were organized, and attended by eighty participants from 12 countries. Special emphases of the conference were placed on two areas: applications to earthquake engineering and stochastic stability of nonlinear systems. Two sessions were dedicated to the memory of late Professor Frank Kozin, one of the founders and most active contributors to the stochastic stability theory. We are indebted to the National Center for Earthquake Engineering Research (NCEER) for financial support. Most credit belongs to each of the authors whose contributions were the very basis for the undoubted success of the conference. We are grateful to the reviewers who carefully refereed the contributions for these two volumes. Our special thanks are due to Mrs. Christine Mikulski, who carried out all the necessary secretarial tasks associated with the conference with dedication.

LIOn Delamination of Laminated Composites (a) Fiber-Reinforced Composites Considerable technological advances in the production of high-strength fibers (graphite, boron, etc.) have led to a wide use of light high-strength composite materials (graphite epoxy, boron-epoxy, etc.). It is expedient, to make thin walled composite rods, plates, and shells from such materials. Plates can be made by bonding a set of unidirectional thin fiber layers, Fig.l.l. Such plates are orthotropic, as a rule. A random short-fiber composite is shown in Fig. 1.2. Fiber-reinforced composites are widely used in thin-walled aircraft structures because of their specific high strength. For example, the graphite-epoxy composite is characterized by a unidirectional tensile strength of 1.4 GPa while the density is 1.6 Mg/rrt? . For comparison, we may take a steel (steel 4340) whose corresponding properties are identified by values like 1.2 GPa and 7.8 Mg/rrt? . 1. INTRODUCTION Figure 1.1 2 1.1. On Delamination of Laminated Composites Figure 1.2 3 1. INTRODUCTION It is characteristic for laminated plastic material to possess a fairly low bonding. Therefore, low-velocity impacts and defects in manufacturing lead to local delamination. (b) Linear Problems of Delamination Buckling Delamination can significantly reduce the compressive strength and stiffness of the laminate. Local delamination can be considered as a crack in the bond. Under buckling there appears a high interlaminate stress at the crack edge that leads to a spreading of the crack. Delamination growth can lead to structural instability."

Many important industrial applications incline toward better understanding of the constitutive properties of matter. Nowadays, the development of measurement possibilities, even in nanoscale, allows for multiscale formulations that drive to the more sophisticated models used in continuum mechanics. These phenomenological models are particularly important and useful for solutions of very concrete initial boundary value problems. Our interests are focused mainly on detailed descriptions of material behavior that depend not only on simple stress-strain relationships but also includes the strong influence of loading type, which introduces temperature, strain rate dependence, fracture, etc. Understanding these physics phenomena is of fundamental importance for successful and responsible computations. In particular, using the popular commercial programs requires deep understanding of constitutive formulations and their restrictions. These lectures are addressed to industrial users who are responsible for making crucial decisions in design, as well as, to young scientists who work on new models that describe the behavior of materials which also account the new influences and reflect the complexity of the material behavior. At the end, let me express my gratitude to the lecturers of the CISM course No. 328 on "Advances in Constitutive Relations Applied in Computer Codes", held in Udine in July 2007, who finally prepared the included materials. Unfortunately, during the preparation and collecting papers for this book, our friend and colleague Prof. Janusz R. Klepaczko passed away. This is a very big loss for the society of mechanics.

The subject of this brief is the application of linear parameter-varying (LPV) control to a class of dynamic systems to provide a systematic synthesis of gain-scheduling controllers with guaranteed stability and performance. An important step in LPV control design, which is not well covered in the present literature, is the selection of weighting functions. The proper selection of weighting functions tunes the controller to obtain the desired closed-loop response. The selection of appropriate weighting functions is difficult and sometimes appears arbitrary. In this brief, gain-scheduling control with engineering applications is covered in detail, including the LPV modeling, the control problem formulation, and the weighting function optimization. In addition, an iterative algorithm for obtaining optimal output weighting functions with respect to the H2 norm bound is presented in this brief. Using this algorithm, the selection of appropriate weighting functions becomes an automatic process. The LPV design and control synthesis procedures in this brief are illustrated using: * air-to-fuel ratio control for port-fuel-injection engines; * variable valve timing control; and * application to a vibration control problem. After reading this brief, the reader will be able to apply its concepts to design gain-scheduling controllers for their own engineering applications. This brief provides detailed step-by-step LPV modeling and control design strategies along with an automatic weight-selection algorithm so that engineers can apply state-of-the-art LPV control synthesis to solve their own engineering problems. In addition, this brief should serve as a bridge between the H-infinity and H2 control theory and the real-world application of gain-scheduling control.

Ocean development has conventionally been targeted at the exploitation of natural resources, however this trend is gradually changing: Ocean space has itself come to be regarded as a precious resource. Since problems associated with energy, food supply, and population will become even more crucial over the coming years, ocean space is being reevaluated as a means for providing solutions in many of these areas. The future prosperity of mankind will to a large measure be dependent on the manner in which the resources of the oceans are utilized. To develop ocean space effectively, international cooperation is essential since a global perspective is paramount. It is on this basis of cooperation and communication that the present symposium was organized, bringing together experts from all over the world to report current findings in ocean development and to consider areas of future research. The material covered here deals with all aspects of these areas which are now of such of vital importance.

The successful implementation of applications in spatial reasoning requires paying attention to the representation of spatial data. In particular, an integrated and uniform treatment of different spatial features is necessary in order to enable the reasoning to proceed quickly. Currently, the most prevalent features are points, rectangles, lines, regions, surfaces, and volumes. As an example of a reasoning task consider a query of the form "find all cities with population in excess of 5,000 in wheat growing regions within 10 miles of the Mississippi River. " Note that this query is quite complex. It requires- processing a line map (for the river), creating a corridor or buffer (to find the area within 10 miles of the river), a region map (for the wheat), and a point map (for the cities). Spatial reasoning is eased by spatially sorting the data (i. e. , a spatial index). In this paper we show how hierarchical data structures can be used to facilitate this process. They are based on the principle of recursive decomposition (similar to divide and conquer methods). In essence, they are used primarily as devices to sort data of more than one dimension and different spatial types. The term quadtree is often used to describe this class of data structures. In this paper, we focus on recent developments in the use of quadtree methods. We concentrate primarily on region data. For a more extensive treatment of this subject, see [SameS4a, SameSSa, SameSSb, SameSSc, SameSga, SameSgbj.

Software Diversity is one of the fault-tolerance means to achieve dependable systems. In this volume, some experimental systems as well as real-life applications of software diversity are presented. The history, the current state-of-the-art and future perspectives are given. Although this technique is used quite successfully in industrial applications, further research is necessary to solve some open questions. We hope to report on new results and applications in another volume of this series within some years. Acknowledgements The idea of the workshop was put forward by the chairpersons of IFIP WG lOA, J. -c. Laprie, J. F. Meyer and Y. Tohma, in January 1986, and the edi tor of this volume was asked to organize the workshop. This volume was edited with the assistance of the editors of the series, A. AviZienis, H. Kopetz and J. -C. Laprie, who also had the function of reviewers. Karlsruhe, October 1987 U. Voges, Editor Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Introduction U. Voges 2. Railway Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 ERICSSON Safety System for Railway Control . . . . . . . . . . . . . . . . . . 11 G. Hagelin 3. Nuclear Applications . . . . . . . . . . . . . . . . . . . . . . 23 Use of Diversity in Experimental Reactor Safety Systems . 29 U. Voges The PODS Diversity Experiment . 51 P. G. Bishop 4. Flight Applications . . . . . . . . . . . . . . . . . . . . . . . . . 85 AIRBUS and ATR System Architecture and Specification. . 95 P. Traverse 5. University Research . . . . . . . . . . . . . . . . . . . 105 Tolerating Software Design Faults in a Command and Control System . . . . . . . . . . . . . . . . . . . . . . 109 T. Anderson, P. A. Barrett, D. N. Halliwell, M. R. Moulding DEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA . . . . . . . . . . . . . . . . . ."

The events leading up to the publication of this book started effectively in 1976 with the exchange of information between those modelling teams in Europe which were involved in the R&D-programme on Solar Energy of the Commission. When it became clear that the availability of experimental datafor model validation wm next to nothing, the Commission took the initiative to support in the frame of the Solar Energy R&D-programme the construction of Solar Pilot Test Facilities on eight sites in Europe. Each experimental facility consisted of two real solar heating systems with collectors, storage, controls, and msociated piping, but with the dwelling thermal distribution system replaced by a physical load simulator. One of the two systems on each site wm a reference system and wm identical for the eight participating teams. The simulator wm capable of producing a typical themalload for a house, interactive with the actual weather, and took into account the effects of the occupants. With datafrom these facilities not only were national simulation programs validated, but also the meanwhile commonly accepted modular structured European program EMGPl wm validated. EMGPl, which only could be run on a mainframe computer or under special conditions on a mini-computer, formed in tum the bmis for the development of EURSOL andEMGP3.EMGP3 is an improved userjriendly programpackagejorpersonal computers derived jrom EMGPl and includes a unique and user jriendly preprocessor.

This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994. In keeping with the previous three conferences held in August 1989 at Santa Barbara (USA), in February 1991 at Tucson (USA), and in September 1992 at Mondello (Italy), the conference was concerned with an important basic question: can we rely on computer systems for critical applications? This conference, like its predecessors, addressed various aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security and performance. Because of its broad scope, a main goal was to contribute to a unified understanding and integration of these concepts. The Program Committee selected 21 papers for presentation from a total of 95 submissions at a September meeting in Menlo Park, California. The resulting program represents a broad spectrum of interests, with papers from universities, corporations and government agencies in eight countries. The selection process was greatly facilitated by the diligent work of the program committee members, for which we are most grateful. As a Working Conference, the program was designed to promote the exchange of ideas by extensive discussions. All paper sessions ended with a 30 minute discussion period on the topics covered by the session. In addition, three panel sessions have been organizcd.

This volume is a compendium of papers presented during an Advanced Seminar on Air Traffic Control (ATC) that took place in Capri, Italy on October 28-31, 1991. The Seminar was' organized by the Progetto Finalizzato Trasporti of the Italian National Research Council. The papers presented in the Seminar dealt with a wide range of topics which are currently important in ATC. For example, there were papers on such subjects as recent developments in primary and secondary radar technologies, communications networks and protocols, and the future uses of satellite-based communications, navigation and surveillance in ATC. However, all the papers contained in the volume were selected exclusively from that set of papers that addressed some aspect of the main area of emphasis in the Seminar, namely massive data-processing requirements and computer intensive problems in ATC. Data-processing requirements in A TC have grown enormously over the years. Obviously, the rapid increase in air traffic volumes in most of the world is one of the factors that has contributed to this growth. However, two other developments have contributed much more significantly: first, the ATC system now collects (mostly automatically) immensely more "information per flight" than in the past; and, second, as the system's complexity increases and as it becomes more tightly interconnected geographically, so grows the need to communicate, process and "filter" the data presented to the system's various components."