Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Engineering --- Mechanical Engineering --- Aerospace and Aeronautics --- Aeronautics --- Aeronautics. --- Aerostation --- Air navigation --- Aviation --- Communication and traffic --- Aerodynamics --- Airships --- Astronautics --- Balloons --- Flight --- Flying-machines --- ruimtewetenschap --- space science --- ruimtevlucht --- space flight --- astronomie --- astronomy --- luchtvaartuig --- aircraft --- aerodynamics --- Astronomy --- Astronomie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Prix de Thèse 2010 de la Chancellerie des Universités de Paris. Voyageurs en songe ou en extase, explorateurs de lunes et de paradis, curieux portés par les ailes de l'esprit, sorcières et démons voyageurs, chevaliers parcourant le monde à bord d’hippopotames volants... La Renaissance est riche en récits et rêveries d’envol, comme le montre cette «pré-histoire» inédite du voyage aérien, qui s’achève (et non débute) avec les fictions lunaires du premier XVIIe siècle. Accordant une large place aux héritages antiques et médiévaux, l’étude explore le champ de la fiction narrative française et européenne ainsi que celui des discours savants abordant la question du vol et de l’élévation (cosmographie, astronomie, magie, démonologie, etc.). Ainsi se révèle, dans ce dialogue entre littérature et savoirs, la vigueur de l’imaginaire du vol à la Renaissance et la richesse des récits d’élévation, ces fictions du décentrement par excellence, qui permettent de dominer la Terre du regard comme d’imaginer des mondes «excentriques». Fables superlatives, les récits de voyages aériens invitent également à interroger les conceptions renaissantes de la fiction romanesque et du vraisemblable, dont ils constituent un cas privilégié de la mise à l’épreuve.

Comparative literature --- Thematology --- anno 1500-1599 --- anno 1400-1499 --- Europe --- Flight in literature --- Travel in literature --- European literature --- History and criticism --- Flight in literature. --- Travel in literature. --- Fliegen (Motiv) --- Flugreise (Motiv) --- Literatur. --- History and criticism. --- Geschichte 1500-1600. --- Fliegen (Motiv). --- Flugreise (Motiv). --- Voyages and travels in literature --- European literature - Renaissance, 1450-1600 - History and criticism --- Littérature --- Récits de voyages --- Démonologie --- Diable --- Aérostation --- 1500-1800 --- Dans la littérature --- Renaissance --- Thèmes, motifs

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The stratosphere is the highest layer of Earth's atmosphere where aircraft can still fly. The density of the air is just high enough here to generate lift on a wing or buoyancy on a balloon, so designing any stratospheric aircraft is a delicate technological balancing act for the engineer. Designing and operating an aircraft capable of conveying humans to the stratosphere is more challenging still: biologically, we simply do not belong up there. Temperatures often as low as -80C (-112F) and an ambient pressure rapidly diminishing with altitude make for an extremely forbidding environment. In fact, as we pass 50 000 feet (the lower end of Concorde's cruising altitude range), we enter the space equivalent zone - from a physiological point of view we might as well be in low Earth orbit.   The fact that stratospheric flight is possible at all - moreover, even safe and economical, at least in the lower stratosphere - is made possible by some relatively recent advances in our understanding of the science of high altitude flight. This book charts some of these developments; at the same time, it is a catalog of ways in which the stratosphere can catch out even the well-prepared flyer. Naturally, the failures of early explorers have signposted many of these dangers, but, as regular news headlines and the series of vignettes that punctuate the book illustrate, the learning curve has not levelled off, it has merely become shallower. Stratospheric flight is still aviation at the limit.

Aeronautics. --- Mesosphere. --- Stratosphere. --- Tropics -- Climate. --- Aeronautics --- Stratosphere --- Altitude, Influence of --- Aerothermodynamics --- Mechanical Engineering --- Engineering & Applied Sciences --- Aeronautics Engineering & Astronautics --- Research --- Stratopause --- Aerostation --- Air navigation --- Aviation --- Engineering. --- Space sciences. --- Popular works. --- Aerospace engineering. --- Astronautics. --- Aerospace Technology and Astronautics. --- Popular Science, general. --- Extraterrestrial Physics, Space Sciences. --- Chemosphere --- Communication and traffic --- Aerodynamics --- Airships --- Astronautics --- Balloons --- Flight --- Flying-machines --- Science (General). --- Astrophysics. --- Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics). --- Astronomical physics --- Astronomy --- Cosmic physics --- Physics --- Space sciences --- Astrodynamics --- Space flight --- Space vehicles --- Aeronautical engineering --- Engineering --- Science and space --- Space research --- Cosmology --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Fault Detection and Isolation: Multi-Vehicle Unmanned Systems deals with the design and development of fault detection and isolation algorithms for unmanned vehicles such as spacecraft, aerial drones and other related vehicles. Addressing fault detection and isolation is a key step towards designing autonomous, fault-tolerant cooperative control of networks of unmanned systems. This book proposes a solution based on a geometric approach, and presents new theoretical findings for fault detection and isolation in Markovian jump systems. The book also: Discussesthe effects of large environmental disturbances, as well as communication channels, on unmanned systems Proposes novel solutions to difficulties like robustness issues, as well as communication channel anomalies Fault Detection and Isolation: Multi-Vehicle Unmanned Systems is an ideal book for researchers and engineers working in the fields of fault detection, as well as networks of unmanned vehicles.

Computational complexity. --- Control theory. --- Technology. --- Fault location (Engineering) --- Vehicles, Remotely piloted --- Mechanical Engineering --- Engineering & Applied Sciences --- Mechanical Engineering - General --- Industrial & Management Engineering --- Aeronautics. --- Aerostation --- Air navigation --- Aviation --- Engineering. --- System theory. --- Aerospace engineering. --- Astronautics. --- Control engineering. --- Robotics. --- Mechatronics. --- Control, Robotics, Mechatronics. --- Systems Theory, Control. --- Aerospace Technology and Astronautics. --- Communication and traffic --- Aerodynamics --- Airships --- Astronautics --- Balloons --- Flight --- Flying-machines --- Systems theory. --- Space sciences --- Aeronautics --- Astrodynamics --- Space flight --- Space vehicles --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Aeronautical engineering --- Engineering --- Systems, Theory of --- Systems science --- Science --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Machine theory --- Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.

Formal methods (Computer science) --- Fault-tolerant computing --- Computer software --- System analysis --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer Science --- Aeronautics Engineering & Astronautics --- Verification --- Information Technology --- Software Engineering --- Aeronautics --- Methodology --- Aerostation --- Air navigation --- Aviation --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Operating systems --- Programming --- Communication and traffic --- Aerodynamics --- Airships --- Astronautics --- Balloons --- Flight --- Flying-machines --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory