12,363 research outputs found
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
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
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
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
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
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
The 4D area navigation system description and flight test results
A 4D area navigation system was designed to guide aircraft along a prespecified flight path (reference path) such that the aircraft would arrive at the approach gate at a time specified by the ATC controller. Key components to achieve this requirement were: (1) stored reference trajectories; (2) a continuously recomputed capture trajectory to a selected waypoint on the reference trajectory so as to achieve the desired time of arrival; (3) electronic situation displays; and (4) a control system to follow the overall trajectory in space and time. The system was implemented in a digital integrated avionics system (STOLAND) installed on a CV-340 airplane. Although the 4D system was designed primarily for automatic operation, it was flight tested in a flight director mode (the pilot follows the flight director commands), because the CV-340 autopilot servos were not tied to the avionics system. The flight test showed that, even in the flight director mode, the pilot did achieve the objectives of path tracking and time of arrival control with only moderate workload. The system also permitted controlled delay of the time of arrival by path stretching, which takes advantage of the continuously changing capture trajectory to predict the time of arrival. Simulations in the automatic and manual modes were used to complement the flight data
A flight-test evaluation of a go-around control system for a twin engine powered-lift STOL airplane
An automatic go-around control system was evaluated on the Augmentor Wing Jet Short Takeoff and Landing (STOL) Research Airplane (AWJSRA) as part of a study of an automatic landing system for a powered-lift STOL airplane. The results of the evaluation indicate that the go-around control system can successfully transition the airplane to a climb configuration from any initiation point during the glide-slope track or the flare maneuver prior to touchdown
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
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
- …