SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
This paper describes a tool for intersecting context-free grammars. Since this problem is undecidable the tool follows a refinement-based approach and implements a novel refinement which is complete for regularly separable grammars. We show its effectiveness for safety verification of recursive multi-threaded programs.
Multiband far-infrared (20-155 microns) observations of the large H II region/molecular cloud complex NGC 6334 are presented. The observations were performed simultaneously in four bands with effective wavelengths 21, 42, 71, and 134 microns. Eight far-infrared sources were detected which cover the range from sources with little of no continuum radio emission to well-developed H II regions. Maps of dust temperature and far-infrared optical depth of the complex are presented which reveal large-scale variations in the color temperature and optical depth. Star formation in the complex is discussed and it is concluded that a Rayleigh-Taylor instability generated by the gravitational attraction of the galactic plane can explain the regular separation of the far-IR sources.
A low-order panel code, VSAERO, was used to predict the aerodynamic characteristics of helicopter hub fairings. Since the simulation of this kind of bluff body by VSAERO was not documented before, the VSAERO solutions were correlated with experimental data to establish their validity. The validation process revealed that simulation of the aerodynamic environment around a hub fairing was sensitive to several modeling parameters. Some of these parameters are body and wake panels arrangement, streamwise and spanwise separation location, and the most prominent one-the wake modeling. Three wake models were used: regular wake, separated wake, and jet model. The regular wake is a wake with negligible thickness (thin wake). It is represented by a single vortex sheet. The separated wake and the jet model in the present application are wakes with finite thickness (thick wake). They consist of a vortex sheet enclosing a region of low-energy flow. The results obtained with the reqular wake were marginally acceptable for sharp-edged hub fairings. For all other cases under consideration, the jet model results correlated slightly better. The separated wake, which seemed to be the most appropriate model, caused the solution to diverge. While the regular wake was straight-forward to apply in simulations, the jet model was not. It requires the user to provide information about the doublet strength gradient on wake panels by guessing the efflux velocities at the wake shedding location. In summary, VSAERO neither predicts accurately the aerodynamic characteristics of helicopter hub fairings nor was cost effective.
Iterative finite-difference techniques are developed for integrating the boundary-layer equations, without approximation, through a region of reversed flow. The numerical procedures are used to calculate incompressible laminar separated flows and to investigate the conditions for regular behavior at the point of separation. Regular flows are shown to be characterized by an integrable saddle-type singularity that makes it difficult to obtain numerical solutions which pass continuously into the separated region. The singularity is removed and continuous solutions ensured by specifying the wall shear distribution and computing the pressure gradient as part of the solution. Calculated results are presented for several separated flows and the accuracy of the method is verified. A computer program listing and complete solution case are included.
Iterative finite-difference techniques are developed for integrating the boundary-layer equations, without approximation, through a region of reversed flow. The numerical procedures are used to calculate incompressible laminar separated flows and to investigate the conditions for regular behavior at the point of separation. Regular flows are shown to be characterized by an integrable saddle-type singularity that makes it difficult to obtain numerical solutions which pass continuously into the separated region. The singularity is removed and continuous solutions ensured by specifying the wall shear distribution and computing the pressure gradient as part of the solution. Calculated results are presented for a number of separated flows and the accuracy of the method is verified.
A concise mathematical framework is constructed to study the topology of steady 3-D separated flows of an incompressible, or a compressible viscous fluid. Flow separation is defined by the existence of a stream surface which intersects with the body surface. The line of separation is itself a skin-friction line. Flow separation is classified as being either regular or singular, depending respectively on whether the line of separation contains only a finite number of singular points or is a singular line of the skin-friction field. The special cases of 2-D and axisymmetric flow separation are shown to be of singular type. In regular separation it is shown that a line of separation originates from a saddle point of separation of the skin-friction field and ends at nodal points of separation. Unsteady flow separation is defined relative to a coordinate system fixed to the body surface. It is shown that separation of an unsteady 3-D incompressible viscous flow at time t, when viewed from such a frame of reference, is topologically the same as that of the fictitious steady flow obtained by freezing the unsteady flow at the instant t. Examples are given showing effects of various forms of flow unsteadiness on flow separation.
Despite the obvious notion that the presence of hail or graupel is a good indication of convection, the model results show this does not provide an objective benchmark partly due to the unrealistic presence of small amounts of hail or graupel throughout the anvil in the model but mainly because of the significant amounts of hail or graupel, especially in the tropical TOGA COARE simulation, in the transition zone. Without use of a "transition" category, it is open to debate as how this region should best be defined, as stratiform or as convective. So, the presence of significant hail or graupel contents in this zone significantly degrades its use an objective benchmark for convection. The separation algorithm comparison was done in the context of a cloud-resolving model. These models are widely used and serve a variety of purposes especially with regard to retrieving information that cannot be directly measured by providing synthetic data sets that are consistent and complete. Separation algorithms are regularly applied in these models. However, as with any modeling system, these types 'of models are constantly being improved to overcome any known deficiencies and make them more accurate representations of observed systems. The presence of hail and graupel in the anvil and the bias towards heavy rainfall rates are two such examples of areas that need improvement. Since, both of these can effect the perceived performance of the separation algorithms, the Lang et al. (2003) study did not want to overstate the relative performance of any specific algorithms.
Numerical solutions of the laminar, incompressible boundary-layer equations are presented for flows involving separation and reattachment. Regular solutions are obtained with an inverse approach in which either the displacement thickness or the skin friction is specified, and the pressure is deduced from the solution. A stream function/vorticity formulation of the boundary-layer equations is used to eliminate the unknown pressure. Solutions of the resulting finite-difference equations, in which the flow direction is taken into account, are obtained by a successive column iteration scheme. Results are compared with Klineberg and Steger's (1974) separated boundary-layer calculations, and with Briley's (1971) solution of the Navier-Stokes equations for a separated region.
Numerical solutions of the laminar, incompressible boundary layer equations are presented for flows involving separation and reattachment. Regular solutions are obtained with an inverse approach in which either the displacement thickness or the skin friction is specified; the pressure is deduced from the solution. A vorticity-stream-function formulation of the boundary layer equations is used to eliminate the unknown pressure. Solutions of the resulting finite difference equations, in which the flow direction is taken into account, are obtained by several global iteration schemes which are stable and have unconditional diagonal dominance. Results are compared with Klineberg and Steger's separated boundary layer calculations, and with Briley's solution of Navier-Stokes equations for a separated region. In addition, an approximate technique is presented in which the streamwise convection of vorticity is set equal to zero in the reversed flow region; such a technique results in a quick forward marching procedure for separated flows.
Results are presented for the vibration response of a spacecraft shroud to a range of in-flight fluctuation pressures. An Atlas-Agena 15 degree cone-cylinder shroud was analyzed during the present study, and three critical flight Mach numbers were considered. At transonic Mach numbers, the aerodynamic flow over the shroud is complex, involving zones of regular attached flow, separated flow, shock wave oscillation, and modified attached flows induced by local thickening of the boundary layer. The overall shroud vibration levels for a particular Mach number were determined by initially calculating the mean square acceleration levels induced by the fluctuating pressures distributed over an individual zone, and then summing mean square acceleration levels in one-third octave bands over all zones.
An incompressible, two-dimensional, thin separation bubble is treated as an obstacle to the potential flow that perturbs and adjusts the original inviscid flow. The knowledge of the perturbed velocity allows a complete flow description in vicinity of the bubble. Suitable differential equations and boundary conditions are developed for three distinct regions, namely, a potential region, a parabolic viscous layer, and a viscous, slow recirculating region. With modified boundary conditions the boundary layer equations are regularly integrated through the separation region. Conclusions are also made on the wall stress and the position of zero velocity and zero vorticity lines.
Microgrids are frequently employed in remote regions, in part because access to a larger electric grid is impossible, difficult, or compromises reliability and independence. Although small microgrids often employ spot generation, in which a diesel generator is attached directly to a load, microgrids that combine these individual loads and augment generators with photovoltaic cells and batteries as a distributed energy system are emerging as a safer, less costly alternative. In this work, we present a model that seeks the minimum-cost microgrid design and ideal dispatched power to support a small remote site for one year with hourly fidelity under a detailed battery model; this mixed-integer nonlinear program (MINLP) is intractable with commercial solvers but loosely coupled with respect to time. A mixed-integer linear program (MIP) approximates the model, and a partitioning scheme linearizes the bilinear terms. We introduce a novel policy for loosely coupled MIPs in which the system reverts to equivalent conditions at regular time intervals; this separates the problem into subproblems that we solve in parallel. We obtain solutions within 5% of optimality in at most six minutes across 14 MIP instances from the literature and solutions within 5% of optimality to the MINLP instances within 20 minutes.
Data from X-ray diffraction studies of the poly(carbon monofluoride) with empirical formula CF(1.09-1.15) are reported, and possible intercalation arrangements for the substance are discussed. The data do not conform to true hexagonal symmetry, indicating that the carbon atoms are not coplanar. Each bond angle of carbon is 118.8 deg, and the carbon-carbon distance is 1.47 A. The interlayer distance is 5.76 A. A total absence of (hkl) reflections in the X-ray pattern shows that the separate CF layers are not regularly arranged with respect to one another.
The goal of the proposal was to computationally study the photoinduced charge transfer excited states of organic molecules. The systems of interest are the large organic supramolecules that have potential for photovoltaic applications. The simulation of the charge transfer excited states in large supramolecular assemblies require quantum mechanical methods that can be applied to systems with hundreds of atoms. Through this project we have implemented a perturbative delta-self-consistent field method that can easily describe the charge transfer excited states with regular density functionals without range separation. The cost of the calculations of an excited state is similar to that of the ground state. The method also allows for calculation of the energy gradients of the excited state. The developed method was applied to study a number of different supramolecular systems containing hundreds of atoms with excellent agreement with experiment. The absorption characteristics and the influence of density functional approximations were also examined. These led to several studies on the variety of organic electron donor and acceptor molecules. Apart from these developments through this project we also improved the code capabilities by implementing new meta-GGA functionals. This was a major step since the code is purely density functional and earlier the functional capabilities were limited only to generalized gradient approximations. A total of 23 peer-reviewed publications in top chemical physics journals resulted from this grant.
It is well known that in the study of mixing between nonlocal gluon and quark bilinear operators there exists an ambiguity when relating coordinate space and momentum space results. In this work, we show that this ambiguity is due to the lack of a proper regularization prescription of the singularity that arises when the separation between the gluon/quark fields approaches zero. We then demonstrate that dimensional regularization resolves this issue and yields consistent results in both coordinate and momentum space. This prescription is also compatible with lattice extractions of parton distributions from nonlocal operators.
Power spectra of magnetic pulsations observed at synchronous orbit by the ATS 6 satellite often show several spectral peaks simultaneously. Such pulsations, called harmonic events because of the nearly constant separation between successive peaks, are continuously observed in the dayside in the Pc 3-4 frequency range (6.6-100 mHz). The harmonic events are seen clearly only in the east-west magnetic field component. The spectral peaks are regularly spaced with a typical minimum separation of 14 mHz in the morning gradually decreasing to 10 mHz in the afternoon. In the dynamic spectra of harmonic events, the fundamental mode is usually absent. In addition, the relative amplitudes of the higher harmonics depend on the magnetic latitude. These observed features can be explained by a standing Alfven wave consisting of many discrete harmonic frequencies. A statistical analysis of power spectra demonstrates that at least 10-30% of Pc 3 pulsations can be classified as harmonic events. For a selected event on August 7, 1975, the plasma mass density at the synchronous orbit is estimated to be 3-8 hydrogen mass/cu cm.
Separating flowing multiphase solutions in process at industrial scale is challenging. A rapid continuous approach is desired. These mesofluidic oil-water separation tests were motivated by reports by Dijkshoorn et al [1] who reported separating droplets and particles using displacement with regularly spaced channels using a cross-flow microsieve.. Droplets, including deformable particles, larger than the channel migrate in one direction and thereby deplete in the other direction. Test flowrates were motivated by Burns et al. [4] who showed that separation could occur under laminar conditions, and Pease et al [8, 9] who extended the range to turbulent flow. Testing was conducted using two two-component oil-water mixtures at room temperature. Analysis showed separation of both mineral oils from their oil water mixtures at flowrates from 1-2 L/min and concentrations from 2-10 wt% oil in water.
This paper describes efforts to locate the prewetting line in a binary liquid system (isopropanol-perfluoromethylcyclohexane) at the vapor-liquid interface. Tight upper bounds were placed on the temperature separation (0.2 K) between the prewetting line and the line of bulk liquid phase separation. The prewetting line in systems at equilibrium was not detected. Experimental signatures indicative of the prewetting line occurred only in nonequilibrium situations. Several theories predict that the adsorption of one of the components (the fluorocarbon, in this case) at the liquid-vapor interface should increase abruptly, at a temperature sightly above the temperature at which the mixture separates into two liquid phases. A regular solution calculation indicates that this prewetting line should have been easily detectable with the instruments used in this experiment. Significant features of the experiment are: (1) low-gradient thermostatting, (2) in situ stirring, (3) precision ellipsometry from the vapor-liquid interface, (4) high resolution differential index of refraction measurements using a novel cell design, and (5) computer control.