Harrison H Schmitt

Learn More
The verification of embedded, safety-critical industrial systems is important, since a failure of these systems may have catastrophic consequences. Formal methods guarantee not only the correctness, but also the completeness of the analysis. However, even moderately complex industrial systems have state spaces so large that former analysis techniques could(More)
Former Senator Schmitt Summarizes the Effects of Cosmic Rays on Climate Change limate change driven by the sun, constitutes a strongly competitive hypothesis to the climate modeling-political hypothesis of human-caused global warming. As many scientists have documented, the position and orientation of the Earth in its orbit around the sun and the sun's(More)
The challenge to global energy future lies in meeting the needs and aspirations of the ten to twelve billion earthlings that will be on this planet by 2050. At least an eight-fold increase in annual production will be required by the middle of this century. The energy sources that can be considered developed and "in the box" for consideration as sources for(More)
A time of opportunity," Editorial, 30 Jan., p. 589) clearly are aware of the extraordinary foundation of scientific knowledge about the origin and history of the Moon, Earth, planets, and solar system that came as a consequence of U.S. explorations of the moon. I was surprised, however, by their implication that the time of human exploration of space has(More)
Three potential detrimental effects of lunar 3 He mining have been identified; visual changes, atmospheric contamination, and solid waste disposal. The removal of small craters (<20 m diameter) and the change in the albedo of the surface may cause a slight darkening of the regolith. However, it is not expected that this change will be visible from the Earth(More)