Page 37
Page 37
How to engineer software : A model-based approach
The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software documentation that specifically and intentionally adds value for development and maintenance. Contains many illustrative examples of model-based software engineering, from semantic model all the way to executable code Explains how to derive verification (acceptance) test cases from a semantic model Describes project estimation, along with alternative software development and maintenance processes Shows how to develop and maintain cost-effective software that solves real-world problems
How structures work : Design and behaviour from bridges to buildings ; 2nd ed.
How the building behaves when subjected to various forces – the weight of the materials used to build it, the weight of the occupants or the traffic it carries, the force of the wind etc – is fundamental to its stability. The alliance between architecture and structural engineering is therefore critical to the successful design and completion of the buildings and infrastructure that surrounds us. Yet structure is often cloaked in mathematics which many architects and surveyors find difficult to understand.
How Apollo flew to the moon
Out of the technological battlefield of World War II came a team of gifted German engineers and designers who developed the vengeance weapon, the V-2, which evolved into the peaceful, powerful Saturn V rocket to take men to the Moon. David Woods tells the exciting story, starting from America’s post war astronautical research facilities, that used the V-2 for the development of the robust, resilient and reliable Saturn V launcher. He describes the initial launches through manned orbital spaceflights, comprehensively detailing each step, including computer configuration, the role of ground control, trajectory planning, lunar orbiting, separation of the lander, walking and working on the Moon, retrieval of the lunar astronauts and returning to Earth in this massive technical accomplishment.
Hot house : Global climate change and the human condition
Global warming is extremely complex because it deals with so many different characteristics of the Earth and their complex interactions. It is addressed by almost all sciences including many aspects of geosciences, atmospheric, the biological sciences, and even astronomy. It has recently become the concern of other diverse disciplines such as economics, agriculture, demographics and population statistics, medicine, engineering, and political science. This book attempts to address these complex interactions, integrate them, and derive meaningful conclusions and possible solutions.
Hot cracking phenomena in welds II
This is the second in a series of compendiums devoted to weld hot cracking phenomena, where this subject has been further scrutinized, bringing to bare the most current thoughts on this complex and diverse subject. With 22 technical papers in total, this book is divided in such a way that specific classifications of hot cracks are examined in detail, including solidification, liquation, and ductility dip cracking. The first chapter looks at solidification cracking theory, applying the most modern approaches to modelling weld solidification. Also provided here is a comprehensive review of cracking models. This is followed by two chapters characterizing solidification cracking behaviour for specific alloy systems: ferrous plus nickel-based alloys and aluminium alloys, respectively. The fourth chapter considers liquation cracking in ferrous alloys, and the fifth examines ductility-dip cracking.
Hot cracking phenomena in welds
The first chapter provides an overview of the various hot cracking phenomena. Different mechanisms of solidification cracking proposed in the past decades are summarized and new insight is particularly given into the mechanism of ductility dip cracking. The effects of different alloying elements on the hot cracking resistance of various materials are shown in the second chapter and, as a special metallurgical effect, the initiation of stress corrosion cracking at hot cracks has been highlighted. The third chapter outlines how numerical analyses and other modelling techniques can be utilized to describe hot cracking phenomena and how such results might contribute to the explanation of the mechanisms. Various hot cracking test procedures are presented in the final chapter with a special emphasis on standardization. For the engineering and natural scientists in research and development the book provides both, new insight and a comprehensive overview of hot cracking phenomena in welds. The contributions additionally give numerous individual solutions and helpful advice for international welding engineers to avoid hot cracking in practice. Furthermore, it represents a very helpful tool for upper level metallurgical and mechanical engineering students.
Homotopy-Based Methods in Water Engineering
Exploring the concept of homotopy from topology, different kinds of homotopy-based methods have been proposed for analytically solving nonlinear differential equations, given by approximate series solutions. Homotopy-Based Methods in Water Engineering attempts to present the wide applicability of these methods to water engineering problems. It solves all kinds of nonlinear equations, namely algebraic/transcendental equations, ordinary differential equations (ODEs), systems of ODEs, partial differential equations (PDEs), system of PDEs, and integro-differential equations using the homotopy-based methods
Homing Endonucleases and Inteins
This book provides detailed summary of the genetics, structure, function, mechanisms of action, evolution and engineering of homing endonucleases and inteins. These two unique protein superfamilies have generated considerable excitement for their fundamental, structural, and functional properties, their evolution as parasitic elements, and their widespread applications as gene targeting agents and as instruments for the generation of modified proteins and novel protein combinations.
Holonic Execution: A BDI Approach
Holonic manufacturing has been an active area of research for the past decade. However, this work has been predominately in the areas of planning and scheduling on the one hand and control on the other. In this book we propose these two areas can be integrated through adopting a focus on execution.
Holonic and multi-agent systems for manufacturing ; 2nd International conference on industrial applications of holonic and multi-agent systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005, Proceedings
The challenge faced in today’s manufacturing and business environments is the question of how to satisfy increasingly stringent customer requirements while managing growing system complexity. For example, customers expect high-quality, customizable, low-cost products that can be delivered quickly. The systems that deliver these expectations are by nature distributed, concurrent, and stochastic, and, as a result, increasingly difficult to manage. Unfortunately, the traditional hierarchical, strictly centralized approach to control used in these domains is characteristically inflexible, fragile, and difficult to maintain. These shortcomings have led to the development of a new class of manufacturing and supply-chain decision-making approaches in recent years. Solutions based on these approaches usually explore a set of highly distributed decision-making units that are capable of autonomous operations while cooperating interactively to resolve larger problems. The units, referred to as agents in classical computer science and software engineering, or holons if physically integrated with the manufacturing hardware, interact by exchanging information. These units are motivated by arriving at local solutions as well as collaborating and sharing resources and goals in solving the overall problem in question collectively.
Holomorphic Functions in the Plane and n-dimensional Space
Complex analysis nowadays has higher-dimensional analoga: the algebra of complex numbers is replaced then by the non-commutative algebra of real quaternions or by Clifford algebras. During the last 30 years the so-called quaternionic and Clifford or hypercomplex analysis successfully developed to a powerful theory with many applications in analysis, engineering and mathematical physics. This textbook introduces both to classical and higher-dimensional results based on a uniform notion of holomorphy. Historical remarks, lots of examples, figures and exercises accompany each chapter.
History of Semiconductor Engineering
In this book, the author argues that the group of inventors was much larger. This richly illustrated account is a personal recollection of the development of integrated circuits and personalities – such as Russell Ohl, Karl Lark-Horovitz, William Shockley, Carl Frosch, Lincoln Derick, Calvin Fuller, Kurt Lehovec. Jean Hoerni, Sheldon Roberts, Jay Last, Isy Haas, Bob Norman, Dave Allison, Jim Nall, Tom Longo, Bob Widlar, Dave Talbert, Frank Wanlass, and Federico Faggin. Here is the first comprehensive behind-the-scenes account of the history of the integrated circuit, the microelectronics industry, and the people closely involved in the development of the transistor and the integrated circuit.
Historical Seismology : Interdisciplinary Studies of Past and Recent Earthquakes
Modern seismology has faced new challenges in the study of earthquakes and their physical characteristics. This volume is dedicated to the use of new approaches and presents a state of the art in historical seismology. Selected historical and recent earthquakes are chosen to document and constrain related seismic parameters using updated methodologies in the macroseismic analysis, field observations of damage distribution and tectonic effects, and modelling of seismic waveforms. A critical re-evaluation of historical accounts and early seismograms provides us with the basis for a realistic seismic hazard assessment.
Historic construction and conservation : Materials, Systems and Damage
Takes a modern approach to the meaning of a heritage structure and its conservation. The historical evolution of conservation is briefly addressed, considering prominent individuals and cases; along with the history of construction, focusing on materials and related structural elements, with insight on the sizing rules adopted by masons. This explains structural decisions made during the construction process and allows comparison of scientific theories from the 18th century to modern understanding of limit analysis. Damage and collapse mechanisms for masonry construction, as the most widespread structural form for historical buildings, is described. Excess permanent loading and settlement is differentiated from environmental and anthropogenic actions such as earthquake or incorrect intervention.
H-infinity control for nonlinear descriptor systems
The authors present a study of the H-infinity control problem and related topics for descriptor systems, described by a set of nonlinear differential-algebraic equations. They derive necessary and sufficient conditions for the existence of a controller solving the standard nonlinear H-infinity control problem considering both state and output feedback. One such condition for the output feedback control problem to be solvable is obtained in terms of Hamilton–Jacobi inequalities and a weak coupling condition; a parameterization of output feedback controllers solving the problem is also provided. All of these results are then specialized to the linear case. The derivation of state-space formulae for all controllers solving the standard H-infinity control problem for descriptor systems is proposed. Among other important topics covered are balanced realization, reduced-order controller design and mixed H2/H-infinity control.
H-infinity control and estimation of state-multiplicative linear systems
This monograph embodies a comprehensive survey of the relevant literature with basic problems being formulated and solved by applying various techniques including game theory, linear matrix inequalities and Lyapunov parameter-dependent functions.
Hilbert-Huang Transform Analysis Of Hydrological And Environmental Time Series
The Hilbert-Huang Transform ((HHT) is a recently developed technique which is used to analyze nonstationary data. Hydrologic and environmental series are, in the main, analyzed by using techniques which were developed for stationary data. This has led to problems of interpretation of the results. Environmental and hydrologic series are quite often nonstationary. The basic objective of the material discussed in this book is to analyze these data by using methods based on the Hilbert-Huang transform. These results are compared to the results from the traditional methods such as those based on Fourier transform and other classical statistical tests.
Highway engineering : Planning, design, and operations ; 2nd ed.
Presents a clear and rigorous exposition of highway engineering concepts, including project development and the relationship between planning, operations, safety and highway types. The book includes important topics such as corridor selection and traverses, horizontal and vertical alignment, design controls, basic roadway design, cross section elements, intersection and interchange design, and the integration of new vehicle technologies and trends. It also presents end of chapter exercises to further aid understanding and learning. This edition has been fully updated with the current design policies and reference manuals essential for highway, transportation, and civil engineers who are required to work to these standards.
High-Speed Photodiodes in Standard CMOS Technology
High-speed Photodiodes in Standard CMOS Technology describes high-speed photodiodes in standard CMOS technology which allow monolithic integration of optical receivers for short-haul communication. For short haul communication the cost aspect is important , and therefore it is desirable that the optical receiver can be integrated in the same CMOS technology as the rest of the system. If this is possible then ultimately a singe-chip system including optical inputs becomes feasible, eliminating EMC and crosstalk problems, while data rate can be extremely high.
High-Resolution Methods for Incompressible and Low-Speed Flows
This book covers the basic techniques for simulating incompressible and low-speed flows with high fidelity in conjunction with high-resolution methods. This includes techniques for steady and unsteady flows with high-order time integration and multigrid methods.
