NASA NTRS · 20130009339
No abstract available
Explore connections, maps & timelines
Edwards, Chad. 2012-03-08. Technologies for Mars Exploration. https://ntrs.nasa.gov/citations/20130009339
Cite the original work for its findings. Save a collection to share your selection of sources.
KEEP EXPLORING
One of the most pressing current questions in space science is whether life has ever arisen anywhere else in the universe. Water is a critical prerequisite for all life-as-we-know-it, thus the possible exploration targets for extraterrestrial life are bodies that have or had copious liquid: Mars, Europa, and Enceladus. Due to the oxidizing nature of Mars' surface, as well as subsurface liquid water reservoirs present on Europa and Enceladus, the search for evidence of existing life must likely focus on subsurface locations, at depths sufficient to support liquid water or retain biologic signatures. To address these questions, an Auto-Gopher sampler has been developed that is a wireline type drill. This drill is suspended on a tether and its motors and mechanisms are built into a tube that ends with a coring bit. The tether provides the mechanical connection to a rover/lander on a surface as well as power and data communication. Upon penetrating to a target depth, the drill is retracted from the borehole, the core is deposited into a sample transfer system, and the drill is lowered back into the hole. Wireline operation sidesteps one of the major drawbacks of traditional continuous drill string systems by obviating the need for multiple drill sections, which add significantly to the mass and the complexity of the system (i.e. penetration rate was 40 cm per hour). Drilling to 2 meter depth and recovering of cores every 10 cm took a total time of 15 hours (a single step of drilling 10 cm and retrieving the core was 45 minutes). Total energy to reach the 2 m depth was 500 Whr. The Weight on Bit was limited to less than 70 Newton. The core recovery was 100%.
We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate theprobability that a temporal property is satisfied by a run of a program when monitoring overhead is reduced by sampling. In such situations, there may be gaps in the observed program executions, thus making accurate estimation challenging. To deal with the effects of sampling on runtime verification, we view event sequences as observation sequences of a Hidden Markov Model (HMM), use an HMM model of the monitored program to "fill in" sampling-induced gaps in observation sequences, and extend the classic forward algorithm for HMM state estimation (which determines the probability of a state sequence, given an observation sequence) to compute the probability that the property is satisfied by an execution of the program. To validate our approach, we present a case study based on the mission software for a Mars rover. The results of our case study demonstrate high prediction accuracy for the probabilities computed by our algorithm. They also show that our technique is much more accurate than simply evaluating the temporal property on the given observation sequences, ignoring the gaps.
The Piezoelectric Rotary Hammer Drill is designed to core through rock using a combination of rotation and high frequency hammering powered by a single piezoelectric actuator. It is designed as a low axial preload, low mass, and low power device for sample acquisition on future missions to extraterrestrial bodies. The purpose of this internship is to develop and test a prototype of the Piezoelectric Rotary Hammer Drill in order to verify the use of a horn with helical or angled cuts as a hammering and torque inducing mechanism. Through an iterative design process using models in ANSYS Finite Element software and a Mason's Equivalent Circuit model in MATLAB, a horn design was chosen for fabrication based on the predicted horn tip motion, electromechanical coupling, and neutral plane location. The design was then machined and a test bed assembled. The completed prototype has proven that a single piezoelectric actuator can be used to produce both rotation and hammering in a drill string through the use of a torque inducing horn. Final data results include bit rotation produced versus input power, and best drilling rate achieved with the prototype.