Parallel Finite-Difference Time-Domain Method

The introduction of numerical methods, particularly finite element (FE) analysis, represents a significant advance in metal forming operations. Numerical methods are used increasingly to optimize product design and deal with problems in metal forging, rolling, and extrusion processes. Metal Forming Analysis, first published in 2001, describes the most important numerical techniques for simulating metal forming operations. The first part of the book describes principles and procedures and includes numerous examples and worked problems. The remaining chapters focus on applications of numerical analysis to specific forming operations. Most of these results are drawn from the authors' research in the areas of metal testing, sheet metal forming, forging, extrusion, and similar operations. Sufficient information is presented so that readers can understand the nonlinear finite element method as applied to forming problems without a prior background in structural finite element analysis. Gradu

Solving complex optimization problems with parallel metaheuristics Parallel Metaheuristics brings together an international group of experts in parallelism and metaheuristics to provide a much-needed

The major reason for the lack of use of parallel computing is the mismatch between the complexity and variety of parallel hardware, and the software development tools to program it. The cost of developing software needs to be amortised over decades, but the platforms on which it executes change every few years, requiring complete rewrites. The evident cost-effectiveness of parallel computation has not been realized because of this mismatch. This book presents an integrated approach to parallel software development by addressing both software and performance issues together. It presents a methodology for software construction that produces architecture-independent and intellectually abstract software. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract data types, and of objects. Categorical data types abstract both from the representation of a

The foundations of parallel computation, especially the efficiency of computation, are the concern of this book. Distinguished international researchers have contributed fifteen chapters which together form a coherent stream taking the reader who has little prior knowledge of the field to a position of being familiar with leading edge issues. The book may also function as a source of teaching material and reference for researchers. The first part is devoted to the Parallel Random Access Machine (P-RAM) model of parallel computation. The initial chapters justify and define the model, which is then used for the development of algorithm design in a variety of application areas such as deterministic algorithms, randomisation and algorithm resilience. The second part deals with distributed memory models of computation. The question of efficiently implementing P-RAM algorithms within these models is addressed as are the immensely interesting prospects for general purpose parallel computation

Naturalistic Hermeneutics, first published in 2005, proposes the position of the unity of the scientific method and defends it against the claim to autonomy of the human sciences. Mantzavinos shows how materials that are 'meaningful', more specifically human actions and texts, can be adequately dealt with by the hypothetico-deductive method, the standard method used in the natural sciences. The hermeneutic method is not an alternative method aimed at the understanding and the interpretation of human actions and texts, but it is the same as the hypothetico-deductive method applied to meaningful materials. The central thesis advocated by Mantzavinos is, thus, that there is no fundamental methodological difference between natural sciences, social sciences, and humanities. Advanced students and professionals across philosophy, social and political theory, and the humanities will find this a compelling and controversial book.

A picture dictionary with a difference! Using the tried and tested method of 'look, cover and speak', this fun language learning picture book is organised in popular themes like shopping, school, fami

A metaphysics professor offers a profound but accessible look at some of the most baffling puzzles of the universe, including time travel, parallel worlds, the edge of the universe, the mysteries of t

This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the

A dramatic new account of the parallel quests to harness time that culminated in the revolutionary science of relativity, Einstein's Clocks, PoincarAc's Maps is "part history, part science, part adve

Finite arrangements of convex bodies were intensively investigated in the second half of the twentieth century. Connections to many other subjects were made, including crystallography, the local theory of Banach spaces, and combinatorial optimisation. This book, the first one dedicated solely to the subject, provides an in-depth state-of-the-art discussion of the theory of finite packings and coverings by convex bodies. It contains various new results and arguments, besides collecting those scattered around in the literature, and provides a comprehensive treatment of problems whose interplay was not clearly understood before. In order to make the material more accessible, each chapter is essentially independent, and two-dimensional and higher-dimensional arrangements are discussed separately. Arrangements of congruent convex bodies in Euclidean space are discussed, and the density of finite packing and covering by balls in Euclidean, spherical and hyperbolic spaces is considered.

An important part of homological algebra deals with modules possessing projective resolutions of finite length. This goes back to Hilbert's famous theorem on syzygies through, in the earlier theory, free modules with finite bases were used rather than projective modules. The introduction of a wider class of resolutions led to a theory rich in results, but in the process certain special properties of finite free resolutions were overlooked. D. A. Buchsbaum and D. Eisenbud have shown that finite free resolutions have a fascinating structure theory. This has revived interest in the simpler kind of resolution and caused the subject to develop rapidly. This Cambridge Tract attempts to give a genuinely self-contained and elementary presentation of the basic theory, and to provide a sound foundation for further study. The text contains a substantial number of exercises. These enable the reader to test his understanding and they allow the subject to be developed more rapidly. Each chapter ends

This text presenting the mathematical theory of finite elements is organized into three main sections. The first part develops the theoretical basis for the finite element methods, emphasizing inf-sup

This accessible text covers the techniques of parallel programming in a practical manner that enables readers to write and evaluate their parallel programs. Supported by the National Science Foundatio

An Introductory Guide to Finite Element Analysis is written for engineers and scientists who want to understand the fundamental theory of finite element (FE) analysis and to learn how to analyse pract

A picture dictionary with a difference! Using the tried and tested method of 'look, cover and speak', this fun language learning picture book is organised in popular themes like shopping, school, fami

A picture dictionary with a difference! Using the tried and tested method of 'look, cover and speak', this fun language learning picture book is organised in popular themes like shopping, school, fami

A picture dictionary with a difference! Using the tried and tested method of 'look, cover and speak', this fun language learning picture book is organised in popular themes like shopping, school, fami

Parallel Algorithms for Regular Architectures is the first book to concentrate exclusively on algorithms and paradigms for programming parallel computers such as the hypercube, mesh, pyramid, and mesh

This book provides a basic, in-depth look at techniques for the design and analysis of parallel algorithms and for programming them on commercially available parallel platforms. Principles of parallel

This is the second volume in a two-volume set, which provides a complete self-contained proof of the classification of geometries associated with sporadic simple groups: Petersen and tilde geometries. The second volume contains a study of the representations of the geometries under consideration in GF(2)-vector spaces as well as in some non-abelian groups. The central part is the classification of the amalgam of maximal parabolics, associated with a flag transitive action on a Petersen or tilde geometry. The classification is based on the method of group amalgam, the most promising tool in modern finite group theory. Via their systematic treatment of group amalgams, the authors establish a deep and important mathematical result. This book will be of great interest to researchers in finite group theory, finite geometries and algebraic combinatorics.

This textbook introduces finite element analysis, moving gradually from simple concepts to more advanced theories. Practical matters are also discussed, including modeling for finite element analysis

The introduction of numerical methods, particularly finite element (FE) analysis, represents a significant advance in metal forming operations. Numerical methods are used increasingly to optimize product design and deal with problems in metal forging, rolling, and extrusion processes. Metal Forming Analysis, first published in 2001, describes the most important numerical techniques for simulating metal forming operations. The first part of the book describes principles and procedures and includes numerous examples and worked problems. The remaining chapters focus on applications of numerical analysis to specific forming operations. Most of these results are drawn from the authors' research in the areas of metal testing, sheet metal forming, forging, extrusion, and similar operations. Sufficient information is presented so that readers can understand the nonlinear finite element method as applied to forming problems without a prior background in structural finite element analysis. Gradu

A state-of-the-art guide for the implementation of distributed simulation technology.The rapid expansion of the Internet and commodity parallel computers has made parallel and distributed simulation (

Despite the interest in parallelism and parallel processing, there is a fundamental question that has remained largely unexplored, namely the question of how to design multiprograms (parallel programs

This textbook presents a systematic and unifying viewpoint for a wide class of nonlinear spectroscopic techniques in time domain and frequency domain. It is directed towards active researchers in phys

The focus of this book is the study of the noncommutative aspects of rings and modules, and the style will make it accessible to anyone with a background in basic abstract algebra. Features of interest include an early introduction of projective and injective modules; a module theoretic approach to the Jacobson radical and the Artin-Wedderburn theorem; the use of Baer's criterion for injectivity to prove the structure theorem for finitely generated modules over a principal ideal domain; and applications of the general theory to the representation theory of finite groups. Optional material includes a section on modules over the Weyl algebras and a section on Goldie's theorem. When compared to other more encyclopedic texts, the sharp focus of this book accommodates students meeting this material for the first time. It can be used as a first-year graduate text or as a reference for advanced undergraduates.

The focus of this book is the study of the noncommutative aspects of rings and modules, and the style will make it accessible to anyone with a background in basic abstract algebra. Features of interest include an early introduction of projective and injective modules; a module theoretic approach to the Jacobson radical and the Artin-Wedderburn theorem; the use of Baer's criterion for injectivity to prove the structure theorem for finitely generated modules over a principal ideal domain; and applications of the general theory to the representation theory of finite groups. Optional material includes a section on modules over the Weyl algebras and a section on Goldie's theorem. When compared to other more encyclopedic texts, the sharp focus of this book accommodates students meeting this material for the first time. It can be used as a first-year graduate text or as a reference for advanced undergraduates.

Partial differential equations arise in almost all areas of science, engineering, modeling, and forecasting. During the last two decades pseudospectral methods have emerged as successful alternatives to better known computational procedures, (e.g. finite difference and finite element methods of numerical solution), in several key application areas. These areas include computational fluid dynamics, wave motion, and weather forecasting. This book explains how, when and why this pseudospectral approach works. In order to make the subject accessible to students as well as researchers and engineers, the subject is presented using illustrations, examples, heuristic explanations, and algorithms rather than rigorous theoretical arguments. This book will be of interest to graduate students, scientists and engineers interested in applying pseudospectral methods to real problems.

This volume presents up-to-date research on finite geometries and designs, a key area in modern applicable mathematics. An introductory chapter discusses topics presented in each of the main chapters, and is followed by articles from leading international figures in this field. These include a discussion of the current state of finite geometry from a group-theoretical viewpoint, and surveys of difference sets and of small embeddings of partial cycle systems into Steiner triple systems. Also presented are successful searches for spreads and packing of designs, rank three geometries with simplicial residues and generalized quadrangles satisfying Veblen's Axiom. In addition, there are articles on new 7-designs, biplanes, various aspects of triple systems, and many other topics. This book will be a useful reference for researchers working in finite geometries, design theory or combinatorics in general.

This book is an introductory text on the combinatorial theory of finite geometry. It assumes only a basic knowledge of set theory and analysis, but soon leads the student to results at the frontiers of research. It begins with an elementary combinatorial approach to finite geometries based on finite sets of points and lines, and moves into the classical work on affine and projective planes. The next part deals with polar spaces, partial geometries, and generalised quadrangles. The revised edition contains an entirely new chapter on blocking sets in linear spaces, which highlights some of the most important applications of blocking sets from the initial game-theoretic setting to their recent use in cryptography. Extensive exercises at the end of each chapter ensure the usefulness of this book for senior undergraduate and beginning graduate students.

This book is an introductory text on the combinatorial theory of finite geometry. It assumes only a basic knowledge of set theory and analysis, but soon leads the student to results at the frontiers of research. It begins with an elementary combinatorial approach to finite geometries based on finite sets of points and lines, and moves into the classical work on affine and projective planes. The next part deals with polar spaces, partial geometries, and generalised quadrangles. The revised edition contains an entirely new chapter on blocking sets in linear spaces, which highlights some of the most important applications of blocking sets from the initial game-theoretic setting to their recent use in cryptography. Extensive exercises at the end of each chapter ensure the usefulness of this book for senior undergraduate and beginning graduate students.

The theory of finite fields is a branch of algebra that has come to the fore because of its diverse applications in such areas as combinatorics, coding theory and the mathematical study of switching ciruits. This book is devoted entirely to the theory of finite fields, and it provides comprehensive coverage of the literature. Bibliographical notes at the end of each chapter give an historical survey of the development of the subject. Worked-out examples and lists of exercises found throughout the book make it useful as a text for advanced-level courses.

A hands-on introduction to parallel programming based on the Message-Passing Interface (MPI) standard, the de-facto industry standard adopted by major vendors of commercial parallel systems. This tex

This substantial revision of the text Numerical Solution of Partial Differential Equations by the Finite Element Method by C. Johnson is a two volume introduction to the computational solution of differential equations using a unified approach organised around the adaptive finite element method. It presents a synthesis of mathematical modelling, analysis and computation. It provides the student with theoretical and practical tools useful for addressing the basic questions of computational mathematical modelling in science and engineering: How to model physical phenomena using differential equations? What are the properties of solutions of differential equations? How to compute solutions in practice? How to estimate and control the accuracy of computed solutions? The first volume begins by developing the basic issues at an elementary level in the context of a set of model problems in ordinary differential equations. The second volume extends the scope to nonlinear differential equations

Parallel-Algorithms for Regular Architectures is the first book to concentrate exclusively on algorithms and paradigms for programming parallel computers such as the hypercube, mesh, pyramid, and mesh

This text provides a succinct introduction to basic electric circuit analysis with balanced emphasis on time domain and frequency domain methods. The fifth edition has retained the format and features

This text provides a succinct introduction to basic electric circuit analysis with balanced emphasis on time domain and frequency domain methods. The fifth edition has retained the format and features

This book sets out the principles of parallel computing in a way which will be useful to student and potential user alike. It includes coverage of both conventional and neural computers. The content of the book is arranged hierarchically. It explains why, where and how parallel computing is used; the fundamental paradigms employed in the field; how systems are programmed or trained; technical aspects including connectivity and processing element complexity; and how system performance is estimated (and why doing so is difficult). The penultimate chapter of the book comprises a set of case studies of archetypal parallel computers, each study written by an individual closely connected with the system in question. The final chapter correlates the various aspects of parallel computing into a taxonomy of systems.

Sporadic Groups is the first step in a programme to provide a uniform, self-contained treatment of the foundational material on the sporadic finite simple groups. The classification of the finite simple groups is one of the premier achievements of modern mathematics. The classification demonstrates that each finite simple group is either a finite analogue of a simple Lie group or one of 26 pathological sporadic groups. Sporadic Groups provides for the first time a self-contained treatment of the foundations of the theory of sporadic groups accessible to mathematicians with a basic background in finite groups such as in the author's text Finite Group Theory. Introductory material useful for studying the sporadics, such as a discussion of large extraspecial 2-subgroups and Tits' coset geometries, opens the book. A construction of the Mathieu groups as the automorphism groups of Steiner systems follows. The Golay and Todd modules, and the 2-local geometry for M24 are discussed. This is fo

This 1994 text covers finite linear spaces. It contains all the important results that had been published up to the time of publication, and is designed to be used not only as a resource for researchers in this and related areas, but also as a graduate-level text. In eight chapters the authors introduce and review fundamental results, and go on to cover the major areas of interest in linear spaces. A combinatorial approach is used for the greater part of the book, but in the final chapter recent advances in group theory relating to finite linear spaces are presented. At the end of each chapter there is a set of exercises which are designed to test comprehension of the material, and there is also a section of problems for researchers. It will be an invaluable book for researchers in geometry and combinatorics as well as forming an excellent text for graduate students.