Search NASASearch

SEARCH · Search NASA

Results for “generative”

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 19 records

Evaluation of the efficiency and fault density of software generated by code generators

Flight computers and flight software are used for GN&C (guidance, navigation, and control), engine controllers, and avionics during missions. The software development requires the generation of a considerable amount of code. The engineers who generate the code make mistakes and the generation of a large body of code with high reliability requires considerable time. Computer-aided software engineering (CASE) tools are available which generates code automatically with inputs through graphical interfaces. These tools are referred to as code generators. In theory, code generators could write highly reliable code quickly and inexpensively. The various code generators offer different levels of reliability checking. Some check only the finished product while some allow checking of individual modules and combined sets of modules as well. Considering NASA's requirement for reliability, an in house manually generated code is needed. Furthermore, automatically generated code is reputed to be as efficient as the best manually generated code when executed. In house verification is warranted.

Schreur, Barbara

Simulation and Modeling of Flow Generated by Gust Generator in a Wind Tunnel

A computational study of a gust field generated by a gust generator in a low-speed wind tunnel. The gust generator is designed for the University of Washington Aeronautical Laboratory (UWAL) Kirsten wind tunnel for a gust load alleviation (GLA) control experiment of a Common Research Model (CRM) flexible wing utilizing the Variable Camber Continuous Trailing Edge Flap (VCCTEF). The gust generator comprises four horizontal NACA 0015 gust generator vanes placed upstream of the test section. Computational fluid dynamics simulations using a two-dimensional (2D) Unsteady-Reynolds-Averaged-Navier-Stokes (URANS) with k-ω Shear Stress Transport (SST) turbulence model provide detailed time-resolved information about the generated flow by the gust generator under prescribed sinusoidal motion. The characteristics of the induced flow by the gust generator are analyzed. A gust propagation model of the gust field is investigated. An unsteady lift model is developed using a varying-fidelity approach which includes a 2D interference aerodynamic model of the combined gust generator-wing system. The computed integrated unsteady lift is compared to experimental data for validation of the unsteady lift model. Both the amplitude and transport delay are found to be accurately captured by the unsteady lift model.

Nhan, Nguyen

CyberGAN: Generating High-fidelity Cybersecurity Data With Generative Adversarial Networks

Machine learning for cyber defense offers the promise of detecting adversarial activity against the ground data systems managing critical space assets. A fundamental challenge facing machine learning research in cybersecurity is the lack of high-fidelity, shareable datasets for robust evaluation and testing of machine learning-based solutions. High-fidelity, real-world datasets are necessary for reliable benchmarking of nominal system behavior and malicious activity. Unfortunately, such realistic datasets of both nominal and adversarial activity are rarely shared publicly by data owners due to security and privacy concerns. Besides, the available adversarial data is sparse, which makes training models on malicious activity much harder. This situation has impeded and continues to impede the research and successful adoption of machine learning methods for cyber defense. Researchers have dealt with this problem by generating data within a low-fidelity lab environment, using classified and thus unshareable datasets, or downloading low-fidelity public datasets made available by others. We propose an innovative solution to the problem by employing machine learning methods to generate high-fidelity data. Specifically, we propose the use of Generative Adversarial Networks (GANs) to generate high-fidelity data for cybersecurity purposes. GANs have found successful image processing and natural language applications, but have not yet been investigated for cyber data generation. Our proposed approach first involves training the `discriminator' network of the GAN with a sample of real-world data consisting of malicious and nominal samples. We then use the `generator' network to generate new high-fidelity data samples consisting of an appropriate mix of malicious and nominal activity. We demonstrate applications of our architecture by generating high-fidelity cybersecurity data containing both malicious and nominal samples. We thoroughly evaluate the fidelity of our generated data using heuristics and evaluate its usefulness for machine learning applications using three different datasets. Overall, our approach results in high-fidelity, shareable datasets.

Zhang, Yuening

Numerical grid generation; Proceedings of the Symposium on Numerical Generation of Curvilinear Coordinate Systems and Their Use in the Numerical Solution of Partial Differential Equations, Nashville, TN, April 13-16, 1982

General curvilinear coordinate systems are considered along with the error induced by coordinate systems, basic differential models for coordinate generation, elliptic grid generation, conformal grid generation, algebraic grid generation, orthogonal grid generation, patched coordinate systems, and solid mechanics applications of boundary fitted coordinate systems. Attention is given to coordinate system control and adaptive meshes, the application of body conforming curvilinear grids for finite difference solution of external flow, the use of solution adaptive grids in solving partial differential equations, adaptive gridding for finite difference solutions to heat and mass transfer problems, and the application of curvilinear coordinate generation techniques to the computation of internal flows. Other topics explored are related to the solution of nonlinear water wave problems using boundary-fitted coordinate systems, the numerical modeling of estuarine hydrodynamics on a boundary-fitted coordinate system, and conformal grid generation for multielement airfoils.

Thompson, J. F.

Generating Customized Verifiers for Automatically Generated Code

Program verification using Hoare-style techniques requires many logical annotations. We have previously developed a generic annotation inference algorithm that weaves in all annotations required to certify safety properties for automatically generated code. It uses patterns to capture generator- and property-specific code idioms and property-specific meta-program fragments to construct the annotations. The algorithm is customized by specifying the code patterns and integrating them with the meta-program fragments for annotation construction. However, this is difficult since it involves tedious and error-prone low-level term manipulations. Here, we describe an annotation schema compiler that largely automates this customization task using generative techniques. It takes a collection of high-level declarative annotation schemas tailored towards a specific code generator and safety property, and generates all customized analysis functions and glue code required for interfacing with the generic algorithm core, thus effectively creating a customized annotation inference algorithm. The compiler raises the level of abstraction and simplifies schema development and maintenance. It also takes care of some more routine aspects of formulating patterns and schemas, in particular handling of irrelevant program fragments and irrelevant variance in the program structure, which reduces the size, complexity, and number of different patterns and annotation schemas that are required. The improvements described here make it easier and faster to customize the system to a new safety property or a new generator, and we demonstrate this by customizing it to certify frame safety of space flight navigation code that was automatically generated from Simulink models by MathWorks' Real-Time Workshop.

Denney, Ewen

Generating Code Review Documentation for Auto-Generated Mission-Critical Software

Model-based design and automated code generation are increasingly used at NASA to produce actual flight code, particularly in the Guidance, Navigation, and Control domain. However, since code generators are typically not qualified, there is no guarantee that their output is correct, and consequently auto-generated code still needs to be fully tested and certified. We have thus developed AUTOCERT, a generator-independent plug-in that supports the certification of auto-generated code. AUTOCERT takes a set of mission safety requirements, and formally verifies that the autogenerated code satisfies these requirements. It generates a natural language report that explains why and how the code complies with the specified requirements. The report is hyper-linked to both the program and the verification conditions and thus provides a high-level structured argument containing tracing information for use in code reviews.

Denney, Ewen

Wind turbine generator interaction with diesel generators on an isolated power system

The results of a dynamic interaction investigation to characterize any disturbances caused by interfacing the Mod 0A wind turbine (150 kW configuration) with the Block Island utility diesel generator grid are reported. The tests were run when only two diesel generators were on line, and attention was given to power, frequency, and voltage time profiles. The interconnected system was examined in the start-up and synchronization phase, normal shutdown and cut-out of the wind turbine, during fixed pitch generation, and during variable pitch operation. Governors were installed on the diesel generators to accommodate the presence of wind-derived electricity. The blade pitch control was set to maintain power at 150 kW or below. Power and voltage transients were insignificant during start-up and shutdown, and frequency aberrations were within the range caused by load fluctuations. It is concluded that wind turbine generation can be successfully implemented by an isolated utility, even with a significant penetration to the total grid output.

Scott, G. W.

Route Generation for a Synthetic Character (BOT) Using a Partial or Incomplete Knowledge Route Generation Algorithm in UT2004 Virtual Environment

This paper presents a new Route Generation Algorithm that accurately and realistically represents human route planning and navigation for Military Operations in Urban Terrain (MOUT). The accuracy of this algorithm in representing human behavior is measured using the Unreal Tournament(Trademark) 2004 (UT2004) Game Engine to provide the simulation environment in which the differences between the routes taken by the human player and those of a Synthetic Agent (BOT) executing the A-star algorithm and the new Route Generation Algorithm can be compared. The new Route Generation Algorithm computes the BOT route based on partial or incomplete knowledge received from the UT2004 game engine during game play. To allow BOT navigation to occur continuously throughout the game play with incomplete knowledge of the terrain, a spatial network model of the UT2004 MOUT terrain is captured and stored in an Oracle 11 9 Spatial Data Object (SOO). The SOO allows a partial data query to be executed to generate continuous route updates based on the terrain knowledge, and stored dynamic BOT, Player and environmental parameters returned by the query. The partial data query permits the dynamic adjustment of the planned routes by the Route Generation Algorithm based on the current state of the environment during a simulation. The dynamic nature of this algorithm more accurately allows the BOT to mimic the routes taken by the human executing under the same conditions thereby improving the realism of the BOT in a MOUT simulation environment.

Hanold, Gregg T.

Investigation of a generator system for generating electrical power, to supply directly to the public network, using a windmill

A windpowered generator system is described which uses a windmill to convert mechanical energy to electrical energy for a three phase (network) voltage of constant amplitude and frequency. The generator system controls the windmill by the number of revolutions so that the power drawn from the wind for a given wind velocity is maximum. A generator revolution which is proportional to wind velocity is achieved. The stator of the generator is linked directly to the network and a feed converter at the rotor takes care of constant voltage and frequency at the stator.

Tromp, C.

Dispersed solar thermal generation employing parabolic dish-electric transport with field modulated generator systems

This paper discusses the application of field modulated generator systems (FMGS) to dispersed solar-thermal-electric generation from a parabolic dish field with electric transport. Each solar generation unit is rated at 15 kWe and the power generated by an array of such units is electrically collected for insertion into an existing utility grid. Such an approach appears to be most suitable when the heat engine rotational speeds are high (greater than 6000 r/min) and, in particular, if they are operated in the variable speed mode and if utility-grade a.c. is required for direct insertion into the grid without an intermediate electric energy storage and reconversion system. Predictions of overall efficiencies based on conservative efficiency figures for the FMGS are in the range of 25 per cent and should be encouraging to those involved in the development of cost-effective dispersed solar thermal power systems.

Ramakumar, R.

A study of cloud-generated radiative heating and its generation of available potential energy. I - Theoretical background. II - Results for a climatological zonal mean January

The effect of radiative heating and cooling by clouds on the available potential energy (APE) is theoretically discussed. It is shown that the cloud radiative contribution to the generation of APE is determined by the net cloud radiative heating and the efficiency factor, which is a function of the temperature distribution of the atmosphere. Results are presented for low and middle cloud effects for three atmospheric layers. Cloud radiative heating is found to be a single function of cloud optical thickness for all classes designed in terms of cloud top heights and optical thickness. Low clouds at low latitudes destroy APE an midclouds generate APE. A concept is developed to relate the cloud radiative heating to cloud heights and optical depths. Cloud-generated radiative heating is computed for January zonal mean conditions for low and midclouds. For both cases, the strongest influence is found in the low troposphere, with marked differences in signs and magnitudes. At extratropical latitudes, both cloud classes generate net radiative cooling. In the tropics, the effect of low cloud changes from net cooling to the net heating as the optical thickness increases, and midclouds cause net heating. A mechanism is described whereby this dependence produces a strong positive feedback effect on the development of SST anomalies in the tropical oceans.

Stuhlmann, R.

A highly capable arbitrary waveform generator for next generation radar systems

We are developing an Arbitrary Waveform Generator (AWG) to provide enhanced capability for radar applications. The current design will accommodate two waveform generators on a single unit for dual frequency operation. The basic architecture of this unit employs a Field Programmable Gate Array (FPGA) and a high speed and high precision Digital to Analog Converter (DAC) for direct digital synthesis. This AWG will be capable of up to 450 MHz bandwidth with ability for frequency notching. Phase fidelity of less than 1.2(sup o) deviation RMS is also achievable. This AWG operates with lower power consumption as compared with other waveform generators, which is advantageous for future spaceborne applications. This will enable radars to return higher precision data, to be reduced in complexity, and to operate in any band without interfering with dedicated bandwidths.

chirp generators

The Next Generation Radioisotope Thermoelectric Generator Project - Overview and Progress Status

The Next Generation Radioisotope Thermoelectric Generator (Next Gen RTG) Project is a spaceflight system project within NASA’s Radioisotope Power Systems (RPS) Program. The project, in partnership with the Idaho National Laboratory (INL) / Battelle Energy Alliance (BEA), will build and deliver an unfueled, flight qualified Radioisotope Thermoelectric Generator (RTG) system based on RPS Program needs. The Next Gen RTG Project aims to assure the availability of high-power, vacuum-rated RTGs to enable future deep space missions. The Project team is developing that capability through a multi-phase effort that leverages the heritage General Purpose Heat Source - RTG (GPHS-RTG) design and available legacy hardware. The Project’s primary aim is to re-establish the capability to manufacture a silicon germanium (SiGe) unicouple based thermoelectric converter and associated hardware with minimal changes to the heritage GPHS-RTG design. The project will also refurbish the GPHS-RTG Flight Unit #5 (F-5) located at INL and verify its compliance with heritage GPHS-RTG requirements. This paper will detail the project’s plans for the development of these systems. Management approaches, technical challenges, and risks will also be discussed.

Radioisotope

A wideband Gaussian noise generator utilizing simultaneously generated pn-sequences.

A digital system has been constructed for the generation of wideband Gaussian noise with a spectrum which is flat to within plus or minus 0.5 dB from 0 to 10 MHz. These characteristics are substantially better than those of commercially available analog noise generators, and are required in testing and simulation of wideband communications systems. The noise is generated by the analog summation of thirty essentially independent binary waveforms, clocked at 35 MHz, and low-pass filtered to 10 MHz.

Hurd, W. J.

The Tethered Balloon Current Generator - A space shuttle-tethered subsatellite for plasma studies and power generation

The objectives of the Tethered Balloon Current Generator experiment are to: (1) generate relatively large regions of thermalized, field-aligned currents, (2) produce controlled-amplitude Alfven waves, (3) study current-driven electrostatic plasma instabilities, and (4) generate substantial amounts of power or propulsion through the MHD interaction. A large balloon (a diameter of about 30 m) will be deployed with a conducting surface above the space shuttle at a distance of about 10 km. For a generally eastward directed orbit at an altitude near 400 km, the balloon, connected to the shuttle by a conducting wire, will be positive with respect to the shuttle, enabling it to collect electrons. At the same time, the shuttle will collect positive ions and, upon command, emit an electron beam to vary current flow in the system.

Williamson, P. R.

Application of field-modulated generator systems to dispersed solar thermal electric generation

The state-of-the-art of field modulated generation system (FMGS) is presented, and the application of FMGS to dispersed solar thermal electric generation is discussed. The control and monitoring requirements for solar generation system are defined. A comparison is presented between the FMGS approach and other options and the technological development needs are discussed.

Ramakumar, R.

Monitoring and control requirement definition study for Dispersed Storage and Generation (DSG). Volume 5, appendix D: Cost-benefit considerations for providing dispersed storage and generation for electric utilities

Cost benefit considerations are extremely important in obtaining the acceptance of dispersed storage and generation (DSG) by the electric utilities. These considerations involved somewhat different economic analyses depending on whether the generation is utility, customer, or combined ownership. It is necessary to get acceptance of more easily understood methods for evaluating the economics of DSG because much of the benefits of DSG may accrue in the generation and transmission portions of the utility system while the costs tend to be centered in the distribution portion of that system. The influence of factors, such as reliability, capital costs, and other economic measures were also investigated.

Source record

The application of a color, raster scan, programmable display generator in the generation of multiple cockpit display formats

A description is provided of the application of the raster-scan, color programmable display generator (PDG) in the generation of multiple, simultaneous cockpit display formats at medium resolution, and their display on conventional R-G-B monitors and on recently developed thin film electroluminescent (TFEL) panels. The Graphics Display System of the Cockpit Systems Branch is discussed, taking into account hardware and software. Questions of system utilization are explored, giving attention to simultaneous display generation, scan standards, flat panel displays, and display enhancement software. Aspects of system performance are also examined, and an outline of future research plans is provided.

Montoya, R. J.