Author: Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 956
Book Description
Scientific and Technical Aerospace Reports
Author: The Future of Air Traffic Control
Author: National Research CouncilPublisher: National Academies Press
ISBN: 0309174317
Category : Science
Languages : en
Pages : 343
Book Description
Automation in air traffic control may increase efficiency, but it also raises questions about adequate human control over automated systems. Following on the panel's first volume on air traffic control automation, Flight to the Future (NRC, 1997), this book focuses on the interaction of pilots and air traffic controllers, with a growing network of automated functions in the airspace system. The panel offers recommendations for development of human-centered automation, addressing key areas such as providing levels of automation that are appropriate to levels of risk, examining procedures for recovery from emergencies, free flight versus ground-based authority, and more. The book explores ways in which technology can build on human strengths and compensate for human vulnerabilities, minimizing both mistrust of automation and complacency about its abilities. The panel presents an overview of emerging technologies and trends toward automation within the national airspace systemâ€"in areas such as global positioning and other aspects of surveillance, flight information provided to pilots an controllers, collision avoidance, strategic long-term planning, and systems for training and maintenance. The book examines how to achieve better integration of research and development, including the importance of user involvement in air traffic control. It also discusses how to harmonize the wide range of functions in the national airspace system, with a detailed review of the free flight initiative.
Performance Evaluation of Evasion Maneuvers for Parallel Approach Collision Avoidance
Author: Lee F. WinderPublisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 76
Book Description
The Federal Aviation Administration Plan for Research, Engineering, and Development
Author: United States. Federal Aviation AdministrationPublisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 212
Book Description
Theorem Proving in Higher Order Logics
Author: Mark AagaardPublisher: Springer
ISBN: 3540446591
Category : Computers
Languages : en
Pages : 546
Book Description
This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese arch category was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and publication in this volume. In keeping with tradition, TPHOLs 2000 also offered a venue for the presen tation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplemen tary proceedings containing associated papers for work in progress was published by the Oregon Graduate Institute (OGI) as technical report CSE-00-009. The organizers are grateful to Bob Colwell, Robin Milner and Larry Wos for agreeing to give invited talks. Bob Colwell was the lead architect on the Intel P6 microarchitecture, which introduced a number of innovative techniques and achieved enormous commercial success. As such, he is ideally placed to offer an industrial perspective on the challenges for formal verification. Robin Milner contributed many key ideas to computer theorem proving, and to functional programming, through his leadership of the influential Edinburgh LCF project.
The Journal of Air Traffic Control
Author: Federal Aviation Administration's Research and Development Program
Author: United States. Congress. House. Committee on Science, Space, and Technology. Subcommittee on Technology and CompetitivenessPublisher:
ISBN:
Category : Aeronautics, Commercial
Languages : en
Pages : 284
Book Description
Flight Test Evaluation of the Airborne Information for Lateral Spacing (AILS) Concept
Author: Terence S. AbbottPublisher:
ISBN:
Category : Airplanes
Languages : en
Pages : 28
Book Description
The Airborne Information for Lateral Spacing (AILS) concept is designed to support independent parallel approach operations to runways spaced as close as 2,500 feet. This report briefly describes the AILS operational conce pt and the results of a flight test of one implementation of this concept. The focus of this flight test experiment was to validate a prior simulator study, evaluating pilot performance, pilot acceptability, and minimum miss-distances for the rare situation in which an aircraft on one approach intrudes into the path of an aircraft on the other approach. Although the flight data set was not meant to be a statistically valid sample, the trends acquired in flight followed those of the simulator and therefore met the intent of validating the findings from the simulator. Results from this study showed that the design-goal mean miss-distance of 1,200 feet to potential collision situations was surpassed with an actual mean miss-distance of 1,859 feet.
A Simulation Study of Instrument Meteorological Condition Approaches to Dual Parallel Runways Spaced 3400 and 2500 Feet Apart Using Flight-Deck-Centered Technology
Author: Marvin C. WallerPublisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 106
Book Description
Author: