Applications of vortex lattice theory to preliminary aerodynamic design

Some applications of the vortex-lattice theory to the preliminary aerodynamic design and analysis of subsonic aircraft were presented. These methods include the Rockwell-Tulinius vortex-lattice theory for estimating aerodynamic characteristics, a Trefftz plane optimization procedure for determining the span loads for minimum induced drag, and a modification of the Trefftz plane procedure to estimate the induced drag for specified span loads. The first two methods are used to aerodynamically design aircraft planforms, twists, and cambers, and the latter method is used to estimate the drag for components such as flaps and control surfaces. Results from the theories for predicting lift and pitching moment, drag due to lift, and the drag of control surfaces are compared with experimental data. This data was obtained on a general aviation model with flaps and a close-coupled canard-wing model

Summary of low-speed longitudinal aerodynamics of two powered close-coupled wing-canard fighter configurations

Investigations of the low speed longitudinal characteristics of two powered close coupled wing-canard fighter configurations are discussed. Data obtained at angles of attack from -2 deg to 42 deg, Mach numbers from 0.12 to 0.20, nozzle and flap deflections from 0 deg to 40 deg, and thrust coefficients from 0 to 2.0, to represent both high angle of attack subsonic maneuvering characteristics and conventional takeoff and landing characteristics are examined. Data obtained with the nozzles deflected either 60 deg or 90 deg and the flaps deflected 60 deg to represent vertical or short takeoff and landing characteristics are discussed

An experimental and theoretical investigation of thick wings at various sweep angles in and out of ground effect

The effects of sweep and aspect ratio on the longitudinal aerodynamics of a wing in and out of ground effect are analyzed. Experimental data were obtained in the Langley 4 by 7 Meter Tunnel for a wing with various sweep angles, aspect ratios, and flap deflections both in and out of ground effect. Theoretical predictions of the out of ground effect lift coefficients and flap effectiveness and the in ground effect lift coefficients are compared with the experimental results. As expected, the lift curve slope and flap effectiveness are reduced when the aspect ratio is reduced or the sweep angle is increased both in and out of ground effect. In ground effect, the lift and flap effectiveness are increased above a wing height to span ratio of 0.15. However, with flap deflections less than or equal to 10 deg and an angle of attack near 0 deg lift is markedly decreased at very low heights above the ground plane. This trend is not predicted by planar theoretical models but is predicted by a surface panel method where thickness effects are included

Effects of deflected thrust on the longitudinal aerodynamic characteristics of a close-coupled wing-canard configuration

The effects of power on the longitudinal aerodynamic characteristics of a close-coupled wing-canard fighter configuration with partial-span rectangular nozzles at the trailing edge of the wing were investigated. Data were obtained on a basic wing-strake configuration for nozzle and flap deflections from 0 deg to 30 deg and for nominal thrust coefficients from 0 to 0.30. The model was tested over an angle-of-attack range from -2 deg to 40 deg at Mach numbers of 0.15 and 0.18. Results show substantial improvements in lift-curve slope, in maximum lift, and in drag-due-to-lift efficiency when the canard and strakes have been added to the basic wing-fuselage (wing-alone) configuration. Addition of power increased both lift-curve slope and maximum lift, improved longitudinal stability, and reduced drag due to lift on both the wing-canard and wing-canard-strake configurations. These beneficial effects are primarily derived from boundary-layer control due to moderate thrust coefficients which delay flow separation on the nozzle and inboard portion of the wing flaps

Effect of sweep and aspect ratio on the longitudinal aerodynamics of a spanloader wing in and out of ground effect

A wind tunnel investigation was conducted in the Langley 4 by 7 meter tunnel to determine the effects of leading edge sweep, aspect ratio, flap deflection, and elevon deflection on the longitudinal aerodynamic characteristics of a span distributed load advanced cargo aircraft (spanloader). Model configurations consisted of leading edge sweeps of 0, 15, 30 and 45 deg and aspect ratios of approximately 2, 4, 6, and 8. Data were obtained for angles of attack of -8 to 18 deg out of ground effect and at angles of attack of -2, 0, and 2 deg in ground effect at Mach number equal 0.14. Flap and elevon deflections ranged from -20 to 20 deg. The data are represented in tabulated form

Thrust-induced effects on subsonic longitudinal aerodynamic characteristics of a vectored-engine-over-wing configuration

An investigation was conducted in the Langley 4 by 7 Meter Tunnel of the thrust induced effects on the longitudinal aerodynamic characteristics of a vectored-engine-over-wing fighter aircraft. The investigation was conducted at Mach numbers from 0.14 to 0.17 over an angle-of-attack range from -2 deg to 26 deg. The major model variables were the spanwise blowing nozzle sweep angle and main nozzle vector angle along with trailing edge, flap deflections. The overall thrust coefficient (main and spanwise nozzles) was varied from 0 (jet off) to 2.0. The results indicate that the thrust-induced effects from the main nozzle alone were small and mainly due to boundary-layer control affecting a small area behind the nozzle. When the spanwise blowing nozzles were included, the induced effects were larger than the main nozzle alone and were due to both boundary layer control and induced circulation lift. No leading edge vortex effects were evident

Premise Selection and External Provers for HOL4

Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine learning-based premise selection and automated reasoning also for HOL4. We efficiently record the HOL4 dependencies and extract features from the theorem statements, which form a basis for premise selection. HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof formats, which are then processed by the ATPs. We discuss the different evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure the performance of HOLyHammer on the HOL4 standard library. The results are combined accordingly and compared with the HOL Light experiments, showing a comparably high quality of predictions. The system directly benefits HOL4 users by automatically finding proofs dependencies that can be reconstructed by Metis

Wind tunnel test results of a new leading edge flap design for highly swept wings, a vortex flap

A leading edge flap design for highly swept wings, called a vortex flap, was tested on an arrow wing model in a low speed wind tunnel. A vortex flap differs from a conventional plain flap in that it has a leading edge tab which is counterdeflected from the main portion of the flap. This results in intentional separation at the flap leading edge, causing a vortex to form and lie on the flap. By trapping this vortex, the vortex flap can result in significantly improved wing flow characteristics relative to conventional flaps at moderate to high angles of attack, as demonstrated by the flow visualization results of this tests

Low-speed power effects on advanced fighter configurations with two-dimensional deflected thrust

Wind-tunnel studies at the Langley Research Center have shown that significant increases in maximum lift coefficient and stability and decreases in drag due to lift are obtained when two-dimensional vectored thrust is used in conjuction with a close-coupled canard. The configuration tested was somewhat above the theoretical minimum drag due to lift because of the sharp leading edge on the biconvex airfoil used on the wing and canard. An effort to design a new configuration which will approach the minimum drag due to lift while maintaining high-lift configurations was completed. The resulting model will incorporate a realistic planform, airfoil section, and twist for a transonic maneuvering configuration