Engineering topics
Publications and source records attributed to Smith, M..
Model Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.
Explore the source record for details and available documents.
At the end of 1997, JPL initiated the Mars Balloon Validation Program (MABVAP) to develop and validate the technology needed for a Mars balloon mission. The main focus of MABVAP was to develop and to test a viable concept for the Martian balloon that could be implemented on the small-scale dedicated or piggy-back mission.
The calibration and validation of satellite soundings of atmospheric variables is always a difficult prospect, but this difficulty is greatly magnified when the measurements are made at a different planet, whose meteorology is poorly known and poorly constrained, and for which there are virtually no prospects of obtaining ground truth. The Mars Global Surveyor which has been circling Mars in its mapping orbit since early 1999 includes a variety of instruments capable of making atmospheric observations: the Thermal Emission Spectrometer (TES) which takes more than 100,000 nadir-view infrared spectra per day (although these observations are confined to the 2am - 2pm time of the sun-fixed orbit); much less frequent TES limb scans (still only at 2am and 2pm); the Mars Horizon Sensor Assembly measures side-looking broadband 15 micrometer radiation; Radio Science occultations at favorable seasons give high resolution temperature profiles; the Mars orbiter Camera and Mars Orbiter Laser Altimeter have made water, dust, and carbon dioxide cloud detections. These observations are now being supplemented by high-resolution 15 micron measurements by THEMIS on Mars Odyssey. Thus, all of these observations are made at different times and places. Data assimilation techniques are being used to fuse this vast array of observations into a single dataset that best represents our understanding of the Martian atmosphere, its current meteorological state, and the relevant instrumental properties.
Explore the source record for details and available documents.
The p38 stress-activated protein kinase pathway is involved in regulation of phosphorylation of Hsp25, which in turn regulates actin filament dynamic in non-neuronal cells. We report that p38, Hsp25 and Akt signaling pathways were specifically activated in spinal motor neurons after sciatic nerve axotomy. The activation of the p38 kinase was required for induction of Hsp25 expression. Furthermore, Hsp25 formed a complex with Akt, a member of PI-3 kinase pathway that prevents neuronal cell death. Together, our observations implicate Hsp25 as a central player in a complex system of signaling that may both promote regeneration of nerve fibers and prevent neuronal cell death in the injured spinal cord.
Titan's atmosphere produces a wealth of organic products from methane and nitrogen. These products, deposited on the surface in liquid and solid form, may interact with surface ices and energy sources to produce compounds of exobiological interest. Additional information is contained in the original extended abstract.
Saturn's largest moon Titan has a cold, very dense nitrogen atmosphere rich in methane and the hydrocarbon and nitride products of methane photolysis. Sources of energy for atmospheric chemistry include solar ultraviolet radiation, Saturn magnetospheric particles, and galactic cosmic rays. The chemistry of Titan's atmosphere, while interesting from the point of view of planetary photochemistry, is largely free radical driven and therefore not particularly suited to the synthesis of polymeric biomolecules or even their precursors. However, the nature of Titan's atmosphere, in particular its redox state (hydrogen escapes rapidly and is under abundant compared to in the giant planets), and the presence of a variegated surface make consideration of surface chemistry on Titan interesting from an astrobiological viewpoint. Additional information is contained in the original extended abstract.
In the fall of 1999 an experiment was performed at Crater Lake, Oregon, to demonstrate the feasibility of surface altimetry with GPS. A GPS antenna was directed at the lake - its axis pointing slightly downward - from a steeply dropping rock.
In this paper, the assembly process flow, solder paste for different stencil design, manufacturing defects, X-ray inspection results, and ultrasonic characterizations are reported.
The relation between interplanetary pressure pulses and subsequent auroral breakup is examined using over 70 cases from 1997 to 1999. A solar wind-magnetosphere coupling parameter (based on Bargatze et al., Solar Wind-Magnetosphere Coupling, Terra Scientific Publishing Co., p. 101- 109, 1986) is used to correlate the amount of energy stored in the magnetospheric to the time delay for auroral activity relative to the SW pressure enhancement.
The MINUTES instrument of the Athena Precursor Experiment (APEX) on the Mars Surveyor 2001 lander mission will perform the first thermal infrared remote sensing observations from the surface of another planet. Experience gained from this experiment will be used to guide observations from identical instruments mounted on the Athena rovers, to be launched in 2003 and 2005. The utility of infrared spectrometers in determining the mineralogic composition of geologic surfaces from airborne and spaceborne platforms has been amply demonstrated. However, relatively little experience exists in using functionally similar instruments on the ground in the context of planetary science. What work has been done on this problem has mostly utilized field spectrometers that are designed to look down on nearby target rocks. While many Mini-TES observations will be made with this type of geometry, it is likely that other observations will be made looking horizontally at the more vertically-oriented facets of rock targets, to avoid spectral contamination from dust mantles. On rover missions, the Mini-TES may also be pointed horizontally at rocks several meters away, to determine if they are worthy of approaching for in situ observations and possible sample cacheing. While these observations will undoubtedly prove useful, there are important, and perhaps unappreciated, differences between horizontal-viewing, surface-based spectroscopy and the more traditional nadir-viewing, orbit or aircraft-based observations. Plans also exist to step the Mini-TES in a rastering motion to build hyperspectral scenes. Horizontal viewing hyperspectral cubes also possess unique qualities that call for innovative analysis techniques. The effect of viewing geometry: In thermal emission spectroscopy, regardless of whether an instrument is looking down on or horizontally at a target, the same basic equation governs the radiance reaching the sensor .
The Mars Balloon Validation Program (MABVAP) was initiated in August 1997 to develop and validate key technologies needed for aerobot missions on Mars. The major elements of the program are the development of balloons for flight on Mars, robust techniques for deployment and inflation and modeling and simulation of balloon flight paths. selection, development and tests of available balloon materials, design and fabrication of balloons (both superpressure and solar- heated), design and fabrication of deployment and inflation systems for aerial deployment, design and fabrication of avionics to control deployment/inflation process and to get telemetry and video data. Modeling of main processes during deployment and actual flight is also a part of MABVAP. In order to validate deployment and inflation, MABVAP applies experience from previous Mars balloon development or study activities the Russian-French Mars Aerostat Project (1988-1995), Mars Aerial Platform Study (1994) and Mars Aerobot/Balloon Study (1996). The program includes laboratory, wind tunnel, vacuum chamber tests of the system components and a number of tropospheric and stratospheric flight tests of deployment and inflation of lightfilm balloons in a simulated Martian environment.
During the 1998-1999 Antarctic field season, we installed three autonomous GPS stations in Marie Byrd Land, West Antarctica to measure glacio-isostatic rebound and rates of spreading across the West Antartic Rift System.