An implicit method for the calculation of inlet flow fields

Inlet flow fields are calculated by an implicit, time marching procedure to solve the thin layer Navier-Stokes equations formulated in body fitted coordinates. Because the method can be used for a flow field with both subsonic and supersonic regions, it is applicable to subcritical as well as supercritical inlet operation. Results are presented and discussed for an inlet of current design practice. Results include inviscid calculations performed for supercritical inlet operation with uniform and nonuniform inflow boundary conditions as well as for subcritical inlet operation with uniform inflow boundary conditions. Results for viscous calculations performed for supercritical inlet operation with uniform inflow boundary conditions are also discussed

Calculation of two-dimensional inlet flow fields by an implicit method including viscous effects: User's manual

Inlet flow fields for airbreathing missiles are calculated by the adaptation of a two dimensional computational method developed for the flow around airfoils. A supersonic free stream is assumed to allow the forebody calculation to be uncoupled from the inlet calculation. The inlet calculation employs an implicit, time marching finite difference procedure to solve the thin layer Navier-Stokes equations formulated in body fitted coordinates. The mathematical formulation of the problem and the solution algorithm are given. Numerical stability and accuracy as well as the initial and boundary conditions used are discussed. Instructions for program use and operation along with the overall program logic are also given

A supersonic three-dimensional code for flow over blunt bodies: Program documentation and test cases

The use of a computer code for the calculation of steady, supersonic, three dimensional, inviscid flow over blunt bodies is illustrated. Input and output are given and explained for two cases: a pointed code of 20 deg half angle at 15 deg angle of attack in a free stream with M sub infinite = 7, and a cone-ogive-cylinder at 10 deg angle of attack with M sub infinite = 2.86. A source listing of the computer code is provided

Calculation of two-dimensional inlet flow fields in a supersonic free stream by an implicit marching code with nonorthogonal mesh generation: User's manual

An implicit, shock-capturing finite-difference code which is used to calculate two-dimensional inlet flow fields in a supersonic free stream is explained. The Euler equations are subjected to general nonorthogonal transformation and a body-fitted coordinate system is employed. The mathematical formulation of the problem is given along with the numerical algorithm. Initial and boundary conditions, numerical stability, program limitations, and accuracy is discussed. An overall program logic as well as instructions for program use and operation are also furnished

Calculation of two-dimensional inlet flow fields in a supersonic free stream: Program documentation and test cases

The use of a computer code for the calculation of two dimensional inlet flow fields in a supersonic free stream and a nonorthogonal mesh-generation code are illustrated by specific examples. Input, output, and program operation and use are given and explained for the case of supercritical inlet operation at a subdesign Mach number (M Mach free stream = 2.09) for an isentropic-compression, drooped-cowl inlet. Source listings of the computer codes are also provided

Mean-flow measurements of the flow field diffusing bend

Time-average measurements of the low-speed turbulent flow in a diffusing bend are presented. The experimental geometry consists of parallel top and bottom walls and curved diverging side walls. The turning of the center line of this channel is 40 deg, the area ratio is 1.5 and the ratios of height and center-line length to throat width are 1.5 and 3, respectively. The diffusing bend is preceded and followed by straight constant area sections. The inlet boundary layers on the parallel walls are artificially thickened and occupy about 30% of the channel height; those on the side walls develop naturally and are about half as thick. The free-stream speed at the inlet was approximately 30 m/sec for all the measurements. Inlet boundary layer mean velocity and turbulence intensity profiles are presented, as are data for wall static pressures, and at six cross sections, surveys of the velocity-vector and static-pressure fields. The dominant feature of the flow field is a pair of counter-rotating streamwise vortices formed by the cross-stream pressure gradient in the bend on which an overall deceleration is superimposed

A study of prediction methods for the high angle-of-attack aerodynamics of straight wings and fighter aircraft

Work is described dealing with two areas which are dominated by the nonlinear effects of vortex flows. The first area concerns the stall/spin characteristics of a general aviation wing with a modified leading edge. The second area concerns the high-angle-of-attack characteristics of high performance military aircraft. For each area, the governing phenomena are described as identified with the aid of existing experimental data. Existing analytical methods are reviewed, and the most promising method for each area used to perform some preliminary calculations. Based on these results, the strengths and weaknesses of the methods are defined, and research programs recommended to improve the methods as a result of better understanding of the flow mechanisms involved

Rolling moments in a trailing vortex flow field

Pressure distributions are presented which were measured on a wing in close proximity to a tip vortex of known structure generated by a larger, upstream semispan wing. Overall loads calculated by integration of these pressures are checked by independent measurements made with an identical model mounted on a force balance. Several conventional methods of wing analysis are used to predict the loads on the following wing. Strip theory is shown to give uniformly poor results for loading distribution, although predictions of overall lift and rolling moment are sometimes acceptable. Good results are obtained for overall coefficients and loading distribution by using linearized pressures in vortex-lattice theory in conjunction with a rectilinear vortex. The equivalent relation from reverse-flow theory that can be used to give economic predictions for overall loads is presented

Calculation of two-dimensional inlet flow fields by an implicit method including viscous effects: Program documentation and test case

The source listing of a computer code for calculating the flow fields in a supersonic free stream is given. The application of this code to an inlet on an airbreathing missile is also presented

Interpolation Properties and SAT-based Model Checking

Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art model checking techniques based on interpolation require collections of interpolants to satisfy particular properties, to which we refer as "collectives"; they do not hold in general for all interpolation systems and have to be established for each particular system and verification environment. Nevertheless, no systematic approach exists that correlates the individual interpolation systems and compares the necessary collectives. This paper proposes a uniform framework, which encompasses (and generalizes) the most common collectives exploited in verification. We use it for a systematic study of the collectives and of the constraints they pose on propositional interpolation systems used in SAT-based model checking