|
|
 |
|
 |
|
|
3. Introduction
to Mathematics of Satisfiability / Victor W. Marek : Chapman & Hall,
2009
Abstract :
Although this area has a history of over 80 years, it was not until
the creation of efficient SAT solvers in the mid-1990s that it became
practically important, finding applications in electronic design
automation, hardware and software verification, combinatorial
optimization, and more. Exploring the theoretical and practical
aspects of satisfiability,
Introduction to Mathematics of Satisfiability focuses on the
satisfiability of theories consisting of propositional logic formulas.
It describes how SAT solvers and techniques are applied to problems in
mathematics and computer science as well as important applications in
computer engineering.
The book first deals with logic fundamentals, including the syntax
of propositional logic, complete sets of functors, normal forms, the
Craig lemma, and compactness. It then examines clauses, their proof
theory and semantics, and basic complexity issues of propositional
logic. The final chapters on knowledge representation cover finite
runs of Turing machines and encodings into SAT. One of the pioneers of
answer set programming, the author shows how constraint satisfaction
systems can be worked out by satisfiability solvers and how answer set
programming can be used for knowledge representation.
|
|
|
|
|
|
|
|
|
|
.
4.High
Power Microwaves, Second Edition (Series on Plasma Physics)/
James Benford
et al. : Taylor & Francis , 2007
Abstract :
The first edition of High Power
Microwaves was considered to be the defining book for this field. Not
merely updated but completely revised and rewritten, the second edition
continues this tradition. Written from a systems perspective, the book
provides a unified, coherent presentation of the fundamentals in this
rapidly changing field. The presentation is broad and introductory, with
the flavor of a survey, yet not elementary. The authors cover all the
major types of microwave sources, their distinguishing features, and
primary research issues, and the fundamental limits on performance.
What’s new in the second edition:
• Coverage of HPM systems with a detailed example called
SuperSystem
• A survey of a class of high power radiators, with very
different technologies and applications, that has fully emerged since
the first edition
• New HPM formulary contains a handy compilation of
frequently used rules of thumb and formulas
The book outlines historical trends that have led to the
development of HPM and compares the capabilities of HPM to those of
conventional microwaves. It divides the field into two sectors:
applications driven and technology driven, and address both
perspectives. Starting from the applications of HPM, the book reviews
microwave fundamentals, enabling technologies, and the equipment and
facilities surrounding the sources in which microwaves are generated.
The authors conclude with coverage of ultrawideband technologies and
the major source groups.
|
|
|
|
|
|
|
|
|
|
5. Corrosion
Control in the Aerospace Industry /
S. Benavides
: CRC , 2009
Abstract :
Corrosion
control in the aerospace industry is an issue that has always been
important, but is becoming more so with the ageing of the aircraft
fleet. Corrosion can lead to non-availability of aircraft and in
extreme cases catastrophic failure. As aircraft age, they are
subjected to corrosive environments over longer periods, far beyond
initial design considerations. The first part of this important book
reviews ageing aircraft and the cost of corrosion. A second group of
chapters discusses corrosion fundamentals and part three examines
corrosion monitoring, evaluation and prediction. A final section
analyzes methods of corrosion protection and prevention.
|
|
|
|
|
|
|
|
|
6 .Aviation
Psychology and Human Factors
/
Monica
Martinussen
and David R Hunter
: CRC ,2009
Abstract :
While it is true that fortune favors the prepared
mind, in the field of aviation, it may be equally true that misfortune
often punishes an unprepared mind. To be fully prepared, pilots must
have comprehensive knowledge of weather, aerodynamics, propulsion,
navigation, and all the other technical disciplines. However, they
must also have a comprehensive understanding of the component that is
simultaneously the most fragile and most resilient, the most
unreliable and the most adaptable—the human being.
Aviation Psychology and Human Factors
explores the application of psychological principles and techniques to
the specific situations and problems of aviation. It provides a
complete overview of the role of psychology in the field of aviation.
The authors address the contribution of psychology in the design of
aviation systems, the selection and training of pilots, the
psychological characteristics of pilots that may relate to aviation
safety, and to the behavior of passengers. They cover key concepts of
psychological research and data analysis at a depth that fosters a
greater appreciation of how these tools are used in the development of
new psychological knowledge.
A keener understanding of aviation psychology will
better prepare pilots for the demands that aviation will make. While
many books cover this subject for psychologists, very few, if any
present the material to pilots. With balanced coverage that makes the
material accessible to both, this book makes pilots aware of the
positive impact psychology and its application can have on improving
aviation operations, providing specific information that pilots can
use in their daily operations. It gives psychologists a better
understanding of how their discipline is applied to aviation, while
giving pilots the tools to better evaluate and implement future
products in the field of aviation psychology.
|
|
|
| |
|
|
|
|
|
|
7.Advances
in Water Science Methodologies
/
U. Aswathanarayana
: Taylor &
Francis,
2005
Abstract :
Advances in
Water Science Methodologies addresses ways and means of using remote
sensing data to elucidate the interactions between the atmospheric,
oceanic and hydrological processes. Various water-related
applications, such as water resources management, environmental
monitoring, climate prediction, agriculture, preparation for and
mitigation of extreme weather events, are characterized by widely
varying requirements of spatial, temporal, and spectral resolutions of
the remotely sensed data. This book is composed with great care to
deal with the appropriate data assimilation methodologies and
technology transfer practices, to cover different dimensions of the
subject area and to identify potential growth areas of remote sensing
applications. By linking with cognate subjects, such as data
management and geomorphology, and with the support of two case
histories of water resource management, dealing with water harvesting
and water pollution, a fuller picture of the subject area is provided.
The book is intended for university students and professionals in the
area of remote sensing, water sciences and technologies, earth and
environmental sciences and related areas.
|
|
|
|
|
|
|
|
|
|
|
|
8.Mathematical
Methods for Accident Reconstruction: A Forensic Engineering
Perspective
/
Harold Franck
and Darren Franck : CRC ,
2009
Abstract :
Over the past 25 years, Harold and Darren Franck have investigated
hundreds of accidents involving vehicles of almost every shape, size,
and type imaginable. In Mathematical
Methods for Accident Reconstruction: A Forensic Engineering
Perspective, these seasoned experts demonstrate the
application of mathematics to modeling accident reconstructions
involving a range of moving vehicles, including automobiles, small and
large trucks, bicycles, motorcycles, all-terrain vehicles, and
construction equipment such as hoists and cranes.
The book is anchored on basic principles of physics that may be
applied to any of the above-named vehicles or equipment. Topics
covered include the foundations of measurement, the various energy
methods used in reconstruction, momentum methods, vehicle
specifications, failure analysis, geometrical characteristics of
highways, and softer scientific issues such as visibility, perception,
and reaction.
The authors examine the fundamental characteristics of different
vehicles, discuss the retrieval of data from crash data recorders, and
review low speed impacts with an analysis of staged collisions.
Finally, the book details standards and protocols for accident
reconstruction.
Exploring a broad range of accident scenarios and also
acknowledging the limits of applicability of the various physical
methods employed, the breadth and depth of the book’s coverage makes
it a critical reference for engineers and scientists who perform
vehicular accident reconstructions. |
|
|
|
|
|
|
|
9 .Synthesis
Gas Combustion: Fundamentals and Applications
/Tim Lieuwen et al.
: CRC ,2009
Abstract :
Coal, still used to generate more than
half of the electric power in the U.S., will likely be part of any future
global energy plan. But this finite resource is also responsible for 80
percent of the CO2 emissions from power production, and its continued use
will require improved processing techniques that are less damaging to the
environment and less costly. One viable option is the use of "clean coal"
energy conversion devices that rely on the combustion of gasified coal,
referred to as synthesis gas, or syngas.
Synthesis Gas Combustion: Fundamentals and Applications
presents work from leading combustion authorities who offer their
perspectives on various energy and environmental issues linked to the
development of syngas and hydrogen combustion. This volume summarizes
the current understanding of syngas, focusing first on combustion
fundamentals and then on issues specific to application and
utilization in fuel cells, internal combustion engines, and
steady-flowing combustion devices such as gas turbines or boilers. In
discussing syngas production, this book details the technical issues
and trade-offs that influence fuel composition. It also explores
combustion fundamentals of "clean coal" technologies, including
chemical kinetics, flame properties, and emissions.
Governments and companies around the world are devoting significant
resources to improve understanding of the combustion of coal and
bio-derived synthesis gases, to maximize the benefits of gasification
technology and limit CO2 emissions. This valuable reference provides
state-of-the-art context and technical information needed to develop
clean energy systems. These include clean coal technologies, hydrogen
and liquid fuel production, use of biomass feedstocks, and usage in
fuel cells and other advanced power generation technologies. |
|
|
|
|
|
|
|
10.Image
Acquisition and Processing with LabVIEW
/
Christopher : CRC,
2003
Abstract : Image
Acquisition and Processing With LabVIEWä combines the general theory of
image acquisition and processing, the underpinnings of LabVIEW and the NI
Vision toolkit, examples of their applications, and real-world case
studies in a clear, systematic, and richly illustrated presentation.
Designed for LabVIEW programmers, it fills a significant gap in the
technical literature by providing a general training manual for those new
to National Instruments (NI) Vision application development and a
reference for more experienced vision programmers.
A CD-ROM packaged with the book contains libraries of the example images
and code referenced in the text, additional technical white papers, a
demonstration version of LabVIEW 6.0, and an NI IMAQ demonstration that
guides you through its features.
System Requirements: Using the code provided on the CD-ROM requires
LabVIEW 6.1 or higher and LabVIEW Vision Toolkit 6.1 or higher. Some of
the examples also require IMAQ Vision Builder 6.1 or higher, the IMAQ OCR
toolkit, and IMAQ 1394 drivers.
|
|
|
|
|
|
Updated by ShuhadahAnuar |
