Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “variable generation”

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 487 records · Page 27

Adding Assurance to Automatically Generated Code

Code to estimate position and attitude of a spacecraft or aircraft belongs to the most safety-critical parts of flight software. The complex underlying mathematics and abundance of design details make it error-prone and reliable implementations costly. AutoFilter is a program synthesis tool for the automatic generation of state estimation code from compact specifications. It can automatically produce additional safety certificates which formally guarantee that each generated program individually satisfies a set of important safety policies. These safety policies (e.g.. array-bounds, variable initialization) form a core of properties which are essential for high-assurance software. Here we describe the AutoFilter system and its certificate generator and compare our approach to the static analysis tool PolySpace.

Denney, Ewen↗

Data-Mining Toolset Developed for Determining Turbine Engine Part Life Consumption

The current practice in aerospace turbine engine maintenance is to remove components defined as life-limited parts after a fixed time, on the basis of a predetermined number of flight cycles. Under this schedule-based maintenance practice, the worst-case usage scenario is used to determine the usable life of the component. As shown, this practice often requires removing a part before its useful life is fully consumed, thus leading to higher maintenance cost. To address this issue, the NASA Glenn Research Center, in a collaborative effort with Pratt & Whitney, has developed a generic modular toolset that uses data-mining technology to parameterize life usage models for maintenance purposes. The toolset enables a "condition-based" maintenance approach, where parts are removed on the basis of the cumulative history of the severity of operation they have experienced. The toolset uses data-mining technology to tune life-consumption models on the basis of operating and maintenance histories. The flight operating conditions, represented by measured variables within the engine, are correlated with repair records for the engines, generating a relationship between the operating condition of the part and its service life. As shown, with the condition-based maintenance approach, the lifelimited part is in service until its usable life is fully consumed. This approach will lower maintenance costs while maintaining the safety of the propulsion system. The toolset is a modular program that is easily customizable by users. First, appropriate parametric damage accumulation models, which will be functions of engine variables, must be defined. The tool then optimizes the models to match the historical data by computing an effective-cycle metric that reduces the unexplained variability in component life due to each damage mode by accounting for the variability in operational severity. The damage increment due to operating conditions experienced during each flight is used to compute the effective cycles and ultimately the replacement time. Utilities to handle data problems, such as gaps in the flight data records, are included in the toolset. The tool was demonstrated using the first stage, high-pressure turbine blade of the PW4077 engine (Pratt & Whitney, East Hartford, CT). The damage modes considered were thermomechanical fatigue and oxidation/erosion. Each PW4077 engine contains 82 first-stage, high-pressure turbine blades, and data from a fleet of engines were used to tune the life-consumption models. The models took into account not only measured variables within the engine, but also unmeasured variables such as engine health parameters that are affected by degradation of the engine due to aging. The tool proved effective at predicting the average number of blades scrapped over time due to each damage mode, per engine, given the operating history of the engine. The customizable tools are available to interested parties within the aerospace community.

Litt, Jonathan S.↗

Synthetic Scenarios from CMIP5 Model Simulations for Climate Change Impact Assessments in Managed Ecosystems and Water Resources: Case Study in South Asian Countries

Increasing population, urbanization, and associated demand for food production compounded by climate change and variability have important implications for the managed ecosystems and water resources of a region. This is particularly true for south Asia, which supports one quarter of the global population, half of whom live below the poverty line. This region is largely dependent on monsoon precipitation for water. Given the limited resources of the developing countries in this region, the objective of our study was to empirically explore climate change in south Asia up to the year 2099 using monthly simulations from 35 global climate models (GCMs) participating in the fifth phase of the Climate Model Inter-comparison Project (CMIP5) for two future emission scenarios (representative concentration pathways RCP4.5 and RCP8.5) and provide a wide range of potential climate change outcomes. This was carried out using a three-step procedure: calculating the mean annual, monsoon, and non-monsoon precipitation and temperatures; estimating the percent change from historical conditions; and developing scenario funnels and synthetic scenarios. This methodology was applied for the entire south Asia region; however, the percent change information generated at 1.5deg grid scale can be used to generate scenarios at finer spatial scales. Our results showed a high variability in the future change in precipitation (-23% to 52%, maximum in the non-monsoon season) and temperature (0.8% to 2.1%) in the region. Temperatures in the region consistently increased, especially in the Himalayan region, which could have impacts including a faster retreat of glaciers and increased floods. It could also change rivers from perennial to seasonal, leading to significant challenges in water management. Increasing temperatures could further stress groundwater reservoirs, leading to withdrawal rates that become even more unsustainable. The high precipitation variability (with higher propensity for localized intense rainfall events) observed in the region can be a key factor for managed ecosystems and water management and could also lead to more incidence of severe urban flooding. The results could be used to assess both mitigation and adaptation alternatives to reduce vulnerabilities in managed ecosystems (agricultural and urban) and water resources.

agriculture↗

Automatic Testcase Generation for Flight Software

The TacSat3 project is applying Integrated Systems Health Management (ISHM) technologies to an Air Force spacecraft for operational evaluation in space. The experiment will demonstrate the effectiveness and cost of ISHM and vehicle systems management (VSM) technologies through onboard operation for extended periods. We present two approaches to automatic testcase generation for ISHM: 1) A blackbox approach that views the system as a blackbox, and uses a grammar-based specification of the system's inputs to automatically generate *all* inputs that satisfy the specifications (up to prespecified limits); these inputs are then used to exercise the system. 2) A whitebox approach that performs analysis and testcase generation directly on a representation of the internal behaviour of the system under test. The enabling technologies for both these approaches are model checking and symbolic execution, as implemented in the Ames' Java PathFinder (JPF) tool suite. Model checking is an automated technique for software verification. Unlike simulation and testing which check only some of the system executions and therefore may miss errors, model checking exhaustively explores all possible executions. Symbolic execution evaluates programs with symbolic rather than concrete values and represents variable values as symbolic expressions. We are applying the blackbox approach to generating input scripts for the Spacecraft Command Language (SCL) from Interface and Control Systems. SCL is an embedded interpreter for controlling spacecraft systems. TacSat3 will be using SCL as the controller for its ISHM systems. We translated the SCL grammar into a program that outputs scripts conforming to the grammars. Running JPF on this program generates all legal input scripts up to a prespecified size. Script generation can also be targeted to specific parts of the grammar of interest to the developers. These scripts are then fed to the SCL Executive. ICS's in-house coverage tools will be run to measure code coverage. Because the scripts exercise all parts of the grammar, we expect them to provide high code coverage. This blackbox approach is suitable for systems for which we do not have access to the source code. We are applying whitebox test generation to the Spacecraft Health INference Engine (SHINE) that is part of the ISHM system. In TacSat3, SHINE will execute an on-board knowledge base for fault detection and diagnosis. SHINE converts its knowledge base into optimized C code which runs onboard TacSat3. SHINE can translate its rules into an intermediate representation (Java) suitable for analysis with JPF. JPF will analyze SHINE's Java output using symbolic execution, producing testcases that can provide either complete or directed coverage of the code. Automatically generated test suites can provide full code coverage and be quickly regenerated when code changes. Because our tools analyze executable code, they fully cover the delivered code, not just models of the code. This approach also provides a way to generate tests that exercise specific sections of code under specific preconditions. This capability gives us more focused testing of specific sections of code.

Bushnell, David Henry↗

ncompare: A Python Package for Comparing netCDF Structures

Earth science researchers and data engineers have a common problem: they often need to compare data files to see what is different between them. A lot of time is spent developing code to test differences. When it comes to comparing multidimensional data file formats like netCDFs (Network Common Data Form), this is particularly challenging and time-consuming, since there is frequently a need to evaluate the differences between dimension sizes, variable structures, and variable attributes, especially for regression testing. Since netCDFs are widely used in Earth science — with climate models, oceanographic or atmospheric reanalyses, and observational data — improved means of evaluating netCDF files can help enable a wide range of applications. We have developed a reusable open source approach through `ncompare`, which is a Python package for comparing netCDF structures [[https://github.com/nasa/ncompare]]. The `ncompare` tool compares the structure of two Network Common Data Form (NetCDF) files at the command line. It facilitates rapid comparisons by generating a formatted display of the matching and non-matching groups, variables, and associated metadata between two NetCDF datasets. The user has the option to colorize the terminal output for ease of viewing, and `ncompare` can optionally save comparison reports in text, comma-separated value (CSV), and/or Microsoft Excel formats. Despite the availability of tools (such as ncmpidiff or nccmp) that compare the values of variables, there was not previously a readily available, Python-based tool for rapid visual comparisons of group and variable structures, attributes, and chunking. `ncompare` was developed at NASA’s Atmospheric Science Data Center (ASDC) and is a collaboration with NASA Openscapes [[https://nasa-openscapes.github.io]] mentors across 11 of NASA’s data centers. Openscapes’ overarching vision is to support scientific researchers using NASA Earthdata as they migrate their workflows to the cloud. Relevant links: - https://github.com/nasa/ncompare - https://github.com/pyOpenSci/software-submission/issues/146 - https://nasa-openscapes.github.io

Daniel Kaufman↗

Satellite observation and mapping of wintertime ozone variability in the lower stratosphere

Comparison is made between 30 mbar ozone fields that are generated by a transport chemistry model utilizing the winds from the Goddard Space Flight Center stratospheric data assimilation system (STRATAN), observations from the LIMS instrument on Nimbus-7, and the ozone fields that result from 'flying a mathematical simulation of LIMS observations through the transport chemistry model ozone fields. The modeled ozone fields were found to resemble the LIMS observations, but the model fields show much more temporal and spatial structure than do the LIMS observations. The 'satellite mapped' model results resemble the LIMS observations much more closely. These results are very consistent with the earlier discussions of satellite space-time sampling by Salby.

Geller, Marvin A.↗

Satellite observation and mapping of wintertime ozone variability in the lower stratosphere

Comparison is made between 30 mbar ozone fields that are generated by a transport chemistry model utilizing the winds from the Goddard Space Flight Center stratospheric data assimilation system (STRATAN), observations from the LIMS instrument on Nimbus-7, and the ozone fields that result from 'flying' a mathematical simulation of LIMS observations through the transport chemistry model ozone fields. The modeled ozone fields were found to resemble the LIMS observations, but the model fields show much more temporal and spatial structure than do the LIMS observations. The 'satellite mapped' model results resemble the LIMS observations much more closely. These results are very consistent with the earlier discussions of satellite space-time sampling by Salby.

Geller, M. A.↗

Variable Specific Impulse Magnetoplasma Rocket Engine

An engine is disclosed, including a controllable output plasma generator, a controllable heater for selectably raising a temperature of the plasma connected to an outlet of the plasma generator, and a nozzle connected to an outlet of the heater, through which heated plasma is discharged to provide thrust. In one embodiment, the source of plasma is a helicon generator. In one embodiment, the heater is an ion cyclotron resonator. In one embodiment, the nozzle is a radially diverging magnetic field disposed on a discharge side of the heater so that helically travelling particles in the beater exit the heater at high axial velocity. A particular embodiment includes control circuits for selectably directing a portion of radio frequency power from an RF generator to the helicon generator and to the cyclotron resonator so that the thrust output and the specific impulse of the engine can be selectively controlled. A method of propelling a vehicle is also disclosed. The method includes generating a plasma, heating said plasma, and discharging the heated plasma through a nozzle. In one embodiment, the nozzle is a diverging magnetic field. In this embodiment, the heating is performed by applying a radio frequency electro magnetic field to the plasma at the ion cyclotron frequency in an axially polarized DC magnetic field.

Franklin R Chang-Diaz↗

Neural Network and Regression Soft Model Extended for PAX-300 Aircraft Engine

In fiscal year 2001, the neural network and regression capabilities of NASA Glenn Research Center's COMETBOARDS design optimization testbed were extended to generate approximate models for the PAX-300 aircraft engine. The analytical model of the engine is defined through nine variables: the fan efficiency factor, the low pressure of the compressor, the high pressure of the compressor, the high pressure of the turbine, the low pressure of the turbine, the operating pressure, and three critical temperatures (T(sub 4), T(sub vane), and T(sub metal)). Numerical Propulsion System Simulation (NPSS) calculations of the specific fuel consumption (TSFC), as a function of the variables can become time consuming, and numerical instabilities can occur during these design calculations. "Soft" models can alleviate both deficiencies. These approximate models are generated from a set of high-fidelity input-output pairs obtained from the NPSS code and a design of the experiment strategy. A neural network and a regression model with 45 weight factors were trained for the input/output pairs. Then, the trained models were validated through a comparison with the original NPSS code. Comparisons of TSFC versus the operating pressure and of TSFC versus the three temperatures (T(sub 4), T(sub vane), and T(sub metal)) are depicted in the figures. The overall performance was satisfactory for both the regression and the neural network model. The regression model required fewer calculations than the neural network model, and it produced marginally superior results. Training the approximate methods is time consuming. Once trained, the approximate methods generated the solution with only a trivial computational effort, reducing the solution time from hours to less than a minute.

Patnaik, Surya N.↗

Computational design of natural laminar flow wings for transonic transport application

Two research programs are described which directly relate to the application of natural laminar flow (NLF) technology to transonic transport-type wind planforms. Each involved using state-of-the-art computational methods to design three-dimensional wing contours which generate significant runs of favorable pressure gradients. The first program supported the Variable Sweep Transition Flight Experiment and involves design of a full-span glove which extends from the leading edge to the spoiler hinge line on the upper surface of an F-14 outer wing panel. Boundary-layer and static-pressure data will be measured on this design during the supporting wind-tunnel and flight tests. These data will then be analyzed and used to infer the relationship between crossflow and Tollmein-Schlichting disturbances on laminar boundary-layer transition. A wing was designed computationally for a corporate transport aircraft in the second program. The resulting wing design generated favorable pressure gradients from the leading edge aft to the mid-chord on both upper and lower surfaces at the cruise design point. Detailed descriptions of the computational design approach are presented along with the various constraints imposed on each of the designs. Wing surface pressure distributions, which support the design objective and were derived from transonic three-dimensional analyses codes, are also presented. Current status of each of the research programs is included in the summary.

Waggoner, Edgar G.↗

NASA GLDAS Evapotranspiration Data and Climatology

Evapotranspiration (ET) is the water lost to the atmosphere by evaporation and transpiration. ET is a shared component in the energy and water budget, therefore, a critical variable for global energy and water cycle and climate change studies. However, direct ET measurements and data acquisition are difficult and expensive, especially at the global level. Therefore, modeling is one common alternative for estimating ET. With the goal to generate optimal fields of land surface states and fluxes, the Global Land Data Assimilation System (GLDAS) has been generating quality-controlled, spatially and temporally consistent, terrestrial hydrologic data, including ET and other variables that affect evaporation and transpiration, such as temperature, precipitation, humidity, wind, soil moisture, heat flux, and solar radiation. This poster presents the long-term ET climatology (mean and monthly), derived from the 61-year GLDAS-2 monthly 1.0 deg x 1.0 deg. NOAH model Experiment-1 data, and describes the basic characteristics of spatial and seasonal variations of the climatology. The time series of GLDAS-2 precipitation and radiation, and ET are also discussed to show the improvement of GLDAS-2 forcing data and model output over those from GLDAS-1.

Rui, Hualan↗

Terrestrial Hydrological Data from NASA's Hydrology Data and Information Services Center (HDISC): Products, Services, and Applications

Terrestrial hydrological variables are important in global hydrology, climate, and carbon cycle studies. The North American and Global Land Data Assimilation Systems (NLDAS and GLDAS, respectively) have been generating a series of land surface states (soil moisture, snow, and temperature) and fluxes (evapotranspiration, radiation, and heat flux) variables. These data, hosted at and available from NASA s Hydrology Data and Information Services Center (HDISC), include the NLDAS hourly 1/8 degree products and the GLDAS 3-hourly 0.25 and 1.0 degree products. HDISC provides easy access and visualization and analysis capabilities for these products, thus reducing the time and resources spent by scientists on data management and facilitating hydrological research. Users can perform spatial and parameter subsetting, data format transformation, and data analysis operations without needing to first download the data. HDISC is continually being developed as a data and services portal that supports weather and climate forecasts, and water and energy cycle research.

Fang, Hongliang↗

Usefulness of AIRS-Derived OLR, Temperature, Water Vapor and Cloudiness Anomaly Trends for GCM Validation

Mainly due to their global nature, satellite observations can provide a very useful basis for GCM validations. In particular, satellite sounders such as AIRS provide 3-D spatial information (most useful for GCMs), so the question arises: can we use AIRS datasets for climate variability assessments? We show that the recent (September 2002 February 2010) CERES-observed negative trend in OLR of approx.-0.1 W/sq m/yr averaged over the globe is found in the AIRS OLR data as well. Most importantly, even minute details (down to 1 x 1 degree GCM-scale resolution) of spatial and temporal anomalies and trends of OLR as observed by CERES and computed based on AIRS-retrieved surface and atmospheric geophysical parameters over this time period are essentially the same. The correspondence can be seen even in the very large spatial variations of these trends with local values ranging from -2.6 W/sq m/yr to +3.0 W/sq m/yr in the tropics, for example. This essentially perfect agreement of OLR anomalies and trends derived from observations by two different instruments, in totally independent and different manners, implies that both sets of results must be highly accurate, and indirectly validates the anomalies and trends of other AIRS derived products as well. These products show that global and regional anomalies and trends of OLR, water vapor and cloud cover over the last 7+ years are strongly influenced by EI-Nino-La Nina cycles . We have created climate parameter anomaly datasets using AIRS retrievals which can be compared directly with coupled GCM climate variability assessments. Moreover, interrelationships of these anomalies and trends should also be similar between the observed and GCM-generated datasets, and, in cases of discrepancies, GCM parameterizations could be improved based on the relationships observed in the data. First, we assess spatial "trends" of variability of climatic parameter anomalies [since anomalies relative to the seasonal cycle are good proxies of climate variability] at the common 1x1 degree GCM grid-scale by creating spatial anomaly "trends" based on the first 7+ years of AIRS Version 5 Leve13 data. We suggest that modelers should compare these with their (coupled) GCM's performance covering the same period. We evaluate temporal variability and interrelations of climatic anomalies on global to regional e.g., deep Tropical Hovmoller diagrams, El-Nino-related variability scales, and show the effects of El-Nino-La Nina activity on tropical anomalies and trends of water vapor cloud cover and OLR. For GCMs to be trusted highly for long-term climate change predictions, they should be able to reproduce findings similar to these. In summary, the AIRS-based climate variability analyses provide high quality, informative and physically plausible interrelationships among OLR, temperature, humidity and cloud cover both on the spatial and temporal scales. GCM validations can use these results even directly, e. g., by creating 1x1 degree trendmaps for the same period in coupled climate simulations.

Molnar, Gyula I.↗

Study of oxygen gas production phenomenon during stand and discharge in silver-zinc batteries

Standard production procedures for manufacturing silver zinc batteries are evaluated and modified to reduce oxygen generation during open circuit stand and discharge. Production predictions of several variable combinations using analysis models are listed for minimum gassing, with emphasis on the concentration of potassium hydroxide in plate formation. A recommendation for work optimizing the variables involved in plate processing is included.

Source record↗

Aeromechanical stability of helicopters with a bearingless main rotor. Part 1: Equations of motion

Equations of motion for a coupled rotor-body system were derived for the purpose of studying air and ground resonance characteristics of helicopters that have bearingless main rotors. For the fuselage, only four rigid body degrees of freedom are considered; longitudinal and lateral translations, pitch, and roll. The rotor is assumed to consist of three or more rigid blades. Each blade is joined to the hub by means of a flexible beam segment (flexbeam or strap). Pitch change is accomplished by twisting the flexbeam with the pitch-control system, the characteristics of which are variable. Thus, the analysis is capable of implicitly treating aeroelastic couplings generated by the flexbeam elastic deflections, the pitch-control system, and the angular offsets of the blade and flexbeam. The linearized equations are written in the nonrotating system retaining only the cyclic rotor modes; thus, they comprise a system of homogeneous ordinary differential equations with constant coefficients. All contributions to the linearized perturbation equations from inertia, gravity, quasi-steady aerodynamics, and the flexbeam equilibrium deflections are retained exactly.

Hodges, D. H.↗

Background and system description of the Mod 1 wind turbine generator

The Mod-1 wind turbine considered is a large utility-class machine, operating in the high wind regime, which has the potential for generation of utility grade power at costs competitive with other alternative energy sources. A Mod-1 wind turbine generator (WTG) description is presented, taking into account the two variable-pitch steel blades of the rotor, the drive train, power generation/control, the Nacelle structure, and the yaw drive. The major surface elements of the WTG are the ground enclosure, the back-up battery system, the step-up transformer, elements of the data system, cabling, area lighting, and tower foundation. The final system weight (rotor, Nacelle, and tower) is expected to be about 650,000 pounds. The WTG will be capable of delivering 1800 kW to the utility grid in a wind-speed above 25 mph.

Ernst, E. H.↗

Development of dynamic simulation of TF34-GE-100 turbofan engine with post-stall capability

This paper describes the development of a hybrid computer simulation of a TF34-GE-100 turbofan engine with post-stall capability. The simulation operates in real-time and will be used to test and evaluate stall recovery control modes for this engine. The simulation calculations are performed by an analog computer with a peripheral multivariable function generation unit used for computing bivariate functions. Tabular listings of simulation variables are obtained by interfacing to a digital computer and using a custom software package for data collection and display.

Krosel, S. M.↗

The predictive information obtained by testing multiple software versions

Multiversion programming is a redundancy approach to developing highly reliable software. In applications of this method, two or more versions of a program are developed independently by different programmers and the versions are combined to form a redundant system. One variation of this approach consists of developing a set of n program versions and testing the versions to predict the failure probability of a particular program or a system formed from a subset of the programs. The precision that might be obtained, and also the effect of programmer variability if predictions are made over repetitions of the process of generating different program versions, are examined.

Lee, Larry D.↗