Search NASA⌕ Search

SEARCH · Search NASA

Results for “automated experimentation”

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

An expert system for simulating electric loads aboard Space Station Freedom

Space Station Freedom will provide an infrastructure for space experimentation. This environment will feature regulated access to any resources required by an experiment. Automated systems are being developed to manage the electric power so that researchers can have the flexibility to modify their experiment plan for contingencies or for new opportunities. To define these flexible power management characteristics for Space Station Freedom, a simulation is required that captures the dynamic nature of space experimentation; namely, an investigator is allowed to restructure his experiment and to modify its execution. This changes the energy demands for the investigator's range of options. An expert system competent in the domain of cryogenic fluid management experimentation was developed. It will be used to help design and test automated power scheduling software for Freedom's electric power system. The expert system allows experiment planning and experiment simulation. The former evaluates experimental alternatives and offers advice on the details of the experiment's design. The latter provides a real-time simulation of the experiment replete with appropriate resource consumption.

Kukich, George↗

An expert system for simulating electric loads aboard Space Station Freedom

Space Station Freedom will provide an infrastructure for space experimentation. This environment will feature regulated access to any resources required by an experiment. Automated systems are being developed to manage the electric power so that researchers can have the flexibility to modify their experiment plan for contingencies or for new opportunities. To define these flexible power management characteristics for Space Station Freedom, a simulation is required that captures the dynamic nature of space experimentation; namely, an investigator is allowed to restructure his experiment and to modify its execution. This changes the energy demands for the investigator's range of options. An expert system competent in the domain of cryogenic fluid management experimentation, was developed. It will be used to help design and test automated power scheduling software for Freedom's electric power system. The expert system allows experiment planning and experiment simulation. The former evaluates experimental alternatives and offers advice on the details of the experiment's design. The latter provides a real-time simulation of the experiment replete with appropriate resource consumption.

Kukich, George↗

Wavenumber Imaging For Damage Detection and Measurement

This paper presents a method for analyzing ultrasonic wavefield data using the Continuous Wavelet Transform (CWT) applied in the spatial domain. Unlike data obtained by sparse arrays of transducers, full wavefield data contains information local to the structure and can be used to obtain more detailed measurements of damage type, location, size, etc. By calculating the CWT of the wavefield in the spatial domain, the wavenumber spectrum is determined for the inspected locations. Because wavenumber is affected by the local geometry and material properties of the structure through which Lamb waves propagate, the wavenumber spectrum can be analyzed to assess the location, severity, and size of damage. The technique is first applied to experimental wavefield data obtained using a laser Doppler vibrometer and automated positioning stage. The out-of-plane velocity along the length of a composite stringer was measured to detect the presence of delaminations within the composite overwrap. Next, simulated corrosion is detected and measured within an aluminum plate using the two dimensional CWT. The experimental results show the usefulness of the technique for vehicle structure inspection applications.

Rogge, Matthew D.↗

Automated anomaly detection for Orbiter High Temperature Reusable Surface Insulation

The description, analysis, and experimental results of a method for identifying possible defects on High Temperature Reusable Surface Insulation (HRSI) of the Orbiter Thermal Protection System (TPS) is presented. Currently, a visual postflight inspection of Orbiter TPS is conducted to detect and classify defects as part of the Orbiter maintenance flow. The objective of the method is to automate the detection of defects by identifying anomalies between preflight and postflight images of TPS components. The initial version is intended to detect and label gross (greater than 0.1 inches in the smallest dimension) anomalies on HRSI components for subsequent classification by a human inspector. The approach is a modified Golden Template technique where the preflight image of a tile serves as the template against which the postflight image of the tile is compared. Candidate anomalies are selected as a result of the comparison and processed to identify true anomalies. The processing methods are developed and discussed, and the results of testing on actual and simulated tile images are presented. Solutions to the problems of brightness and spatial normalization, timely execution, and minimization of false positives are also discussed.

Cooper, Eric G.↗

Machine intelligence for autonomous manipulation.

Survey of the present technological development status of machine intelligence for autonomous manipulation in the U.S., Japan, USSR, and England. The extent of task-performance autonomy is examined that machine intelligence gives the manipulator by eliminating the need for a human operator to close continuously the control loop, or to rewrite control programs for each different task. Surveyed research projects show that the development of some advanced automation systems for manipulator control are within the state of the art. Yet, many more realistic breadboard systems and experimental work are needed before further progress can be made in the design of advanced automation systems for manipulator control suitable for new major practical applications. Specific research areas of promise are pointed out.

Bejczy, A. K.↗

On Automating Failure Mode Analysis and Enforcing its Integrity

This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics systems. Our objective is to transform DFS practice from an ad-hoc, inefficient, error-prone approach to a stringent engineering process such that DFS can keep up with the rapidly growing complexity of avionics systems. In particular, RAME is built upon an information infrastructure that comprises a fault model, a knowledge base, and a failure reporting/tracking system. This infrastructure permits systematic learning from prior projects and enables the automation of failure modes, effects and criticality analysis (FMECA). Among other unique features, the most important advantage of RAME is its capability of directly accepting design source code in hardware description languages (HDLs) for automated failure mode analysis, which enables RAME to be compatible and to evolve with most electronic-computer-aided-design systems. Through an initial experimental evaluation of the RAME prototype, we show that our approach to FMECA automation improves failure mode analysis turn-around-time, completeness, and accuracy.

design for safety↗

Analysis of Interactive Conflict Resolution Tool Usage in a Mixed Equipage Environment

A human-in-the-loop simulation was conducted that examined separation assurance concepts in varying levels of traffic density with mixtures of aircraft equipage and automation. This paper's analysis focuses on one of the experimental conditions in which traffic levels were approximately fifty percent higher than today, and approximately fifty percent of the traffic within the test area were equipped with data communications (data comm) capabilities. The other fifty percent of the aircraft required control by voice much like today. Within this environment, the air traffic controller participants were provided access to tools and automation designed to support the primary task of separation assurance that are currently unavailable. Two tools were selected for analysis in this paper: 1) a pre-probed altitude fly-out menu that provided instant feedback of conflict probe results for a range of altitudes, and 2) an interactive auto resolver that provided on-demand access to an automation-generated conflict resolution trajectory. Although encouraged, use of the support tools was not required; the participants were free to use the tools as they saw fit, and they were also free to accept, reject, or modify the resolutions offered by the automation. This mode of interaction provided a unique opportunity to examine exactly when and how these tools were used, as well as how acceptable the resolutions were. Results showed that the participants used the pre-probed altitude fly-out menu in 14% of conflict cases and preferred to use it in a strategic timeframe on data comm equipped and level flight aircraft. The interactive auto resolver was also used in a primarily strategic timeframe on 22% of conflicts and that their preference was to use it on conflicts involving data comm equipped aircraft as well. Of the 258 resolutions displayed, 46% were implemented and 54% were not. The auto resolver was rated highly by participants in terms of confidence and preference. Factors such as aircraft equipage, ownership, and location of predicted separation loss appeared to play a role in the decision of controllers to accept or reject the auto resolver's resolutions.

auto resolver↗

Predeployment validation of fault-tolerant systems through software-implemented fault insertion

Fault injection-based automated testing (FIAT) environment, which can be used to experimentally characterize and evaluate distributed realtime systems under fault-free and faulted conditions is described. A survey is presented of validation methodologies. The need for fault insertion based on validation methodologies is demonstrated. The origins and models of faults, and motivation for the FIAT concept are reviewed. FIAT employs a validation methodology which builds confidence in the system through first providing a baseline of fault-free performance data and then characterizing the behavior of the system with faults present. Fault insertion is accomplished through software and allows faults or the manifestation of faults to be inserted by either seeding faults into memory or triggering error detection mechanisms. FIAT is capable of emulating a variety of fault-tolerant strategies and architectures, can monitor system activity, and can automatically orchestrate experiments involving insertion of faults. There is a common system interface which allows ease of use to decrease experiment development and run time. Fault models chosen for experiments on FIAT have generated system responses which parallel those observed in real systems under faulty conditions. These capabilities are shown by two example experiments each using a different fault-tolerance strategy.

Czeck, Edward W.↗

Long Term Manipulations of Intact Microbial Mat Communities in a Greenhouse Collaboratory: Simulating Earth's Present and Past Field Environments

Photosynthetic microbial mat communities were obtained from marine hypersaline saltern ponds, maintained in a greenhouse facility, and examined for the effects of salinity variations. Because these microbial mats are considered to be useful analogs of equivalent ancient marine communities, they offer insights about evolutionary events during the greater than 3 billion year time interval wherein mats co-evolved with Earth's geosphere and atmosphere. Although photosynthetic mats can be highly dynamic and exhibit extremely high activity, the mats in the present study have been maintained for more than one year with relatively minor changes. The major groups of microorganisms, as assayed using microscopic, genetic, and biomarker methodologies, are essentially the same as those in the original field samples. Field and greenhouse mats were similar with respect to rates of exchange of oxygen and dissolved inorganic carbon across the mat-water interface, both during the day and at night. Field and greenhouse mats exhibited similar rates of efflux of methane and hydrogen. Manipulations of salinity in the water overlying the mats produced changes in the community that strongly resemble those observed in the field. A collaboratory testbed and an array of automated features are being developed to support remote scientific experimentation with the assistance of intelligent software agents. This facility will permit teams of investigators to explore ancient environmental conditions that are rare or absent today but might have influenced the early evolution of these photosynthetic ecosystems.

Bebout, Brad↗

A Flexible and Non-instrusive Approach for Computing Complex Structural Coverage Metrics

Software analysis tools and techniques often leverage structural code coverage information to reason about the dynamic behavior of software. Existing techniques instrument the code with the required structural obligations and then monitor the execution of the compiled code to report coverage. Instrumentation based approaches often incur considerable runtime overhead for complex structural coverage metrics such as Modified Condition/Decision (MC/DC). Code instrumentation, in general, has to be approached with great care to ensure it does not modify the behavior of the original code. Furthermore, instrumented code cannot be used in conjunction with other analyses that reason about the structure and semantics of the code under test. In this work, we introduce a non-intrusive preprocessing approach for computing structural coverage information. It uses a static partial evaluation of the decisions in the source code and a source-to-bytecode mapping to generate the information necessary to efficiently track structural coverage metrics during execution. Our technique is flexible; the results of the preprocessing can be used by a variety of coverage-driven software analysis tasks, including automated analyses that are not possible for instrumented code. Experimental results in the context of symbolic execution show the efficiency and flexibility of our nonintrusive approach for computing code coverage information

DO-178C↗

Nonlinear Buckling Analysis of Tow-Steered Composite Cylinders with Cutouts

The buckling and postbuckling behavior of two composite tow-steered shells with cutouts of different sizes is assessed using nonlinear finite element (FE) analysis and compared to experimental measurements. The cylindrical shells are manufactured using an automated fiber placement system, where the shells’ fiber orientation angles vary continuously around the shell circumference from ±10 degrees on the crown and keel to ±45 degrees on the sides. One shell features thickness variations due to tow overlaps that result from application of all 24 tows during each pass of the fiber placement system. The second shell uses the system’s tow drop/add capability to achieve a more uniform wall thickness without overlaps. Unreinforced cutouts of two different sizes—the first smaller cutout representing a passenger door on a commercial aircraft and the second larger cutout a cargo door—were machined into each of the two cylinders resulting in a total of four test cases. These cylinders were tested in axial compression and buckled elastically in previous work and are now analyzed using nonlinear FE models to compare bifurcation buckling loads as well as the load-displacement response in the prebuckling and postbuckling regimes. For all four shells analyzed, the prebuckling stiffness, buckling load, and deformation mode sequence throughout the loading-unloading cycle is accurately reproduced by the models. In particular, the shells first buckle locally around the cutouts in a stable (super-critical) manner with only a slight decrease in axial stiffness, which occurs due to the favorable load redistribution facilitated by tow steering. The shells then buckle globally in an unstable (sub-critical) manner with diamond-shaped buckles forming to the left and right of the cutouts. The buckling load of all shells with cutouts is at least 82% of the buckling load of the pristine shells without cutouts. Overall, the ability to sustain local buckling phenomena, and the relatively small reductions in global buckling load compared to pristine shells without cutouts, demonstrates the great potential of using tow steering to mitigate the adverse effects of cutouts in axially-compressed shell structures.

composites↗

Nonlinear Buckling Analysis of Tow-Steered Composite Cylinders with Cutouts

The buckling and postbuckling behavior of two composite tow-steered shells with cutouts of different sizes is assessed using nonlinear finite element (FE) analysis and compared to experimental measurements. The cylindrical shells are manufactured using an automated fiber placement system, where the shells’ fiber orientation angles vary continuously around the shell circumference from 10 degrees on the crown and keel to 45 degrees on the sides. One shell features thickness variations due to tow overlaps that result from application of all 24 tows during each pass of the fiber placement system. The second shell uses the system’s tow drop/add capability to achieve a more uniform wall thickness without overlaps. Unreinforced cutouts of two different sizes—the first smaller cutout representing a passenger door on a commercial aircraft and the second larger cutout a cargo door—were machined into each of the two cylinders resulting in a total of four test cases. These cylinders were tested in axial compression and buckled elastically in previous work and are now analyzed using nonlinear FE models to compare bifurcation buckling loads as well as the load-displacement response in the prebuckling and postbuckling regimes. For all four shells analyzed, the prebuckling stiffness, buckling load, and deformation mode sequence throughout the loading-unloading cycle is accurately reproduced by the models. In particular, the shells first buckle locally around the cutouts in a stable (super-critical) manner with only a slight decrease in axial stiffness, which occurs due to the favorable load redistribution facilitated by tow steering. The shells then buckle globally in an unstable (sub-critical) manner with diamond-shaped buckles forming to the left and right of the cutouts. The buckling load of all shells with cutouts is at least 82% of the buckling load of the pristine shells without cutouts. Overall, the ability to sustain local buckling phenomena, and the relatively small reductions in global buckling load compared to pristine shells without cutouts, demonstrates the great potential of using tow steering to mitigate the adverse effects of cutouts in axially-compressed shell structures.

Buckling↗

Liquid droplet radiator program at the NASA Lewis Research Center

The NASA Lewis Research Center and the Air Force Rocket Propulsion Laboratory (AFRPL) are jointly engaged in a program for technical assessment of the Liquid Droplet Radiator (LDR) concept as an advanced high performance heat ejection component for future space missions. NASA Lewis has responsibility for the technology needed for the droplet generator, for working fluid qualification, and for investigating the physics of droplets in space; NASA Lewis is also conducting systems/mission analyses for potential LDR applications with candidate space power systems. For the droplet generator technology task, both micro-orifice fabrication techniques and droplet stream formation processes have been experimentally investigated. High quality micro-orifices (to 50 micron diameter) are routinely fabricated with automated equipment. Droplet formation studies have established operating boundaries for the generation of controlled and uniform droplet streams. A test rig is currently being installed for the experimental verification, under simulated space conditions, of droplet radiation heat transfer performance analyses and the determination of the effect radiative emissivity of multiple droplet streams. Initial testing has begun in the NASA Lewis Zero-Gravity Facility for investigating droplet stream behavior in microgravity conditions. This includes the effect of orifice wetting on jet dynamics and droplet formation. Results for both Brayton and Stirling power cycles have identified favorable mass and size comparisons of the LDR with conventional radiator concepts.

Presler, A. F.↗

Liquid droplet radiator program at the NASA Lewis Research Center

The NASA Lewis Research Center and the Air Force Rocket Propulsion Laboratory (AFRPL) are jointly engaged in a program for technical assessment of the Liquid Droplet Radiator (LDR) concept as an advanced high performance heat ejection component for future space missions. NASA Lewis has responsibility for the technology needed for the droplet generator, for working fluid qualification, and for investigating the physics of droplets in space; NASA Lewis is also conducting systems/mission analyses for potential LDR applications with candidate space power systems. For the droplet generator technology task, both micro-orifice fabrication techniques and droplet stream formation processes have been experimentally investigated. High quality micro-orifices (to 50 micron diameter) are routinely fabricated with automated equipment. Droplet formation studies have established operating boundaries for the generation of controlled and uniform droplet streams. A test rig is currently being installed for the experimental verification, under simulated space conditions, of droplet radiation heat transfer performance analyses and the determination of the effect radiative emissivity of multiple droplet streams. Initial testing has begun in the NASA Lewis Zero-Gravity Facility for investigating droplet stream behavior in microgravity conditions. This includes the effect of orifice wetting on jet dynamics and droplet formation. Results for both Brayton and Stirling power cycles have identified favorable mass and size comparisons of the LDR with conventional radiator concepts.

Presler, A. F.↗

Methodology for automating software systems. Task 1 of the foundations for automating software systems

The early stages of a research program designed to establish an experimental research platform for software engineering are described. Major emphasis is placed on Computer Assisted Software Engineering (CASE). The Poor Man's CASE Tool is based on the Apple Macintosh system, employing available software including Focal Point II, Hypercard, XRefText, and Macproject. These programs are functional in themselves, but through advanced linking are available for operation from within the tool being developed. The research platform is intended to merge software engineering technology with artificial intelligence (AI). In the first prototype of the PMCT, however, the sections of AI are not included. CASE tools assist the software engineer in planning goals, routes to those goals, and ways to measure progress. The method described allows software to be synthesized instead of being written or built.

Moseley, Warren↗

Investigating the Simulink Auto-Coding Process

Model based program design is the most clear and direct way to develop algorithms and programs for interfacing with hardware. While coding "by hand" results in a more tailored product, the ever-growing size and complexity of modern-day applications can cause the project work load to quickly become unreasonable for one programmer. This has generally been addressed by splitting the product into separate modules to allow multiple developers to work in parallel on the same project, however this introduces new potentials for errors in the process. The fluidity, reliability and robustness of the code relies on the abilities of the programmers to communicate their methods to one another; furthermore, multiple programmers invites multiple potentially differing coding styles into the same product, which can cause a loss of readability or even module incompatibility. Fortunately, Mathworks has implemented an auto-coding feature that allows programmers to design their algorithms through the use of models and diagrams in the graphical programming environment Simulink, allowing the designer to visually determine what the hardware is to do. From here, the auto-coding feature handles converting the project into another programming language. This type of approach allows the designer to clearly see how the software will be directing the hardware without the need to try and interpret large amounts of code. In addition, it speeds up the programming process, minimizing the amount of man-hours spent on a single project, thus reducing the chance of human error as well as project turnover time. One such project that has benefited from the auto-coding procedure is Ramses, a portion of the GNC flight software on-board Orion that has been implemented primarily in Simulink. Currently, however, auto-coding Ramses into C++ requires 5 hours of code generation time. This causes issues if the tool ever needs to be debugged, as this code generation will need to occur with each edit to any part of the program; additionally, this is lost time that could be spent testing and analyzing the code. This is one of the more prominent issues with the auto-coding process, and while much information is available with regard to optimizing Simulink designs to produce efficient and reliable C++ code, not much research has been made public on how to reduce the code generation time. It is of interest to develop some insight as to what causes code generation times to be so significant, and determine if there are architecture guidelines or a desirable auto-coding configuration set to assist in streamlining this step of the design process for particular applications. To address the issue at hand, the Simulink coder was studied at a foundational level. For each different component type made available by the software, the features, auto-code generation time, and the format of the generated code were analyzed and documented. Tools were developed and documented to expedite these studies, particularly in the area of automating sequential builds to ensure accurate data was obtained. Next, the Ramses model was examined in an attempt to determine the composition and the types of technologies used in the model. This enabled the development of a model that uses similar technologies, but takes a fraction of the time to auto-code to reduce the turnaround time for experimentation. Lastly, the model was used to run a wide array of experiments and collect data to obtain knowledge about where to search for bottlenecks in the Ramses model. The resulting contributions of the overall effort consist of an experimental model for further investigation into the subject, as well as several automation tools to assist in analyzing the model, and a reference document offering insight to the auto-coding process, including documentation of the tools used in the model analysis, data illustrating some potential problem areas in the auto-coding process, and recommendations on areas or practices in the current Ramses model that should be further investigated. Several skills were required to be built up over the course of the internship project. First and foremost, my Simulink skills have improved drastically, as much of my experience had been modeling electronic circuits as opposed to software models. Furthermore, I am now comfortable working with the Simulink Auto-coder, a tool I had never used until this summer; this tool also tested my critical thinking and C++ knowledge as I had to interpret the C++ code it was generating and attempt to understand how the Simulink model affected the generated code. I had come into the internship with a solid understanding of Matlab code, but had done very little in using it to automate tasks, particularly Simulink tasks; along the same lines, I had rarely used shell script to automate and interface with programs, which I gained a fair amount of experience with this summer, including how to use regular expression. Lastly, soft-skills are an area everyone can continuously improve on; having never worked with NASA engineers, which to me seem to be a completely different breed than what I am used to (commercial electronic engineers), I learned to utilize the wealth of knowledge present at JSC. I wish I had come into the internship knowing exactly how helpful everyone in my branch would be, as I would have picked up on this sooner. I hope that having gained such a strong foundation in Simulink over this summer will open the opportunity to return to work on this project, or potentially other opportunities within the division. The idea of leaving a project I devoted ten weeks to is a hard one to cope with, so having the chance to pick up where I left off sounds appealing; alternatively, I am interested to see if there are any opening in the future that would allow me to work on a project that is more in-line with my research in estimation algorithms. Regardless, this summer has been a milestone in my professional career, and I hope this has started a long-term relationship between JSC and myself. I really enjoy the thought of building on my experience here over future summers while I work to complete my PhD at Missouri University of Science and Technology.

Gualdoni, Matthew J.↗

Novel software for analysis of root gravitropism: comparative response patterns of Arabidopsis wild-type and axr1 seedlings

In an earlier study (Evans, Ishikawa & Estelle 1994, Planta 194, 215-222) we used a video digitizer system to compare the kinetics of auxin action on root elongation in wild-type seedlings and seedlings of auxin response mutants of Arabidopsis thaliana (L.) Heynh. We have since modified the system software to allow determination of elongation on opposite sides of vertical or gravistimulated roots and to allow continuous measurement of the angle of orientation of sequential subsections of the root during the response. We used this technology to compare the patterns of differential growth that generate curvature in roots of the Columbia ecotype and in the mutants axr1-3, axr1-12 and axr2, which show reduced gravitropic responsiveness and reduced sensitivity to inhibition by auxin. The pattern of differential growth during gravitropism differed in roots of wild-type and axr1 seedlings. In wild-type roots, initial curvature resulted from differential inhibition of elongation in the distal elongation zone (DEZ). This was followed by an acceleration of elongation along the top side of the DEZ. In roots of axr1-3, curvature resulted from differential stimulation of elongation whereas in roots of axr1-12 the response was variable. Roots of axr2 did not exhibit gravitropic curvature. The observation that the pattern of differential growth causing curvature is dramatically altered by a change in sensitivity to auxin is consistent with the classical Cholodny-Went theory of gravitropism which maintains that differential growth patterns induced by gravistimulation are mediated primarily by gravi-induced shifts in auxin distribution. The new technology introduced with this report allows automated determination of stimulus response patterns in the small but experimentally popular roots of Arabidopsis.

Non-NASA Center↗

(abstract) Monitoring the Freeze/Thaw Transitions in Taiga Forests Using ERS-1 SAR

Automated recording stations have been installed at the Bonanza Creek Experimental Forest, a Long Term Ecological Research (LTER) site located near Fairbanks, Alaska, in a forest stand of the Tanana River floodplain underlain by discontinuous permafrost. These stations provide a continuous record of dielectric constant and temperature of tree trunks, and soil moisture and temperature profiles down to the root zone. Along with the weather stations deployed at the same location, these measurements provide a continuous record of the environmental and phenologic conditions of the forest during a complete seasonal cycle. At the same time, ERS-1 SAR imaged the study site repeatedly from space to provide radar backscatter measurements of the forest approximately three times a month. Here, we examine the temporal dynamic of ERS-1 SAR measurements in relation with the changing environmental and phenologic state of the forest canopy and of the forest ground layers during the winter/spring and fall/winter transitions of 1992 and 1993. During these transitions, we examine whether changes in radar backscatter observed by ERS-1 may be related to freezing or thawing of the soil and vegetation in order to determine the start and end of the growing season for the forest. The results of this analysis are used in turn to determine whether similar changes are observed over larger regions. Mosaics of SAR data generated along three different North-South Alaskan ERS-1 transects that intercept with our study site are used in combination with hourly air temperature and daily precipitation rates gathered at airport weather stations by the National Weather Service. Results obtained using ERS-1 data collected from January 1992 to mid-1993 will be discussed.

permafrost temporal dynamics Alaska ecology radar ↗