1,008 research outputs found
Mars Activities: Teacher Resources and Classroom Activities
This set of classroom activities presents the challenges of operating a planetary rover, how to construct a scale model of the Earth-Moon system, how Martian surface core samples can be identified and what they tell us about Mars. Each activity comes with clearly delineated instructions, associated standards, guides and worksheets, and enhancement materials. Educational levels: High school, Intermediate elementary, Middle school, Primary elementary
Voyager: A Journey to the Outer Planets
https://digitalcommons.cwu.edu/government_posters/1166/thumbnail.jp
Solar-Terrestrial Environment
https://digitalcommons.cwu.edu/government_posters/1169/thumbnail.jp
Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture
In this paper we discuss the application of correct-by-construction techniques to a resilient,
risk-aware software architecture for onboard, real-time autonomous operations. We
mean to combat complexity and the accidental introduction of bugs through the use of
verifiable auto-coding software and correct-by-construction techniques, and discuss the use
of a toolbox for correct-by-construction Temporal Logic Planning (TuLiP) for such a purpose.
We describe some of TuLiP’s current functionality, specifically its ability to model
symbolic discrete systems and synthesize software controllers and control policies that are
correct-by-construction. We then move on to discuss the use of these techniques to define a
deliberative goal-directed executive capability that performs risk-informed action-planning
– to satisfy the mission goals (specified by mission control) within the specified priorities
and constraints. Finally, we discuss an application of the TuLiP process to a simple rover
resilience scenario
Least-action perihelion precession
The precession of Mercury's perihelion is reinspected by the principle of
least action. The anomalous advancement of the apside line that is customarily
accounted by the theory of general relativity, is ascribed to the gravitational
effect due to the entire Universe. When the least action is written in the
Sun's frame of reference, the residual rotation is seen to stem from inertia
due to all bodies in the Universe. Since mass corresponds to a bound form of
energy, gravity, as any other force, can be described as an energy density
difference between a system of bodies and its surrounding energy densities that
are dispersed throughout the Universe. According to the principle of least
action the Universe is expanding by combustion of mass to radiation in the
quest of equilibrating the bound forms of energy with "zero-density
surroundings" in least time. Keywords: cosmological principle; energy density;
energy dispersal; evolution; gravity; the principle of least actionComment: 7 pages, 3 figure
Ozone observations and a model of marine boundary layer photochemistry during SAGA 3
A major purpose of the third joint Soviet‐American Gases and Aerosols (SAGA 3) oceanographic cruise was to examine remote tropical marine O3 and photochemical cycles in detail. On leg 1, which took place between Hilo, Hawaii, and Pago‐Pago, American Samoa, in February and March 1990, shipboard measurements were made of O3, CO, CH4, nonmethane hydrocarbons (NMHC), NO, dimethyl sulfide (DMS), H2S, H2O2, organic peroxides, and total column O3. Postcruise analysis was performed for alkyl nitrates and a second set of nonmethane hydrocarbons. A latitudinal gradient in O3 was observed on SAGA 3, with O3 north of the intertropical convergence zone (ITCZ) at 15–20 parts per billion by volume (ppbv) and less than 12 ppbv south of the ITCZ but never ≤3 ppbv as observed on some previous equatorial Pacific cruises (Piotrowicz et al., 1986; Johnson et al., 1990). Total column O3 (230–250 Dobson units (DU)) measured from the Akademik Korolev was within 8% of the corresponding total ozone mapping spectrometer (TOMS) satellite observations and confirmed the equatorial Pacific as a low O3 region. In terms of number of constituents measured, SAGA 3 may be the most photochemically complete at‐sea experiment to date. A one‐dimensional photochemical model gives a self‐consistent picture of O3‐NO‐CO‐hydrocarbon interactions taking place during SAGA 3. At typical equatorial conditions, mean O3 is 10 ppbv with a 10–15% diurnal variation and maximum near sunrise. Measurements of O3, CO, CH4, NMHC, and H2O constrain model‐calculated OH to 9 × 105 cm−3 for 10 ppbv O3 at the equator. For DMS (300–400 parts per trillion by volume (pptv)) this OH abundance requires a sea‐to‐air flux of 6–8 × 109 cm−2 s−1, which is within the uncertainty range of the flux deduced from SAGA 3 measurements of DMS in seawater (Bates et al., this issue). The concentrations of alkyl nitrates on SAGA 3 (5–15 pptv total alkyl nitrates) were up to 6 times higher than expected from currently accepted kinetics, suggesting a largely continental source for these species. However, maxima in isopropyl nitrate and bromoform near the equator (Atlas et al., this issue) as well as for nitric oxide (Torres and Thompson, this issue) may signify photochemical and biological sources of these species
- …
