Search NASA⌕ Search

Engineering topics

Horvath, Joan

Publications and source records attributed to Horvath, Joan.

4 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

(abstract) Searching for Ice and Ocean Biogenic Activity on Europa and Earth

One of the more likely places in the solar system for the existence of extraterrestrial life forms is the jovian moon Europa. It has been postulated that a volcanically heated ocean exists underneath Europa's icy surface. In order to make quantitative measurements of the Europan environment, a lander spacecraft capable of penetrating the surface ice layer by melting through it is proposed. This vehicle, dubbed a

Europa↗
NASA NTRS1996

(abstract) Through the Europan Ice: Advanced Lander Mission Options

A variety of options for missions to visit Europa and study it in depth are being discussed. A first reconaissance may be made with an orbiter only. However, detailed examination of any water-ice ocean, particularily to determine the possible existence of biochemical materials, will require landing on and perhaps melting down through the ice itself to directly explore the Europan ocean. A first mission to Europa will attempt to determine whether or not this liquid water exists. Assuming this first mission determined it likely that liquid water did indeed exist, a more sophisticated lander package would be appropriate. This paper will describe strawman designs of this advanced lander as well and will discuss the many opportunities and challences in creating such spacecraft. Work in progress at both Leicester and JPL to further determine cryobot feasibility through numerical modeling and mechanical prototyping will be described.

Europa↗
NASA NTRS1994

(abstract) Automated Constraint Checking of Spacecraft Command Sequences

Making certain that spacecraft command sequences do not violate any constraints is often tedious and expensive in terms of both personnel and software development. To reduce this cost, we have pursued the development of a flexible system for specifying models of spacecraft behavior in response to commands as well as constraints on that behavior. The potential need for modeling complex spacecraft behavior required that the system be designed to be usable both on a conventional workstation and a parallel supercomputer. Finally, it needed to be intuitive enough for the the intended mission operations users to easily design sets of rules and models to automate tedious, resource-consuming constraint checking of commands. We have defined a Specification And Verification Environment (SAVE) for spacecraft flight rules.

automation spacecraft command sequences constraint↗