Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Advanced Codes”

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,459 records · Page 81

Joint ESA-NASA Multi-Mission Algorithm and Analysis Platform (MAAP)

The scientific community is faced with a need for greatly improved data sharing, analysis, visualization and advanced collaboration based firmly on open science principles. Recent and upcoming launches of new satellite missions with more complex and voluminous data, as well as the ever more urgent need to better understand the global carbon budget and related ecological processes, provided the immediate rational for the ESA-NASA Multi-mission Algorithm and Analysis Platform (MAAP). This highly collaborative joint project of ESA and NASA established a framework between ESA and NASA to share data, science algorithms and compute resources in order to foster and accelerate scientific research conducted by ESA and NASA EO data users. Presented to the public in October 2021, the current version of MAAP provides a common cloud-based platform with computing capabilities co-located with the data, a collaborative coding and analysis environment, and a set of interoperable tools and algorithms developed to support the estimation and visualization of global above-ground biomass. Data from the Global Ecosystem Dynamics Investigation (GEDI) mission on the International Space Station and the Ice, Cloud, and Land Elevation Satellite-2 (ICESat-2) have been instrumental in the first products of MAAP including the first comprehensive map of Boreal above-ground Biomass and a current Global Biomass Harmonization Activity, but the platform is also being specifically designed to support the forthcoming ESA Biomass mission and incorporate data from the upcoming NASA-ISRO SAR (NISAR) mission. While these missions and the corresponding research which includes airborne, field, and calibration/validation data collection and analyses, provide a wealth of data and information relating to global biomass estimation, they also present data storing, processing and sharing challenges. The NISAR mission alone will produce about 80TB/day. These large data volumes present a challenge that would otherwise place accessibility limits on the scientific community and impact scientific progress. Other challenges being addressed by MAAP include: 1) Enabling researchers to easily discover, process, visualize and analyze large volumes of data from both agencies; 2) Providing a wide variety of data in the same coordinate reference frame to enable comparison, analysis, data evaluation, and data generation; 3) Providing a version-controlled science algorithm development environment that supports tools, co-located data and processing resources; and 4) Addressing intellectual property and sharing challenges related to collaborative algorithm development and sharing of data and algorithms. MAAP products can be explored on the MAAP Dashboard at https://earthdata.nasa.gov/maap-biomass or the joint platform entrance at scimaap.net. MAAP also can be accessed through individual NASA (https://maap-project.org) and ESA (https://esa-maap.org/) landing pages.

cloud computing↗

Introduction to the internal fluid mechanics research session

Internal fluid mechanics research at LeRC is directed toward an improved understanding of the important flow physics affecting aerospace propulsion systems, and applying this improved understanding to formulate accurate predictive codes. To this end, research is conducted involving detailed experimentation and analysis. The following three papers summarize ongoing work and indicate future emphasis in three major research thrusts: inlets, ducts, and nozzles; turbomachinery; and chemical reacting flows. The underlying goal of the research in each of these areas is to bring internal computational fluid mechanic to a state of practical application for aerospace propulsion systems. Achievement of this goal requires that carefully planned and executed experiments be conducted in order to develop and validate useful codes. It is critical that numerical code development work and experimental work be closely coupled. The insights gained are represented by mathematical models that form the basis for code development. The resultant codes are then tested by comparing them with appropriate experiments in order to ensure their validity and determine their applicable range. The ultimate user community must be a part of this process to assure relevancy of the work and to hasten its practical application. Propulsion systems are characterized by highly complex and dynamic internal flows. Many complex, 3-D flow phenomena may be present, including unsteadiness, shocks, and chemical reactions. By focusing on specific portions of a propulsion system, it is often possible to identify the dominant phenomena that must be understood and modeled for obtaining accurate predictive capability. The three major research thrusts serve as a focus leading to greater understanding of the relevant physics and to an improvement in analytic tools. This in turn will hasten continued advancements in propulsion system performance and capability.

Miller, Brent A.↗

Planning In-Flight Calibration for XRISM

The XRISM X-ray observatory will fly two advanced instruments, the Resolve high-resolution spectrometer and the Xtend wide-field imager. These instruments, particularly Resolve, pose calibration challenges due to the unprecedented combination of spectral resolution, spectral coverage, and effective area, combined with a need to characterize the imaging fidelity of the full instrument system to realize the mission’s ambitious science goals. We present the status of the XRISM in-flight calibration plan, building on lessons from Hitomi and other X-ray missions. We present a discussion of targets and observing strategies to address the needed calibration measurements, with a focus on developing methodologies to plan a thorough and flexible calibration campaign and provide insight on calibration systematic error. We also discuss observations that exploit Resolve’s spectral resolution to calibrate atomic codes, and cross-calibration between the XRISM instruments and with other observatories.

Eric D Miller↗

SpaceCube 2.0: An Advanced Hybrid Onboard Data Processor

The SpaceCube 2.0 is a compact, high performance, low-power onboard processing system that takes advantage of cutting-edge hybrid (CPU/FPGA/DSP) processing elements. The SpaceCube 2.0 design concept includes two commercial Virtex-5 field-programmable gate array (FPGA) parts protected by gradiation hardened by software" technology, and possesses exceptional size, weight, and power characteristics [5x5x7 in., 3.5 lb (approximately equal to 12.7 x 12.7 x 17.8 cm, 1.6 kg) 5-25 W, depending on the application fs required clock rate]. The two Virtex-5 FPGA parts are implemented in a unique back-toback configuration to maximize data transfer and computing performance. Draft computing power specifications for the SpaceCube 2.0 unit include four PowerPC 440s (1100 DMIPS each), 500+ DSP48Es (2x580 GMACS), 100+ LVDS high-speed serial I/Os (1.25 Gbps each), and 2x190 GFLOPS single-precision (65 GFLOPS double-precision) floating point performance. The SpaceCube 2.0 includes PROM memory for CPU boot, health and safety, and basic command and telemetry functionality; RAM memory for program execution; and FLASH/EEPROM memory to store algorithms and application code for the CPU, FPGA, and DSP processing elements. Program execution can be reconfigured in real time and algorithms can be updated, modified, and/or replaced at any point during the mission. Gigabit Ethernet, Spacewire, SATA and highspeed LVDS serial/parallel I/O channels are available for instrument/sensor data ingest, and mission-unique instrument interfaces can be accommodated using a compact PCI (cPCI) expansion card interface. The SpaceCube 2.0 can be utilized in NASA Earth Science, Helio/Astrophysics and Exploration missions, and Department of Defense satellites for onboard data processing. It can also be used in commercial communication and mapping satellites.

Lin, Michael↗

Investigation of advanced propulsion technologies: The RAM accelerator and the flowing gas radiation heater

The two principal areas of advanced propulsion investigated are the ram accelerator and the flowing gas radiation heater. The concept of the ram accelerator is presented as a hypervelocity launcher for large-scale aeroballistic range applications in hypersonics and aerothermodynamics research. The ram accelerator is an in-bore ramjet device in which a projectile shaped like the centerbody of a supersonic ramjet is propelled in a stationary tube filled with a tailored combustible gas mixture. Combustion on and behind the projectile generates thrust which accelerates it to very high velocities. The acceleration can be tailored for the 'soft launch' of instrumented models. The distinctive reacting flow phenomena that have been observed in the ram accelerator are relevant to the aerothermodynamic processes in airbreathing hypersonic propulsion systems and are useful for validating sophisticated CFD codes. The recently demonstrated scalability of the device and the ability to control the rate of acceleration offer unique opportunities for the use of the ram accelerator as a large-scale hypersonic ground test facility. The flowing gas radiation receiver is a novel concept for using solar energy to heat a working fluid for space power or propulsion. Focused solar radiation is absorbed directly in a working gas, rather than by heat transfer through a solid surface. Previous theoretical analysis had demonstrated that radiation trapping reduces energy loss compared to that of blackbody receivers, and enables higher efficiencies and higher peak temperatures. An experiment was carried out to measure the temperature profile of an infrared-active gas and demonstrate the effect of radiation trapping. The success of this effort validates analytical models of heat transfer in this receiver, and confirms the potential of this approach for achieving high efficiency space power and propulsion.

Bruckner, A. P.↗

A CFD/CSD Interaction Methodology for Aircraft Wings

With advanced subsonic transports and military aircraft operating in the transonic regime, it is becoming important to determine the effects of the coupling between aerodynamic loads and elastic forces. Since aeroelastic effects can contribute significantly to the design of these aircraft, there is a strong need in the aerospace industry to predict these aero-structure interactions computationally. To perform static aeroelastic analysis in the transonic regime, high fidelity computational fluid dynamics (CFD) analysis tools must be used in conjunction with high fidelity computational structural fluid dynamics (CSD) analysis tools due to the nonlinear behavior of the aerodynamics in the transonic regime. There is also a need to be able to use a wide variety of CFD and CSD tools to predict these aeroelastic effects in the transonic regime. Because source codes are not always available, it is necessary to couple the CFD and CSD codes without alteration of the source codes. In this study, an aeroelastic coupling procedure is developed which will perform static aeroelastic analysis using any CFD and CSD code with little code integration. The aeroelastic coupling procedure is demonstrated on an F/A-18 Stabilator using NASTD (an in-house McDonnell Douglas CFD code) and NASTRAN. In addition, the Aeroelastic Research Wing (ARW-2) is used for demonstration of the aeroelastic coupling procedure by using ENSAERO (NASA Ames Research Center CFD code) and a finite element wing-box code (developed as part of this research).

Bhardwaj, Manoj K.↗

Numerical Zooming Between a NPSS Engine System Simulation and a One-Dimensional High Compressor Analysis Code

Within NASA's High Performance Computing and Communication (HPCC) program, NASA Glenn Research Center is developing an environment for the analysis/design of aircraft engines called the Numerical Propulsion System Simulation (NPSS). NPSS focuses on the integration of multiple disciplines such as aerodynamics, structures, and heat transfer along with the concept of numerical zooming between zero-dimensional to one-, two-, and three-dimensional component engine codes. In addition, the NPSS is refining the computing and communication technologies necessary to capture complex physical processes in a timely and cost-effective manner. The vision for NPSS is to create a "numerical test cell" enabling full engine simulations overnight on cost-effective computing platforms. Of the different technology areas that contribute to the development of the NPSS Environment, the subject of this paper is a discussion on numerical zooming between a NPSS engine simulation and higher fidelity representations of the engine components (fan, compressor, burner, turbines, etc.). What follows is a description of successfully zooming one-dimensional (row-by-row) high-pressure compressor analysis results back to a zero-dimensional NPSS engine simulation and a discussion of the results illustrated using an advanced data visualization tool. This type of high fidelity system-level analysis, made possible by the zooming capability of the NPSS, will greatly improve the capability of the engine system simulation and increase the level of virtual test conducted prior to committing the design to hardware.

Follen, Gregory↗

Towards Flange-to-Flange Turbopump Simulations for Liquid Rocket Engines

The primary objective of this research is to support the design of liquid rocket systems for the Advanced Space Transportation System. Since the space launch systems in the near future are likely to rely on liquid rocket engines, increasing the efficiency and reliability of the engine components is an important task. One of the major problems in the liquid rocket engine is to understand fluid dynamics of fuel and oxidizer flows from the fuel tank to plume. Understanding the flow through the entire turbopump geometry through numerical simulation will be of significant value toward design. This will help to improve safety of future space missions. One of the milestones of this effort is to develop, apply and demonstrate the capability and accuracy of 3D CFD methods as efficient design analysis tools on high performance computer platforms. The development of the MPI and MLP versions of the INS3D code is currently underway. The serial version of INS3D code is a multidimensional incompressible Navier-Stokes solver based on overset grid technology. INS3D-MPI is based on the explicit massage-passing interface across processors and is primarily suited for distributed memory systems. INS3D-MLP is based on multi-level parallel method and is suitable for distributed-shared memory systems. For the entire turbopump simulations, moving boundary capability and an efficient time-accurate integration methods are build in the flow solver. To handle the geometric complexity and moving boundary problems, overset grid scheme is incorporated with the solver that new connectivity data will be obtained at each time step. The Chimera overlapped grid scheme allows subdomains move relative to each other, and provides a great flexibility when the boundary movement creates large displacements. The performance of the two time integration schemes for time-accurate computations is investigated. For an unsteady flow which requires small physical time step, the pressure projection method was found to be computationally efficient since it does not require any subiterations procedure. It was observed that the artificial compressibility method requires a fast convergence scheme at each physical time step in order to satisfy incompressibility condition. This was obtained by using a GMRES-ILU(0) solver in our computations. When a line-relaxation scheme was used, the time accuracy was degraded and time-accurate computations became very expensive. The current geometry for the LOX boost turbopump has various rotating and stationary components, such as inducer, stators, kicker, hydrolic turbine, where the flow is extremely unsteady. Figure 1 shows the geometry and computed surface pressure of the inducer. The inducer and the hydrolic turbine rotate in different rotational speed.

Kiris, Cetin↗

Evaluation of Mesoscale Model Phenomenological Verification Techniques

Forecasters at the Spaceflight Meteorology Group, 45th Weather Squadron, and National Weather Service in Melbourne, FL use mesoscale numerical weather prediction model output in creating their operational forecasts. These models aid in forecasting weather phenomena that could compromise the safety of launch, landing, and daily ground operations and must produce reasonable weather forecasts in order for their output to be useful in operations. Considering the importance of model forecasts to operations, their accuracy in forecasting critical weather phenomena must be verified to determine their usefulness. The currently-used traditional verification techniques involve an objective point-by-point comparison of model output and observations valid at the same time and location. The resulting statistics can unfairly penalize high-resolution models that make realistic forecasts of a certain phenomena, but are offset from the observations in small time and/or space increments. Manual subjective verification can provide a more valid representation of model performance, but is time-consuming and prone to personal biases. An objective technique that verifies specific meteorological phenomena, much in the way a human would in a subjective evaluation, would likely produce a more realistic assessment of model performance. Such techniques are being developed in the research community. The Applied Meteorology Unit (AMU) was tasked to conduct a literature search to identify phenomenological verification techniques being developed, determine if any are ready to use operationally, and outline the steps needed to implement any operationally-ready techniques into the Advanced Weather Information Processing System (AWIPS). The AMU conducted a search of all literature on the topic of phenomenological-based mesoscale model verification techniques and found 10 different techniques in various stages of development. Six of the techniques were developed to verify precipitation forecasts, one to verify sea breeze forecasts, and three were capable of verifying several phenomena. The AMU also determined the feasibility of transitioning each technique into operations and rated the operational capability of each technique on a subjective 1-10 scale: (1) 1 indicates that the technique is only in the initial stages of development, (2) 2-5 indicates that the technique is still undergoing modifications and is not ready for operations, (3) 6-8 indicates a higher probability of integrating the technique into AWIPS with code modifications, and (4) 9-10 indicates that the technique was created for AWIPS and is ready for implementation. Eight of the techniques were assigned a rating of 5 or below. The other two received ratings of 6 and 7, and none of the techniques a rating of 9-10. At the current time, there are no phenomenological model verification techniques ready for operational use. However, several of the techniques described in this report may become viable techniques in the future and should be monitored for updates in the literature. The desire to use a phenomenological verification technique is widespread in the modeling community, and it is likely that other techniques besides those described herein are being developed, but the work has not yet been published. Therefore, the AMIU recommends that the literature continue to be monitored for updates to the techniques described in this report and for new techniques being developed whose results have not yet been published. 111

Lambert, Winifred↗

Turbo-Design: Open-Source Radial Equilibrium Turbomachinery Solver: Part I - Turbines

Advances in 3D Geometrical Designs and Cooling have played a significant role in improving the efficiency of turbomachinery. However, these advancements must be effectively translated back to the modeler. Machine learning can facilitate this transition. Specifically, machine learning–based loss models can bridge the gap between 3D and 1D designs, enabling modelers not only to predict velocity triangles but also to extract additional geometric features. Currently, the design tools used at NASA have not been updated to support such integration—until now. TurboDesign is an open-source, Python-based framework that replaces TD2 (LEW-11029-1) and AXOD2 (LEW-16323-1), both of which are radial equilibrium solvers for axial turbines. The goal of this update is to enable the integration of machine learning loss models into radial equilibrium equations. Additionally, TurboDesign is designed to support radial machines. This paper presents the governing equations, the assumptions underlying the code, the integration of legacy loss models, an example of machine learning model integration, and a validation comparison with CFD. All code, tutorials, and documentation are available at: https://www.github.com/nasa/turbo-design

Radial Equilibrium↗

Theoretical investigation of non-equilibrium chemistry and optical radiation in hypersonic flow fields

Future space vehicles returning from distant missions or high earth orbits may enter the upper regions of the atmosphere and use aerodynamic drag to reduce their velocity before they skip out of the atmosphere and enter low earth orbit. The Aeroassist Flight Experiment (AFE) is designed to explore the special problems encountered in such entries. A computer code was developed to calculate the radiative transport along line-or-sight in the general 3-D flow field about an arbitrary entry vehicle, if the temperatures and species concentrations along the line-of-sight are known. The radiative heating calculation at the stagnation point of the AFE vehicle along the entry trajectory was performed, including a detailed line-by-line accounting of the radiative transport in the vacuum ultraviolet (below 200 nm) by the atomic N and O lines. A method was developed for making measurements of the haze particles in the Titan atmosphere above 200 km altitude. Several other tasks of a continuing nature, to improve the technical ability to calculate the nonequilibrium gas dynamic flow field and radiative heating of entry vehicles, were completed or advanced.

Whiting, Ellis E.↗

Development of computational methods for heavy lift launch vehicles

The research effort has been focused on the development of an advanced flow solver for complex viscous turbulent flows with shock waves. The three-dimensional Euler and full/thin-layer Reynolds-averaged Navier-Stokes equations for compressible flows are solved on structured hexahedral grids. The Baldwin-Lomax algebraic turbulence model is used for closure. The space discretization is based on a cell-centered finite-volume method augmented by a variety of numerical dissipation models with optional total variation diminishing limiters. The governing equations are integrated in time by an implicit method based on lower-upper factorization and symmetric Gauss-Seidel relaxation. The algorithm is vectorized on diagonal planes of sweep using two-dimensional indices in three dimensions. A new computer program named CENS3D has been developed for viscous turbulent flows with discontinuities. Details of the code are described in Appendix A and Appendix B. With the developments of the numerical algorithm and dissipation model, the simulation of three-dimensional viscous compressible flows has become more efficient and accurate. The results of the research are expected to yield a direct impact on the design process of future liquid fueled launch systems.

Yoon, Seokkwan↗

A CFD Study of Turbojet and Single-Throat Ramjet Ejector Interaction

Supersonic ejector-diffuse systems have application in driving an advanced airbreathing propulsion system, consisting of turbojet engines acting as the primary and a single throat ramjet acting as the secondary. The turbojet engines are integrated into the single throat ramjet to minimize variable geometry and eliminate redundant propulsion components. The result is a simple, lightweight system that is operable from takeoff to high Mach numbers. At this high Mach number (approximately Mach 3.0), the turbojets are turned off and the high speed ramjet/scramjet take over and drive the vehicle to Mach 6.0. The turbojet-ejector-ramjet system consists of nonafterburning turbojet engines with ducting canted at 20 degrees to supply supersonic flow (downstream of CD nozzle) to the horizontal ramjet duct at a supply total pressure and temperature. Two conditions were modelled by a 2-D full Navier Stokes code at Mach 2.0. The code modelled the Fabri choke as well as the non-Fabri non critical case, using a computational throat to supply the back pressure. The results, which primarily predict the secondary mass flow rate and the mixed conditions at the ejector exit were in reasonable agreement with the 1-D cycle code (TBCC).

Chang, Ing↗

Small Engine Technology. Task 4: Advanced Small Turboshaft Compressor (ASTC) Performance and Range Investigation

This contact had two main objectives involving both numerical and experimental investigations of a small highly loaded two-stage axial compressor designated Advanced Small Turboshaft Compressor (ASTC) winch had a design pressure ratio goal of 5:1 at a flowrate of 10.53 lbm/s. The first objective was to conduct 3-D Navier Stokes multistage analyses of the ASTC using several different flow modelling schemes. The second main objective was to complete a numerical/experimental investigation into stall range enhancement of the ASTC. This compressor was designed wider a cooperative Space Act Agreement and all testing was completed at NASA Lewis Research Center. For the multistage analyses, four different flow model schemes were used, namely: (1) steady-state ADPAC analysis, (2) unsteady ADPAC analysis, (3) steady-state APNASA analysis, and (4) steady state OCOM3D analysis. The results of all the predictions were compared to the experimental data. The steady-state ADPAC and APNASA codes predicted similar overall performance and produced good agreement with data, however the blade row performance and flowfield details were quite different. In general, it can be concluded that the APNASA average-passage code does a better job of predicting the performance and flowfield details of the highly loaded ASTC compressor.

Hansen, Jeff L.↗

Predicted Performance Effects of Blade Elasticity on Testing of Rotors for Mars

The Rotor Optimization for the Advancement of Mars Exploration project (ROAMX) has designed and manufactured a set of rotor blades optimized for hover on Mars. These blades will soon be tested for hover performance in the NASA Ames Research Center Planetary Aeolian Laboratory, a large vacuum chamber capable of rotor testing at reduced pressures. To match the tip Mach numbers during this testing with the tip Mach numbers that would be experienced in the Martian atmosphere, the rotor will be spun faster in the vacuum chamber than it would be spun on Mars. While this accomplishes the goal of simulating the tip Mach numbers of Mars operations, the elevated RPM may have undesired consequences for performance, due to elastic deflections of the blades. The purpose of this paper is to use CAMRAD II, a rotorcraft comprehensive analysis code, to predict the effect on performance of blade elasticity at elevated RPM in the vacuum chamber environment. Results are presented for different thrust conditions and different rotor speeds, and comparisons are made between rigid and elastic blade predictions. Overall, the CAMRAD II analysis suggests that blade elasticity does influence rotor performance in the operating conditions of interest, although the effect is moderate enough to conclude that the PAL testing will be a good simulation of Mars operation.

Blade elasticity↗

Analytical and Experimental Study of Flow Through an Axial Turbine Stage with a Nonuniform Inlet Radial Temperature Profile

Results are presented for a typical nonuniform inlet radial temperature profile through an advanced single-stage axial turbine and compared with the results obtained for a uniform profile. Gas temperature rises of 40 K to 95 K are predicted at the hub and tip corners at the trailing edges of the pressure surfaces in both the stator and rotor due to convection of hot fluid from the mean by the secondary flow. The inlet temperature profile is shown to be mixed out at the rotor exit survey plane (2.3 axial chords downstream of the rotor trailing edge) in both the analysis and the experiment. The experimental rotor exit angle profile for the nonuniform inlet temperature profile indicates underturning at the tip caused by increased clearance. Severe underturning also occurs at the mean, both with and without the nonuniform inlet temperature profile. The inviscid rotational flow code used in the analysis fails to predict the underturning at the mean, which may be caused by viscous effects.

Schwab, J. R.↗

Analytical and experimental study of flow through an axial turbine stage with a nonuniform inlet radial temperature profile

Results are presented for a typical nonuniform inlet radial temperature profile through an advanced single-stage axial turbine and compared with the results obtained for a uniform profile. Gas temperature rises of 40 K to 95 K are predicted at the hub and tip corners at the trailing edges of the pressure surfaces in both the stator and rotor due to convection of hot fluid from the mean by the secondary flow. The inlet temperature profile is shown to be mixed out at the rotor exit survey plane (2.3 axial chords downstream of the rotor trailing edge) in both the analysis and the experiment. The experimental rotor exit angle profile for the nonuniform inlet temperature profile indicates underturning at the tip caused by increased clearance. Severe underturning also occurs at the mean, both with and without the nonuniform inlet temperature profile. The inviscid rotational flow code used in the analysis fails to predict the underturning at the mean, which may be caused by viscous effects. Previously announced in STAR as N83-27958

Schwab, J. R.↗

Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications

Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highly safe and reliable. Rigorous methods for adaptive software verification and validation must be developed to ensure that control system software failures will not occur. Of central importance in this regard is the need to establish reliable methods that guarantee convergent learning, rapid convergence (learning) rate, and algorithm stability. This paper presents the major problems of adaptive control systems that use learning to improve performance. The paper then presents the major procedures and tools presently developed or currently being developed to enable the verification, validation, and ultimate certification of these adaptive control systems. These technologies include the application of automated program analysis methods, techniques to improve the learning process, analytical methods to verify stability, methods to automatically synthesize code, simulation and test methods, and tools to provide on-line software assurance.

Jacklin, Stephen↗