Computer Performance Engineering

This 1997 book is an introduction to the application of computer simulation and theory in the study of the interaction of energetic particles (

Protein chemistry has entered a revolutionary era due to the introduction of genetic engineering for modifying protein structure, as well as the application of advanced computer technology to the stud

Modern Technology . . . or Knowledge of the Ancients? Space travel . . . Genetic engineering . . . Computer science . . . Astounding achievements as new as tomorrow. But stunning recent evidence pr

This book explores the many engineering and architectural aspects of submarine design and how they relate to each other and the operational performance required of the vessel. Concepts of hydrodynamics, structure, powering and dynamics are explained, in addition to architectural considerations which bear on the submarine design process. The interplay between these aspects of design is given particular attention, and a final chapter is devoted to the generation of the concept design for the submarine as a whole. Submarine design makes extensive use of computer aids, and examples of algorithms used in concept design are given. The emphasis in the book is on providing engineering insight as well as an understanding of the intricacies of the submarine design process. It will serve as a text for students and as a reference manual for practising engineers and designers.

Schemas in Problem Solving explores a theory of schema development and studies the applicability of the theory as a unified basis for understanding learning, instruction and assessment. The theory's prescriptions for teaching are direct, and its application to assessment suggests new directions for tests. After examining the roots of the theory in earlier work by philosophers and psychologists, Marshall illustrates the main features of her theory with experimental evidence from students who are learning to recognize and solve arithmetic story problems. She describes individual performance with traditional empirical studies as well as computer simulation. The computer simulation reflects an approach in modelling cognition. Marshall's model links neural networks with symbolic systems to form a hybrid model that uses pattern matching of sets of features as well as logical step-by-step rules.

This book is an up-to-date introduction to the quantum theory of measurement, a fast developing field of intense current interest to scientists and engineers for its potential high technology applications. It is also a subject of importance to students for its central role in the foundations of quantum mechanics. Although the main principles of the field were elaborated in the 1930s by Bohr, Schrödinger, Heisenberg, von Neumann and Mandelstam, it was not until the 1980s that technology became sufficiently advanced to allow its application in real experiments. Quantum measurement is now central to many ultra-high technology developments, such as squeezed light, single atom traps, and searches for gravitational radiation. It is also considered to have great promise for computer science and engineering, particularly for its applications in information processing and transfer. The book contains a pedagogical introduction to the relevant theory written at a level accessible to those with on

Markov chains are an important idea, related to random walks, which crops up widely in applied stochastic analysis. They are used, for example, in performance modelling and evaluation of computer networks, queuing networks, and telecommunication systems. The main point of the present book is to provide methods, based on the construction of Lyapunov functions, of determining when a Markov chain is ergodic, null recurrent, or transient. These methods can also be extended to the study of questions of stability. Of particular concern are reflected random walks and reflected Brownian motion. The authors provide not only a self-contained introduction to the theory but also details of how the required Lyapunov functions are constructed in various situations.

Excellence in observation is crucial to astronomy. Optical designers, engineers and astronomers have tried all kinds of novel ways to improve telescope design, in the quest for better and more accurate telescopes. In this book, Peter L. Manly surveys more than 150 unusual telescope designs. They are all built by amateur and professional astronomers to suit some special need. This survey includes an inflatable telescope, and one with a liquid mirror. Every so often, a neglected design comes back into fashion: the largest telescopes now under construction use the alt-azimuth design that was ignored for over a century, and liquid mirror telescopes can be used for zenithal astronomy. The author shows why a particular engineering approach makes each telescope unique, and explains the rationale behind the design. The effects on telescope performance are also discussed where possible. This is not just a collection of weird and wonderful devices that proved to be false starts: the author inclu

Leveson (computer science and engineering, U. of Washington) summarizes what is known about the safety of electromechanical systems, particularly those operated or monitored by computer. Emphasizing t

Using examples and illustrations from chemistry, physics, mathematics,computer science, and engineering, this helpful guide gives readers simple step-by-step procedures for keeping lab notebooks and w

The authors present a relatively simple, computer-oriented, general and unified approach to the analysis of metallic antennas and scatterers (of electrically small and medium sizes), based largely on

This book provides a brief but thorough account of the basic principles of good pump design. The first three chapters present the basic hydraulic equations, including cavitation, and discuss the principles that underlie the correct performance of the impeller and casing of centrifugal pumps and the blading of axial machines. The fourth chapter outlines analytical methods for flow calculations, including special techniques used in computer aided design. The following two chapters work through two examples: the impeller and casing of a simple volute type centrifugal pump; and an axial flow pump impeller. Shafts, bearings, seals and drives are discussed in a separate chapter. The last two chapters deal with design for difficult fluids, and codes and practices.

This book is devoted to describing the theory, design, performance and application of microwave horns and feeds for reflectors. The first general treatment of feeds for reflector antennas, it describe

A textbook for sophomores and juniors in engineering, science, mathematics, and computer science, or sourcebook for practicing engineers and scientists who need to use numerical analysis to solve prob

The two volumes that comprise this work provide a comprehensive guide and source book on the marine use of composite materials. This second volume, Practical Considerations, examines how the theory can be used in the design and construction of marine structures, including ships, boats, offshore structures and other deep-ocean installations. Areas covered in this second volume include design, the role of adhesives, fabrication techniques and operational aspects such as response to slam loads and fatigue performance. The final three chapters of the book cover regulatory aspects of design, quality and safety assessment and management and organisation. These volumes will provide an introduction to this important and fast-growing area for students and researchers in naval architecture and maritime engineering. It will also be of value to practising engineers as comprehensive reference book.

"Devices enormously smaller than before will remodel engineering, chemistry, medicine, and computer technology. How can we understand machines that are so small? Nanosystems covers it all: power and s

This book is an up-to-date introduction to the quantum theory of measurement, a fast developing field of intense current interest to scientists and engineers for its potential high technology applications. It is also a subject of importance to students for its central role in the foundations of quantum mechanics. Although the main principles of the field were elaborated in the 1930s by Bohr, Schrödinger, Heisenberg, von Neumann and Mandelstam, it was not until the 1980s that technology became sufficiently advanced to allow its application in real experiments. Quantum measurement is now central to many ultra-high technology developments, such as squeezed light, single atom traps, and searches for gravitational radiation. It is also considered to have great promise for computer science and engineering, particularly for its applications in information processing and transfer. The book contains a pedagogical introduction to the relevant theory written at a level accessible to those with on

Provides a foundation of engineering principles and analytical methods to explain the performance of an automotive vehicle. Chapters focus on acceleration performance, braking performance, aerodynamic

In this 1991 book, Hilbers discusses the general case of how to use processors simultaneously in order to solve a single problem rather than any specific application, and develops a theory independent of particular architectures. He starts by introducing distributed computing with graph theory, and considers processor networks and their price/performance ratios. He goes on to look at obtaining homogeneous distributions of work over networks and considers examples. Finally he discusses message routing within a processor network. This is intended to be a fundamental treatment of the relevant subjects and is aimed at computer scientists and graduate students in computer science who have experience with parallel processing: it will also be useful to others interested in processor networks.

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

Computing developed as a branch of mathematics, only to drift away from this home as computer science diverged towards more general topics such as the theory of how a computer works. Recently the emphasis has become more mathematical and the new disciplines of software engineering and information technology have emerged. This book is designed to form the basis of a one year course in discrete mathematics for first year computer scientists or software engineers. The material presented covers much of undergraduate algebra with a particular bias towards the computing applications. Topics covered include mathematical logic, set theory, finite and infinite relations and mappings, graphs, graphical algorithms and axiom systems. It concludes with implementations of many of the algorithms in Modula-2 to illustrate how the mathematics may be turned into concrete calculations. Numerous examples and exercises are included with selected solutions to the problems appearing in the appendix. Discrete

Human factors is one of the critical issues in Information Technology, as industry realizes the need to change from technology-oriented goals to meet the demands of computer users. Human factors can help to improve Informatics Usability for real people, and to reduce the huge people-costs of human machine interactions. This book has been developed from lectures given at an Advanced Study course, sponsored by the European Science and Technology Research Committee of the Commission of the European Communities (CREST), and by the Science and Engineering Research Council (SERC) of the UK. It has three objectives: 1. To review the knowledge and methods available from the field of human factors for improving the usability of informatics systems; 2. To describe recent theoretical and methodological developments in the area; 3. To stimulate increased application of this expertise.

This book introduces the reader to methods of selecting materials for engineering applications. With the rapid growth in the variety of manufacturing materials available, the choice of the optimum material for an engineering design is of increasing importance and difficulty. Materials have to be chosen that satisfy several, often conflicting, criteria including strength, durability, flammability, and cost. The author, an acknowledged expert on materials, provides a guide to many of the classes of engineering materials currently available. He includes tables and lists of standards, along with lists of consultants' addresses and references. Materials covered include metals, ceramics, polymers, and composites, and there are chapters on surface finishes, materials' performance, and the impact of manufacturing processes on design possibilities.

This outstanding collection is designed to address the fundamental issues and principles underlying the task of Artificial Intelligence. The editors have selected not only papers now recognized as classics but also many specially commissioned papers which examine the methodological and theoretical foundations of the discipline from a wide variety of perspectives: computer science and software engineering, cognitive psychology, philosophy, formal logic and linguistics. Carefully planned and structured, the volume tackles many of the contentious questions of immediate concern to AI researchers and interested observers. Is Artificial Intelligence in fact a discipline, or is it simply part of computer science? What is the role of programs in AI and how do they relate to theories? What is the nature of representation and implementation, and how should the challenge of connectionism be viewed? Can AI be characterized as an empirical science? The comprehensiveness of this collection is furthe

This rigorous and practical account of the interpretation of mutagenicity test data draws upon the expertise of toxicologists and statisticians. Chemicals, such as drugs, food additives and pesticides, all need careful screening to eliminate potentially mutagenic compounds. Although guidelines exist on the performance of these tests, advice on data evaluation is scarce; this volume provides the statistical background necessary for toxicologists to understand, design and interpret mutagenicity tests. In addition to the nine chapters dealing with the different tests employed, there is an introductory chapter on some of the statistical principles involved, a glossary of useful terms and an appendix providing vital information on the availability of computer software. A large team of contributors and editors working under the auspices of the United Kingdom Environmental Mutagen Society (UKEMS) have contributed a wealth of first-hand experience in compiling this immensely practical book of

First published in 1961 this monograph deals with the analysis of unsteady lift distributions of thin oscillating wings at transonic speeds. Such distributions are needed for the prediction of flutter, which tends to occur more frequently at speeds near that of sound than in any other speed regime. This book emphasises analytical methods that treat the linearised problem for simple wing planforms such as rectangular and delta wings. There is a thorough discussion of the limitations of the validity of linearised theory as well as the proper boundary conditions to be applied for the case of flows with shocks. Although the standard approach in engineering practice is to sense transonic flow calculations with the aid of direct numerical simulations on a high-speed computer, the treatment in this classic monograph is still of value in the physical insight it provides and in the reference 'exact' solutions it supplies for simplified cases that may serve as validation cases for complicated co

Based on the International Commission on Mathematical Instruction conference held in early 1987, this volume consists of a number of key papers presented by international authorities on the role of mathematics in applied subjects, such as engineering, computer science, and mathematical modelling. The importance of certain mathematical ideas, such as geometry and discrete mathematics is stressed, as well as the more classical methods. The book includes a long article by the editor synthesising some of the main themes and trends debated at the conference.

This book is a self-contained introduction to the theory of atomic motion in proteins and nucleic acids. An understanding of such motion is essential because it plays a crucially important role in biological activity. The authors, both of whom are well known for their work in this field, describe in detail the major theoretical methods that are likely to be useful in the computer-aided design of drugs, enzymes and other molecules. A variety of theoretical and experimental studies is described and these are critically analyzed to provide a comprehensive picture of dynamic aspects of biomolecular structure and function. The book will be of interest to graduate students and research workers in structural biochemistry (X-ray diffraction and NMR), theoretical chemistry (liquids and polymers), biophysics, enzymology, molecular biology, pharmaceutical chemistry, genetic engineering and biotechnology.

This is an advanced text for the one- or two-semester course in analysis taught primarily to math, science, computer science, and electrical engineering majors at the junior, senior or graduate level

This is a textbook written for mechanical engineering students at first-year graduate level. As such, it emphasizes the development of finite element methods used in applied mechanics. The book starts with fundamental formulations of heat conduction and linear elasticity and derives the weak form (i.e. the principle of virtual work in elasticity) from a boundary value problem that represents the mechanical behaviour of solids and fluids. Finite element approximations are then derived from this weak form. The book contains many useful exercises and the author appropriately provides the student with computer programs in both BASIC and FORTRAN for solving them. Furthermore, a workbook is available with additional computer listings, and also an accompanying disc that contains the BASIC programs for use on IBM-PC microcomputers and their compatibles. Thus the usefulness and versatility of this text is enhanced by the student's ability to practise problem solving on accessible microcomputers

This is a textbook on graph theory, especially suitable for computer scientists but also suitable for mathematicians with an interest in computational complexity. Although it introduces most of the classical concepts of pure and applied graph theory (spanning trees, connectivity, genus, colourability, flows in networks, matchings and traversals) and covers many of the major classical theorems, the emphasis is on algorithms and thier complexity: which graph problems have known efficient solutions and which are intractable. For the intractable problems a number of efficient approximation algorithms are included with known performance bounds. Informal use is made of a PASCAL-like programming language to describe the algorithms. A number of exercises and outlines of solutions are included to extend and motivate the material of the text.

Chemical reaction engineering has as its objective the taking of desired reaction processes from the laboratory to the full-scale production plant. From its early roots in applied chemistry, it started expanding in the 1950s, since when there has been a substantial growth of the subject as a result of much research in universities and industry. In this 1984 third edition of their established textbook, Professors Denbigh and Turner present a fascinating account of the subject, reflecting these changes. The authors have retained their primary aim of giving the reader a sense of orientation within the subject. The design and operation of industrial reactors nowadays requires computer skills, but such computation must be based on a firm grasp of the principles of chemical reaction engineering. The text was written primarily for undergraduate students of chemical engineering, however, there are selections of references enabling all interested readers to find their way into the literature.

To perform computer simulation successfully, two rather different sets of skills are required. One of these relates to programming: a simulation program should do what its author intends and do it efficiently. The other is concerned with the collection and analysis of data: statistical tools have to be used in order to obtain with a minimum of effort, accurate and reliable estimates for the desired performance measures. Dr Mitrani covers both of these aspects of the simulation method. The important topics of point and interval estimation, simulation efficiency and the analysis of simulation experiments are discussed in detail. This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of computer science, operations research and statistics in universities and polytechnics. It will be of benefit also to practitioners in the field.

For a wide variety of Web Programming, XHTML, and JavaScript courses found in Computer Science, CIS, MIS, IT, Business, Engineering, and Continuing Education departments.Internet and World Wide Web Ho