Search NASA⌕ Search

SEARCH · Search NASA

Results for “context modeling”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS2023

Evaluation of a Regional Crop Model Implementation for Sub-National Yield Assessments in Kenya

CONTEXT: Cropping system models can be used to both assess regional food security and to monitor and predict agricultural drought. Agriculture in Kenya is extremely important to both the economy and food security of the country. OBJECTIVE: This study evaluated a regional implementation of a widely used crop model, the Decision Support System for Agrotechnology Transfer (DSSAT), within a coupled modeling framework, the Regional Hydrologic Extremes Assessment System (RHEAS), over Kenya. The goal of this study was to assess the ability of RHEAS to simulate the annual variability of maize yields at the county level and evaluate the uncertainty inherent in the model and inputs. METHODS: The RHEAS system implements a stochastic ensemble approach to account for field scale variabilities in crop management practices and underlying soil and weather conditions. Satellite-derived datasets were used to evaluate the land surface component of the system and seasonally disaggregated yield for 5 years was used to assess the performance of the cropping system model. RESULTS AND CONCLUSIONS: The median correlation between RHEAS and satellite-derived soil moisture and evapotranspiration estimates were 0.78, and 0.51, respectively, indicating that the model is able to capture the key drivers of the hydrological budget. Overall, RHEAS simulated yearly yield variations with a median correlation of 0.7 with reported yields, with the best performance in the short rains season. However, across both seasons, the RHEAS model was positively biased on the order of ~1.6 MT/ha. The overall median unbiased RMSE was 0.66 MT/ha. The RHEAS system shows skill at simulating extreme departures in anomalies, and a majority of the time (62.5%) the reported yields fall within the interquartile range of the simulations. SIGNIFICANCE: One of the most important areas of improvement for the next generation of agricultural data and models is to better understand and communicate the inherent uncertainties. This is especially critical in data-limited regions. Here we present a modeling system and its implementation that begins to address these concerns. We demonstrate the ability to simulate broad trends in yields at the county level for sub-annual yields with skills that commensurate previous national/annual level studies.

Crop model↗
NASA NTRS2001

The 3D Recognition, Generation, Fusion, Update and Refinement (RG4) Concept

This paper describes an active (real time) recognition strategy whereby information is inferred iteratively across several viewpoints in descent imagery. We will show how we use inverse theory within the context of parametric model generation, namely height and spectral reflection functions, to generate model assertions. Using this strategy in an active context implies that, from every viewpoint, the proposed system must refine its hypotheses taking into account the image and the effect of uncertainties as well. The proposed system employs probabilistic solutions to the problem of iteratively merging information (images) from several viewpoints. This involves feeding the posterior distribution from all previous images as a prior for the next view. Novel approaches will be developed to accelerate the inversion search using novel statistic implementations and reducing the model complexity using foveated vision. Foveated vision refers to imagery where the resolution varies across the image. In this paper, we allow the model to be foveated where the highest resolution region is called the foveation region. Typically, the images will have dynamic control of the location of the foveation region. For descent imagery in the Entry, Descent, and Landing (EDL) process, it is possible to have more than one foveation region. This research initiative is directed towards descent imagery in connection with NASA's EDL applications. Three-Dimensional Model Recognition, Generation, Fusion, Update, and Refinement (RGFUR or RG4) for height and the spectral reflection characteristics are in focus for various reasons, one of which is the prospect that their interpretation will provide for real time active vision for automated EDL.

Maluf, David A.↗
DOE OSTI2025

Synthetic Scientific Image Generation with VAE, GAN, and Diffusion Model Architectures

Generative AI (genAI) has emerged as a powerful tool for synthesizing diverse and complex image data, offering new possibilities for scientific imaging applications. This review presents a comprehensive comparative analysis of leading generative architectures, ranging from Variational Autoencoders (VAEs) to Generative Adversarial Networks (GANs) on through to Diffusion Models, in the context of scientific image synthesis. We examine each model's foundational principles, recent architectural advancements, and practical trade-offs. Our evaluation, conducted on domain-specific datasets including microCT scans of rocks and composite fibers, as well as high-resolution images of plant roots, integrates both quantitative metrics (SSIM, LPIPS, FID, CLIPScore) and expert-driven qualitative assessments. Results show that GANs, particularly StyleGAN, produce images with high perceptual quality and structural coherence. Diffusion-based models for inpainting and image variation, such as DALL-E 2, delivered high realism and semantic alignment but generally struggled in balancing visual fidelity with scientific accuracy. Importantly, our findings reveal limitations of standard quantitative metrics in capturing scientific relevance, underscoring the need for domain-expert validation. We conclude by discussing key challenges such as model interpretability, computational cost, and verification protocols, and discuss future directions where generative AI can drive innovation in data augmentation, simulation, and hypothesis generation in scientific research.

Generative Adversarial Networks↗
NASA NTRS2012

Model Calibration Efforts for the International Space Station's Solar Array Mast

The International Space Station (ISS) relies on sixteen solar-voltaic blankets to provide electrical power to the station. Each pair of blankets is supported by a deployable boom called the Folding Articulated Square Truss Mast (FAST Mast). At certain ISS attitudes, the solar arrays can be positioned in such a way that shadowing of either one or three longerons causes an unexpected asymmetric thermal loading that if unchecked can exceed the operational stability limits of the mast. Work in this paper documents part of an independent NASA Engineering and Safety Center effort to assess the existing operational limits. Because of the complexity of the system, the problem is being worked using a building-block progression from components (longerons), to units (single or multiple bays), to assembly (full mast). The paper presents results from efforts to calibrate the longeron components. The work includes experimental testing of two types of longerons (straight and tapered), development of Finite Element (FE) models, development of parameter uncertainty models, and the establishment of a calibration and validation process to demonstrate adequacy of the models. Models in the context of this paper refer to both FE model and probabilistic parameter models. Results from model calibration of the straight longerons show that the model is capable of predicting the mean load, axial strain, and bending strain. For validation, parameter values obtained from calibration of straight longerons are used to validate experimental results for the tapered longerons.

Elliott, Kenny B.↗
NASA NTRS2020

Assessment of Transition Modeling Capability in OVERFLOW with Emphasis on Swept-Wing Configurations

In preparation for comparisons with data obtained from the recently concluded experiments in the National Transonic Facility at the NASA Langley Research Center on the new common research model with natural laminar flow (CRM-NLF), an assessment of the current transition modeling capability in the NASA OVERFLOW 2.2o code has been carried out. A combination of the available experimental data and linear stability analysis is used to evaluate the accuracy and robustness of these models for selected swept-wing type configurations, with significant crossflow. An additional goal for this work involves providing a comparative assessment of the relevant transition models in the context of a single flow solver and identifying model limitations as well as the potential for future improvements that would help strengthen the physical basis of such transition models. Included in this investigation is an assessment of the sensitivities of the underlying transition models to grid resolution (wall-normal, as well as streamwise and spanwise) and the values of extra input parameters such as the level of surface roughness and freestream turbulence variables. The flow configurations targeted in this assessment include the NASA NLF(2)-0415 swept-wing configuration, the sickle-shaped wing introduced by the Technical University of Braunschweig, and the wing-body configuration of the CRM model from the fourth and fifth AIAA CFD Drag Prediction Workshops.

Freestream velocity↗
NASA NTRSDate not supplied

Validation of the Corcos Model for the Space Launch System using Unsteady Pressure Sensitive Paint

During atmospheric ascent launch vehicles (LVs) experience large dynamic loads at transonic conditions where aerodynamic buffet is most critical. To estimate buffet loads, coupled loads analyses typically utilize suitable forcing functions, called buffet forcing functions (BFFs). One of the key buffet environment contributors is the turbulent boundary layer (TBL) on the LV outer skin. The TBL-induced fluctuating pressures can be estimated using the widely-accepted Corcos model. In the context of transonic buffet, the performance of this model is not well established, partly because of lack of data. To fill this gap, NASA recently acquired extremely high-spatial-density data for the Space Launch System (SLS) vehicle, using the unsteady pressure sensitive paint (uPSP) optical measurement technique. A methodology is developed for validation of the Corcos model using these unique data, with a focus on the LV-design application. The model hypotheses are verified and the model parameters are empirically tuned. For selected panels on the vehicle, BFF coherence factors are derived based on the Corcos model and the associated panel BFFs are compared to uPSP data. It is shown that the modeled BFFs are in agreement with direct integration of uPSP data, except for regions where pressure fluctuations are spatially nonuniform. In those regions, the Corcos-based BFFs exhibit inherent limitations of BFF estimation methods that rely on discrete pressure measurements.

buffet↗
NASA NTRSDate not supplied

Validation of the Corcos Model for the Space Launch System using Unsteady Pressure Sensitive Paint

During atmospheric ascent launch vehicles (LVs) experience large dynamic loads at transonic conditions where aerodynamic buffet is most critical. To estimate buffet loads, coupled loads analyses typically utilize suitable forcing functions, called buffet forcing functions (BFFs). One of the key buffet environment contributors is the turbulent boundary layer (TBL) on the LV outer skin. The TBL-induced fluctuating pressures can be estimated using the widely-accepted Corcos model. In the context of transonic buffet, the performance of this model is not well established, partly because of lack of data. To fill this gap, NASA recently acquired extremely high-spatial-density data for the Space Launch System (SLS) vehicle, using the unsteady pressure sensitive paint (uPSP) optical measurement technique. A methodology is developed for validation of the Corcos model using these unique data, with a focus on the LV-design application. The model hypotheses are verified and the model parameters are empirically tuned. For selected panels on the vehicle, BFF coherence factors are derived based on the Corcos model and the associated panel BFFs are compared to uPSP data. It is shown that the modeled BFFs are in agreement with direct integration of uPSP data, except for regions where pressure fluctuations are spatially nonuniform. In those regions, the Corcos-based BFFs exhibit inherent limitations of BFF estimation methods that rely on discrete pressure measurements.

buffet↗
NASA NTRS2023

Space Launch System Unsteady Forces Developed from Unsteady-Pressure-Sensitive-Paint–Based Corcos Model Parameters

During atmospheric ascent, launch vehicles (LVs) experience large dynamic loads at transonic conditions where aerodynamic buffet is most critical. To estimate buffet loads, coupled loads analyses typically utilize suitable forcing functions, called buffet forcing functions (BFFs). One of the key buffet environment contributors is the turbulent boundary layer (TBL) on the LV outer skin. The TBL-induced fluctuating pressures can be estimated using the widely-accepted Corcos model. In the context of transonic buffet, the performance of this model is not well established, partly because of lack of data. To fill this gap, NASA recently acquired extremely high-spatial-density data for the Space Launch System (SLS) vehicle, using the unsteady pressure sensitive paint (uPSP) optical measurement technique. A methodology is developed for validation of the Corcos model using these unique data, with a focus on the LV-design application. The model hypotheses are verified and the model parameters are empirically tuned. For selected panels on the vehicle, BFF coherence factors are derived based on the Corcos model and the associated panel BFFs are compared to uPSP data. It is shown that the modeled BFFs are in agreement with direct integration of uPSP data, except for regions where pressure fluctuations are spatially nonuniform. In those regions, the Corcos-based BFFs exhibit inherent limitations of BFF estimation methods that rely on discrete pressure measurements.

buffet↗
DOE OSTI2024

Model-Based Approaches to Generate Knowledge from Data in a Plant Reliability Context

One challenge that nuclear power plant system engineers are facing is continuous generation of an extremely large amount of equipment reliability (ER) data. These data elements come in textual (e.g., condition reports) and numeric (e.g., generated by monitoring systems) forms. They provide system engineers with valuable insights and information by discovering anomalous behaviors or degradation trends, identifying possible causes behind such behaviors and trends, and predicting their direct consequences. This paper directly targets the knowledge generation from ER data by putting “data into context.” We employ model-based system engineering (MBSE) of systems and assets to represent and capture their architecture and functional (i.e., cause-effect) relations. ER data elements are processed by first identifying which of the developed MBSE elements they are referring to. This task is harder for textual data since the information contained in issue or maintenance reports needs to be “understood” by a computational tool. We called this process “knowledge extraction” since our methods extract knowledge from textual data. Last, once numeric and textual ER data elements have been processed and “understood,” we discover possible cause-effect relations among them. This is performed by observing whether a logical connection through the MBSE models exists, and if there is a temporal relationship among them. The logic and temporal are the two main ingredients to perform “machine reasoning” from ER data.

97 - MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Predictive Indicators of the Performance of Large Language Models

In several mission contexts, it is desirable to estimate the performance of large language models (LLMs) on tasks that we cannot run directly. In light of published “scaling laws” our hypothesis is that some tasks should be consistently more challenging than others based on characteristics of the task. The goal of this project was to begin quantifying how much information about LLM performance can be gained from the features of a model and a task. Two of our statistical models struggled to converge. Pass/fail test results may provide limited information for inference beyond model quality and task difficulty, but we see no evidence at this time for significant feature interaction effect sizes, arguing for simple models. Future work extending the models to capitalize on perplexity of ground truth answers is suggested. This project also introduces “Depth of Knowledge Variant Testing” as a strategy for more finely assessing language models on open domain question and answer tasks. We developed sets of questions that ask a language model to produce similar information while demonstrating increasing depth of knowledge, and also relabeled existing Q&A test questions with their depth of knowledge. Our results suggest further consideration of Bloom’s taxonomy and further refinement of prompts to properly elicit information at varying depths. In the course of this work, we set up a basic infrastructure for standardizing tasks and testing many language models on these tasks. In addition to testing the predictive quality of model features and performance across test suites, with this project we have introduced two new task features to contextualize each test question: the Dewey Classification main category of information covered, and the Bloom’s taxonomy level that corresponds to the depth of knowledge probed by the question. Splits across these and other features produced over five hundred task subtypes with distinct feature vectors, which we tested on half a dozen models.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS2006

Metal Flow in Friction Stir Welding

The plastic deformation field in Friction Stir Welding (FSW) is compared to that in metal cutting. A shear surface around the FSW tool analogous to the metal cutting shear plane is identified and comprises the basis of the "rotating plug" flow field model and the "wiping" model of tool interaction with weld metal. Within the context of these models: The FSW shear rate is estimated to be comparable to metal cutting shear rates. The effect of tool geometry on the FSW shear surface is discussed and related to published torque measurements. Various FS W structural features are explained, including a difference in structure of bimetallic welds when alloys on the advancing and retreating sides of the weld seam are exchanged. The joining mechanism and critical parameters of the FSW process are made clear.

Nunes, Arthur C., Jr.↗
DOE OSTI2025

In–context promoter bashing of the Sorghum bicolor gene models functionally annotated as bundle sheath cell preferred expressing phosphoenolpyruvate carboxykinase and alanine aminotransferase

In-context promoter bashing via genome editing is a route to identify and characterize critical regulatory regions that govern expression of genes of interest. The outcomes of in-context promoter bashing can be used to inform editing strategies to modulate the expression of selected gene models in a desired fashion. Here, we employed in-context promoter bashing to characterize the proximal upstream regulatory regions of sorghum genes encoding phosphoenolpyruvate carboxykinase bundle sheath (SbPEPCK.BS, SbiTx430.01G455400) and alanine aminotransferase bundle sheath (SbAlaAT.BS, SbiTx430.02G006600), two proteins involved in the PCK C 4 pathway. Characterized germinal edits within the targeted regions upstream of these two genes ranged in size from 138 up to 1790 bp. A 138 bp within the SbPEPCK.BS upstream region and a 1643 bp element within the SbAlaAT.BS upstream region were determined to be important for maintenance of transcription levels. No change in development or various physiological parameters was observed in characterized lineages carrying promoter edits. However, significant changes in seed reserves and a reduction in 100-seed weight were consistently observed, under both greenhouse and field environments, in plants carrying an edit in the promoter of SbPEPCK.BS gene, which were significantly reduced in transcript accumulation for this gene.

60 APPLIED LIFE SCIENCES↗
NASA NTRS2010

Modeling of Alkane Oxidation Using Constituents and Species

It is currently not possible to perform simulations of turbulent reactive flows due in particular to complex chemistry, which may contain thousands of reactions and hundreds of species. This complex chemistry results in additional differential equations, making the numerical solution of the equation set computationally prohibitive. Reducing the chemical kinetics mathematical description is one of several important goals in turbulent reactive flow modeling. A chemical kinetics reduction model is proposed for alkane oxidation in air that is based on a parallel methodology to that used in turbulence modeling in the context of the Large Eddy Simulation. The objective of kinetic modeling is to predict the heat release and temperature evolution. This kinetic mechanism is valid over a pressure range from atmospheric to 60 bar, temperatures from 600 K to 2,500 K, and equivalence ratios from 0.125 to 8. This range encompasses diesel, HCCI, and gas-turbine engines, including cold ignition. A computationally efficient kinetic reduction has been proposed for alkanes that has been illustrated for n-heptane using the LLNL heptane mechanism. This model is consistent with turbulence modeling in that scales were first categorized into either those modeled or those computed as progress variables. Species were identified as being either light or heavy. The heavy species were decomposed into defined 13 constituents, and their total molar density was shown to evolve in a quasi-steady manner. The light species behave either in a quasi-steady or unsteady manner. The modeled scales are the total constituent molar density, Nc, and the molar density of the quasi-steady light species. The progress variables are the total constituent molar density rate evolution and the molar densities of the unsteady light species. The unsteady equations for the light species contain contributions of the type gain/loss rates from the heavy species that are modeled consistent with the developed mathematical forms for the total constituent molar density rate evolution; indeed, examination of these gain/loss rates shows that they also have a good quasi-steady behavior with a functional form resembling that of the constituent rate. This finding highlights the fact that the fitting technique provides a methodology that can be repeatedly used to obtain an accurate representation of full or skeletal kinetic models. Assuming success with the modified reduced model, the advantage of the modeling approach is clear. Because this model is based on the Nc rate rather than on that of individual heavy species, even if the number of species increases with increased carbon number in the alkane group, providing that the quasi-steady rate aspect persists, then extension of this model to higher alkanes should be conceptually straightforward, although it remains to be seen if the functional fits would remain valid or would require reconstruction.

Bellan, Jasette↗
NASA NTRS2007

GRO J1655-40: Early Stages of the 2005 Outburst

The black-hole X-ray binary transient GRO J1655-40 underwent an outburst beginning in early 2005. We present the results of our multi-wavelength observational campaign to study the early outburst spectral and temporal evolution, which combines data from X-ray (RXTE, INTEGRAL), radio (VLA) and optical (ROTSE, SMARTS) instruments. During the reported period the source left quiescence and went through four major accreting black hole states: low-hard, hard intermediate, soft intermediate and high-soft. We investigated dipping behavior in the RXTE band and compare our results to the 1996-1997 case, when the source was predominantly in the high-soft state, finding significant differences. We consider the evolution of the low frequency quasi-periodic oscillations and find that the frequency strongly correlates with the spectral characteristics, before shutting off prior to the transition to the high-soft state. We model the broad-band high-energy spectrum in the context of empirical models, as well as more physically motivated thermal and bulk-motion Comptonization and Compton reflection models. RXTE and INTEGRAL data together support a statistically significant high energy cut-off in the energy spectrum at approximately equal to 100 - 200 keV during the low-hard state. The RXTE data alone also show it very significantly during the transition, but cannot see one in the high-soft state spectra. We consider radio, optical and X-ray connections in the context of possible synchrotron and synchrotron self-Compton origins of X-ray emission in low-hard and intermediate states. In this outburst of GRO J1655-40, the radio flux does not rise strongly with the X-ray flux.

Shaposhnikov, N.↗
NASA NTRS2004

Decelerating Flows in the TeV Blazars

TeV emission from a class of BL Lacertae (BL) objects is commonly modeled as radiation from relativistically moving homogeneous plasma blobs. In the context of these models, the blob Lorentz factors needed to reproduce the (corrected for absorption by the IR background) TeV emission are large ($\delta \gtrsim 50$) are required to reproduce via Synchrotron-Self Compton (SSC) the observed TeV emission. The main reason for this is that stronger beaming eases the problem of the lack of $\sim$ IR-UV synchrotron seed photons needed to produce the de-absorbed $\sim$ few TeV peak of the spectral energy distribution (SED). However, such high Doppler factors are in strong disagreement with the unified scheme, according to which BLs are FR I radio galaxies with their jets closely aligned to the line of sight. Here, motivated by the detection of sub-luminal velocities in the sub-pc scale jets of the best studied TeV blazars, MKN 421 and MKN 501. we examine the possibility that the relativistic flow in the TeV BLs is longitudinally decelerating. In this case, the problem of the missing seed photons is solved due to Upstream Compton (UC) scattering, a process in which the upstream energetic electrons from the fast base of the flow 'see' the synchrotron seed photons produced in the slow part of the flow relativistically beamed. Modest Lorentz factors ($\Gamma kim 15s). decelerating down to values compatible with the recent radio interferometric observations, reproduce the $\sim$ few TeV peak energy of these sources. Furthermore, such decelerating flows are shown to be in agreement with the BL - FR I unification.

Kazanas, Demosthenes↗
NASA NTRS1994

A Knowledge-Based Representation Scheme for Environmental Science Models

One of the primary methods available for studying environmental phenomena is the construction and analysis of computational models. We have been studying how artificial intelligence techniques can be applied to assist in the development and use of environmental science models within the context of NASA-sponsored activities. We have identified several high-utility areas as potential targets for research and development: model development; data visualization, analysis, and interpretation; model publishing and reuse, training and education; and framing, posing, and answering questions. Central to progress on any of the above areas is a representation for environmental models that contains a great deal more information than is present in a traditional software implementation. In particular, a traditional software implementation is devoid of any semantic information that connects the code with the environmental context that forms the background for the modeling activity. Before we can build AI systems to assist in model development and usage, we must develop a representation for environmental models that adequately describes a model's semantics and explicitly represents the relationship between the code and the modeling task at hand. We have developed one such representation in conjunction with our work on the SIGMA (Scientists' Intelligent Graphical Modeling Assistant) environment. The key feature of the representation is that it provides a semantic grounding for the symbols in a set of modeling equations by linking those symbols to an explicit representation of the underlying environmental scenario.

Keller, Richard M.↗
NASA NTRS2020

Computationally Efficient Modeling and Data Assimilation of Near-Surface Variability

Near-surface (< 20m) ocean exhibits high variability due to coupled interactions, for e.g., with the atmosphere, sea ice, land, etc. Here we focus on atmospheric heat and momentum (wind) forcing, which are known to cause diurnal variability within the mixed layer. Only recently with a combination of sufficiently high vertical/horizontal resolution (75L, 1/4deg) and sub-daily atmospheric forcing fields, ocean models are starting to resolve this diurnal variability. However, the computation expense of such a high vertical resolution is burdensome in the context of coupled modeling and data assimilation. An alternative approach is to parameterize this diurnal variability with a prognostic model, that is embedded into the ocean model.In the first part of this presentation, we will demonstrate results with the above two approaches, by comparing them to profiles of near-surface temperature and salinity. In the context of data assimilation and reanalysis, this modeling capability opens the door to re-examine and perhaps improve specification of background (or, ensemble) error characteristics. The second half of this talk will focus on illustrating diurnally varying errors within an ensemble DA, and possible approaches to improve localization (horizontal/vertical) to extract maximum possible observational information content from in-situ and satellite observations of sea surface temperature.

Akella, Santha↗
NASA NTRSDate not supplied

A Holistic Approach to Procedures

Aviation is a dynamic industry which is constantly changing. These changes require the continuous update of people’s knowledge and skills. A fundamental part of that knowledge and skill is procedures, because procedures form the backbone of aviation operations. On the flightdeck, on the ramp, and in the maintenance shop, procedures and checklists help support pilots, line crews, and mechanics in performing their work effectively, efficiently, and thus -- safely. To design effective and efficient procedures and checklists, one must take into account the full operational context within which these procedures are embedded. This context is defined by the requirements of the technology, the capabilities and limitations of the human operators, and the constraints and affordances of the operational environment. The complexity of this context arises from the interactions of the human, machine, and environment. Procedures are in place to govern those interactions. We present a model of that operational context, namely THE Model (Technology, Human, Environment in the context of a Mission), that lays a foundation for the analysis of each of these elements and their interactions. But procedures have their limitations, and there are risks involved in over-proceduralizing. To understand these limitations and risks, and to determine when to proceduralize and when not, we present the 4P Framework (Practice, Procedures, Policies, Philosophy) as a holistic approach to procedures. This approach brings together the understanding of human behavior, of organizational and operational factors, and of the technologies involved.

procedures↗