19,061 research outputs found
An overview of the demonstration advanced avionics system guest pilot evaluation conducted at Ames Research Center
The guest pilot flight evaluation of the Demonstration Advanced Avionics System (DAAS) is discussed. The results are based on the fifty-nine questionnaires that were completed by the participants. The primary purpose of the pilot evaluation was to expose the Demonstration Advanced Avionics System to the various segments of the general aviation community and solicit comments in order to determine the effectiveness of integrated avionics for general aviation. Segments of the community that were represented in the evaluation are listed. A total of sixty-four (64) flights were conducted in which one hundred and seventeen (117) pilots and observers participated. It was felt that the exposure each subject had with the DAAS was too short to adequately assess the training requirements, pilot workload, and the reconfiguration concept of the DAAS. It is recommended that an operational evaluation of the DAAS be made to assess: the training requirements or varying experience levels, the pilot workload in the ATC environment with unplanned route changes, and the viability of the reconfiguration concept for failures
A safety margin and flight reference system and display for powered-lift aircraft
A study was conducted to explore the feasibility of a safety margin and flight reference system for those powered-lift aircraft which require a backside piloting technique. The main objective was to display multiple safety margin criteria as a single variable which could be tracked both manually and automatically and which could be monitored in order to derive safety margin status. The study involved a pilot-in-the-loop analysis of several system concepts and a simulator experiment to evaluate those concepts showing promise. A system was ultimately configured which yielded reasonable compromises in controllability, status information content, and the ability to regulate safety margins at some expense of the allowable low speed flight path envelope
Perfect discrimination of no-signalling channels via quantum superposition of causal structures
A no-signalling channel transforming quantum systems in Alice's and Bob's
laboratories is compatible with two different causal structures: (A < B)
Alice's output causally precedes Bob's input and (B< A) Bob's output causally
precedes Alice's input. I show that a quantum superposition of circuits
operating within these two causal structures enables the perfect discrimination
between no-signalling channels that can not be perfectly distinguished by any
ordinary circuit.Comment: 5 + 5 pages, published versio
A summary of joint US-Canadian augmentor wing powered-lift STOL research programs at the Ames Research Center, NASA, 1975-1980
Several different flight research programs carried out by NASA and the Canadian Government using the Augmentor Wing Jet STOL Research Aircraft to investigate the design, operational, and systems requirements for powered-lift STOL aircraft are summarized. Some of these programs considered handling qualities and certification criteria for this class of aircraft, and addressed pilot control techniques, control system design, and improved cockpit displays for the powered-lift STOL approach configuration. Other programs involved exploiting the potential of STOL aircraft for constrained terminal-area approaches within the context of present or future air traffic control environments. Both manual and automatic flight control investigations are discussed, and an extensive bibliography of the flight programs is included
Prime numbers, quantum field theory and the Goldbach conjecture
Motivated by the Goldbach conjecture in Number Theory and the abelian
bosonization mechanism on a cylindrical two-dimensional spacetime we study the
reconstruction of a real scalar field as a product of two real fermion
(so-called \textit{prime}) fields whose Fourier expansion exclusively contains
prime modes. We undertake the canonical quantization of such prime fields and
construct the corresponding Fock space by introducing creation operators
--labeled by prime numbers -- acting on the vacuum. The
analysis of our model, based on the standard rules of quantum field theory and
the assumption of the Riemann hypothesis, allow us to prove that the theory is
not renormalizable. We also comment on the potential consequences of this
result concerning the validity or breakdown of the Goldbach conjecture for
large integer numbers.Comment: 20 pages in A4 format, 2 figure
Flight investigation of a four-dimensional terminal area guidance system for STOL aircraft
A series of flight tests and fast-time simulations were conducted, using the augmentor wing jet STOL research aircraft and the STOLAND 4D-RNAV system to add to the growing data base of 4D-RNAV system performance capabilities. To obtain statistically meaningful data a limited amount of flight data were supplemented by a statistically significant amount of data obtained from fast-time simulation. The results of these tests are reported. Included are comparisons of the 4D-RNAV estimated winds with actual winds encountered in flight, as well as data on along-track navigation and guidance errors, and time-of-arrival errors at the final approach waypoint. In addition, a slight improvement of the STOLAND 4D-RNAV system is proposed and demonstrated, using the fast-time simulation
Design, development, and flight test of a demonstration advanced avionics system
Ames Research Center initiated a program in 1975 to provide the critical information required for the design of integrated avionics suitable for general aviation. The program emphasized the use of data busing, distributed microprocessors, shared electronic displays and data entry devices, and improved functional capability. Design considerations included cost, reliability, maintainability, and modularity. As a final step, a demonstration advanced avionics system (DAAS) was designed, built, and flight tested in a Cessna 402, twin engine, general aviation aircraft. A functional description of the DAAS, including a description of the system architecture, is presented and the program and flight test results are briefly reviewed
An Intuitionistic Formula Hierarchy Based on High-School Identities
We revisit the notion of intuitionistic equivalence and formal proof
representations by adopting the view of formulas as exponential polynomials.
After observing that most of the invertible proof rules of intuitionistic
(minimal) propositional sequent calculi are formula (i.e. sequent) isomorphisms
corresponding to the high-school identities, we show that one can obtain a more
compact variant of a proof system, consisting of non-invertible proof rules
only, and where the invertible proof rules have been replaced by a formula
normalisation procedure.
Moreover, for certain proof systems such as the G4ip sequent calculus of
Vorob'ev, Hudelmaier, and Dyckhoff, it is even possible to see all of the
non-invertible proof rules as strict inequalities between exponential
polynomials; a careful combinatorial treatment is given in order to establish
this fact.
Finally, we extend the exponential polynomial analogy to the first-order
quantifiers, showing that it gives rise to an intuitionistic hierarchy of
formulas, resembling the classical arithmetical hierarchy, and the first one
that classifies formulas while preserving isomorphism
Flight experience with advanced controls and displays during piloted curved decelerating approaches in a powered-lift STOL aircraft
The control, display, and procedural features are described for a flight experiment conducted to assess the feasibility of piloted STOL approaches along predefined, steep, curved, and decelerating approach profiles. It was found to be particularly important to assist the pilot through use of the flight director computing capability with the lower frequency control-related tasks, such as those associated with monitoring and adjusting configuration trim as influenced by atmospheric effects, and preventing the system from exceeding powerplant and SAS authority limitations. Many of the technical and pilot related issues identified in the course of this flight investigation are representative of similarly demanding operational tasks that are thought to be possible only through the use of sophisticated control and display systems
Software modifications to the Demonstration Advanced Avionics Systems (DAAS)
Critical information required for the design of integrated avionics suitable for generation aviation is applied towards software modifications for the Demonstration Advanced Avionics System (DAAS). The program emphasizes the use of data busing, distributed microprocessors, shared electronic displays and data entry devices, and improved functional capability. A demonstration advanced avionics system (DAAS) is designed, built, and flight tested in a Cessna 402, twin engine, general aviation aircraft. Software modifications are made to DAAS at Ames concurrent with the flight test program. The changes are the result of the experience obtained with the system at Ames, and the comments of the pilots who evaluated the system
- …