Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compiler Validation”

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

A generalized vortex lattice method for subsonic and supersonic flow applications

If the discrete vortex lattice is considered as an approximation to the surface-distributed vorticity, then the concept of the generalized principal part of an integral yields a residual term to the vorticity-induced velocity field. The proper incorporation of this term to the velocity field generated by the discrete vortex lines renders the present vortex lattice method valid for supersonic flow. Special techniques for simulating nonzero thickness lifting surfaces and fusiform bodies with vortex lattice elements are included. Thickness effects of wing-like components are simulated by a double (biplanar) vortex lattice layer, and fusiform bodies are represented by a vortex grid arranged on a series of concentrical cylindrical surfaces. The analysis of sideslip effects by the subject method is described. Numerical considerations peculiar to the application of these techniques are also discussed. The method has been implemented in a digital computer code. A users manual is included along with a complete FORTRAN compilation, an executed case, and conversion programs for transforming input for the NASA wave drag program.

Miranda, L. R.↗

Methods for evaluating the predictive accuracy of structural dynamic models

Modeling uncertainty is defined in terms of the difference between predicted and measured eigenvalues and eigenvectors. Data compiled from 22 sets of analysis/test results was used to create statistical databases for large truss-type space structures and both pretest and posttest models of conventional satellite-type space structures. Modeling uncertainty is propagated through the model to produce intervals of uncertainty on frequency response functions, both amplitude and phase. This methodology was used successfully to evaluate the predictive accuracy of several structures, including the NASA CSI Evolutionary Structure tested at Langley Research Center. Test measurements for this structure were within + one-sigma intervals of predicted accuracy for the most part, demonstrating the validity of the methodology and computer code.

Hasselman, Timothy K.↗

Contrasts Between Precipitation over Mediterranean Sea and Adjacent Continental Areas Based on Decadal Scale Satellite Estimates

Most knowledge concerning the last century's climatology and climate dynamics of precipitation over the Mediterranean Sea basin is based on observations taken from rain gauges surrounding the sea itself. In turn, most of the observations come from Southern Europe, with many fewer measurements taken from widely scattered sites situated over North Africa, the Middle East, and the Balkans. This aspect of research on the Mediterranean Sea basin is apparent in a recent compilation of studies presented in book form concerning climate variability of the Mediterranean region [Lionello, P., P. Malanotte-Rizzoli, and R. Boscolo (eds.), 2006: Mediterranean Climate Variability. Elsevier, Amsterdam, 9 chapters.] In light of this missing link to over-water observations, this study (in conjunction with four companion studies by Z. Haddad, A. Mugnai, T. Nakazawa, and G. Stephens) will contrast the nature of precipitation variability directly over the Mediterranean Sea to precipitation variability over the surrounding land areas based on three decades of satellite-based precipitation estimates which have stood up well to validation scrutiny. The satellite observations are drawn from the Global Precipitation Climatology Project (GPCP) dataset extending back to 1979 and the TRMM Merged Algorithm 3b42 dataset extending back to 1998. Both datasets are mostly produced from microwave measurements, excepting the period from 1979 to mid-1987 when only infrared satellite measurements were available for the GPCP estimates. The purpose of this study is to emphasize how the salient properties of precipitation variability over land and sea across a hierarchy of space and time scales, and the salient differences in these properties, might be used in guiding short-term climate models to better predictions of future climate states under different regional temperature-change scenarios.

Smith, Eric A.↗

Multisource Data Integration in Remote Sensing

Papers presented at the workshop on Multisource Data Integration in Remote Sensing are compiled. The full text of these papers is included. New instruments and new sensors are discussed that can provide us with a large variety of new views of the real world. This huge amount of data has to be combined and integrated in a (computer-) model of this world. Multiple sources may give complimentary views of the world - consistent observations from different (and independent) data sources support each other and increase their credibility, while contradictions may be caused by noise, errors during processing, or misinterpretations, and can be identified as such. As a consequence, integration results are very reliable and represent a valid source of information for any geographical information system.

Tilton, James C.↗

Spatial and Temporal Analysis of Global Landslide Reporting Using a Decade of the Global Landslide Catalog

Rainfall-triggered landslides can result in devastating loss of life and property damage and are a growing concern from local to global scale. NASA’s Global Landslide Catalog (GLC) compiles a record of rainfall-triggered landslide events from media reports, academic articles, and existing databases at global scale. The database consists of all types of mass movement events that are triggered by rainfall and represents a minimum number of events occurring between 2007 – 2018. The research presented here evaluates global patterns in landslide reporting from events in the GLC. The evaluation includes an analysis of the spatial and temporal distribution of global landslide events and associated casualties and comparisons with other landslide inventories. This database has been used to estimate landslide hotspots, evaluate geographic patterns in landslides, and train and validate landslide models from local to global scales. The most notable landslide hotspots are in the Pacific Northwest of North America, High Mountain Asia, and the Philippines. Additionally, the relationship between country GDP and income status with landslide occurrence was determined to have a positive correlation between economic status and landslide reporting. The GLC also indicates a reporting bias towards English-speaking countries. The general goal of this research is to assess the decade of global landslide reports from the GLC and show how this database can be used for rainfall-triggered landslide research.

Global Landslide Catalog↗

NASA Operational Simulator for Small Satellites: Tools for Software Based Validation and Verification of Small Satellites

The NASA Operational Simulator for Small Satellites (NOS3) is a suite of tools to aid in areas such as software development, integration test (IT), mission operations training, verification and validation (VV), and software systems check-out. NOS3 provides a software development environment, a multi-target build system, an operator interface-ground station, dynamics and environment simulations, and software-based hardware models. NOS3 enables the development of flight software (FSW) early in the project life cycle, when access to hardware is typically not available. For small satellites there are extensive lead times on many of the commercial-off-the-shelf (COTS) components as well as limited funding for engineering test units (ETU). Considering the difficulty of providing a hardware test-bed to each developer tester, hardware models are modeled based upon characteristic data or manufacturers data sheets for each individual component. The fidelity of each hardware models is such that FSW executes unaware that physical hardware is not present. This allows binaries to be compiled for both the simulation environment, and the flight computer, without changing the FSW source code. For hardware models that provide data dependent on the environment, such as a GPS receiver or magnetometer, an open-source tool from NASA GSFC (42 Spacecraft Simulation) is used to provide the necessary data. The underlying infrastructure used to transfer messages between FSW and the hardware models can also be used to monitor, intercept, and inject messages, which has proven to be beneficial for VV of larger missions such as James Webb Space Telescope (JWST). As hardware is procured, drivers can be added to the environment to enable hardware-in-the-loop (HWIL) testing. When strict time synchronization is not vital, any number of combinations of hardware components and software-based models can be tested. The open-source operator interface used in NOS3 is COSMOS from Ball Aerospace. For testing, plug-ins are implemented in COSMOS to control the NOS3 simulations, while the command and telemetry tools available in COSMOS are used to communicate with FSW. NOS3 is actively being used for FSW development and component testing of the Simulation-to-Flight 1 (STF-1) CubeSat. As NOS3 matures, hardware models have been added for common CubeSat components such as Novatel GPS receivers, ClydeSpace electrical power systems and batteries, ISISpace antenna systems, etc. In the future, NASA IVV plans to distribute NOS3 to other CubeSat developers and release the suite to the open-source community.

Verification↗

Stratospheric Instrusion Catalog: A 10-Year Compilation of Events Identified by using TRACK with NASA's MERRA-2 Reanalysis

Stratospheric intrusions "the introduction of ozone-rich stratospheric air into the troposphere" have been linked with surface ozone air quality exceedances, especially at the high elevations in the western USA in springtime. However, the impact of stratospheric intrusions in the remaining seasons and over the rest of the USA is less clear. A new approach to the study of stratospheric intrusions uses NASA's Goddard Earth Observing System Model (GEOS) model and assimilation products with an objective feature tracking algorithm to investigate the atmospheric dynamics that generate stratospheric intrusions and the different mechanisms through which stratospheric intrusions may influence tropospheric chemistry and surface air quality seasonally over both the western and the eastern USA. A catalog of stratospheric intrusions identified in the MERRA-2 reanalysis was produced for the period 2004-2015 and validated against surface ozone observations (focusing on those which exceed the national air quality standard) and a recent data set of stratospheric intrusion-influenced air quality exceedance flags from the US Environmental Protection Agency (EPA). Considering not all ozone exceedances have been flagged by the EPA, a collection of stratospheric intrusions can support air quality agencies for more rapid identification of the impact of stratospheric air on surface ozone and demonstrates that future operational analyses may aid in forecasting such events. An analysis of the spatiotemporal variability of stratospheric intrusions over the continental US was performed, and while the spring over the western USA does exhibit the largest number of stratospheric intrusions affecting the lower troposphere, the number of intrusions in the remaining seasons and over the eastern USA is sizable. By focusing on the major modes of variability that influence weather in the USA, such as the Pacific North American (PNA) teleconnection index, predicative meteorological patterns associated with stratospheric intrusions and their regional effects on tropospheric ozone were identified. Improved understanding of the connections between large-scale climate variability and local-scale dynamically-driven air quality events may support improved seasonal prediction of such events.

PN↗

Development and Evaluation of a General Drag Model for Gas-Solid Flows via Deep Learning

This project presents the development and evaluation of a general drag model for gas–solid multiphase flows using deep learning techniques. A comprehensive database of more than 4,000 experimental and numerical data points for spherical and non spherical particles was compiled, incorporating geometric features such as sphericity, aspect ratio, and orientation. Several predictive approaches—including traditional em pirical correlations, machine learning, and deep neural networks—were benchmarked, with the proposed Drag Coefficient Correlation-aided Deep Neural Network (DCC DNN) demonstrating superior accuracy. To account for particle–particle interactions, additional drag data were generated using CFD-based simulations of packed and flu idized beds, leading to the development of a retrained model capable of incorporat ing volume fraction effects. Integration of the trained model with the MFiX CFD solver was achieved using FTorch, enabling drag predictions during discrete element method (DEM) simulations. Validation against experimental data for single particles and fluidized beds confirmed the model’s improved predictive ability, particularly for non-spherical geometries. While the model performed strongly under fluidized con ditions, limitations remained in unfluidized regimes, suggesting a need for expanded datasets. Overall, this study demonstrates the feasibility of combining deep learning with physics-informed CFD to improve drag modeling for gas–solid flows, with promis ing implications for scaling multiphase simulations in industrial applications.

42 ENGINEERING↗

Thermal Model Development for Ares I-X

Thermal analysis for the Ares I-X vehicle has involved extensive thermal model integration, since thermal models of vehicle elements came from several different NASA and industry organizations. Many valuable lessons were learned in terms of model integration and validation. Modeling practices such as submodel, analysis group and symbol naming were standardized to facilitate the later model integration. Upfront coordination of coordinate systems, timelines, units, symbols and case scenarios was very helpful in minimizing integration rework. A process for model integration was developed that included pre-integration runs and basic checks of both models, and a step-by-step process to efficiently integrate one model into another. Extensive use of model logic was used to create scenarios and timelines for avionics and air flow activation. Efficient methods of model restart between case scenarios were developed. Standardization of software version and even compiler version between organizations was found to be essential. An automated method for applying aeroheating to the full integrated vehicle model, including submodels developed by other organizations, was developed.

Amundsen, Ruth M.↗

Code Coverage Status of the ARC Code RCT

The Argonne Reactor Code (ARC) software system supports users in their fast reactor design goals by providing neutronic, thermal-hydraulic, and structural analysis capabilities. REBUS plays a pivotal role in the ARC system as the primary fuel cycle analysis capability for fast reactor problems. Over its 60 year history, ARC software usage with REBUS has been applied to numerous fast and thermal spectrum reactor analysis projects with good to excellent comparison against experiments. The RCT code is a later addition and uses the REBUS restart files to define its input. The RCT code was built to provide pin depletion details on EBR-II models and thus many features of RCT were specifically tailored to the needs of EBR-II models. Additional approximations were invoked which are likely only valid for the EBR-II reactor and the particular fuel management that was done for it. The purpose of the present work is to identify a set of test problems for RCT and assess the code coverage for those test problems. The goal is to document what parts of the existing RCT code are touched by the set of test problems and which are not. Because no detailed verification work has been done on RCT, the existing regression testing suite was chosen for the code coverage assessment. The code coverage analysis of RCT was performed with the Code Coverage Tool of the Intel Fortran compiler which requires modifications to the compilation of RCT. The detailed coverage tables are given for each part of RCT. As will be discussed and shown, some parts of the RCT capability that are known to be used by the EBR-II analysis work are not tested by the regression testing suite. These aspects should be resolved before major source code changes are taken for the RCT software. Because REBUS and DIF3D are not subroutines of RCT, the coverage changes in both of those codes is not altered by RCT. The same is true for all of the modules of DIF3D that are used by RCT such as SYSLIB and SEGLIB.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

GLObal Backscatter Experiment (GLOBE) Pacific survey mission

NASA conducted the GLObal Backscatter Experiment (GLOBE) Survey Mission over the near coastal and remote Pacific Ocean during 6 to 30 Nov. 1989 (GLOBE 1) and 13 May to 5 Jun. 1990 (GLOBE 2). These missions studied the optical, physical, and chemical properties of atmospheric aerosols. Particular emphasis was given to the magnitude and spatial variability of aerosol backscatter coefficients at mid-infrared wavelengths, and to the remote middle and upper troposphere, where these aerosol properties are poorly understood. Survey instruments were selected to provide either direct beta measurements at the key wavelengths, empirical links with long term or global scale aerosol climatologies, or aerosol microphysics data required to model any of these quantities. The survey deployment included both long distance 6 to 8 hour transit flights and detailed 4 to 6 hour local flights. Several general features were observed from preliminary Survey data analyses. Validation and intercomparison results have shown good agreement, usually better than a factor of two. Atmospheric aerosols frequently exhibited a three layer vertical structure, with (1) high and fairly uniform backscatter in the shallow cloud capped marine boundary layer; (2) moderate and highly variable backscatter in a deeper overlaying cloud pumped layer; and (3) low, regionally uniform, but seasonally and latitudinally variable backscatter in the middle and upper troposphere. The survey missions represent two isolated snapshots of a small portion of the global aerosol system. Consequently, Survey results can best be understood by synthesizing them with the more comprehensive GLOBE data base, which is being compiled at NASA-Marshall.

Bowdle, David A.↗

U.S. Solar Siting Regulation and Zoning Ordinances (2025)

A machine readable collection of documented solar siting ordinances at the state and local (e.g., county, township) level throughout the United States. The data were compiled using the Infrastructure Continuous Ordinance Mapping for Planning and Siting Systems (INFRA-COMPASS) tool, which leverages Large Language Models (LLMs) to automate the collection of local codes and ordinances applicable to energy infrastructure. URLs for the ordinance source documents are included in the Solar Ordinances spreadsheet. The GeoPackage file included below contains the jurisdiction shapes for each ordinance. Note that the GeoPackage file is formatted for ingestion by NLR's reVX setbacks tool and therefore does not contain any of the state-level regulations. NOTE: This data was collected with the help of generative AI. The Large Language Models used for this effort make mistakes. Always validate the data for critical use cases. This data is an update to a previously developed database of wind ordinances found in OEDI Submission 5734: see the "U.S. Solar Siting Regulation and Zoning Ordinances 2022" link below. INFRA-COMPASS version used for collection: v0.11.3 LLMs used for collection: GPT-4.1, GPT-4.1 mini, GPT-4.1 nano

14 SOLAR ENERGY↗

U.S. Wind Siting Regulation and Zoning Ordinances (2025)

A machine readable collection of documented wind siting ordinances at the state and local (e.g., county, township) level throughout the United States. The data were compiled using the Infrastructure Continuous Ordinance Mapping for Planning and Siting Systems (INFRA-COMPASS) tool, which leverages Large Language Models (LLMs) to automate the collection of local codes and ordinances applicable to energy infrastructure. URLs for the ordinance source documents are included in the Wind Ordinances spreadsheet. The GeoPackage file included below contains the jurisdiction shapes for each ordinance. Note that the GeoPackage file is formatted for ingestion by NREL's reVX setbacks tool and therefore does not contain any of the state-level regulations. NOTE: This data was collected with the help of generative AI. The Large Language Models used for this effort make mistakes. Always validate the data for critical use cases. This data is an update to a previously developed database of wind ordinances found in OEDI Submission 5733: see the "U.S. Wind Siting Regulation and Zoning Ordinances 2022" link below. INFRA-COMPASS version used for collection: v0.8.2 LLMs used for collection: GPT-4.1, GPT-4.1 mini, GPT-4.1 nano, GPT-4o mini

17 WIND ENERGY↗

Energetic Ion Interactions with the Galilean Satellites

The principal research tasks of this investigation are: (1) specification of the energetic (keV to MeV) ion environments upstream of the four Galilean satellites and (2) data analysis and numerical modeling of observed ion interactions with the satellites. Differential flux spectra are being compiled for the most abundant ions (protons, oxygen, and sulfur) from measurements at 20 keV to 100 MeV total energy by the Energetic Particle Detector (EPD) experiment and at higher ion energies by the Heavy Ion Counter (HIC) experiment. Runge-Kutta and other numerical techniques are used to propagate test particles sampled from the measured upstream spectra to the satellite surface or spacecraft through the local magnetic and corotational electric field environment of each satellite. Modeling of spatial variations in directional flux anisotropies measured during each close flyby provides limits on atomic charge states for heavy (O, S) magnetospheric ions and on internal or induced magnetic fields of the satellites. Validation of models for magnetic and electric field configurations then allows computation of rates for ion implantation, sputtering, and energy deposition into the satellite surfaces for further modeling of observable chemical changes induced by irradiation. Our ongoing work on production of oxidants and other secondary species by ice irradiation on Europa's surface has significant applications, already acknowledged in current literature, to astrobiological evolution. Finally, the work will improve understanding of energetic ion sources and sinks at the satellite orbits for improved modeling of magnetospheric transport processes. The scope of the research effort mainly includes data from the primary Galileo mission (1995-1997) but may also include some later data where directly relevant (e.g., comparison of J0 and I27 data for Io) to the primary mission objectives. Funding for this contract also includes partial support for our related education and public outreach activity, 'Interaction of Magnetospheric Particles Applied to Classroom Teaching (IMPACT).'

Cooper, John F.↗

TESS Hunt for Young and Maturing Exoplanets (THYME). V. A Sub-Neptune Transiting a Young Star in a Newly Discovered 250 Myr Association

The detection and characterization of young planetary systems offer a direct path to study the processes that shape planet evolution. We report on the discovery of a sub-Neptune-sized planet orbiting the young star HD 110082 (TOI-1098). Transit events we initially detected during TESS Cycle 1 are validated with time-series photometry from Spitzer. High-contrast imaging and high-resolution, optical spectra are also obtained to characterize the stellar host and confirm the planetary nature of the transits. The host star is a late-F dwarf (M⁎ = 1.2Mꙩ) with a low-mass, M dwarf binary companion (M⁎ = 0.26Mꙩ) separated by nearly one arcminute (∼6200 au). Based on its rapid rotation and Lithium absorption, HD 110082 is young, but is not a member of any known group of young stars (despite proximity to the Octans association). To measure the age of the system, we search for coeval, phase-space neighbors and compile a sample of candidate siblings to compare with the empirical sequences of young clusters and to apply quantitative age-dating techniques. In doing so, we find that HD 110082 resides in a new young stellar association we designate MELANGE-1, with an age of 250(+50, -70) Myr. Jointly modeling the TESS and Spitzer light curves, we measure a planetary orbital period of 10.1827 days and radius of R(p) = 3.2 ± 0.1Rꚛ. HD 110082 b’s radius falls in the largest 12% of field-age systems with similar host-star mass and orbital period. This finding supports previous studies indicating that young planets have larger radii than their field-age counterparts.

TESS↗

TESS Hunt for Young and Maturing Exoplanets (THYME). V. A Sub-Neptune Transiting a Young Star in a Newly Discovered 250 Myr Association

The detection and characterization of young planetary systems offer a direct path to study the processes that shape planet evolution. We report on the discovery of a sub-Neptune-sized planet orbiting the young star HD 110082(TOI-1098). Transit events we initially detected during TESS Cycle 1 are validated with time-series photometry from Spitzer. High-contrast imaging and high-resolution, optical spectra are also obtained to characterize the stellar host and confirm the planetary nature of the transits. The host star is a late-F dwarf(Må=1.2Me)with a low-mass,M dwarf binary companion(Må=0.26Me)separated by nearly one arc minute(∼6200 au). Based on its rapid rotation and Lithium absorption, HD 110082 is young, but is not a member of any known group of young stars(despite proximity to the Octans association). To measure the age of the system, we search for coeval, phase-space neighbors and compile a sample of candidate siblings to compare with the empirical sequences of young clusters and to apply quantitative age-dating techniques. In doing so, we find that HD 110082 resides in a new young stellar association we designate MELANGE-1, with an age of -+ 2507050 Myr. Jointly modeling the TESS and Spitzer light curves, we measure a planetary orbital period of 10.1827 days and radius of Rp=3.2±0.1R⊕. HD 110082 b’s radius falls in the largest 12% of field age systems with similar host-star mass and orbital period. This finding supports previous studies indicating that young planets have larger radii than their field-age counterparts

Benjamin M. Tofflemire↗

Unveiling the Transferability of PLSR Models for Leaf Trait Estimation: Lessons from a Comprehensive Analysis with a Novel Global Dataset

Leaf traits are essential for understanding many physiological and ecological processes. Partial least-squares regression (PLSR) models with leaf spectroscopy are widely applied for trait estimation, but their transferability across space, time and plant functional types (PFTs) remains unclear. We compiled a novel dataset of paired leaf traits and spectra, with 47,393 records for >700 species and eight PFTs at 101 globally-distributed locations across multiple seasons. Using this dataset, we conducted an unprecedented comprehensive analysis to assess the transferability of PLSR models in estimating leaf traits. While PLSR models demonstrate commendable performance in predicting chlorophyll content, carotenoid, leaf water and leaf mass per area prediction within their training data space, their efficacy diminishes when extrapolating to new contexts. Specifically, extrapolating to locations, seasons, and PFTs beyond the training data leads to reduced R 2 (0.12-0.49, 0.15-0.42, and 0.25-0.56) and increased NRMSE (3.58-18.24%, 6.27-11.55% and 7.0-33.12%) compared to nonspatial random cross-validation (NRCV). The results underscore the importance of incorporating greater spectral diversity in model training to boost its transferability. These findings highlight potential errors in estimating leaf traits across large spatial domains, diverse PFTs and time due to biased validation schemes and provide guidance for future field sampling strategies and remote sensing applications.

Leaf traits↗

Logistics Lessons Learned in NASA Space Flight

The Vision for Space Exploration sets out a number of goals, involving both strategic and tactical objectives. These include returning the Space Shuttle to flight, completing the International Space Station, and conducting human expeditions to the Moon by 2020. Each of these goals has profound logistics implications. In the consideration of these objectives,a need for a study on NASA logistics lessons learned was recognized. The study endeavors to identify both needs for space exploration and challenges in the development of past logistics architectures, as well as in the design of space systems. This study may also be appropriately applied as guidance in the development of an integrated logistics architecture for future human missions to the Moon and Mars. This report first summarizes current logistics practices for the Space Shuttle Program (SSP) and the International Space Station (ISS) and examines the practices of manifesting, stowage, inventory tracking, waste disposal, and return logistics. The key findings of this examination are that while the current practices do have many positive aspects, there are also several shortcomings. These shortcomings include a high-level of excess complexity, redundancy of information/lack of a common database, and a large human-in-the-loop component. Later sections of this report describe the methodology and results of our work to systematically gather logistics lessons learned from past and current human spaceflight programs as well as validating these lessons through a survey of the opinions of current space logisticians. To consider the perspectives on logistics lessons, we searched several sources within NASA, including organizations with direct and indirect connections with the system flow in mission planning. We utilized crew debriefs, the John Commonsense lessons repository for the JSC Mission Operations Directorate, and the Skylab Lessons Learned. Additionally, we searched the public version of the Lessons Learned Information System (LLIS) and verified that we received the same result using the internal version of LLIS for our logistics lesson searches. In conducting the research, information from multiple databases was consolidated into a single spreadsheet of 300 lessons learned. Keywords were applied for the purpose of sorting and evaluation. Once the lessons had been compiled, an analysis of the resulting data was performed, first sorting it by keyword, then finding duplication and root cause, and finally sorting by root cause. The data was then distilled into the top 7 lessons learned across programs, centers, and activities.

Evans, William A.↗