Search NASA⌕ Search

SEARCH · Search NASA

Results for “Conformal models”

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.

At least 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Soft inflation

The cosmology resulting from two coupled scalar fields was studied, one which is either a new inflation or chaotic type inflation, and the other which has an exponentially decaying potential. Such a potential may appear in the conformally transformed frame of generalized Einstein theories like the Jordan-Brans-Dicke theory. The constraints necessary for successful inflation are examined. Conventional GUT models such as SU(5) were found to be compatible with new inflation, while restrictions on the self-coupling constant are significantly loosened for chaotic inflation.

Berkin, Andrew L.↗
NASA NTRS2000

A DNA enzyme with N-glycosylase activity

In vitro evolution was used to develop a DNA enzyme that catalyzes the site-specific depurination of DNA with a catalytic rate enhancement of about 10(6)-fold. The reaction involves hydrolysis of the N-glycosidic bond of a particular deoxyguanosine residue, leading to DNA strand scission at the apurinic site. The DNA enzyme contains 93 nucleotides and is structurally complex. It has an absolute requirement for a divalent metal cation and exhibits optimal activity at about pH 5. The mechanism of the reaction was confirmed by analysis of the cleavage products by using HPLC and mass spectrometry. The isolation and characterization of an N-glycosylase DNA enzyme demonstrates that single-stranded DNA, like RNA and proteins, can form a complex tertiary structure and catalyze a difficult biochemical transformation. This DNA enzyme provides a new approach for the site-specific cleavage of DNA molecules.

Non-NASA Center↗
NASA NTRS1997

Energetics of the lattice: packing elements in crystals of four-stranded intercalated cytosine-rich DNA molecules

Condensation of single molecules from solution into crystals represents a transition between distinct energetic states. In solution, the atomic interactions within the molecule dominate. In the crystalline state, however, a set of additional interactions are formed between molecules in close contact in the lattice--these are the packing interactions. The crystal structures of d(CCCT), d(TAACCC), d(CCCAAT), and d(AACCCC) have in common a four-stranded intercalated cytosine segment, built by stacked layers of cytosine.cytosine+ (C.C+) base pairs coming from two parallel duplexes that intercalate into each other with opposite polarity. The intercalated cytosine segments in these structures are similar in their geometry, even though the sequences crystallized in different space groups. In the crystals, adenine and thymine residues of the sequences are used to build the three-dimensional crystal lattice by elaborately interacting with symmetry-related molecules. The packing elements observed provide novel insight about the copious ways in which nucleic acid molecules can interact with each other--for example, when folded in more complicated higher order structures, such as mRNA and chromatin.

Non-NASA Center↗
NASA NTRS2003

Execution-Based Model Checking of Interrupt-Based Systems

Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. This is in contrast to traditional model checking, where a model of a system is analyzed Several execution-based model-checking tools exist at this point, such as for example Verisoft and Java PathFinder. The most common formal specification languages used by EMC tools are un- timed, either just assertions, or linear-time temporal logic (LTL). An alternative verification technique is Runtime Execution Monitoring (REM), which is based on monitor- ing the execution of a program, checking that the execution trace conforms to a requirement specification. The Temporal Rover and DBRover are such tools. They provide a very rich specification language, being an extension of LTL with real-time constraints and time-series. We show how execution-based model checking, combined with runtime execution monitoring, can be used for the verification of a large class of safety critical systems commonly known as interrupt-based systems. The proposed approach is novel in that: (i) it supports model checking of a large class of applications not practically verifiable using conventional EMC tools, (ii) it supports verification of LTL assertions extended with real-time and time-series constraints, and (iii) it supports the verification of custom schedulers.

Drusinsky, Doron↗
NASA NTRS2000

Higher Order Modeling in Hybrid Approaches to the Computation of Electromagnetic Fields

Higher order geometry representations and interpolatory basis functions for computational electromagnetics are reviewed. Two types of vector-valued basis functions are described: curl-conforming bases, used primarily in finite element solutions, and divergence-conforming bases used primarily in integral equation formulations. Both sets satisfy Nedelec constraints, which optimally reduce the number of degrees of freedom required for a given order. Results are presented illustrating the improved accuracy and convergence properties of higher order representations for hybrid integral equation and finite element methods.

Wilton, Donald R.↗
NASA NTRS1989

Navier-Stokes Calculations With Deforming Grid

Scheme for numerical simulation of transonic, compressible, viscous flow about two-dimensional cascade of oscillating rigid airfoils involves finite-difference solution of Navier-Stokes equations on coordinate grid deforming with motions of airfoils. Contributes to understanding of flows around advanced turboprop airfoil sections. Cascade represented by periodic grid conforming to airfoils and to outer boundaries. Oscillation of airfoil represented by deformation of grid. Applications of deforming-grid technique includes turbomachinery and aeroelastic modeling of nonrigid airfoils.

Huff, Dennis L.↗
NASA NTRS2001

Monitoring Programs Using Rewriting

We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces, The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive in most past applications of LTL, theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications, corresponding to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property end then suggest an optimized algorithm based on transforming LTL formulae. We use the Maude rewriting logic, which turns out to be a good notation and being supported by an efficient rewriting engine for performing these experiments. The work constitutes part of the Java PathExplorer (JPAX) project, the purpose of which is to develop a flexible tool for monitoring Java program executions.

Havelund, Klaus↗
NASA NTRS2005

Propagation of Interplanetary Disturbances in the Outer Heliosphere

Contents include the following: 1. We have developed a one-dimensional, spherically symmetric, multi-fluid MHD model that includes solar wind protons and electrons, pickup ions, and interstellar neutral hydrogen. This model advances the existing solar wind models for the outer heliosphere in two important ways: one is that it distinguishes solar wind protons from pickup ions, and the other is that it allows for energy transfer from pickup ions to the solar wind protons. Model results compare favorably with the Voyager 2 observations. 2. 2. Solar wind slowdown and interstellar neutral density. The solar wind in the outer heliosphere is fundamentally different from that in the inner heliosphere since the effects of interstellar neutrals become significant. 3. ICME propagation from the inner to outer heliosphere. Large coronal mass ejections (CMEs) have major effects on the structure of the solar wind and the heliosphere. The plasma and magnetic field can be compressed ahead of interplanetary CMEs. 4. During the current solar cycle (Cycle 23), several major CMEs associated with solar flares produced large transient shocks which were observed by widely-separated spacecraft such as Wind at Earth and Voyager 2 beyond 60 AU. Using data from these spacecraft, we use the multi-fluid model to investigate shock propagation and interaction in the heliosphere. Specifically, we studied the Bastille Day 2000, April 2001 and Halloween 2003 events. 5. Statistical properties of the solar wind in the outer heliosphere. In a collaboration with L.F. Burlaga of GSFC, it is shown that the basic statistical properties of the solar wind in the outer heliosphere can be well produced by our model. We studied the large-scale heliospheric magnetic field strength fluctuations as a function of distance from the Sun during the declining phase of a solar cycle, using our numerical model with observations made at 1 AU during 1995 as input. 6. Radial heliospheric magnetic field events. The heliospheric magnetic field (HMF) direction, on average, conforms well to the Parker spiral.

Wang, Chi↗
NASA NTRS2015

SOSS User Guide

This User Guide describes SOSS (Surface Operations Simulator and Scheduler) software build and graphic user interface. SOSS is a desktop application that simulates airport surface operations in fast time using traffic management algorithms. It moves aircraft on the airport surface based on information provided by scheduling algorithm prototypes, monitors separation violation and scheduling conformance, and produces scheduling algorithm performance data.

air traffic control↗
NASA NTRS1999

Extensional Flow of a Polystyrene Boger Fluid Through a 4:1:4 Axisymmetric Contraction/Expansion

The creeping flow of a dilute (0.025 wt%) monodisperse polystyrene/polystyrene Boger fluid through a 4:1:4 axisymmetric contraction/expansion is experimentally observed for a wide range of Deborah numbers. Pressure drop measurements across the orifice plate show a large extra pressure drop that increases monotonically with Deborah number above the value observed for a similar Newtonian fluid at the same flow rate. This enhancement in the dimensionless pressure drop is not associated with the onset of a flow instability, yet it is not predicted by existing steady-state or transient numerical computations with simple dumbbell models. It is conjectured that this extra pressure drop is the result of an additional dissipative contribution to the polymeric stress arising from a stress-conformation hysteresis in the strong non-homogeneous extensional flow near the contraction plane. Such a hysteresis has been independently measured and computed in recent studies of homogeneous transient uniaxial stretching of PS/PS Boger fluids. Flow visualization and velocity field measurements using digital particle image velocimetry (DPIV) show large upstream growth of the corner vortex with increasing Deborah number. At large Deborah numbers, the onset of an elastic instability is observed, first locally as small amplitude fluctuations in the pressure measurements, and then globally as an azimuthal precessing of the upstream corner vortex accompanied by periodic oscillations in the pressure drop across the orifice.

Rothstein, Jonathan P.↗
NASA NTRS1992

A residue substitution near the beta-ionone ring of the retinal affects the M substates of bacteriorhodopsin

The switch in the bacteriorhodopsin photocycle, which reorients access of the retinal Schiff base from the extracellular to the cytoplasmic side, was suggested to be an M1----M2 reaction (Varo and Lanyi. 1991. Biochemistry. 30:5008-5015, 5016-5022). Thus, in this light-driven proton pump it is the interconversion of proposed M substates that gives direction to the transport. We find that in monomeric, although not purple membrane-lattice immobilized, D115N bacteriorhodopsin, the absorption maximum of M changes during the photocycle: in the time domain between its rise and decay it shifts 15 nm to the blue relative to the spectrum at earlier times. This large shift strongly supports the existence of two M substates. Since D115 is located near the beta-ionone ring of the retinal, the result raises questions about the possible involvement of the retinal chain or protein residues as far away as 10 A from the Schiff base in the mechanism of the switching reaction.

NASA Discipline Exobiology↗
NASA NTRS2017

The Peak Structure and Future Changes of the Relationships Between Extreme Precipitation and Temperature

Theoretical models predict that, in the absence of moisture limitation, extreme precipitation intensity could exponentially increase with temperatures at a rate determined by the Clausius-Clapeyron (C-C) relationship. Climate models project a continuous increase of precipitation extremes for the twenty-first century over most of the globe. However, some station observations suggest a negative scaling of extreme precipitation with very high temperatures, raising doubts about future increase of precipitation extremes. Here we show for the present-day climate over most of the globe,the curve relating daily precipitation extremes with local temperatures has a peak structure, increasing as expected at the low medium range of temperature variations but decreasing at high temperatures. However, this peak-shaped relationship does not imply a potential upper limit for future precipitation extremes. Climate models project both the peak of extreme precipitation and the temperature at which it peaks (T(sub peak)) will increase with warming; the two increases generally conform to the C-C scaling rate in mid- and high-latitudes,and to a super C-C scaling in most of the tropics. Because projected increases of local mean temperature (T(sub mean)) far exceed projected increases of T(sub peak) over land, the conventional approach of relating extreme precipitation to T(sub mean) produces a misleading sub-C-C scaling rate.

Clausius–Clapeyron↗
NASA NTRS2001

Testing Linear Temporal Logic Formulae on Finite Execution Traces

We present an algorithm for efficiently testing Linear Temporal Logic (LTL) formulae on finite execution traces. The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive. In most past applications of LTL. theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications. Such tests correspond to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property. We then suggest an optimized algorithm based on transforming LTL formulae. The work is done using the Maude rewriting system. which turns out to provide a perfect notation and an efficient rewriting engine for performing these experiments.

Havelund, Klaus↗
NASA NTRS2017

UAV Inspection of Electrical Transmission Infrastructure with Path Conformance Autonomy and Lidar-Based Geofences NASA Report on UTM Reference Mission Flights at Southern Company Flights November 2016

Flights at low altitudes in close proximity to electrical transmission infrastructure present serious navigational challenges: GPS and radio communication quality is variable and yet tight position control is needed to measure defects while avoiding collisions with ground structures. To advance unmanned aerial vehicle (UAV) navigation technology while accomplishing a task with economic and societal benefit, a high voltage electrical infrastructure inspection reference mission was designed. An integrated air-ground platform was developed for this mission and tested in two days of experimental flights to determine whether navigational augmentation was needed to successfully conduct a controlled inspection experiment. The airborne component of the platform was a multirotor UAV built from commercial off-the-shelf hardware and software, and the ground component was a commercial laptop running open source software. A compact ultraviolet sensor mounted on the UAV can locate 'hot spots' (potential failure points in the electric grid), so long as the UAV flight path adequately samples the airspace near the power grid structures. To improve navigation, the platform was supplemented with two navigation technologies: lidar-to-polyhedron preflight processing for obstacle demarcation and inspection distance planning, and trajectory management software to enforce inspection standoff distance. Both navigation technologies were essential to obtaining useful results from the hot spot sensor in this obstacle-rich, low-altitude airspace. Because the electrical grid extends into crowded airspaces, the UAV position was tracked with NASA unmanned aerial system traffic management (UTM) technology. The following results were obtained: (1) Inspection of high-voltage electrical transmission infrastructure to locate 'hot spots' of ultraviolet emission requires navigation methods that are not broadly available and are not needed at higher altitude flights above ground structures. (2) The sensing capability of a novel airborne UV detector was verified with a standard ground-based instrument. Flights with this sensor showed that UAV measurement operations and recording methods are viable. With improved sensor range, UAVs equipped with compact UV sensors could serve as the detection elements in a self-diagnosing power grid. (3) Simplification of rich lidar maps to polyhedral obstacle maps reduces data volume by orders of magnitude, so that computation with the resultant maps in real time is possible. This enables real-time obstacle avoidance autonomy. Stable navigation may be feasible in the GPS-deprived environment near transmission lines by a UAV that senses ground structures and compares them to these simplified maps. (4) A new, formally verified path conformance software system that runs onboard a UAV was demonstrated in flight for the first time. It successfully maneuvered the aircraft after a sudden lateral perturbation that models a gust of wind, and processed lidar-derived polyhedral obstacle maps in real time. (5) Tracking of the UAV in the national airspace using the NASA UTM technology was a key safety component of this reference mission, since the flights were conducted beneath the landing approach to a heavily used runway. Comparison to autopilot tracking showed that UTM tracking accurately records the UAV position throughout the flight path.

Moore, Andrew J.↗
NASA NTRS1997

Identification of the prooxidant site of human ceruloplasmin: a model for oxidative damage by copper bound to protein surfaces

Free transition metal ions oxidize lipids and lipoproteins in vitro; however, recent evidence suggests that free metal ion-independent mechanisms are more likely in vivo. We have shown previously that human ceruloplasmin (Cp), a serum protein containing seven Cu atoms, induces low density lipoprotein oxidation in vitro and that the activity depends on the presence of a single, chelatable Cu atom. We here use biochemical and molecular approaches to determine the site responsible for Cp prooxidant activity. Experiments with the His-specific reagent diethylpyrocarbonate (DEPC) showed that one or more His residues was specifically required. Quantitative [14C]DEPC binding studies indicated the importance of a single His residue because only one was exposed upon removal of the prooxidant Cu. Plasmin digestion of [14C]DEPC-treated Cp (and N-terminal sequence analysis of the fragments) showed that the critical His was in a 17-kDa region containing four His residues in the second major sequence homology domain of Cp. A full length human Cp cDNA was modified by site-directed mutagenesis to give His-to-Ala substitutions at each of the four positions and was transfected into COS-7 cells, and low density lipoprotein oxidation was measured. The prooxidant site was localized to a region containing His426 because CpH426A almost completely lacked prooxidant activity whereas the other mutants expressed normal activity. These observations support the hypothesis that Cu bound at specific sites on protein surfaces can cause oxidative damage to macromolecules in their environment. Cp may serve as a model protein for understanding mechanisms of oxidant damage by copper-containing (or -binding) proteins such as Cu, Zn superoxide dismutase, and amyloid precursor protein.

NASA Discipline Regulatory Physiology↗
NASA NTRS1994

Monte Carlo approach in assessing damage in higher order structures of DNA

We have developed a computer monitor of nuclear DNA in the form of chromatin fibre. The fibres are modeled as a ideal solenoid consisting of twenty helical turns with six nucleosomes per turn. The chromatin model, in combination with are Monte Carlo theory of radiation damage induces by charged particles, based on general features of tack structure and stopping power theory, has been used to evaluate the influence of DNA structure on initial damage. An interesting has emerged from our calculations. Our calculated results predict the existence of strong spatial correlations in damage sites associated with the symmetries in the solenoidal model. We have calculated spectra of short fragments of double stranded DNA produced by multiple double strand breaks induced by both high and low LET radiation. The spectra exhibit peaks at multiples of approximately 85 base pairs (the nucleosome periodicity), and approximately 1000 base pairs (solenoid periodicity). Preliminary experiments to investigate the fragment distributions from irradiated DNA, made by B. Rydberg at Lawrence Berkeley Laboratory, confirm the existence of short DNA fragments and are in substantial agreement with the predictions of our theory.

Non-NASA Center↗
NASA NTRS1983

Numerical solution of the Navier-Stokes equations for arbitrary 2-dimensional multi-element airfoils

Numerical solutions of the Navier-Stokes equations, with an algebraic turbulence model, for time-dependent two dimensional flow about multi-element airfoils were developed. Fundamental to these solutions was the use of numerically-generated boundary-conforming curvilinear coordinate systems to allow bodies of arbitrary shape to be treated. A general two dimensional grid generation code for multiple-body configuration was written as a part of this project and made available through the COSMIC code library.

Thompson, J. F.↗
NASA NTRS1988

Atmospheric water mapping with the Airborne Visible/Infrared Imaging Spectrometer (AVIRIS), Mountain Pass, California

Observations are given of the spatial variation of atmospheric precipitable water using the Airborne Visible/Infrared Imaging Spectrometer (AVIRIS) over a desert area in eastern California, derived using a band ratio method and the 940 nm atmospheric water band and 870 nm continuum radiances. The ratios yield total path water from curves of growth supplied by the LOWTRAN 7 atmospheric model. An independent validation of the AVIRIS-derived column abundance at a point is supplied by a spectral hygrometer calibrated with respect to radiosonde observations. Water values conform to topography and fall off with surface elevation. The edge of the water vapor boundary layer defined by topography is thought to have been recovered. The ratio method yields column abundance estimates of good precision and high spatial resolution.

Conel, James E.↗