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.
Solid state circuit selects the highest of several ac accelerometer signals and gates this signal to an output amplifier, preserving all the frequency information in the peak signal. If the amplitudes of the accelerometer signals change with time, the circuit will continually switch to the highest signal, rejecting the smaller signals.
A comet nucleus sample return mission in terms of its relevant science objectives, candidate mission concepts, key design/technology requirements, and programmatic issues is discussed. The primary objective was to collect a sample of undisturbed comet material from beneath the surface of an active comet and to preserve its chemical and, if possible, its physical integrity and return it to Earth in a minimally altered state. The secondary objectives are to: (1) characterize the comet to a level consistent with a rendezvous mission; (2) monitor the comet dynamics through perihelion and aphelion with a long lived lander; and (3) determine the subsurface properties of the nucleus in an area local to the sampled core. A set of candidate comets is discussed. The hazards which the spacecraft would encounter in the vicinity of the comet are also discussed. The encounter strategy, the sampling hardware, the thermal control of the pristine comet material during the return to Earth, and the flight performance of various spacecraft systems and the cost estimates of such a mission are presented.
To be an effective tool for resource analysis and planning, a geographic information system (GIS) needs to be integrated with a digital remote sensing capability. To be truly functional, the paired system must be driven by grass roots local needs. A case study couched in a Soil Conservation District in northern Utah is presented. Agency representatives determined that the most fundamental data sets to be entered into the GIS system analysis system in the first round were: land use/land cover; geomorphic/soil unit data; hydrologic unit data; and digital terrain. The least expensive and best ways to obtain these data were determined. Data were acquired and formatted to enter the state's PRIME/ARC-INFO GIS, and are being interrogated for resource management decisions related to such issues as agricultural preservation, urban expansion, soil erosion control, and dam siting.
Periodic time-domain boundary conditions are formulated for direct numerical simulation of acoustic waves in ducts without flow. Well-developed frequency-domain boundary conditions are transformed into the time domain. The formulation is presented here in one space dimension and time; however, this formulation has an advantage in that its extension to variable-area, higher dimensional, and acoustically treated ducts is rigorous and straightforward. The boundary condition simulates a nonreflecting wave field in an infinite uniform duct and is implemented by impulse-response operators that are applied at the boundary of the computational domain. These operators are generated by convolution integrals of the corresponding frequency-domain operators. The acoustic solution is obtained by advancing the Euler equations to a periodic state with the MacCormack scheme. The MacCormack scheme utilizes the boundary condition to limit the computational space and preserve the radiation boundary condition. The success of the boundary condition is attributed to the fact that it is nonreflecting to periodic acoustic waves. In addition, transient waves can pass rapidly out of the solution domain. The boundary condition is tested for a pure tone and a multitone source in a linear setting. The effects of various initial conditions are assessed. Computational solutions with the boundary condition are consistent with the known solutions for nonreflecting wave fields in an infinite uniform duct.
Protein- and non-protein-amino acids likely occupied the oceans at the time of the origin and evolution of life. Primordial soup-, hydrothermal vent-, and meteoritic-processes likely contributed to this early chemical inventory. Prebiotic synthesis and carbonaceous meteorite studies suggest that non-protein amino acids were likely more abundant than their protein-counterparts. Amino acid preservation before abiotic and biotic destruction is key to biomarker availability in paleoenvironments and remains an important uncertainty. To constrain primitive amino acid lifetimes, a 1992 archived seawater/beach sand mixture was spiked with D,L-alanine, D,L-valine (Val), alpha-aminoisobutyric acid (alpha-AIB), D,L-isovaline (Iva), and glycine (Gly). Analysis by high performance liquid chromatography with fluorescence detection (HPLC-FD) showed that only D-Val and non-protein amino acids were abundant after 2250 days. The mixture was re-analyzed in 2012 using HPLC-FD and a triple quadrupole mass spectrometer (QqQ-MS). The analytical results 20 years after the inception of the experiment were strikingly similar to those after 2250 days. To confirm that viable microorganisms were still present, the mixture was re-spiked with Gly in 2012. Aliquots were collected immediately after spiking, and at 5- and 9-month intervals thereafter. Final HPLC-FD/QqQ-MS analyses were performed in 2014. The 2014 analyses revealed that only alpha-AIB, D,L-Iva, and D-Val remained abundant. The disappearance of Gly indicated that microorganisms still lived in the mixture and were capable of consuming protein amino acids. These findings demonstrate that non-protein amino acids are minimally impacted by biological degradation and thus have very long lifetimes under these conditions. Primitive non-protein amino acids from terrestrial synthesis, or meteorite in-fall, likely experienced great-er preservation than protein amino acids in paleo-oceanic environments. Such robust molecules may have reached a steady state concentration dependent on ocean circulation through hydrothermal systems and synthetic input processes. We are presently trying to estimate this concentration.
Stateflow is a widely used modeling framework for embedded and cyber physical systems where control software interacts with physical processes. In this work, we present a framework a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based verification engine to decide the validity of safety properties. The starting point of our approach is a denotational semantics of State flow. We propose a compilation process using continuation-passing style (CPS) denotational semantics. Our compilation technique preserves the structural and modal behavior of the system. The overall approach is implemented as an open source toolbox that can be integrated into the existing Mathworks Simulink Stateflow modeling framework. We present preliminary experimental evaluations that illustrate the effectiveness of our approach in code generation and safety verification of industrial scale Stateflow models.
Current radar-based air traffic service providers may preserve privacy for military and corporate operations by procedurally preventing public release of selected flight plans, position, and state data. The FAA mandate for national adoption of Automatic Dependent Surveillance Broadcast (ADS-B) in 2020 does not include provisions for maintaining these same aircraft-privacy options, nor does it address the potential for spoofing, denial of service, and other well-documented risk factors. This paper presents an engineering prototype that embodies a design and method that may be applied to mitigate these ADS-B security issues. The design innovation is the use of an open source permissioned blockchain framework to enable aircraft privacy and anonymity while providing a secure and efficient method for communication with Air Traffic Services, Operations Support, or other authorized entities. This framework features certificate authority, smart contract support, and higher-bandwidth communication channels for private information that may be used for secure communication between any specific aircraft and any particular authorized member, sharing data in accordance with the terms specified in the form of smart contracts. The prototype demonstrates how this method can be economically and rapidly deployed in a scalable modular environment.
Current radar-based air traffic service providers may preserve privacy for military and corporate operations by procedurally preventing public release of selected flight plans, position, and state data. The FAA mandate for national adoption of Automatic Dependent Surveillance Broadcast (ADS-B) in 2020 does not include provisions for maintaining these same aircraft-privacy options, nor does it address the potential for spoofing, denial of service, and other well-documented risk factors. This paper presents an engineering prototype that embodies a design and method that may be applied to mitigate these ADS-B security issues. The design innovation is the use of an open source permissioned blockchain framework to enable aircraft privacy and anonymity while providing a secure and efficient method for communication with Air Traffic Services, Operations Support, or other authorized entities. This framework features certificate authority, smart contract support, and higher-bandwidth communication channels for private information that may be used for secure communication between any specific aircraft and any particular authorized member, sharing data in accordance with the terms specified in the form of smart contracts. The prototype demonstrates how this method can be economically and rapidly deployed in a scalable modular environment.
Quantum Alternating Operator Ansatz (QAOA) provides a platform for probing quantum advantage in optimization problems on NISQ hardware. By exploring symmetries in the system and the structure of unitaries in the algorithm, we proposed using problem-specific mixing operators to limit the quantum evolution within a subspace where the target state lives. As an example, in case of equality constraint, we studied the use of XY operators that preserve total Pauli Z. This QAOA variant, in the noiseless case, significantly outperforms the vanilla version of QAOA where the constraints are encoded as penalty in the cost Hamiltonian and the search is in the whole Hilbert space. In presence of noise, although the advantage still holds, error mitigation is needed for QAOA. I will overview our work on the design of QAOA in presence of symmetry, the implementation and compilation of XY-QAOA, its performance and error mitigation techniques in presence of noise.
A theoretical framework based on Huckel tight-binding model has been formulated to analyze the electronic structure of carbon nanotubes under uniform deformation. The model successfully quantifies the dispersion relation, density of states and bandgap change of nanotubes under uniform stretching, compression, torsion and bending. Our analysis shows that the shifting of the Fermi point away from the Brillouin zone vertices is the key reason for these changes. As a result of this shifting, the electronic structure of deformed carbon nanotubes varies dramatically depending on their chirality and deformation mode. Treating the Fermi point as a function of strain and tube chirality, the analytical solution preserves the concise form of undeformed carbon nanotubes. It predicts the shifting, merging and splitting of the Van Hove singularities in the density of states and the zigzag pattern of bandgap change under strains. Four orbital tight-binding simulations of carbon nanotubes under uniform stretching, compression, torsion and bending have been performed to verify the analytical solution. Extension to more complex systems are being performed to relate this analytical solution to the spectroscopic characterization, device performance and proposed quantum structures induced by the deformation. The limitations of this model will also be discussed.
A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.
The problem of the threshold law for electron-atom impact ionization is reconsidered as an extrapolation of inelastic cross sections through the ionization threshold. The cross sections are evaluated from a distorted wave matrix element, the final state of which describes the scattering from the Nth excited state of the target atom. The actual calculation is carried for the e-H system, and a model is introduced which is shown to preserve the essential properties of the problem while at the same time reducing the dimensionability of the Schrodinger equation. Nevertheless, the scattering equation is still very complex. It is dominated by the optical potential which is expanded in terms of eigen-spectrum of QHQ. It is shown by actual calculation that the lower eigenvalues of this spectrum descend below the relevant inelastic thresholds; it follows rigorously that the optical potential contains repulsive terms. Analytical solutions of the final state wave function are obtained with several approximations of the optical potential.
This presentation discusses a NASA Stennis Space Center project in which NASA-supported satellite and aerial data is being used to aid state and federal agencies in restoring the Mississippi barrier islands. Led by the Applied Science and Technology Project Office (ASTPO), this project will produce geospatial information products from multiple NASA-supported data sources, including Landsat, ASTER, and MODIS satellite data as well as ATLAS multispectral, CAMS multispectral, AVIRIS hyperspectral, EAARL, and other aerial data. Project objectives include the development and testing of a regional sediment transport model and the monitoring of barrier island restoration efforts through remote sensing. Barrier islands provide invaluable benefits to the State of Mississippi, including buffering the mainland from storm surge impacts, providing habitats for valuable wildlife and fisheries habitat, offering accessible recreational opportunities, and preserving natural environments for educating the public about coastal ecosystems and cultural resources. Unfortunately, these highly valued natural areas are prone to damage from hurricanes. For example, Hurricane Camille in 1969 split Ship Island into East and West Ship Island. Hurricane Georges in 1998 caused additional land loss for the two Ship Islands. More recently, Hurricanes Ivan, Katrina, Rita, Gustav, and Ike impacted the Mississippi barrier islands. In particular, Hurricane Katrina caused major damage to island vegetation and landforms, killing island forest overstories, overwashing entire islands, and causing widespread erosion. In response, multiple state and federal agencies are working to restore damaged components of these barrier islands. Much of this work is being implemented through federally funded Coastal Impact Assessment and Mississippi Coastal Improvement programs. One restoration component involves the reestablishment of the island footprints to that in 1969. Our project will employ NASA remote sensing data and products to support these federally funded efforts on multiple fronts. Landsat and ASTER data is being analyzed to assess changes in barrier island land cover over the last 35 years. ASTER, SRTM, and EAARL terrain products and other NASA airborne imagery are being applied in assessing changes in barrier island geomorphology and geospatial extent. MODIS data is being examined as a tool for sediment transport modeling by supplying geospatial data that quantifies in-water sediment concentrations. MODIS satellite data is being assessed for monitoring changes in the spatial extent of individual barrier islands. Results thus far indicate that NASA data products are useful in assessing barrier island conditions and changes. This value is enhanced with additional historical geospatial data, commercial high resolution satellite data, other non-NASA aerial imagery, and field survey data. The project s products are relevant to the Gulf of Mexico Alliance priority issues, including coastal habitat conservation, restoration and coastal community resilience. Such products will be available to state and federal agencies involved with coastal restoration. Potential end-users of these products include the National Park Service, U.S. Geological Survey, U.S. Army Corps of Engineers, Environmental Protection Agency, Mississippi Department of Environmental Quality, and Mississippi Department of Marine Resources.
Comparison of the identity and abundances of ices observed around protostars and those associated with comets clearly suggests that comets preserve the heritage of the interstellar materials that aggregated to form them. However, the ability to identify these same species on icy satellites in the outer solar system is a complex function of the composition of the original ices, their subsequent thermal histories, and their exposure to various radiation environments. Our ability to identify the ices currently present on objects in the outer solar system relies upon observational and laboratory, and theoretical efforts. To date there is ample observational evidence for crystalline water ice throughout the outer solar system. In addition, there is growing evidence that amorphous ice may be present on some bodies. More volatile ices, e.g. N2, CH4. CO, and other species, e.g. ammonia hydrate, are identified on objects lying at and beyond Uranus. Both photolysis and radiolysis play important roles in altering the original surfaces due to chemical reactions and erosion of the surface. Ultraviolet photolysis appears to dominate alteration of the upper few hundred Angstroms, although sputtering the surface can sometimes be a significantly competitative process; dominating on icy surfaces embedded in a strong planetary magnetospheric field. There is growing observational evidence that the by-products of photolysis and radiolysis, suggested on a theoretical basis, are present on icy surfaces.
Cape Canaveral, Florida, is perhaps one of the most important stretches of coastline in the United States of America (USA) due to its critical strategic role in the pursuit of space exploration and as the locus of advanced technological innovation. Due to its geographical setting, the entirety of Cape Canaveral, including its infrastructure, facilities, and important natural habitats (e.g., wetlands, estuaries and dunes) is vulnerable to coastal hazards such as continued sea level rise, storm surges, erosion and flooding. As such, accurate sea level characterization and coastal resiliency predictions are essential to promoting long-term coastal planning and sustainability in the area. This study aims to better understand the temporal and spatial evolution of this area with the purpose of more accurately documenting historical sea level fluctuations and calibrating more localized projections at this site. The Cape Canaveral coastline is situated on a passive margin mostly affected by oceanic (sea level change and wave impact) and atmospheric (aeolian) alteration. This sector is part of the east Florida coast microtidal (1.2 m) setting and low wave energy (1.2-1.6 m and 6.1-8.2 sec for average significant waves) regime and is defined by a well delineated set of beach ridge or cape systems. While the name “Cape Canaveral” is often used as a generic term to describe the geographic area, it is actually an amalgamation or complex of multiple preserved capes. The preserved Cape Canaveral beach ridge plain has largely documented the paleo-sea level highstand history over the last 150 ky. High-resolution mapping of these beach ridges is completed using GPS, LiDAR, aerial, as well as satellite imagery. In order to reconstruct the formational history of the Cape Kennedy Complex and the preserved record of sea level highstands, these detailed geomorphological observations are integrated with OSL and C14 dating techniques. The chronological framework delineated by the OSL dates coupled with detailed geomorphological mapping allows for the creation of high-resolution calibrated site-specific sea level curves that reflect the local environmental and geological conditions. This refinement has the potential to improve the understanding of past sea level variability which is crucial for predicting future trends and assessing the impacts on coastal regions such as Cape Canaveral.
Work was carried out in determination of the mathematical origin of randomness in quantum mechanics and creating a hidden statistics of Schr dinger equation; i.e., to expose the transitional stochastic process as a "bridge" to the quantum world. The governing equations of hidden statistics would preserve such properties of quantum physics as superposition, entanglement, and direct-product decomposability while allowing one to measure its state variables using classical methods.
The first section of the report describes the AbNET system, a hardware and software communications system designed for distribution automation (it can also find application in substation monitoring and control). The topology of the power system fixes the topology of the communications network, which can therefore be expected to include a larger number of branch points, tap points, and interconnections. These features make this communications network unlike any other. The network operating software has to solve the problem of communicating to all the nodes of a very complex network in as reliable a way as possible even if the network is damaged, and it has to do so with minimum transmission delays and at minimum cost. The design of the operating protocols is described within the framework of the seven-layer Open System Interconnection hierarchy of the International Standards Organization. Section 2 of the report describes the development and testing of a high voltage sensor based on an electro-optic polymer. The theory of operation is reviewed. Bulk fabrication of the polymer is discussed, as well as results of testing of the electro-optic coefficient of the material. Fabrication of a complete prototype sensor suitable for use in the range 1-20 kV is described. The electro-optic polymer is shown to be an important material for fiber optic sensing applications. Appendix A is theoretical support for this work. The third section of the report presents the application of an artificial neural network, Kohonen's self-organizing feature map, for the classification of power system states. This classifier maps vectors of an N-dimensional space to a 2-dimensional neural net in a nonlinear way preserving the topological order of the input vectors. These mappings are studied using a nonlinear power system model.
This paper considers the incorporation of constraints to enforce physically based conservation laws in the ensemble Kalman filter. In particular, constraints are used to ensure that the ensemble members and the ensemble mean conserve mass and remain nonnegative through measurement updates. In certain situations filtering algorithms such as the ensemble Kalman filter (EnKF) and ensemble transform Kalman filter (ETKF) yield updated ensembles that conserve mass but are negative, even though the actual states must be nonnegative. In such situations if negative values are set to zero, or a log transform is introduced, the total mass will not be conserved. In this study, mass and positivity are both preserved by formulating the filter update as a set of quadratic programming problems that incorporate non-negativity constraints. Simple numerical experiments indicate that this approach can have a significant positive impact on the posterior ensemble distribution, giving results that are more physically plausible both for individual ensemble members and for the ensemble mean. In two examples, an update that includes a non-negativity constraint is able to properly describe the transport of a sharp feature (e.g., a triangle or cone). A number of implementation questions still need to be addressed, particularly the need to develop a computationally efficient quadratic programming update for large ensemble.