Search NASA⌕ Search

Engineering topics

Schneider, F.

Publications and source records attributed to Schneider, F..

Exploring Mission Design for Imaging Spectroscopy Retrievals for Land and Aquatic Ecosystems

The retrieval algorithms used for optical remote sensing satellite data to estimate Earth's geophysical properties have specific requirements for spatial resolution, temporal revisit, spectral range and resolution, and instrument signal-to-noise ratio (SNR) performance to meet biogeoscience objectives. Studies to estimate surface properties from hyperspectral data use a range of algorithms sensitive to various sources of spectroscopic uncertainty, which are in turn influenced by mission architecture choices. Retrieval algorithms vary across scientific fields and may be more or less sensitive to mission architecture choices that affect spectral, spatial, or temporal resolutions and spectrometer SNR. We used representative remote sensing algorithms across terrestrial and aquatic study domains to inform aspects of mission design that are most important for impacting accuracy in each scientific area. We simulated the propagation of uncertainties in the retrieval process including the effects of different instrument configuration choices. We found that retrieval accuracy and information content degrade consistently at >10 nm spectral resolution, >30 m spatial resolution, and >8-day revisit. In these studies, the noise reduction associated with lower spatial resolution improved accuracy vis à vis high spatial resolution measurements. The interplay between spatial resolution, temporal revisit, and SNR can be quantitatively assessed for imaging spectroscopy missions and used to identify key components of algorithm performance and mission observing criteria.

54 ENVIRONMENTAL SCIENCES↗

High efficiency resonance ionization of palladium with Ti:sapphire lasers

Here, we present the development and testing of highly efficient excitation schemes for resonance ionization of palladium. To achieve the highest ionization efficiencies, a high-power, high repetition rate Ti:sapphire laser system was used and 2-step, 3-step and 4-step schemes were investigated and compared. Starting from different excited steps, the frequencies of the final ionization steps were tuned across the full accessible spectral range of the laser system, revealing several autoionizing Rydberg series, which converge towards the energetically higher lying state 4d 9 2 D 3/2 of the Pd + ion ground state configuration. Through proper choice of these excitation steps, we developed a highly efficient, fully resonant 3-step excitation scheme, which lead to overall efficiencies of 54.3(1.4)% and 59.7(2.1)%, measured at two independent mass separator setups. Lastly, to our knowledge, these are presently the highest efficiency values ever achieved with a resonance ionization laser ion source.

74 ATOMIC AND MOLECULAR PHYSICS↗

UML and Model Checking

UML use cases conceptually identify function points or major requirements that a software system must satisfy. Sequence diagrams expand each use case to show in temporal sequence a more detailed notion of intended system behavior.

UML Model Checking software system real-time inter↗

A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking

Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away extraneous complexity, the state space of the model could be exhaustively searched allowing critical functional requirement to be validated down to the design level.

model checking fault tolerant embedded spacecraft ↗