Featured Dataverses

In order to use this feature you must have at least one published dataverse.

Publish Dataverse

Are you sure you want to publish your dataverse? Once you do so it must remain published.

Publish Dataverse

This dataverse cannot be published because the dataverse it is in has not been published.

Delete Dataverse

Are you sure you want to delete your dataverse? You cannot undelete this dataverse.

Advanced Search

1 to 10 of 1,218 Results
Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion
Jul 14, 1997
Kelly, John C., 1997, "Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion", https://hdl.handle.net/2014/22415, JPL Open Repository
This volume presents technical issues involved in applying mathematical techniques known as Formal Methods to specify and analytically verify aerospace and avionics software systems.
Microchannel Gate Temperature Analysis
Aug 1, 1998
Kim, Q.; Kayali, S., 1998, "Microchannel Gate Temperature Analysis", https://hdl.handle.net/2014/20381, ['Journal of Microelectronics Reliability', 'USA'], JPL Open Repository
Photoemission spectra of a GaAs gate material of a metal semiconductor field effect transistor (MESFET) were analyzed to nondestructively assess the submicron-size local gate temperature.
Smart Executives for Autonomous Spacecraft
Aug 1, 1998
Gat, E.; Pell, B., 1998, "Smart Executives for Autonomous Spacecraft", https://hdl.handle.net/2014/20505, ['IEEE Intelligent Systems', 'USA'], JPL Open Repository
In this article we explore the design of an executive for an autonomous spacecraft. The executive is responsible for translating high-level commands, whether they come from the ground or from an on-board planner, into the low-level commands understood directly by the spacecraft h...
Mid-Infrared Astronomy with the NGST
Aug 1, 1998
Serabyn, E., 1998, "Mid-Infrared Astronomy with the NGST", https://hdl.handle.net/2014/17100, ['AAS', 'USA'], JPL Open Repository
No abstract provided
A Model-Based Thruster Leakage Monitor for the Cassini Spacecraft
Aug 1, 1998
Lee, A., 1998, "A Model-Based Thruster Leakage Monitor for the Cassini Spacecraft", https://hdl.handle.net/2014/20507, ['Journal of Guidance, Control, and Dynamics', 'U.S.A.'], JPL Open Repository
The Cassini spacecraft was launched on October 15, 1997. It uses thrusters to perform many spacecraft control functions: to detumble the spacecraft, to maintain three-axis attitude control, to perform small trajectory correction burns, to desaturate the reaction wheels, and other...
Six Years of UARS Microwave Limb Sounder HNO3***sub3*** Observations: Seasonal, Interhemispheric, and Interannual Variations in the Lower Stratosphere
Aug 1, 1998
Santee, M. L.; Manney, G. L.; Froidevaux, L.; Read, W. G.; Waters, J. W., 1998, "Six Years of UARS Microwave Limb Sounder HNO3***sub3*** Observations: Seasonal, Interhemispheric, and Interannual Variations in the Lower Stratosphere", https://hdl.handle.net/2014/20366, ['Journal of Geophysical Research', 'USA'], JPL Open Repository
We present an overview of the seasonal, interhemisphereic, and interannual variations in the distribution of HNO3 in the lower stratosphere based on measurements of gas-phase HNO3 made by the UARS Microwave Limb Sounder (MLS) through six complete annual cycles in both hemispheres...
Rainbow-A High Efficiency Solar Conversion System
Aug 1, 1998
Phillips, W. M., 1998, "Rainbow-A High Efficiency Solar Conversion System", https://hdl.handle.net/2014/20687, ['Energy Conversion', 'Vancouver B.C., Canada'], JPL Open Repository
No abstract provided
Analytic Verification of Flight Software
Aug 1, 1998
Dvorak, D., 1998, "Analytic Verification of Flight Software", https://hdl.handle.net/2014/20501, ['IEEE Expert', 'USA'], JPL Open Repository
In the realm of space exploration, the biggest obstacle to widespread application of autonomy in flight software is not technical feasibility; it is doubt about its trustworthiness as a replacement for human-in-the-loop decision-making.
Detection and Modeling of Non-Tidal Oceanic Effects on the Earth's Rotation Rate
Aug 1, 1998
Marcus, S. L.; Chao, Y.; Dickey, J. O.; Gegout, P., 1998, "Detection and Modeling of Non-Tidal Oceanic Effects on the Earth's Rotation Rate", https://hdl.handle.net/2014/20444, ['Science', 'USA'], JPL Open Repository
Sub-decadal changes in the Earth's rotation rate, and hence in the length-of-day (LOD), are largely controlled by variations in atmospheric angular momentum. Results from two oceanic general circulation models (OGCMs), forced by observed wind stress and heat flux for the years 19...
Synchronized Formation Rotation and Attitude Control of Multiple Free-flying Spacecraft
Aug 1, 1998
Wang, P. K. C.; Hadaegh, F. Y.; Lau, K., 1998, "Synchronized Formation Rotation and Attitude Control of Multiple Free-flying Spacecraft", https://hdl.handle.net/2014/20451, ['AIAA Journal of Guidance and Control', 'USA'], JPL Open Repository
In the observation slewing of long base-line interferometers formed by multiple free-flying spacecraft in formation, it is required to rotate the entire formation about a given axis, and to synchronize individual spacecraft rotation with formation rotation.
Add Data

Sign up or log in to create a dataverse or add a dataset.

Sign Up Log In
Share Dataverse

Share this dataverse on your favorite social media networks.

Link Dataverse
Reset Modifications

Are you sure you want to reset the selected metadata fields? If you do this, any customizations (hidden, required, optional) you have done will no longer appear.