Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

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 181 records · Page 10

Return to the Moon: A New Strategic Evaluation

This paper reviews the value of a new lunar program, initially robotic and eventually manned, in the light of developments since the 1991 Synthesis Group study of the Space Exploration Initiative. The objective is to evaluate a return to the Moon in comparison to proposed Mars programs as a focus for American space exploration with humans in the next century. The Moon is demonstrably accessible, hospitable, useful, and interesting. Lunar programs are inherently faster and less risky from a programmatic viewpoint than comparable Mars programs such as Mars Direct. The dominant reason for a resumption of manned lunar missions, focussed on a single site such as Grimaldi, is to rebuild the infrastructure for missions beyond earth orbit, the last of which was in 1972. A transitional program, corresponding to the 10 Gemini missions that bridged the gap between Mercury and Apollo, was considered absolutely essential by the Synthesis Group. Further justification for a return to the Moon is the demonstrated feasibility of a robotic lunar observatory, concentrating on optical and infrared interferometry. Many unsolved scientific questions about the Moon itself remain, and could be investigated using telerobotic lunar rovers even before the return of humans. Mars is unquestionably more interesting scientifically and far more hospitable for long-term colonization. A new lunar program would be the most effective possible preparation for the human exploration, settlement, and eventually the terraforming of Mars. Lunar and Mars programs are complementary, not competitive. Both can be justified in the most fundamental terms as beginning the dispersal of the human species against uncontrollable natural disasters, cometary or asteroidal impacts in particular, to which mankind is vulnerable while confined to a single planet. Three specific programs are recommended for the 2001-2010 period: Ice Prospectors, to evaluate polar ice or hydrogen deposits; a robotic lunar observatory; and a manned lunar base and observatory.

Lowman, Paul D., Jr.↗

Return to the Moon: A New Strategic Evaluation

This paper reviews the value of a new lunar program, initially robotic and eventually manned, in the light of developments since the 1991 Synthes Group study of the Space Exploration Initiative. The objective is to evaluate a return to the Moon in comparison to proposed Mars programs as a focus for American space exploration with humans in the next century. The Moon is demonstrably accessible, hospitable, useful, and interesting. Lunar programs are inherently faster and less risky from a programmatic viewpoint than comparable Mars programs such as Mars Direct. The dominant reason for a resumption of manned lunar missions, focused on a single site such as Grimaldi, is to rebuild the infrastructure for missions beyond Earth orbit, the last of which was in 1972. A transitional program, corresponding to the 10 Gemini missions that bridged the gap between Mercury and Apollo, was considered absolutely essential by the Synthesis Group. Further justification for a return to the Moon is the demonstrated feasibility of a robotic lunar observatory, concentrating on optical and infrared interferometry. Many unsolved scientific questions about the Moon itself remain, and could be investigated using telerobotic lunar rovers even before the return of humans. Mars is unquestionably more interesting scientifically and far more hospitable for long-term colonization. A new lunar program would be the most effective possible preparation for the human exploration, settlement and eventually the terraforming of Mars. Lunar and Mars programs are complementary, not competitive. Both can be justified in the most fundamental terms as beginning the dispersal of the human species against uncontrollable natural disasters, cometary or asteroidal impacts in particular, to which mankind is vulnerable while confined to a single planet. Three specific programs are recommended for the 2001-2010 period: Ice Prospectors, to evaluate polar ice or hydrogen deposits; a robotic lunar observatory; and a manned lunar base and observatory.

Lowman, Paul D., Jr.↗

The Continuously Evolving Land Use Control Climate in FUSRAP - 12285

In recent years the topic of Land Use Controls (LUCs) has become much more prevalent in the Formerly Utilized Sites Remedial Action Program (FUSRAP) for a number of reasons. Some regulatory agencies have been placing much more emphasis on this topic than they historically did. Also as the FUSRAP has matured, more sites are approaching a point in the project lifecycle that LUCs are needed to be implemented. There are many issues, some site specific, some agency specific, and some programmatic, that may arise when addressing LUCs on a FUSRAP site. These issues can span the life of a project from planning to implementation. As the emphasis on LUCs increases at a fast pace, USACE is faced with the task of developing consistency in how we respond, and at the same time leaving enough latitude for projects to accomplish their individual missions while taking into consideration the site specific concerns. The Land Use Controls arena encompasses a large number of tools to address the matter at hand. There are numerous mechanisms that can accomplish Land Use Control goals, some of which include administrative controls and engineering controls. This paper will discuss some of the mechanisms being utilized by USACE at our FUSRAP projects. Having a better understanding of how LUCs are currently being handled in the FUSRAP will be beneficial to project delivery teams in order to make the best decisions moving through the project lifecycle. Being aware of LUC requirements and options at an early stage in a project will help a team effectively plan for and execute the chosen alternative for remedial action. There are a number of guidance tools from various other agencies that exist for consideration during Land Use Control planning and implementation. The USACE is currently evaluating these guidance tools to determine applicability and impact to FUSRAP projects. Some of these tools are under review at Army and the Department of Defense. Critical to this evaluation is internal team coordination as well as coordination and input from stakeholders. With guidance on LUCs available from a number of entities, the USACE now has the opportunity to develop consistency in determining how LUCs are handled on FUSRAP projects. The FUSRAP ER, ER 200-1-4, is currently being revised and will broadly touch on LUCs. This broad approach was a result of recognizing the magnitude of variances and site specific components that come into play when applying LUCs to our FUSRAP sites. As land use controls scenarios continue to arise on our FUSRAP sites, the methods for how our project teams address those will continue to evolve. The Program is continuing to develop guidance on how to address LUCs. In the interim, our FUSRAP projects can share lessons learned on the LUCs they are implementing. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Software design space exploration for exascale combustion co-design

The design of hardware for next-generation exascale computing systems will require a deep understanding of how software optimizations impact hardware design trade-offs. In order to characterize how co-tuning hardware and software parameters affects the performance of combustion simulation codes, we created ExaSAT, a compiler-driven static analysis and performance modeling framework. Our framework can evaluate hundreds of hardware/software configurations in seconds, providing an essential speed advantage over simulators and dynamic analysis techniques during the co-design process. Our analytic performance model shows that advanced code transformations, such as cache blocking and loop fusion, can have a significant impact on choices for cache and memory architecture. Our modeling helped us identify tuned configurations that achieve a 90% reduction in memory traffic, which could significantly improve performance and reduce energy consumption. These techniques will also be useful for the development of advanced programming models and runtimes, which must reason about these optimizations to deliver better performance and energy efficiency.

97 MATHEMATICS AND COMPUTING↗

One-loop electroweak corrections for polarized Møller scattering at different renormalization schemes and conditions

Using two different approaches, we perform detailed calculations of the one-loop (Next-to-Leading Order (NLO)) electroweak radiative corrections to the parity violating e{sup −} e{sup −} → e{sup −} e{sup −}(γ) scattering asymmetry. First approach, more classical, relies on calculations “by hand” with reasonable approximations, second approach relies on program packages FeynArts, FormCalc, LoopTools, and FORM. The detailed numerical analysis of the various contributions is provided for a wide range of energies relevant for the ultraprecise 11 GeV MOLLER experiment planned at the JLab, as well as future experiments at the International Linear Collider (ILC). The numerical results obtained within the on-shell renormalization scheme using two different sets of renormalization conditions are in excellent agreement. We also calculate the total NLO correction in the Constrained Differential Renormalization (CDR) scheme. Analysis of the results, along with the increasing experimental precision, shows that it is feasible that the corrections at the Next-to-Next-to-Leading Order (NNLO) level may be important for the next generation of experiments.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

A comparison of different methods to implement higher order derivatives of density functionals

Density functional theory is the dominant approach in electronic structure methods today. To calculate properties higher order derivatives of the density functionals are required. These derivatives might be implemented manually,by automatic differentiation, or by symbolic algebra programs. Different authors have cited different reasons for using the particular method of their choice. This paper presents work where all three approaches were used and the strengths and weaknesses of each approach are considered. It is found that all three methods produce code that is suffficiently performanted for practical applications, despite the fact that our symbolic algebra generated code and our automatic differentiation code still have scope for significant optimization. The automatic differentiation approach is the best option for producing readable and maintainable code.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Blast Effects on Buildings (Final Report)

Lawrence Livermore National Laboratory (LLNL) has conservatively reduced the explosive safety standards suggested by the Small Quantities in Research Laboratories (SQRL) program testing by 60%. For this reason, further research into the detailed effects of small amounts of explosives in typically constructed rooms is needed in order to improve their factor of safety. The team was tasked with designing an experiment to investigate the effect of different variables on drywall under explosive blasts. In order to meet this objective, the team conducted a comprehensive literature review to gain an understanding of industry-standard construction practices and review previous tests conducted by the Army corp of engineers. Since the team used PBXN-5 rather than C4, as in SQRL, an initial shot was conducted to compare damage levels. From those results and the physical constraints of the testing chamber, the team redesigned multiple single-panel drywall frames to capture the entirety of the incurred damage. Proposed designs were narrowed down using a decision matrix. From the study of previous tests and literature review, variables were chosen that the team hypothesized to have an impact on drywall strength. The variables that were tested were chosen from the results of that work and specific variables the sponsor was interested in, and they were paint, humidity/moisture content, and explosive positioning relative to the studs. Detailed plans were made for each variable according to what conditions the team wanted to investigate. For humidity, this involved testing low, ambient, and high conditions by treating the panels in a chamber. Preliminary shots were performed to test the structural integrity of the frame and streamline the test diagnostics which involved a high-speed camera placed behind the drywall, outside of the chamber, and a pressure probe placed behind the drywall, inside the chamber. Once the instrumentation, diagnostics, and frame design were finalized, a quantitative damage criteria matrix was created to categorize the results of the main shot series. In conjunction with evidence from the high-speed video, the achieved damage levels indicate that high moisture content drywall is better able to withstand explosive blasts. Larger stud damage and lower drywall damage occurred when the explosive was located directly in front of a stud. Paint had no noticeable impact on strength. Ultimately, the team conducted a total of 17 tests, leaving the door open for future in-depth research into the impact of humidity.

36 MATERIALS SCIENCE↗

The University of Wisconsin OAO operating system

The Wisconsin OAO operating system is presented which consists of two parts: a computer program called HARUSPEX, which makes possible reasonably efficient and convenient operation of the package and ground operations equipment which provides real-time status monitoring, commanding and a quick-look at the data.

Heacox, H. C.↗

The Kenya rangeland ecological monitoring unit

The author has identified the following significant results. Methodology for aerial surveys and ground truth studies was developed, tested, and revised several times to produce reasonably firm methods of procedure. Computer programs were adapted or developed to analyze, store, and recall data from the ground and air monitoring surveys.

Stevens, W. E.↗

Software reliability experiments data analysis and investigation

The objectives are to investigate the fundamental reasons which cause independently developed software programs to fail dependently, and to examine fault tolerant software structures which maximize reliability gain in the presence of such dependent failure behavior. The authors used 20 redundant programs from a software reliability experiment to analyze the software errors causing coincident failures, to compare the reliability of N-version and recovery block structures composed of these programs, and to examine the impact of diversity on software reliability using subpopulations of these programs. The results indicate that both conceptually related and unrelated errors can cause coincident failures and that recovery block structures offer more reliability gain than N-version structures if acceptance checks that fail independently from the software components are available. The authors present a theory of general program checkers that have potential application for acceptance tests.

Walker, J. Leslie↗

Putting time into proof outlines

A logic for reasoning about timing properties of concurrent programs is presented. The logic is based on Hoare-style proof outlines and can handle maximal parallelism as well as certain resource-constrained execution environments. The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action. A soundness proof using structural operational semantics is outlined in the appendix.

Schneider, Fred B.↗

Ammonia Leak Locator Study

The thermal control system of International Space Station Alpha will use liquid ammonia as the heat exchange fluid. It is expected that small leaks (of the order perhaps of one pound of ammonia per day) may develop in the lines transporting the ammonia to the various facilities as well as in the heat exchange equipment. Such leaks must be detected and located before the supply of ammonia becomes critically low. For that reason, NASA-JSC has a program underway to evaluate instruments that can detect and locate ultra-small concentrations of ammonia in a high vacuum environment. To be useful, the instrument must be portable and small enough that an astronaut can easily handle it during extravehicular activity. An additional complication in the design of the instrument is that the environment immediately surrounding ISSA will contain small concentrations of many other gases from venting of onboard experiments as well as from other kinds of leaks. These other vapors include water, cabin air, CO2, CO, argon, N2, and ethylene glycol. Altogether, this local environment might have a pressure of the order of 10(exp -7) to 10(exp -6) torr. Southwest Research Institute (SwRI) was contracted by NASA-JSC to provide support to NASA-JSC and its prime contractors in evaluating ammonia-location instruments and to make a preliminary trade study of the advantages and limitations of potential instruments. The present effort builds upon an earlier SwRI study to evaluate ammonia leak detection instruments [Jolly and Deffenbaugh]. The objectives of the present effort include: (1) Estimate the characteristics of representative ammonia leaks; (2) Evaluate the baseline instrument in the light of the estimated ammonia leak characteristics; (3) Propose alternative instrument concepts; and (4) Conduct a trade study of the proposed alternative concepts and recommend promising instruments. The baseline leak-location instrument selected by NASA-JSC was an ion gauge.

Dodge, Franklin T.↗

Lead-Lag Control for Helicopter Vibration and Noise Reduction

As a helicopter transitions from hover to forward flight, the main rotor blades experience an asymmetry in flow field around the azimuth, with the blade section tangential velocities increasing on the advancing side and decreasing on the retreating side. To compensate for the reduced dynamic pressure on the retreating side, the blade pitch angles over this part of the rotor disk are increased. Eventually, a high enough forward speed is attained to produce compressibility effects on the advancing side of the rotor disk and stall on the retreating side. The onset of these two phenomena drastically increases the rotor vibratory loads and power requirements, thereby effectively establishing a limit on the maximum achievable forward speed. The alleviation of compressibility and stall (and the associated decrease in vibratory loads and power) would potentially result in an increased maximum forward speed. In the past, several methods have been examined and implemented to reduce the vibratory hub loads. Some of these methods are aimed specifically at alleviating vibration at very high flight speeds and increasing the maximum flight speed, while others focus on vibration reduction within the conventional flight envelope. Among the later are several types passive as well as active schemes. Passive schemes include a variety of vibration absorbers such as mechanical springs, pendulums, and bifilar absorbers. These mechanism are easy to design and maintain, but incur significant weight and drag penalties. Among the popular active control schemes in consideration are Higher Harmonic Control (HHC) and Individual Blade Control (IBC). HHC uses a conventional swash plate to generate a multi-cyclic pitch input to the blade. This requires actuators capable of sufficiently high power and bandwidth, increasing the cost and weight of the aircraft. IBC places actuators in the rotating reference frame, requiring the use of slip rings capable of transferring enough power to the actuators. Both schemes cause an increase in pitch link loads. Trailing Edge Flap (TEF) deployment can also used to generate unsteady aerodynamic forces and moments that counter the original vibratory loads, and thereby reduce rotor vibrations. While the vibrations absorbers, HHC, IBC, and TEF concepts discussed above attempt to reduce the vibratory loads, they do not specifically address the phenomena causing the vibrations at high advance ratios. One passive method that attempts to directly alleviate compressibility and stall, instead of reducing the ensuing vibrations, is the use of advanced tip designs. Taper, sweep, anhedral, and the manipulation of other geometric properties of the blade tips can reduce the severity of stall and compressibility effects , as well as reduce rotor power. A completely different approach to solve these problems is the tiltrotor configuration. As the forward velocity of the aircraft increases, the rotors, in this case, are tilted forward until they are perpendicular to the flow and act as propellers. This eliminates the edgewise flow encountered by conventional rotors and circumvents all the problems associated with flow asymmetry. However, the success involves a tremendous increase in cost and complexity of the aircraft. Another possible approach that has been proposed for the alleviation of vibratory loads at high forward flight speeds involves the use of controlled lead-lag motions to reduce the asymmetry in flow. A correctly phased 1/rev controlled lag motion could be introduced such that it produces a backward velocity on the advancing side and a forward velocity on the retreating side, to delay compressibility effects and stall to a higher advance ratio. Using a large enough lead-lag amplitude, the tip velocities could be reduced to levels encountered in hover. This concept was examined by two groups in the 1950's and early 1960's. In the United States, the Research Labs Division of United Aircraft developed a large lead-lag motion rotor, meant to achieve lag motion amplitudes up to 45 degrees. In order to reduce the required actuation force, the blade hinges were moved to 40% of the blade radius to increase the rotating lag frequency to approximately 1/rev. The blade hinges were redesigned to produce a flap-lag coupling so the large flapwise aerodynamic loads could be exploited to actuate the blades in the lag direction. A wind tunnel test of this rotor concept revealed actuation and blade motion scheduling problems. The project was eventually discontinued due to these problems and high blade stresses. Around the same time, at Boelkow in Germany, a similar lead-lag rotor program was conducted under the leadership of Hans Derschmidt. Here, too, the blade hinges were moved outboard to 34% radius to reduce the actuation loads. The main difference between this and the United Aircraft program was the use of a mechanical actuation scheme with maximum lead-lag motions of 400. This program was also discontinued for unclear reasons. The present study is directed toward conducting a comprehensive analytical examination to evaluate the effectiveness of controlled lead-lag motions in reducing vibratory hub loads and increasing maximum flight speed. Since both previous studies on this subject were purely experimental, only a limited data set and physical understanding of the problem was obtained. With the currently available analytical models and computational resources, the present effort is geared toward developing an in-depth physical understanding of the precise underlying mechanisms by which vibration reduction may be achieved. Additionally, in recognition of the fact that large amplitude lead-lag motions would - (i) be difficult to implement, and (ii) produce very large blade stresses; the present study examines the potential of only moderate-to-small lead-lag motions for reduction of vibratory hub loads. Using such an approach, the emphasis is not on eliminating the periodic variations in tangential velocity at the blade tip, but at best reducing these variations slightly so that compressibility and stall are delayed to slightly higher advance ratios. This study was conducted in two steps. In the first step, a hingeless helicopter rotor was modeled using rigid blades undergoing flap-lag-torsion rotations about spring restrained hinges and bearings. This model was then modified by separating the lead-lag degree of freedom into two components, a free and a prescribed motion. Using this model, a parametric study of the effect of phase and amplitude of a prescribed lead-lag motion on hub vibration was conducted. The data gathered was analyzed to obtain an understanding of the basic physics of the problem and show the capability of this method to reduce vibration and expand the flight envelope. In the second half of the study, the similar analysis was conducted using an elastic blade model to confirm the effects predicted by the simpler model.

Gandhi, Farhan↗

Immobile Robots: AI in the New Millennium

A new generation of sensor rich, massively distributed, autonomous systems are being developed that have the potential for profound social, environmental, and economic change. These include networked building energy systems, autonomous space probes, chemical plant control systems, satellite constellations for remote ecosystem monitoring, power grids, biosphere-like life support systems, and reconfigurable traffic systems, to highlight but a few. To achieve high performance, these immobile robots (or immobots) will need to develop sophisticated regulatory and immune systems that accurately and robustly control their complex internal functions. To accomplish this, immobots will exploit a vast nervous system of sensors to model themselves and their environment on a grand scale. They will use these models to dramatically reconfigure themselves in order to survive decades of autonomous operations. Achieving these large scale modeling and configuration tasks will require a tight coupling between the higher level coordination function provided by symbolic reasoning, and the lower level autonomic processes of adaptive estimation and control. To be economically viable they will need to be programmable purely through high level compositional models. Self modeling and self configuration, coordinating autonomic functions through symbolic reasoning, and compositional, model-based programming are the three key elements of a model-based autonomous systems architecture that is taking us into the New Millennium.

Williams, Brian C.↗

An Exploratory Study of Cost Engineering in Axiomatic Design: Creation of the Cost Model Based on an FR-DP Map

Large complex projects cost large sums of money throughout their life cycle for a variety of reasons and causes. For such large programs, the credible estimation of the project cost, a quick assessment of the cost of making changes, and the management of the project budget with effective cost reduction determine the viability of the project. Cost engineering that deals with these issues requires a rigorous method and systematic processes. This paper introduces a logical framework to a&e effective cost engineering. The framework is built upon Axiomatic Design process. The structure in the Axiomatic Design process provides a good foundation to closely tie engineering design and cost information together. The cost framework presented in this paper is a systematic link between the functional domain (FRs), physical domain (DPs), cost domain (CUs), and a task/process-based model. The FR-DP map relates a system s functional requirements to design solutions across all levels and branches of the decomposition hierarchy. DPs are mapped into CUs, which provides a means to estimate the cost of design solutions - DPs - from the cost of the physical entities in the system - CUs. The task/process model describes the iterative process ot-developing each of the CUs, and is used to estimate the cost of CUs. By linking the four domains, this framework provides a superior traceability from requirements to cost information.

Lee, Taesik↗

Prospecting Rovers for Lunar Exploration

A study of lunar rover options for exploring the permanently shadowed regions of the lunar environment is presented. The potential for nearly continuous solar illumination coupled with the potential for water ice, focus exploration planner's attention on the polar regions of the moon. These regions feature craters that scientists have reason to believe may contain water ice. Water ice can be easily converted to fuel cell reactants, breathing oxygen, potable water, and rocket propellant. For these reasons, the NASA Robotic Lunar Exploration Program (RLEP) sponsored a study of potential prospecting rover concepts as one part of the RLEP-2 Pre-Phase A. Numerous vehicle configurations and power, thermal, and communication options are investigated. Rover options in the 400kg to 530kg class are developed which are capable of either confirming the presence of water ice at the poles, or conclusively demonstrating its absence.

Graham, Jerry B.↗

Can Cell to Cell Thermal Runaway Propagation be Prevented in a Li-ion Battery Module?

Increasing cell spacing decreased adjacent cell damage center dotElectrically connected adjacent cells drained more than physically adjacent cells center dotRadiant barrier prevents propagation when fully installed between BP cells center dotBP cells vent rapidly and expel contents at 100% SOC -Slower vent with flame/smoke at 50% -Thermal runaway event typically occurs at 160 degC center dotLG cells vent but do not expel contents -Thermal runaway event typically occurs at 200 degC center dotSKC LFP modules did not propagate; fuses on negative terminal of cell may provide a benefit in reducing cell to cell damage propagation. New requirement in NASA-Battery Safety Requirements document: JSC 20793 Rev C 5.1.5.1 Requirements - Thermal Runaway Propagation a. For battery designs greater than a 80-Wh energy employing high specific energy cells (greater than 80 watt-hours/kg, for example, lithium-ion chemistries) with catastrophic failure modes, the battery shall be evaluated to ascertain the severity of a worst-case single-cell thermal runaway event and the propensity of the design to demonstrate cell-to-cell propagation in the intended application and environment. NASA has traditionally addressed the threat of thermal runaway incidents in its battery deployments through comprehensive prevention protocols. This prevention-centered approach has included extensive screening for manufacturing defects, as well as robust battery management controls that prevent abuse-induced runaway even in the face of multiple system failures. This focused strategy has made the likelihood of occurrence of such an event highly improbable. b. The evaluation shall include all necessary analysis and test to quantify the severity (consequence) of the event in the intended application and environment as well as to identify design modifications to the battery or the system that could appreciably reduce that severity. In addition to prevention protocols, programs developing battery designs with catastrophic failure modes should take the steps necessary to assess the severity of a possible thermal runaway event. Programs should assess whether there are reasonable design changes that could appreciably affect the severity of the outcome. Evaluation should include environmental effects to surrounding hardware (i.e., temperature, pressure, shock), contamination effects due to any expelled contaminates, and venting propulsive effects when venting overboard.

Jeevarajan, Judith↗

Data Quality Assessment and Control for the ARM Climate Research Facility

The mission of the Atmospheric Radiation Measurement (ARM) Climate Research Facility is to provide observations of the earth climate system to the climate research community for the purpose of improving the understanding and representation, in climate and earth system models, of clouds and aerosols as well as their coupling with the Earth's surface. In order for ARM measurements to be useful toward this goal, it is important that the measurements are of a known and reasonable quality. The ARM data quality program includes several components designed to identify quality issues in near-real-time, track problems to solutions, assess more subtle long-term issues, and communicate problems to the user community.

54 ENVIRONMENTAL SCIENCES↗