Structural Integrity of Aging AirplanesTaschenbuchvon Pin TongEAN: 9783642843662Einband: Kartoniert / BroschiertBeilage: BookAuflage: Softcover reprint of the original 1st ed. 1991Erscheinungsjahr: 2011Sprache: EnglischSeiten: 512Maße: 236 x 154 x 32
Structural Integrity of Aging Airplanes:Springer Series in Computational Mechanics. Softcover reprint of the original 1st ed. 1991.
Erscheinungsdatum: 21.12.2011Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: Structural Integrity of Aging AirplanesAuflage: Softcover reprint of the original 1st ed. 1991Redaktion: Atluri, Satya N. // Sampath, Sam G. // Tong, PinVerlag: S
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.
This volume presents new theoretical insights, practical strategies, and policy initiatives in the rapidly evolving field of global supply chain security. As businesses, governments, and society at large have become increasingly dependent on a global network to provide goods and services, protecting global supply chains has become an issue of vital importance for industries, nations, and regions. The supply chain encompasses all the links connecting a manufacturer to end users of its products. Links may take the form of plants, supplier warehouses, vendor facilities, ports or hubs, retail warehouses or facilities, and outbound shipping centers. Links also involve all the ways goods are moved-by truck, ship, airplane, or rail car. A great deal can go wrong in the supply chain due to company or systemic mismanagement and inefficiency, criminal activity, employee or technology errors, or terrorism, to name just a few of the threats. Then there are government regulation, industry or association oversight, and security agencies (both public and private) keeping track. Globalization, stricter security regimes, and increasingly sophisticated criminal activity have made cross-border cargo movements more complex, putting the integrity of end-to-end supply chains at much greater risk. This is why the security of the supply chain has become such an important issue for business people: there is too much at stake to let problems proliferate or stagnate. It has been estimated, for example, that thieves now steal $50 billion in goods each year from various points along the supply chain. Synthesizing the most current research, practical application, and policy, Global Supply Chain Security covers a range of emerging topics-from risk assessment to technology deployment to continuity planning-and will serve as a useful resource for anyone concerned with supply chain security issues, including scholars, students, business executives and policymakers.