Applied state estimation and association is an important area for practicing engineers in aerospace, electronics, and defense industries, used in such tasks as signal processing, tracking, and navigation. This book offers a rigorous introduction to both theory and application of state estimation and association. It takes a unified approach to problem formulation and solution development that helps students and junior engineers build a sound theoretical foundation for their work and develop skills and tools for practical applications.
This book addresses an often-neglected aspect of the creation of VHDL designs. A VHDL description is also source code, and VHDL designers can use the best practices of software development to write high-quality code and to organize it in a design. This book presents this unique set of skills, teaching VHDL designers of all experience levels how to apply the best design principles and coding practices from the software world to the world of hardware.
In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls “lightweight formal methods” or “agile modeling”—takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback.
The Department of Defense and the military continually grapple with complex scientific, engineering, and technological problems. Defense systems analysis offers a way to reach a clearer understanding of how to approach and think about complex problems. It guides analysts in defining the question, capturing previous work in the area, assessing the principal issues, and understanding how they are linked.
Our increasingly integrated world relies on networks both physical and virtual to transfer goods and information. The Internet is a network of networks that connects people around the world in a real-time manner, but it can be disrupted by massive data flows, diverse traffic patterns, inadequate infrastructure, and even natural disasters and political conflict. Similar challenges exist for transportation and energy distribution networks.
A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.
The advent of widespread fast computing has enabled us to work on more complex problems and to build and analyze more complex models. This book provides an introduction to one of the primary methodologies for research in this new field of knowledge. Agent-based modeling (ABM) offers a new way of doing science: by conducting computer-based experiments. ABM is applicable to complex systems embedded in natural, social, and engineered contexts, across domains that range from engineering to ecology.
Ultrawideband phased array antennas are an enabling technology for many ground-based and airborne communications and radar systems. This book surveys electromagnetic theory and phased array antenna theory and provides examples of ultrawideband phased array antenna technology. It describes some of the research on ultrawideband phased arrays undertaken by the authors and their colleagues at MIT Lincoln Laboratory over the last ten years.
We now know that there is much more to classical mechanics than previously suspected. Derivations of the equations of motion, the focus of traditional presentations of mechanics, are just the beginning. This innovative textbook, now in its second edition, concentrates on developing general methods for studying the behavior of classical systems, whether or not they have a symbolic solution. It focuses on the phenomenon of motion and makes extensive use of computer simulation in its explorations of the topic.
Why do people who perform largely the same type of work make different technology choices in the workplace? An automotive design engineer working in India, for example, finds advanced information and communication technologies essential, allowing him to work with far-flung colleagues; a structural engineer in California relies more on paper-based technologies for her everyday work; and a software engineer in Silicon Valley operates on multiple digital levels simultaneously all day, continuing after hours on a company-supplied home computer and network connection.