Search NASA⌕ Search

SEARCH · Search NASA

Results for “con”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5

Training with the International Space Station interim resistive exercise device

A unique, interim elastomer-based resistive exercise device (iRED) is being used on the International Space Station. PURPOSE: This study characterized iRED training responses in a 1-g environment by: 1) determining whether 16 wk of high-intensity training with iRED produces increases in muscle strength and volume and bone mineral density (BMD), 2) comparing training responses with iRED to free weights, and 3) comparing iRED training responses at two training volumes. METHODS: Twenty-eight untrained men were assigned to four groups of seven subjects each: a no exercise control group (CON), an iRED group who trained with three sets/exercise (iRED3), a free-weight group (FW) who trained with three sets/exercise, and an iRED group who trained with six sets/exercise (iRED6). Training exercises included squat (SQ), heel raise (HR), and dead lift (DL) exercises, 3 d.wk(-1) for 16 wk. RESULTS: For CON, no changes occurred pre- to posttraining. For iRED3, increases (P< or =0.05) in one-repetition maximum (1-RM) strength (SQ 21 +/- 4%, HR 17 +/- 4%, DL 29 +/- 5%), leg lean mass (3.1 +/- 0.5%) by dual energy x-ray absorptiometry (DXA), and thigh (4.5 +/- 0.9%) and calf (5.9 +/- 0.7%) muscle volume (by magnetic resonance imaging) occurred after training with no changes in BMD (DXA). For FW, increases in 1-RM strength (SQ 22 +/- 5%, HR 24 +/- 3%, DL 41 +/- 7%), whole body (3.0 +/- 1.1%) and leg lean mass (5.4 +/- 1.2%), thigh (9.2 +/- 1.3%) and calf (4.2 +/- 1.0%) muscle volumes, and lumbar BMD (4.2 +/- 0.7%) occurred after training. For iRED6, all responses were similar to iRED3. CONCLUSION: High-intensity training with the iRED produced muscle responses similar to FW but was not effective in stimulating bone. Bed rest and spaceflight studies are needed to evaluate the effectiveness of the iRED to prevent microgravity deconditioning.

Weight-Bearing/physiology↗

Upright exercise or supine lower body negative pressure exercise maintains exercise responses after bed rest

Adaptation to bed rest or space flight is accompanied by an impaired ability to exercise in an upright position. We hypothesized that a daily, 30-min bout of intense, interval exercise in upright posture or supine against lower body negative pressure (LBNP) would maintain upright exercise heart rate and respiratory responses after bed rest. Twenty-four men (31 +/- 3 yr) underwent 5 d of 6 degree head-down tilt: eight performed no exercise (CON), eight performed upright treadmill exercise (UPex), and eight performed supine treadmill exercise against LBNP at -51.3 +/- 0.4 mm Hg (LBNPex). Submaximal treadmill exercise responses (56, 74, and 85% of VO2peak) were measured pre- and post-bed rest. In CON, submaximal heart rate, respiratory exchange ratio, and ventilation were significantly greater (P < or = 0.05) after bed rest. In UPex and LBNPex, submaximal exercise responses were similar pre- and post-bed rest. Our results indicate that a daily 30-min bout of intense, interval upright exercise training or supine exercise training against LBNP is sufficient to maintain upright exercise responses after 5 d of bed rest. These results may have important implications for the development of exercise countermeasures during space flight.

NASA Center ARC↗

WISE-2005: Adrenergic Responses Before and After 60 Days of 6 Degree Head-Down Bed-Rest in Women

Sixteen women who participated in the WISE-2005 headdown bed rest (HDBR) were studied before and on day 56 of bed rest to test the hypothesis that chronic changes in circulating norepinephrine (NOR) would change the response to adrenergic receptor agonists. Five minute infusions of 2 doses of isoproterenol (ISO), and 2 doses of NOR were administered while heart rate (HR), mean arterial pressure (MAP) and total peripheral resistance (TPR) were measured. Before HDBR, the higher dose of ISO increased HR by 13 beats/min (P<O.OOl) and decreased TPR by -50% (P<O.OOl) with no changes in MAP, the higher dose of NOR increased MAP by 8 mmHg (P<O.OOl) and increased TPR -20% (P=0.007) with no change in HR. On HDBR day 56, subjects who took part in daily exercise+lower body negative pressure (EX+LBNP) countermeasures had no change in HR response to ISO while the control group (CON) had greater increases in HR. MAP tended to be lower post-HDBR in CON but not in EX+LBNP, while TPR was higher in both groups. In response to NOR, MAP increased with elevated TPR with no change in HR. Post-HDBR TPR increased more in the EX+LBNP group. These studies indicate that HDBR alters the HR response to IS0 but that EX+LBNP countermeasure prevented this change. The greater TPR response to NOR in the post-HDBR for the EX+LBNP group might reflect enhanced peripheral vasoconstrictor response that could reduce the risk of orthostatic intolerance after this countermeasure.

Edgell, H.↗

WISE-2005: LBNP/Treadmill and Resistive Exercise Countermeasures Maintain Aerobic Capacity during a 60-d Bed Rest

We have previously documented that supine treadmill exercise within lower body negative pressure (LBNPex) performed 6 sessions (raised dot) wk(sup -1) during 15- and 30-day bed rests (BR) maintained upright aerobic capacity (VO2pk). In the present study, ure are evaluating whether aerobic capacity is maintained during a 60-d BR when the LBNPex frequency is reduced to 2-4 sessions (raised dot) wk(sup -1) and resistance exercise (REX) is added 2-3 sessions (raised dot) wk(sup -1). Eight healthy women (32 plus or minus 4 yrs; 56.4 plus or minus 3.6 kg; 164 plus or minus 8 cm; mean plus or minus SD) performed maximal-exertion, graded treadmill tests before and 3 days after a 60-d, 6 deg. head-down tilt BR. (Earliest day the medical monitors would permit a maximal exercise test post-BR). During BR, four subjects performed no exercise (CON), while four other subjects (EX) performed LBNPex and REX on separate days. The LBNPex countermeasure employed an intermittent (40-80% pre-BR VO2pk), 40-min protocol against an LBNP pressure (-49 plus or minus 3 mmHg) applied to provide a footward force equivalent to 1.0-1.2 body weight. REX consisted of maximal concentric and eccentric supine leg press and heel raise exercises using a gravity-independent flywheel ergometer. Comparisons were performed using paired (within-group) or non-paired (between-group) t-tests. Three days post-BR, VO2pk of the CON group was reduced significantly from pre-BR (Pre:37.2 plus or minus 1.2, Post: 29.4 plus or minus 2 ml (raised dot) kg(sup -1) (raised dot) min(sup -1), P less than 0.05), while the VO2pk of the EX group was not significantly reduced (Pre: 39.6 plus or minus 1.9, Post: 38.0 plus or minus 0.6 ml (raised dot) kg(sup -1) (raised dot) min(sup -1)). Peak heart rate, ventilation, rating of perceived exertion, and respiratory exchange ratio were not significantly different between the two groups pre- and post-BR. These preliminary results suggest that the combined LBNPex and REX countermeasures may be sufficient to maintain upright aerobic capacity after long-duration space flights.

Schneider, Suzanne M.↗

Using CONFIG for Simulation of Operation of Water Recovery Subsystems for Advanced Control Software Evaluation

A hybrid discrete/continuous simulation tool, CONFIG, has been developed to support evaluation of the operability life support systems. CON FIG simulates operations scenarios in which flows and pressures change continuously while system reconfigurations occur as discrete events. In simulations, intelligent control software can interact dynamically with hardware system models. CONFIG simulations have been used to evaluate control software and intelligent agents for automating life support systems operations. A CON FIG model of an advanced biological water recovery system has been developed to interact with intelligent control software that is being used in a water system test at NASA Johnson Space Center

Malin, Jane T.↗

Global Mass Flux Solutions from GRACE: A Comparison of Parameter Estimation Strategies - Mass Concentrations Versus Stokes Coefficients

The differences between mass concentration (mas con) parameters and standard Stokes coefficient parameters in the recovery of gravity infonnation from gravity recovery and climate experiment (GRACE) intersatellite K-band range rate data are investigated. First, mascons are decomposed into their Stokes coefficient representations to gauge the range of solutions available using each of the two types of parameters. Next, a direct comparison is made between two time series of unconstrained gravity solutions, one based on a set of global equal area mascon parameters (equivalent to 4deg x 4deg at the equator), and the other based on standard Stokes coefficients with each time series using the same fundamental processing of the GRACE tracking data. It is shown that in unconstrained solutions, the type of gravity parameter being estimated does not qualitatively affect the estimated gravity field. It is also shown that many of the differences in mass flux derivations from GRACE gravity solutions arise from the type of smoothing being used and that the type of smoothing that can be embedded in mas con solutions has distinct advantages over postsolution smoothing. Finally, a 1 year time series based on global 2deg equal area mascons estimated every 10 days is presented.

Rowlands, D. D.↗

Effect of Inductive Coil Geometry and Current Sheet Trajectory of a Conical Theta Pinch Pulsed Inductive Plasma Accelerator

Results are presented demonstrating the e ect of inductive coil geometry and current sheet trajectory on the exhaust velocity of propellant in conical theta pinch pulsed induc- tive plasma accelerators. The electromagnetic coupling between the inductive coil of the accelerator and a plasma current sheet is simulated, substituting a conical copper frustum for the plasma. The variation of system inductance as a function of plasma position is obtained by displacing the simulated current sheet from the coil while measuring the total inductance of the coil. Four coils of differing geometries were employed, and the total inductance of each coil was measured as a function of the axial displacement of two sep- arate copper frusta both having the same cone angle and length as the coil but with one compressed to a smaller size relative to the coil. The measured relationship between total coil inductance and current sheet position closes a dynamical circuit model that is used to calculate the resulting current sheet velocity for various coil and current sheet con gura- tions. The results of this model, which neglects the pinching contribution to thrust, radial propellant con nement, and plume divergence, indicate that in a conical theta pinch ge- ometry current sheet pinching is detrimental to thruster performance, reducing the kinetic energy of the exhausting propellant by up to 50% (at the upper bound for the parameter range of the study). The decrease in exhaust velocity was larger for coils and simulated current sheets of smaller half cone angles. An upper bound for the pinching contribution to thrust is estimated for typical operating parameters. Measurements of coil inductance for three di erent current sheet pinching conditions are used to estimate the magnetic pressure as a function of current sheet radial compression. The gas-dynamic contribution to axial acceleration is also estimated and shown to not compensate for the decrease in axial electromagnetic acceleration that accompanies the radial compression of the plasma in conical theta pinches.

Hallock, Ashley K.↗

High Protein Intake Improves Insulin Sensitivity but Exacerbates Bone Resorption in Immobility (WISE Study)

Inactivity, like bed rest (BR), causes insulin resistance (IR) and bone loss even in healthy subjects. High protein intake seems to mitigate this IR but might exacerbate bone loss. We hypothesized that high protein intake (animal:vegetable protein ratio: 60:40), isocaloric, compared to the control group plus high potassium intake would prevent IR without affecting bone turnover. After a 20-day ambulatory adaptation to controlled confinement and diet, 16 women participated in a 60-day, 6 deg head-down-tilt BR and were assigned randomly to one of the two groups. Control subjects (CON, n=8) received 1g/kg body mass/d dietary protein. Nutrition subjects (NUT, n=8) received 1.45g/kg body mass/d dietary protein plus 7.2g branched chain amino acids per day during BR. All subjects received 1670 kcal/d. Bed rest decreased glucose disposal by 35% (p<0.05) in CON. Isocaloric high protein intake prevented insulin resistance, but exacerbated bed rest induced increase in bone resorption markers C-telopeptide (> 30%) and Ntelopeptide (>20%) (both: p<0.001). Bone formation markers were unaffected by high protein intake. We conclude from these results that high protein intake might positively affect glucose tolerance, but might also foster bone loss. Further long-duration studies are mandatory before high protein intake for diabetic patients, who have an increased fracture risk, might be recommended.

Heer, Martina↗

Benefits, Consequences, and Uncertainties of Conventional (Exercise) Countermeasure Approaches

This presentation will review the pros, cons, and uncertainties of using exercise countermeasures in hypothetical long duration exploration missions. The use of artificial gravity and exercise will be briefly discussed. One benefit to continued use of exercise is related to our extensive experience with spaceflight exercise hardware and programming. Exercise has been a part of each space mission dating back to the 1960's when simple isometric and bungee exercises were performed in the Gemini capsule. Over the next 50 years, exercise hardware improved cumulating in today's ISS suite of exercise equipment: Cycle Ergometer with Vibration Isolation and Stabilization System (CEVIS), Treadmill (T2) and Advanced Resistive Exercise Device (ARED). Today's exercise equipment is the most robust ever to be flown in space and allows the variety and intensity of exercise that might reasonably be expected to maintain muscle mass and function, bone density and cardiovascular fitness. A second benefit is related to the large body of research literature on exercise training. There is a considerable body of supporting research literature including >40,000 peer reviewed research articles on exercise training in humans. A third benefit of exercise is its effectiveness. With the addition of T2 and ARED to our ISS exercise suite, crew member outcomes on standard medical tests have improved. Additionally exercise has other positive side effects such as stress relief, possible improvement of immune function, improved sleep, etc. Exercise is not without its consequences. The major cons to performance of in‐flight exercise are the time and equipment required. Currently crew are scheduled 2.5 hrs/day for exercise and there is considerable cost to develop, fly and maintain exercise hardware. While no major injuries have been reported on ISS, there is always some risk of injury with any form of exercise There are several uncertainties going forward; these relate mostly to the development of small compact robust effective exercise devices for the next generation of space vehicles. It is becoming increasingly apparent that high intensity exercise is required for maintenance of fitness and functional capability and so future hardware will need to be developed, tested and implemented that allow for a wide variety of exercise, at high intensity while likely involving low mass, volume and power. There are many unanswered issues related to the minimum number and type of exercise devices required for exploration, optimizing exercise prescriptions for these devices, whether a treadmill is absolutely required, and even whether any single countermeasure can adequately protect muscle, bone, cardiovascular and sensorimotor function.

Ploutz-Snyder, Lori↗

Specialized CFD Grid Generation Methods for Near-Field Sonic Boom Prediction

Ongoing interest in analysis and design of low sonic boom supersonic transports re- quires accurate and ecient Computational Fluid Dynamics (CFD) tools. Specialized grid generation techniques are employed to predict near- eld acoustic signatures of these con- gurations. A fundamental examination of grid properties is performed including grid alignment with ow characteristics and element type. The issues a ecting the robustness of cylindrical surface extrusion are illustrated. This study will compare three methods in the extrusion family of grid generation methods that produce grids aligned with the freestream Mach angle. These methods are applied to con gurations from the First AIAA Sonic Boom Prediction Workshop.

Park, Michael A.↗

Conceptual Design Optimization of an Augmented Stability Aircraft Incorporating Dynamic Response Performance Constraints

This research focused on incorporating stability and control into a multidisciplinary de- sign optimization on a Boeing 737-class advanced concept called the D8.2b. A new method of evaluating the aircraft handling performance using quantitative evaluation of the sys- tem to disturbances, including perturbations, continuous turbulence, and discrete gusts, is presented. A multidisciplinary design optimization was performed using the D8.2b transport air- craft concept. The con guration was optimized for minimum fuel burn using a design range of 3,000 nautical miles. Optimization cases were run using xed tail volume coecients, static trim constraints, and static trim and dynamic response constraints. A Cessna 182T model was used to test the various dynamic analysis components, ensuring the analysis was behaving as expected. Results of the optimizations show that including stability and con- trol in the design process drastically alters the optimal design, indicating that stability and control should be included in conceptual design to avoid system level penalties later in the design process.

Welstead, Jason↗

TCL3 UTM (UAS Traffic Management) Flight Tests, Airspace Operations Laboratory (AOL) Report

The Technology Capability Level-3 (TCL3) flight tests were conducted at six different test sites located across the USA from March to May of 2018. The campaign resulted in over 830 data collection flights using 28 different aircraft and involving 20 flight crews. Flights not only varied in duration, but also in the environments and terrains over which they flew. The TCL3 tests highlighted four different types of tests: three tests focused on Communication, Navigation and Surveillance (CNS); six tests focused on Sense and Avoid (SAA) technologies; six tests focused on USS Data and Information Exchange (DAT); and five tests focused on exploring fundamental Concepts of the project (CON). This document presents data collected during the TCL3 tests that informed the operator’s experiences—the quality of the unmanned aerial system (UAS) Service Supplier (USS) information that the operator was provided with, the usefulness of this information, and the usability of the automation, both while airborne and on the ground. It is intended to complement the reports written by the test sites and the quantitative reports and presentations of the UAS Traffic Management (UTM) project. With the goal of instructing what the minimum information requirements and/or best practices might be in TCL3 operations, the driving enquiry was: How do you get the information you need, when you need it, to successfully fly a UAS in UTM airspace? This enquiry touches on two requirements for displays, which are to provide adequate situation awareness (SA) and to share information through a USS. The six test sites participating in the TCL3 tests flew a subset of the 20 tests (outlined above), with most sites working on a subset of each of the four types: Communications, Navigation and Surveillance (CNS); DAT; CON; and Sense and Avoid (SAA). The, mainly qualitative, data addressed in this report was collected by the AOL (Airspace Operations Laboratory) both on-site and remotely for each test. The data consists of the contents of end-of-day debriefs, end-of-day surveys, observer notes, and flight test information, all submitted as part of the Data Management Plan (DMP).

Martin, Lynne↗

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con-trol its next near term behavior. We present a high-level view of the automated flight rule checker FRC for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there-fore be verified with a trace analysis tool. FRC is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con-text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

LADEE↗

Exploration EVA System Concept of Operations

The Exploration Extravehicular Activity (xEVA) System concept of operations (con ops) captures the National Aeronautics and Space Administration’s (NASA’s) current aims future missions to all potential Exploration destinations. This document captures the mission architectures, stakeholder expectations, and high level definitions of the capabilities and interfaces associated with the xEVA System. This includes missions to Gateway in cislunar space, the lunar surface, a redirected asteroid in cislunar space, Near Earth Asteroids (NEA), Mars’ orbit, the moons of Mars (Phobos and Deimos), and the surface of Mars. These missions, which include microgravity, milli-gravity, and partial-gravity surface EVAs, will involve a variety of engineering (maintenance, contingency, pioneering, construction) and science tasks. This document also captures information concerning vehicles and habitats with which the xEVA System will interface. The concepts of operations (con ops) detailed in this document are informed by the Artemis Program and a multitude of Exploration studies, and are also influenced by various integrated operational analog testing.

David Coan↗

Examining Weathering of Magnesite in an Arid Environment: Implications For Jezero Crater

Introduction:Orbiter data indicatethe presence of carbonates in severallocations on the surface of Mars[1],but Jezero crater, landing site of the Perseverancerover,is the only known location where carbonatesap-pear coincident with evidence of fluvialand lacustrineactivity [2].On Earth, carbonates in close proximity to these paleoenvironments mayindicatethe presence of past microbial life,like stromatolites[3], that could re-sult inbiosignatures [2]. However,in other cases,car-bonates can also form throughthe alteration of mafic materialwiththe introductionof carbonic acid[4].Hy-drated magnesites have also been found in evaporative environments along lake shores, and in playas[5,6,7].Correctly interpreting past carbonates on Mars is there-fore critical in the search for past signs of life. In Jezero crater,both thenorthernand western fans haveMg-rich carbonates intermixed with olivine-rich material[8].According to CRISM data, magnesite(MgCO3), along with hydromagnesite(Mg5(CO3)4(OH)2•4H2O), arepotential candidatesfor these Mg-carbonates [2]. Considering the spatial con-text with olivine,there aremultiplepotential explana-tions for the presence ofMg-carbonatesin this locationincludingin-situformation via alterationof olivine-rich materialwith carbonic acid,transportationfrom farther up in the watershed, or precipitation of lacustrine car-bonates[2]. The formation of hydromagnesite rather than magnesite is favored when Mg2+saturated solutions have a high CO32-/HCO3-ratio, which, on Earth, is thought to be caused byinflow of groundwater [4]. Additionally, Mg-carbonates tend to precipitate under high pH condi-tions and are unstable at lower pH conditions [5]. Hy-dromagnesite is stable at atmospheric CO2pressure and temperature conditions common to most Earth surface environments [9]. However, it is subject to transfor-mation to magnesite after dehydration and concomitant brucite formation or dissolution and reprecipitation [10].Previousresearch suggests that hydrated car-bonates, including hydromagnesite, can formas weath-ering productsof mafic minerals in the presenceof H2O and CO2in subfreezing temperatures and would not de-hydrate under Martian atmospheric conditions [11,12].It is critical to understand the formation conditions of Mg-carbonatesbecause of the different implications for the past history of Martian environments. Therefore, in this work we are investigating the weathering of Mg-carbonatesin arid environments to helpbetter understand Mg-carbonates in Jezero crater. Study Area:The Ala-Mar Mines(East and West)near Ely, NVare the site ofmultiple magnesitedepositsfound within a calcareous tuff formationthat overlies Tertiary aged volcanic rocks.Here,magnesiteis formed via the alteration of the calcareous tuff and occurs innodules, veins,and lenses[13]. Previous work suggests magnesite deposits are associated with faults [13]. Within the West Mine, magnesite can be found in two maincontexts: (1) relatively circular zones of cauli-flower-like material found within (2) a more massivelensthat is heavily fractured on the surface.Methods.Samplesof both the cauliflower texture and more massive materialwere collectedat Ala Mar West Mine. Both samples were thenpowdered, sieved and analyzed with an inXitu Terra Portable XRD. The program QualX was used to identify potential mineral phases [14].Both samples were also optically inspected using 10x and 20x hand lenses.Figure 1. XRD patterns for the cauliflower magnesite (top) and massive magnesite (bottom). Ongoing and future work on the samples discussed above includes scanning electron microscopy (SEM), electron microprobe analysis (EMPA), and near-infra-red spectroscopy to determine whether hydromagnesite is present. Separation and analysis of the clay-size frac-tionby XRD will helpto better identify any phyllosili-cate phases present. Results and Discussion:Both textures are a white to light tan with a porcelain luster on weathered sur-faces, along with minor iron staining in some areas. Likewise, both textures are white with a porcelain luster on fresh surfaces. When broken apart, the massive mag-nesite shows macroscopic crystals, unlike the cauli-flower magnesite. XRD analysis shows that both samples have high concentrationsof magnesite with lesser amounts of thecarbonatemineral huntite(Mg3Ca(CO3)4; Figure1).The more massive samplecontainsa serpentine-groupmineral,with lizardite being apotential candidate. The cauliflower sample has several minor peaks that may correspond to hydromagnesite(Figure 1), although more work is needed to confirm this.Additionally, thecauliflower deposits closely resemble hydromagnesite deposits found in southwestern Turkey, formed via mi-crobialites[15].As such, it is likely that moreaqueous alterationor weatheringis occurring at the locations where the cauliflower magnesite is present. However, additional field work will need to be conducted to con-firm this hypothesis. Conclusions and Future Work:Future work will include field mapping of fault locations andadditional samplingof the different magnesite types as well as of the calcareous tuffmaterial.We will also look specifi-cally for potential weathering products of magnesite in this arid location, which may yield important insight into the Mg-carbonates located in Jezero crater. XRD analyses on aPANalytical XRDusing non-ambient stages will be used to investigate the stability of hydro-magnesiteat different humiditiesand temperatures, which has implications for samples to bereturned to Earth in the future. Additionally, thermal and evolved gas analysis of magnesite and hydromagnesite will be compared to results from Gale Craterto help interpret the mineralogy inthat location[16]. The results of this research will further ourunderstanding of carbonate for-mationin volcanic settingsandtheirweathering pro-cessesin arid environments. Acknowledgments:We acknowledge funding for this research from Jacobs Technology at the Johnson Space Center.We would also like to thank Ngoc Luu, Christopher Adcock, Richard Allanson, and the rest of the UNLV Soil Science Teamfor their continued sup-portwith troubleshooting and otherlab work. References:[1] Ehlmann, B.L., and Edwards, C.S. (2014) Annual Review of Earth and Planetary Sci., 42, 291–315. [2] Horgan, B.H.N., et al. (2020) Icarus, 339, 113526. [3] Bosak, T., et al. (2013) Annual Review of Earth and Planetary Sci, 41, 21–44. [4] Pohl, W.L. (1989) Gebriider Borntraege, 28, 1-13. [5] Müller, G., et al. (1972) Die Naturwissenschaften, 59, 158–164. [6] Walter, M.R., et al. (1973) Journal of Sedimentary Pe-trology, 43, 1021–1030. [7] Braithwaite, C.J.R., and Zedef, V. (1994) Sedimentary Geology, 92, 1–5. [8] Goudge, T.A., et al. (2015) JGR: Planets, 120, 775–808. [9] Langmuir, D. (1965) Journal of Geology, 73, 730–754. [10] Zhang, P., et al. (2000) Applied Geo-chem., 286, 1748–1753. [11] Calvin, W.M., et al. (1994) JGR, 99, 14659-14675. [12]Russell, M.J., et al. (1999) Journal of the Geological Society of London, v. 156, p. 869–888. [13] Faust, G.T., and Callaghan, E. (1948) GSA Bulletin, 59, 11–74. [14] Altomare, A., et al. (2015) J. of Applied Crystallography, 48, 598–603. [15] Zedef, V.,et al. (2000) Economic Geology, 95, 429–445. [16] Leshin, L.A. et al., (2013) Science, 341, 1–9

A W Provow↗

NASA’s Surface Deformation and Change Mission Study

The National Academies of Science, Engineering and Medicine 2017 Decadal Survey of Earth Science and Applications identified geodetic measurements of surface deformation and related change as one of the top five “observables” to be prioritized in NASA’s future program. In response, NASA commissioned a multi-center Surface Deformation and Change(SDC) team to perform a five year study of mission architectures that would support SDC observables and provide the most value to the diverse science and applications communities it serves. The study is being conducted in phases, in which the science and applications capabilities identified in the Decadal Survey are refined, candidate architectures and associated technologies to support these needs are identified, architectures are assessed against a science value framework specific to SDC, and recommendations to NASA are made. Ultimately, NASA will decide which amongst these recommendations will proceed to mission formulation. As synthetic aperture radar (SAR) was identified as the prime sensor technology to satisfy SDC observational needs, a key component of the SDC study is to assess the current state of the art in SAR sensor and supporting technology. The number of SAR systems, both civil and commercial, is growing rapidly, requiring that mission architectures not only consider technology, but availability of data from other missions, possible partnerships or collaborations, and even data purchase. The mechanism for assessment involves development of an end-to-end science performance evaluation tool for multi-satellite con-stellations, which feeds into a science value framework that con-siders science performance, technological programmatic risks, and cost. This paper will present an overview of the ongoing study including the candidate architectures and the technology road map needed to achieve the objectives of the mission.

Stephen Horst↗

Using Explainable Scheduling for the Mars 2020 Rover Mission

Understanding the reasoning behind the behavior of an auto- mated scheduling system is essential to ensure that it will be trusted and consequently used to its full capabilities in critical applications. In cases where a scheduler schedules activities in an invalid location, it is usually easy for the user to infer the missing constraint by inspecting the schedule with the in- valid activity to determine the missing constraint. If a sched- uler fails to schedule activities because constraints could not be satisfied, determining the cause can be more challenging. In such cases it is important to understand which constraints caused the activities to fail to be scheduled and how to al- ter constraints to achieve the desired schedule. In this pa- per, we describe such a scheduling system for NASA’s Mars 2020 Perseverance Rover, as well as Crosscheck, an explain- able scheduling tool that explains the scheduler behavior. The scheduling system and Crosscheck are the baseline for oper- ational use to schedule activities for the Mars 2020 rover. As we describe, the scheduler generates a schedule given a set of activities and their constraints and Crosscheck: (1) provides a visual representation of the generated schedule; (2) analyzes and explains why activities failed to schedule given the con- straints provided; and (3) provides guidance on potential con- straint relaxations to enable the activities to schedule in future scheduler runs.

Chien, Steve↗

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con- trol its next near term behavior. We present a high-level view of the automated flight rule checker Frc for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there- fore be verified with a trace analysis tool. Frc is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con- text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

Kurklu, Elif↗