2,589 research outputs found
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
- …