Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Software Construction”

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 1,171 records · Page 65
All sourcesNASA NTRSDOE OSTI
NASA NTRS2019

Scenario Complexity for Unmanned Aircraft System Traffic

This work introduces an approach to estimate the complexity of a low-altitude air traffic scenario involving multiple UASs using mathematical programming. Given a set of multi-point UAS flight trajectories, vehicle dynamics, and a conflict resolution algorithm, an abstract model is developed such that it can be solved quickly using a mathematical programming optimization software without running high-fidelity simulations that can be computationally expensive and may not suit real-time apA quick and accurate assessment of complexity for a given traffic scenario can help plan and schedule flights to alleviate traffic bottleneck and mitigate operation risks, especially for unmanned aerial system traffic management where high traffic density or complexity is expected. This work introduces a traffic scenario complexity metric that was constructed based on the number of potential conflicts weighted by the conflict resolution cost associated. The cost associated with a conflict is calculated based on the corresponding conflict resolution maneuvers. To obtain the conflict resolution maneuvers, a MILP-based optimization was formulated with the vehicle model and conflict management parameters incorporated. To evaluate the complexity metrics, an approach of using measurements from high-fidelity simulations was proposed. The scenario complexity measurements for 920 random-generated scenarios were obtained through high-fidelity simulations and treated as the ground truth. Two statistics methods: Pearson and Alternative Conditional Expectations were applied for analysis. The results showed that the number of flights has low correlation with the scenario complexity according to the correlation coefficients calculated by both methods. The Alternative Conditional Expectations method shows that the proposed scenario complexity metric has better correlation with the ground truth than the number of potential conflicts.plications. In the abstract model, each vehicle is represented by a time-varied vector associated with position, speed, and heading information. The total extra distance that aircraft need to divert from their original routes to avoid collisions is computed and used to setup a quadratic programming formula. The metrics including the number of conflicts and extra distances travelled by all vehicles are then utilized to estimate the complexity of a given UAS flight scenario. Results and verification against high-fidelity simulations will be provided in the final draft.

traffic complexity↗
NASA NTRSDate not supplied

Integrated Systems and Operational Autonomy for Gateway

The Lunar Gateway space station will be operated with less human oversight and control than any human spacecraft thus far. An autonomous software control architecture has been developed to allow the spacecraft to maintain safe operations of the vehicle during times of no human involvement. The development of these autonomous control functionalities has been both technical and process driven. Given that the Gateway will be built modularly with contributions from all over the world, the systems engineering processes had to be shaped to fit with the contractual and political realities of the construction of the international lunar habitat. This paper will describe these challenges and contributions to the development of human spacecraft for sustainable deep space missions.

J M Badger↗
NASA NTRS1998

A Very High Resolution Mid Infrared Spectrograph for SOFIA

The purpose of this project was to study the design of a high resolution mid-infrared spectrograph for the SOFIA airborne observatory. The primary motivation for the construction and use of such an instrument is the study of vibrational transitions of molecules in molecular clouds, circumstellar inflows and outflows, and planetary atmospheres, which are blocked from ground-based observations by absorption by the Earth's atmosphere. The instrument design studied is a cross-dispersed grating spectrograph with several modes of operation giving spectral resolving powers of approximately 4000, 20,000, and 100,000. In the two lower resolution modes a single grating is used in a long-slit spectrograph. At high resolution that grating serves as the cross-disperser for a 1-m long echelon, a very coarsely and steeply ruled grating, diamond-machined in aluminum. Several design study tasks were carried out: 1. An optical and mechanical design was developed. It differed from the preliminary design by using a reflecting focal reducer in the fore-optics and by rearranging the echelon and cross-dispersing chambers to improve the efficiency of the long-slit modes. 2. A finite-element analysis of the dewar and echelon support structures was done. It led us to change the echelon support to improve its rigidity. 3. Further information was obtained which convinced us that Hyperfine Inc. was capable of diamond-machining the echelon. 4. Several possible vendors of readout electronics and software were identified. It was decided that it is more cost-effective to purchase these items rather than developing them ourselves. 5. Observing and calibration procedures were studied. we did not identify significant changes needed from procedures used previously. 6. Possible expansions of instrument capabilities, including wavelength coverage, were studied. It appears unlikely that the echelon will perform well at wavelengths shortward of 5 microns, but the spectral coverage could be extended longward of 28 microns with the use of an Si:Sb detector. No patentable inventions were made during this study. Based on this design study, a proposal was submitted to construct the instrument. It was chosen as one of the first-light instruments for SOFIA.

Lacy, John H.↗
DOE OSTI2021

Building envelope anomaly characterization and simulation using drone time-lapse thermography

Defects in building envelopes deteriorate over time without being visible to the human eye, while significantly impacting energy performance due to unaccounted heat transfer. Defects can be characterized in the infrared (IR) spectrum. However, IR readings are typically recorded at singular points in time, when in several cases anomalies can only be revealed at specific times of the day, possibly in different seasons of the year. This paper presents a novel workflow for 3D envelope defect characterization and modeling using aerial time-lapse IR data collection using drones. A comprehensive envelope thermal profile is developed for a case study building employing the photogrammetry software Agisoft Photoscan, which generates temporal IR inspections of building skins using multiple thermography orthomosaics. Point-cloud data is then translated into a CAD model and thermal zones for whole Building Energy Modeling (BEM) using Honeybee as a frontend to EnergyPlus to showcase the potential of inclusion of detailed 4D data. Envelope contributions in this case study’s anomalies showed heat losses of 6447.6 kWh, and Energy Use Intensity (EUI) differences of ~2 kWh/m 2 /year from the baseline. Finally, why there is currently little translation of this work in BEM software is discussed, while identifying limitations and future research in the employment of time-lapse thermography using drones for more accurate building envelope inspection and modeling.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2020

GPR Robotic Assisted Non-Destructive Evaluation of Concrete Structures - 20196

Reinforced concrete structures are always under exposure of internal or external deteriorations due to many factors such as environmental, nuclear radiation or even construction deficiencies. The use of nondestructive test is one of the reliable methods to inspect structural members. In this case, GPR has a good capability to detect inside deteriorations of concrete structures. However, in many cases it is hard to inspect structural members by hand due to safety issues or inaccessibility. Thus, an alternative way to reduce such risks is to employ robot to carry nondestructive equipment. In this research, twelve reinforced concrete RC beams (8 x 16 x 96, width, height and length) are cast in the lab. Three RC beams have no defect and nine others various defects such as corrosion, de-bonded bars, void, delamination and honeycombing. The one-point load is applied at the center of the RC beam. The loading level is carried out at three levels: 50%, 75% and 100% of maximum load and total load-displacement diagram are performed. The load is held at each level and the robotic GPR is used to scan the side of RC beams. Then, RADAN software is employed to find out any defects at different loading conditions and visualize the crack propagation. The RADAN results show that the pattern of crack propagation for corrosion and debonding are same. Also, the load-displacement results present that inside defect cause reduction of load-capacity of RC beam. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS1996

Design, Construction and Testing of Annular Diffusers for High Speed Civil Transportation Combustor Applications

A theoretical and an experimental design study of subsonic flow through curved-wall annular diffusers has been initiated under this award in order to establish the most pertinent design parameters and hence performance characteristics for such devices, an the implications of their application in the design of engine components in the aerospace industries. The diffusers under this study are expected to contain appreciable regions of stall and the effects of swirl on their performance are being studied. The experimental work involves the application of Computer Aided Design software tool to the development of a suitable annular diffuse geometry and the subsequent downloading of such data to a CNC machine at Central State University (CSU). Two experimental run segments have been completed so far during FY-95 involving flow visualization and diffuser performance evaluation based on Kinetic Energy Dissipation. The method of calculation of the performance of diffusers based on pressure recovery coefficient has been shown to have some shortcomings and so the kinetic energy dissipation approach has been introduced in the run segment two with some success. The application of the discretized, full Navier Stokes and Continuity equations to the numerical study of the problem described above for the time-mean flow is expected to follow. Various models of turbulence are being evaluated for adoption throughout the study and comparisons would be made with experimental data where they exist. Assessment of diffuser performance based on the dissipated mechanical energy would also be made. The result of the investigations are expected to indicate that more cost effective component design of such devices as diffusers which normally contain complex flows can still be achieved.

Okhio, Cyril B.↗
DOE OSTI2020

Consistent Space Runtime (CSPACER) v1.0

This software provides a runtime for communication-bound applications, especially with irregular communication patterns. The target programming abstraction for the runtime is the space consistency model, which defines consistency guarantees at the granularity of memory spaces. This model has relaxed consistency semantics that enables a wide range of runtime optimizations. The runtime leverages threading to accelerate communication primitives, especially collective operations. It also allows efficient pipelining of communication operations and enable constructing a consistent state of multiple unordered communication activities targeting a memory space. The runtime uses a reduced API design that decomposes complex communication primitives in traditional general-purpose runtime into a sequence of simpler steps. To improve the productivity of using this runtime, we provide communication patterns commonly used for regular scientific computing applications and irregular data analytics. These communication patterns offer skeletons for the integration with application computation to allow efficient overlap.

Ibrahim, Khaled↗
NASA NTRS1990

Rapid near-optimal trajectory generation and guidance law development for single-stage-to-orbit airbreathing vehicles

General problems associated with on-board trajectory optimization, propulsion system cycle selection, and with the synthesis of guidance laws were addressed for an ascent to low-earth-orbit of an air-breathing single-stage-to-orbit vehicle. The NASA Generic Hypersonic Aerodynamic Model Example and the Langley Accelerator aerodynamic sets were acquired and implemented. Work related to the development of purely analytic aerodynamic models was also performed at a low level. A generic model of a multi-mode propulsion system was developed that includes turbojet, ramjet, scramjet, and rocket engine cycles. Provisions were made in the dynamic model for a component of thrust normal to the flight path. Computational results, which characterize the nonlinear sensitivity of scramjet performance to changes in vehicle angle of attack, were obtained and incorporated into the engine model. Additional trajectory constraints were introduced: maximum dynamic pressure; maximum aerodynamic heating rate per unit area; angle of attack and lift limits; and limits on acceleration both along and normal to the flight path. The remainder of the effort focused on required modifications to a previously derived algorithm when the model complexity cited above was added. In particular, analytic switching conditions were derived which, under appropriate assumptions, govern optimal transition from one propulsion mode to another for two cases: the case in which engine cycle operations can overlap, and the case in which engine cycle operations are mutually exclusive. The resulting guidance algorithm was implemented in software and exercised extensively. It was found that the approximations associated with the assumed time scale separation employed in this work are reasonable except over the Mach range from roughly 5 to 8. This phenomenon is due to the very large thrust capability of scramjets in this Mach regime when sized to meet the requirement for ascent to orbit. By accounting for flight path angle and flight path angle rate in construction of the flight path over this Mach range, the resulting algorithm provides the means for rapid near-optimal trajectory generation and propulsion cycle selection over the entire Mach range from take-off to orbit.

Calise, A. J.↗
NASA NTRS1992

Characterization of radiation-induced damage in high performance polymers by electron paramagnetic resonance imaging spectroscopy

The potential for long-term human activity beyond the Earth's protective magnetosphere is limited in part by the lack of detailed information on the effectiveness and performance of existing structural materials to shield the crew and spacecraft from highly penetrating space radiations. The two radiations of greatest concern are high energy protons emitted during solar flares and galactic cosmic rays which are energetic ions ranging from protons to highly oxidized iron. Although the interactions of such high-energy radiations with matter are not completely understood at this time, the effects of the incident radiation are clearly expected to include the formation of paramagnetic spin centers via ionization and bond-scission reactions in the molecular matrices of structural materials. Since this type of radiation damage is readily characterized by Electron Paramagnetic Resonance (EPR) spectroscopy, the NASA Langley Research Center EPR system was repaired and brought on-line during the 1991 ASEE term. A major goal of the 1992 ASEE term was to adapt the existing core of the LaRC EPR system to meet the requirements for EPR Imaging--a powerful new technique which provides detailed information on the internal structure of materials by mapping the spatial distribution of unpaired spin density in bulk media. Major impetus for this adaptation arises from the fact that information derived from EPRI complements other methods such as scanning electron microscopy which primarily characterize surface phenomena. The modification of the EPR system has been initiated by the construction of specially designed, counterwound Helmholtz coils which will be mounted on the main EPR electromagnet. The specifications of the coils have been set to achieve a static linear magnetic field gradient of 10 gauss/mm/amp along the principal (Z) axis of the Zeeman field. Construction is also in progress of a paramagnetic standard in which the spin distribution is known in all three dimensions. This sample will be used to assess the linearity of the magnetic field gradient and to ensure authentic image reconstruction. A second major task was to secure the computer capability to enable image reconstruction from projection data generated by the magnetic field gradients. To this end, commercially available and public domain software packages which perform inverse Fourier Transform and convoluted (filtered) back projection functions are being integrated into the existing EPR data processing system.

Suleman, Naushadalli K.↗
NASA NTRS1995

The scheme machine: A case study in progress in design derivation at system levels

The Scheme Machine is one of several design projects of the Digital Design Derivation group at Indiana University. It differs from the other projects in its focus on issues of system design and its connection to surrounding research in programming language semantics, compiler construction, and programming methodology underway at Indiana and elsewhere. The genesis of the project dates to the early 1980's, when digital design derivation research branched from the surrounding research effort in programming languages. Both branches have continued to develop in parallel, with this particular project serving as a bridge. However, by 1990 there remained little real interaction between the branches and recently we have undertaken to reintegrate them. On the software side, researchers have refined a mathematically rigorous (but not mechanized) treatment starting with the fully abstract semantic definition of Scheme and resulting in an efficient implementation consisting of a compiler and virtual machine model, the latter typically realized with a general purpose microprocessor. The derivation includes a number of sophisticated factorizations and representations and is also deep example of the underlying engineering methodology. The hardware research has created a mechanized algebra supporting the tedious and massive transformations often seen at lower levels of design. This work has progressed to the point that large scale devices, such as processors, can be derived from first-order finite state machine specifications. This is roughly where the language oriented research stops; thus, together, the two efforts establish a thread from the highest levels of abstract specification to detailed digital implementation. The Scheme Machine project challenges hardware derivation research in several ways, although the individual components of the system are of a similar scale to those we have worked with before. The machine has a custom dual-ported memory to support garbage collection. It consists of four tightly coupled processes--processor, collector, allocator, memory--with a very non-trivial synchronization relationship. Finally, there are deep issues of representation for the run-time objects of a symbolic processing language. The research centers on verification through integrated formal reasoning systems, but is also involved with modeling and prototyping environments. Since the derivation algebra is basd on an executable modeling language, there is opportunity to incorporate design animation in the design process. We are looking for ways to move smoothly and incrementally from executable specifications into hardware realization. For example, we can run the garbage collector specification, a Scheme program, directly against the physical memory prototype, and similarly, the instruction processor model against the heap implementation.

Johnson, Steven D.↗
NASA NTRS2016

System and Method for Providing a Climate Data Analytic Services Application Programming Interface Distribution Package

A system, method and computer-readable storage devices for providing a climate data analytic services application programming interface distribution package. The example system can provide various components. The system provides a climate data analytic services application programming interface library that enables software applications running on a client device to invoke the capabilities of a climate data analytic service. The system provides a command-line interface that provides a means of interacting with a climate data analytic service by issuing commands directly to the system's server interface. The system provides sample programs that call on the capabilities of the application programming interface library and can be used as templates for the construction of new client applications. The system can also provide test utilities, build utilities, service integration utilities, and documentation.

Schnase, John L.↗
DOE OSTI2018

A cradle-to-gate based life cycle impact assessment comparing the KBFw EFB hybrid reinforced poly hydroxybutyrate biocomposite and common petroleum-based composites as building materials

Highlights: • Substitute biocomposite with the common petroleum-based composite is proposed. • This substitution declines near 30% in Human Health, Ecosystems, and resources. • Biocomposite as next generation of sustainable & green building materials could be Considered. - Abstract: Aligning the sustainability in construction process can be achieved through material selection process with low impact on environment and human health. Today, biocomposite materials are investigated and developed to replace with none, and less eco-friendly materials used in the construction industry leading to emergence of next generation of sustainable and green building materials. This paper aims to develop a model of fully hybrid bio-based biocomposite based on Life Cycle Assessment (LCA), and comparing it with fully petroleum-based composite, which are common conventional building materials. The methodology framework of this research is determined based on ISO 14040 and 14044. Also, the ReCiPe as the common method in SimaPro software is chosen for appraising and comparing LC impact assessment (LCIA). This research highlights the negative effect of these kinds of building materials with providing single scores coming from three gauges including Human Health, Ecosystems and resources. It is observed that substituting the biocomposite with the fully petroleum-based composite has led to a decline of about 30% in single score outcome. The significance of this research is related to important judgement information to policy makers and the prospective manufacturers in the commercialization phase of this new biocomposites as sustainable and green building materials.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2014

SU-E-I-07: An Improved Technique for Scatter Correction in PET

Purpose: In positron emission tomography (PET), the single scatter simulation (SSS) algorithm is widely used for scatter estimation in clinical scans. However, bias usually occurs at the essential steps of scaling the computed SSS distribution to real scatter amounts by employing the scatter-only projection tail. The bias can be amplified when the scatter-only projection tail is too small, resulting in incorrect scatter correction. To this end, we propose a novel scatter calibration technique to accurately estimate the amount of scatter using pre-determined scatter fraction (SF) function instead of the employment of scatter-only tail information. Methods: As the SF depends on the radioactivity distribution and the attenuating material of the patient, an accurate theoretical relation cannot be devised. Instead, we constructed an empirical transformation function between SFs and average attenuation coefficients based on a serious of phantom studies with different sizes and materials. From the average attenuation coefficient, the predicted SFs were calculated using empirical transformation function. Hence, real scatter amount can be obtained by scaling the SSS distribution with the predicted SFs. The simulation was conducted using the SimSET. The Siemens Biograph™ 6 PET scanner was modeled in this study. The Software for Tomographic Image Reconstruction (STIR) was employed to estimate the scatter and reconstruct images. The EEC phantom was adopted to evaluate the performance of our proposed technique. Results: The scatter-corrected image of our method demonstrated improved image contrast over that of SSS. For our technique and SSS of the reconstructed images, the normalized standard deviation were 0.053 and 0.182, respectively; the root mean squared errors were 11.852 and 13.767, respectively. Conclusion: We have proposed an alternative method to calibrate SSS (C-SSS) to the absolute scatter amounts using SF. This method can avoid the bias caused by the insufficient tail information and therefore improve the accuracy of scatter estimation.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2018

Geochemical Model of E h and pH Transitions in Pore Fluids during Saltstone and SDU Concrete Aging: Saltstone Disposal Facility PA Revision

The chemical and physical properties of the cementitious materials (dry cement, blast furnace slag, and fly ash) used to construct the Saltstone Disposal Units (SDUs) and saltstone waste form play a key role in the design and long-term performance of the Saltstone Disposal Facility. Chemical degradation of the reducing saltstone and concrete over time will impact radionuclide release and transport due to the changing chemical composition of groundwater (GW) percolating through the porous saltstone waste form. An equilibrium reaction path model was developed using The Geochemist’s Workbench® (GWB) software to estimate the timescales (expressed as number of pore volumes) for chemical degradation of the reducing cementitious materials as indicated by changes in redox potential (E h ) and pH.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2024

Towards Next-Generation Urban Decision Support Systems through AI-Powered Construction of Scientific Ontology Using Large Language Models—A Case in Optimizing Intermodal Freight Transportation

The incorporation of Artificial Intelligence (AI) models into various optimization systems is on the rise. However, addressing complex urban and environmental management challenges often demands deep expertise in domain science and informatics. This expertise is essential for deriving data and simulation-driven insights that support informed decision-making. In this context, we investigate the potential of leveraging the pre-trained Large Language Models (LLMs) to create knowledge representations for supporting operations research. By adopting ChatGPT-4 API as the reasoning core, we outline an applied workflow that encompasses natural language processing, Methontology-based prompt tuning, and Generative Pre-trained Transformer (GPT), to automate the construction of scenario-based ontologies using existing research articles and technical manuals of urban datasets and simulations. From these ontologies, knowledge graphs can be derived using widely adopted formats and protocols, guiding various tasks towards data-informed decision support. The performance of our methodology is evaluated through a comparative analysis that contrasts our AI-generated ontology with the widely recognized pizza ontology, commonly used in tutorials for popular ontology software. We conclude with a real-world case study on optimizing the complex system of multi-modal freight transportation. Our approach advances urban decision support systems by enhancing data and metadata modeling, improving data integration and simulation coupling, and guiding the development of decision support strategies and essential software components.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗
NASA NTRS1984

System for the Management of Trauma and Emergency Surgery in Space

The need to develop a systems approach to the management of trauma and other major clinical medical events in space along with appropriate development and evaluation of surgical techniques and required hardware was investigated. A prototype zero gravity surgical module was constructed and tested aboard a KC-135 aircraft during parabolic arc zero G flight. To insure parity of quality care to that available on Earth, it was recommended that a clinical medical and bioengineering advisory committee define and help develop the necessary components of the clinical medical care system for the space station and lunar base. Key components of the system are aerospace surgical training, medical equipment development, including support hardware and software, rapid access to a network of specialty expertise, and continued research and development.

Houtchens, B.↗
NASA NTRS1996

JOVE Pilot Research Study in Astronomy and Microgravity Sciences

The purpose of this project was to develop hardware and software facilities for evaluating the biomechanical interactions between human hands and space suit gloves. The first task was to measure finger joint angles inside space suit gloves. A preliminary survey identified three potential systems which could be used in the proposed study. In response to the current market situation, a glove for measuring the positions of the hand inside a space suit has been developed. A prototype of the glove has been constructed to demonstrate its sensing technologies. There are two types of sensors in the glove. The positions of the fingers are measured using bend sensors based on the CyberGlove design. This sensor consists of two strain gages mounted to a 0.003 inch thick mylar sheet. The sensor is encapsulated using 0.001 inch kapton film to give it sufficient rigidity. Along gage is used to average the strain generated in the sensor due to bending This average strain produces an output signal proportional to the angle of the bend. The force sensor consists of conductive ink sandwiched between two plastic sheets. An electrode is printed on one of the plastic sheets using silver ink. The resistance of the ink is sensitive to pressure.

Strauss, Alvin M.↗
NASA NTRS2004

Geographic Information Systems and Web Page Development

The Facilities Engineering and Architectural Branch is responsible for the design and maintenance of buildings, laboratories, and civil structures. In order to improve efficiency and quality, the FEAB has dedicated itself to establishing a data infrastructure based on Geographic Information Systems, GIs. The value of GIS was explained in an article dating back to 1980 entitled "Need for a Multipurpose Cadastre which stated, "There is a critical need for a better land-information system in the United States to improve land-conveyance procedures, furnish a basis for equitable taxation, and provide much-needed information for resource management and environmental planning." Scientists and engineers both point to GIS as the solution. What is GIS? According to most text books, Geographic Information Systems is a class of software that stores, manages, and analyzes mapable features on, above, or below the surface of the earth. GIS software is basically database management software to the management of spatial data and information. Simply put, Geographic Information Systems manage, analyze, chart, graph, and map spatial information. At the outset, I was given goals and expectations from my branch and from my mentor with regards to the further implementation of GIs. Those goals are as follows: (1) Continue the development of GIS for the underground structures. (2) Extract and export annotated data from AutoCAD drawing files and construct a database (to serve as a prototype for future work). (3) Examine existing underground record drawings to determine existing and non-existing underground tanks. Once this data was collected and analyzed, I set out on the task of creating a user-friendly database that could be assessed by all members of the branch. It was important that the database be built using programs that most employees already possess, ruling out most AutoCAD-based viewers. Therefore, I set out to create an Access database that translated onto the web using Internet Explorer as the foundation. After some programming, it was possible to view AutoCAD files and other GIS-related applications on Internet Explorer, while providing the user with a variety of editing commands and setting options. I was also given the task of launching a divisional website using Macromedia Flash and other web- development programs.

Reynolds, Justin↗