Search NASA⌕ Search

SEARCH · Search NASA

Results for “LEADING ABSTRACT”

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 73 records · Page 4

Software Certification for Temporal Properties With Affordable Tool Qualification

It has been recognized that a framework based on proof-carrying code (also called semantic-based software certification in its community) could be used as a candidate software certification process for the avionics industry. To meet this goal, tools in the "trust base" of a proof-carrying code system must be qualified by regulatory authorities. A family of semantic-based software certification approaches is described, each different in expressive power, level of automation and trust base. Of particular interest is the so-called abstraction-carrying code, which can certify temporal properties. When a pure abstraction-carrying code method is used in the context of industrial software certification, the fact that the trust base includes a model checker would incur a high qualification cost. This position paper proposes a hybrid of abstraction-based and proof-based certification methods so that the model checker used by a client can be significantly simplified, thereby leading to lower cost in tool qualification.

Xia, Songtao↗

Design of a Crossflow Attenuated Natural Laminar Flow Flight Test Article

This abstract includes preliminary information on the computational design and analysis of a flight test article. The flight test aims to experimentally validate the new Crossflow Attenuated Natural Laminar Flow (CATNLF) design method in a flight environment. The CATNLF design method uses geometry shaping to produce specific pressure distributions that enable laminar flow on vehicle components with high sweep and high Reynolds numbers by attenuating the crossflow growth that typically leads to premature transition on such components. The flight test article design is scheduled to be completed at the end of 2019, with model fabrication beginning in early 2020.Design results presented in this abstract are representative of the final test article. The final paper will be updated to include the finalized test article geometry and analysis.

Michelle N. Lynde↗

Improvements in pilot/aircraft-integration by advanced contact analog displays

Several expert statements selected from literature and concerning the qualities of modern information displays lead to the definition of a number of requirements which should be covered by the displays of the future. It is shown that abstract displays principally cannot fulfill all these demands and that simply superimposing abstract symbols with the natural view of the outside world or with it's artificial equivalent will not result in an optimum solution. Some test results are shown for confirmation of the concept; special and general problems are touched.

Wilckens, V.↗

Global Lightning Activity

Our knowledge of the global distribution of lightning has improved dramatically since the advent of space-based lightning observations. Of major importance was the 1995 launch of the Optical Transient Detector (OTD), followed in 1997 by the launch of the Lightning Imaging Sensor (LIS). Together, these instruments have generated a continuous nine-year record of global lightning activity. These lightning observations have provided a new global perspective on total lightning activity. For the first time, total lightning activity (cloud-to-ground and intra-cloud) has been observed over large regions with high detection efficiency and accurate geographic location. This has produced new insights into lightning distributions, times of occurrence and variability. It has produced a revised global flash rate estimate (45 flashes per second) and has lead to a new realization of the significance of total lightning activity in severe weather. Additional information is included in the original extended abstract.

Christian, Hugh J., Jr.↗

(abstract) Seasonal Variability in Coastal Upwelling: A Comparison of Four Coastal Upwelling Sites from Space

Coastal upwelling of subsurface nutrient-rich water occurs along the eastern boundary of the ocean basins and leads to high primary production and fish catches. In this study satellite observations are used to compare the seasonal cycle in wind forcing and in the oceanic and biological response of the major coastal upwelling regions associated with the Canary, Benguela, California, and Humboldt Currents.

Current California Current Canary Current Benguela↗

Z-2 Threaded Insert Design and Testing Abstract

The Z-2 Prototype Planetary Extravehicular Space Suit Assembly is a continuation of NASA's Z series of spacesuits. The Z-2 is another step in the NASA's technology development roadmap leading to human exploration of the Martian surface. To meet a more challenging set of requirements than previous suit systems standard design features, such as threaded inserts, have been re-analyzed and improved. NASA's Z-2 prototype space suit contains several components fabricated from an advanced hybrid composite laminate consisting of IM10 carbon fiber and fiber glass. One requirement NASA levied on the suit composites was the ability to have removable, replaceable helicoil inserts to which other suit components would be fastened. An approach utilizing bonded in inserts with helicoils inside of them was implemented. The design of the interface flanges of the composites allowed some of the inserts to be a "T" style insert that was installed through the entire thickness of the laminate. The flange portion of the insert provides a mechanical lock as a redundancy to the adhesive aiding in the pullout load that the insert can withstand. In some locations it was not possible to utilize at "T" style insert and a blind insert was used instead. These inserts rely completely on the bond strength of the adhesive to resist pullout. It was determined during the design of the suit that the inserts did not need to withstand loads induced from pressure cycling but instead tension induced from torqueing the screws to bolt on hardware which creates a much higher stress on them. Bolt tension is determined by dividing the torque on the screw by a k value multiplied by the thread diameter of the bolt. The k value is a factor that accounts for friction in the system. A common value used for k for a non-lubricated screw is 0.2. The k value can go down by as much as 0.1 if the screw is lubricated which means for the same torque, a much larger tension could be placed on the bolt and insert. This paper summarizes testing that was performed to determine a k value for helicoil inserts in the Z2 suit and how the insert design was modified to resist a higher pull out tension.

Rhodes, RIchard↗

The First Six Months of Iapetus Observations by the Cassini ISS Camera

Since Saturn arrival in June 2004, Iapetus has been studied intensively by the Cassini ISS camera [1] at various ranges. The first of two relatively close flybys in the primary mission occurred on Dec 31, 2004 at an altitude of approx.123,400 km over the northern leading hemisphere, resulting in images with a minimum pixel scale of 740 m. Detailed results of this flyby are given in [2], while this abstract covers the observations obtained earlier. Among the most important discoveries are: (a) Four giant impact basins with diameters between 390 and 550 km were detected, three of them are located in the dark terrain [3]. (b) Data revealed a >1300 km long ridge that marks exactly Iapetus' equator within the dark terrain. Individual mountains within the western part of the ridge reach heights of approx.20 km over surrounding terrain [3]. (c) Impact craters were confirmed to be the main geological feature within the dark terrain and at high southern latitudes. (d) There are numerous craters with dark walls roughly facing towards the central parts of the dark hemisphere [3]. (e) Almost all parts of Iapetus have been imaged at least at low resolution (< 60 km/pxl).

Denk, T.↗

Development of guidelines for the definition of the relavant information content in data classes

The problem of experiment design is defined as an information system consisting of information source, measurement unit, environmental disturbances, data handling and storage, and the mathematical analysis and usage of data. Based on today's concept of effective computability, general guidelines for the definition of the relevant information content in data classes are derived. The lack of a universally applicable information theory and corresponding mathematical or system structure is restricting the solvable problem classes to a small set. It is expected that a new relativity theory of information, generally described by a universal algebra of relations will lead to new mathematical models and system structures capable of modeling any well defined practical problem isomorphic to an equivalence relation at any corresponding level of abstractness.

Schmitt, E.↗

Extended abstract: Managing disjunction for practical temporal reasoning

One of the problems that must be dealt with in either a formal or implemented temporal reasoning system is the ambiguity arising from uncertain information. Lack of precise information about when events happen leads to uncertainty regarding the effects of those events. Incomplete information and nonmonotonic inference lead to situations where there is more than one set of possible inferences, even when there is no temporal uncertainty at all. In an implemented system, this ambiguity is a computational problem as well as a semantic one. In this paper, we discuss some of the sources of this ambiguity, which we will treat as explicit disjunction, in the sense that ambiguous information can be interpreted as defining a set of possible inferences. We describe the application of three techniques for managing disjunction in an implementation of Dean's Time Map Manager. Briefly, the disjunction is either: removed by limiting the expressive power of the system, or approximated by a weaker form of representation that subsumes the disjunction. We use a combination of these methods to implement an expressive and efficient temporal reasoning engine that performs sound inference in accordance with a well-defined formal semantics.

Boddy, Mark↗

Atlas Centaur/GOES-J News Conference

Live footage includes a continuation of the discussions on Geostationary Satellites, the Automatic Surface Observation System (ASOS), and the Doppler Radar Network lead by Frederick Ostby, Director of the National Severe Storms Forecast Center. Live Coverage also shows the question and answer session between the panelists and the audience. This abstract describes the content of tape 2 of 2, 1 having a Report Number of NONP-NASA-VT-2000000038.

Source record↗

What is the Earth Made Of?

Measurements made on materials from Earth, Mars, comets, and meteorites of Mg/Si, Al/Si, oxygen, Os, D/H, Ar/H2O, and Kr/Xe ratios, all lead to the conclusion that no primitive material similar to Earth mantle material is currently represented in our meteorite collections. Additional information is contained in the original extended abstract.

Drake, M. J.↗

X-Ray and Radio Studies of Black Hole X-Ray Transients During Outburst Decay

Black hole (BH) and black hole candidate (BHC) transients are X-ray binary systems that typically undergo bright outbursts that last a couple months with recurrence times of years to decades. For this ADP project, we are studying BH/BHC systems during the decaying phases of their outbursts using the Rossi X-ray Taming Explorer (RXTE), the Chandra X-ray Observatory, and multi-wavelength facilities. These systems usually undergo state transitions as they decay, and our observations are designed to catch the state transitions. The specific goals of this proposal include: 1. To determine the evolution of the characteristic frequencies present in the power spectrum (such as quasi-periodic oscillations, QPOs) during state transitions in order to place constraints on the accretion geometry; 2. To contemporaneously measure X-ray spectral and timing properties along with flux measurements in the radio band to determine the relationship between the accretion disk and radio jets; 3. To extend our studies of X-ray properties of BHCs to very low accretion rates using RXTE and Chandra. The work performed under this proposal has been highly successful, allowing the PI to lead, direct, or assist in the preparation of 7 related publications in refereed journals and 6 other conference presentations or reports. These items are listed below, and the abstracts for the refereed publications have also been included. Especially notable results include our detailed measurements of the characteristic frequencies and spectral parameters of BH/BHCs after the transition to the hard state (see All A3, and A5) and at low flux levels (see A4). Our measurements provide one of the strongest lines of evidence to date that the inner edge of the optically thick accretion disk gradually recedes from the black hole at low flux levels. In addition, we have succeeded in obtaining excellent multi-wavelength coverage of a BH system as its compact jet turned on (see Al). Our results show, somewhat unexpectedly, that the radio jet does not turn on until the hard X-ray emission is well past its peak hard state level, strongly constraining theoretical models for hard X-ray production and the spectrum emitted by the jet. Finally, the X-ray/radio results in A2 led us to propose a general picture about the relationship between jet production and X-ray spectral states .

Tomsick, John A.↗

(abstract) A Polarimetric Model for Effects of Brine Infiltrated Snow Cover and Frost Flowers on Sea Ice Backscatter

A polarimetric scattering model is developed to study effects of snow cover and frost flowers with brine infiltration on thin sea ice. Leads containing thin sea ice in the Artic icepack are important to heat exchange with the atmosphere and salt flux into the upper ocean. Surface characteristics of thin sea ice in leads are dominated by the formation of frost flowers with high salinity. In many cases, the thin sea ice layer is covered by snow, which wicks up brine from sea ice due to capillary force. Snow and frost flowers have a significant impact on polarimetric signatures of thin ice, which needs to be studied for accessing the retrieval of geophysical parameters such as ice thickness. Frost flowers or snow layer is modeled with a heterogeneous mixture consisting of randomly oriented ellipsoids and brine infiltration in an air background. Ice crystals are characterized with three different axial lengths to depict the nonspherical shape. Under the covering multispecies medium, the columinar sea-ice layer is an inhomogeneous anisotropic medium composed of ellipsoidal brine inclusions preferentially oriented in the vertical direction in an ice background. The underlying medium is homogeneous sea water. This configuration is described with layered inhomogeneous media containing multiple species of scatterers. The species are allowed to have different size, shape, and permittivity. The strong permittivity fluctuation theory is extended to account for the multispecies in the derivation of effective permittivities with distributions of scatterer orientations characterized by Eulerian rotation angles. Polarimetric backscattering coefficients are obtained consistently with the same physical description used in the effective permittivity calculation. The mulitspecies model allows the inclusion of high-permittivity species to study effects of brine infiltrated snow cover and frost flowers on thin ice. The results suggest that the frost cover with a rough interface significantly increases the backscatter from thin saline ice and the polarimetric signature becomes closer to the isotropic characteristics. The snow cover also modifies polarimetric signatures of thin sea ice depending on the snow mixture and the interface condition.

thin sea ice radar backscatter frost flowers snow ↗

Pre-Demonstration Development of Controlled-Release Corrosion Inhibitors and Healing Agents as Alternatives to Hexavalent Chromium

This Limited Scope Study was directed to achieve the following objectives: (1) Scale-up of materials that can meet MIL-PRF-23377 (solvent-based primer). (2) Provide evidence of resistance to aircraft alkaline cleaners and de-icing fluids. (3) Provide formulation for initial ecological and toxicity screening. (4) Submit an interim report that will provide the basis for a future ESTCP (the Dept. of Defense's (DoD's) Environmental Security Technology Certification Program) demonstration effort.The encapsulation procedure for two corrosion inhibitors was scaled up from lab scale to 2.0 kilograms. This scale will accommodate high volume production of coatings with encapsulated corrosion inhibitors for large surface areas during a follow-on ESTCP demonstration effort. Test results provided evidence of resistance to alkaline cleaners and aircraft de-icing fluids and compliance with MIL-PRF-23377. All the MIL-PRF-23377 requirements were met with the exception of the adhesion requirement, in top coated panels, and the flexibility requirement. Work on solving these two problems will be done prior to validation and demonstration of the technology. An initial ecological and toxicity screening identified several factors that were not critical to the acceptance of the encapsulated corrosion inhibitor. This new technology will lead to environmentally friendly alternatives to hexavalent chromium that will enable DoD to protect its assets. Field demonstration, licensing, qualification, and commercialization will allow its real world utilization. Abstract for Appendix A. Toxicology Report: Corrosion controls a significant problem for military equipment. Many surface treatment materials currently in use on items of military or aerospace materiel contain chromium (VI) as a component, a source of significant human health and environmental hazard. The formulation under evaluation contains no chromium. Most of the proposed components are low to moderate toxicity and are not a significant concern. Two of the formulation components are associated with some cancer hazard - 2-mercaptobenzothiazole and formaldehyde, but both find widespread use in industry and additional investigation is not required for this project.

Calle, Luz Marina↗

Parameter identification for an abstract Cauchy problem by quasilinearization

A parameter identification problem is considered in the context of a linear abstract Cauchy problem with a parameter-dependent evolution operator. Conditions are investigated under which the gradient of the state with respect to a parameter possesses smoothness properties which lead to local convergence of an estimation algorithm based on quasi-linearization. Numerical results are presented concerning estimation of unknown parameters in delay-differential equations.

Brewer, Dennis W.↗

Parameter identification for an abstract Cauchy problem by quasilinearization

A parameter identification problem is considered in the context of a linear abstract Cauchy problem with a parameter-dependent evolution operator. Conditions are investigated under which the gradient of the state with respect to a parameter possesses smoothness properties which lead to local convergence of an estimation algorithm based on quasi-linearization. Numerical results are presented concerning estimation of unknown parameters in delay-differential equations.

Brewer, Dennis W.↗

LQR Control of Shell Vibrations Via Piezoceramic Actuators

A model-based Linear Quadratic Regulator (LQR) method for controlling vibrations in cylindrical shells is presented. Surface-mounted piezo-ceramic patches are employed as actuators which leads to unbounded control input operators. Modified Donnell-Mushtari shell equations incorporating strong or Kelvin-Voigt damping are used to model the system. The model is then abstractly formulated in terms of sesquilinear forms. This provides a framework amenable for proving model well-posedness and convergence of LQR gains using analytic semigroup results combined with LQR theory for unbounded input operators. Finally, numerical examples demonstrating the effectiveness of the method are presented.

delRosario, R. C. H.↗

(abstract) Timing and Extent of Wurm-Wisconsinan Deglaciation and Subsequent Rebound in Antarctica

Recent information from glacio-geomorphologists, when coupled to new glacio-sedimentary dating of the grounded ice sheet in the Ross Embayment at the last glacial maximum, leads to the conclusion that global geophysical models might require some revision. We investigate such new models and the possible implications for observable geodetic signatures, such as rebound-driven temporal variations in the Earth's low-order gravity field and in vertical crustal motions.

Antarctica↗