Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “style transfer”

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.

39 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Efficient transfer of images over networks

Effective remote observing requires sending large images over long distances. The usual approach to the transfer problem is to require high bandwidth transmission links, which are expensive to install and operate. An alternative approach is to use existing low-bandwidth connections, such as phone lines or the Internet, in a highly efficient manner by compressing the images. The combined use of existing low-cost infrastructure and standard networking software means that remote observing can be made practical even for small observatories with limited network resources. The authors have implemented such a scheme based on the H-transform compression method developed for astronomical images, which are often resistant to compression because they are noisy. The H-transform can be used for either lossy or lossless compression, and compression factors of at least 10 can be achieved with no noticeable losses in the astrometric or photometric properties of the compressed images. The H-transform allows us to organize the information in an image so that the 'useful' information can be sent first, followed by the noise, which makes up the bulk of the transmission. The receiver can invert a partially received set of H-coefficients, creating an image that improves with time. The H-transform is particularly well-suited to this style of incremental reconstruction, because the spatially localized nature of the basis functions of the H-transorm prevents the appearance of artifacts such as ringing around point sources and edges. The authors' implementation uses the WIYN Telescope Control System's TCP-based communications protocol. An 800x800 16-bit astronomical image was sent over a 2400 baud connection, which would normally take about 71 minutes; after only 60 seconds, the partially received H-transform produced an image that did not differ appreciably from the original. This poster presents a quantification of the efficiencies, as well as examples of images reconstructed from partial data.

Percival, J. W.↗
NASA NTRS1995

The AAMP5/AAMP-FV project

This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.

Miller, Steven P.↗
NASA NTRSDate not supplied

Imaging Science Requirements for a Uranus Flagship Mission

Introduction: Our presentation will summarize the requirements for UV/Visible/Near-IR remote-sensing imaging science instruments (including mapping spectrometers) envisioned for the Uranus Orbiter and Probe (UOP) mission recommended by the recent planetary decadal survey. The Uranus system offers many targets for imaging investigations. Imaging science investigations are crucial to answering fundamental questions about various physical processes that shape the Uranian system and drive its evolution. Each science objective addressed through imaging has requirements for observation and illumination geometries as well as coverage and resolution in the spatial, spectral and temporal dimensions. By combining the requirements for the diverse science targets in the Uranian system, we present a set of overarching imaging science requirements for UOP. Atmospheric Science: The study of Uranus’ atmosphere is crucial in understanding the planet's energy balance and interior heat flux. Imaging observations map how the atmosphere scatters incident solar radiation. Imaging is key to characterizing planetary-scale energy/material transport though global atmospheric dynamics and local meteorology. Hyperspectral mapping combined with radiative transfer analysis reveals the vertical distribution of clouds and hazes. Chronicling temporal variabilities of atmospheric features is key to understanding the various processes that operate within the dynamic Uranian atmosphere. A comprehensive understanding of Uranus' atmosphere is essential in deciphering the planet's origins and evolution as well as providing insight into the broader field of planetary and exoplanetary science. Magnetospheric Interactions: Imaging science is critical to understand the elusive Uranian aurorae. Mapping the aurorae and their temporal dynamics will reveal the interaction of Uranus’ complex magnetosphere with the solar wind. The apparent decades-long cooling of Uranus’ upper atmosphere is thought to be due to changes in energy input from the overlying magnetosphere, and so mapping and quantifying the auroral evidence for this energy flux is particularly relevant for upper atmospheric science In addition, Uranus’ large moons may generate auroral footprints, which can be used to constrain the planet’s unusual magnetic field structure. Satellite Interiors: Imaging science can address the potential habitability of the larger moons of Uranus by measuring their shapes and rotational states (including librations), which combined with gravity data are crucial to understanding their internal density structure. Satellite Origins: Origin markers such as organics and volatiles may be preserved on the satellite surfaces, which may be sensed by UV/IR mapping. Imaging combined with the moons’ densities may reveal whether the moons formed in Uranus’ circumplanetary disk, rings, or from ejecta of a giant impact on Uranus. Satellite Geology: Imaging investigations, including stereo imaging to obtain topography, will enable constraining each satellite’s geologic history by investigating the distributions and morphologies of impact craters, tectonic and potential cryovolcanic features, and regolith and mass wasting deposits. These records will help unravel the past complex history of orbital resonances that occurred between Uranian satellites, which may have driven geologic activity. Analyses of these features will also point to resurfacing styles and modification processes important for understanding each moon’s thermal evolution, and any present-day geological activity, including potential subsurface deep oceans or possible current activity. Additionally, hyperspectral imaging will enable mapping the surface composition and identifying the potential presence of material that may point to a subsurface ocean, such as ammonia-bearing species. Rings and Small Moons: Imaging observations elucidate the physical processes that contribute to the complex ring-moon system’s inferred unstable state. Imaging surveys will seek smaller moons and other debris that could provide evidence of past collisions, while precise astrometric data of moons will determine the current dynamical state of the system. Many of Uranus' rings are exceptionally narrow, and images of the rings covering a broad range of longitudes, and high-resolution images of features within the rings will reveal how these rings are confined and maintained, as well as illustrating the rings' internal structure and dynamics. Images of the rings and moons obtained at a variety of wavelengths and lighting conditions are also needed to quantify the composition and the size distribution of the small satellites and ring particles.

K M Sayanagi↗