Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “computer Codes Computer Programs”

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,099 records · Page 61

Automatic Generation of Algorithms for the Statistical Analysis of Planetary Nebulae Images

Analyzing data sets collected in experiments or by observations is a Core scientific activity. Typically, experimentd and observational data are &aught with uncertainty, and the analysis is based on a statistical model of the conjectured underlying processes, The large data volumes collected by modern instruments make computer support indispensible for this. Consequently, scientists spend significant amounts of their time with the development and refinement of the data analysis programs. AutoBayes [GF+02, FS03] is a fully automatic synthesis system for generating statistical data analysis programs. Externally, it looks like a compiler: it takes an abstract problem specification and translates it into executable code. Its input is a concise description of a data analysis problem in the form of a statistical model as shown in Figure 1; its output is optimized and fully documented C/C++ code which can be linked dynamically into the Matlab and Octave environments. Internally, however, it is quite different: AutoBayes derives a customized algorithm implementing the given model using a schema-based process, and then further refines and optimizes the algorithm into code. A schema is a parameterized code template with associated semantic constraints which define and restrict the template s applicability. The schema parameters are instantiated in a problem-specific way during synthesis as AutoBayes checks the constraints against the original model or, recursively, against emerging sub-problems. AutoBayes schema library contains problem decomposition operators (which are justified by theorems in a formal logic in the domain of Bayesian networks) as well as machine learning algorithms (e.g., EM, k-Means) and nu- meric optimization methods (e.g., Nelder-Mead simplex, conjugate gradient). AutoBayes augments this schema-based approach by symbolic computation to derive closed-form solutions whenever possible. This is a major advantage over other statistical data analysis systems which use numerical approximations even in cases where closed-form solutions exist. AutoBayes is implemented in Prolog and comprises approximately 75.000 lines of code. In this paper, we take one typical scientific data analysis problem-analyzing planetary nebulae images taken by the Hubble Space Telescope-and show how AutoBayes can be used to automate the implementation of the necessary anal- ysis programs. We initially follow the analysis described by Knuth and Hajian [KHO2] and use AutoBayes to derive code for the published models. We show the details of the code derivation process, including the symbolic computations and automatic integration of library procedures, and compare the results of the automatically generated and manually implemented code. We then go beyond the original analysis and use AutoBayes to derive code for a simple image segmentation procedure based on a mixture model which can be used to automate a manual preproceesing step. Finally, we combine the original approach with the simple segmentation which yields a more detailed analysis. This also demonstrates that AutoBayes makes it easy to combine different aspects of data analysis.

Fischer, Bernd↗

MiniApps derived from production HPC applications using multiple programing models

Here, we have developed a set of reduced, proxy applications (“MiniApps”) based on large-scale application codes supported at the Oak Ridge Leadership Computing Facility (OLCF). The MiniApps are designed to encapsulate the details of the most important (i.e. the most time-consuming and/or unique) facets of the applications that run in production mode on the OLCF. In each case, we have produced or plan to produce individual versions of the MiniApps using different specific programing models (e.g., OpenACC, CUDA, OpenMP). We describe some of our initial observations regarding these different implementations along with estimates of how closely the MiniApps track the actual performance characteristics (in particular, the overall scalability) of the large-scale applications from which they are derived.

97 MATHEMATICS AND COMPUTING↗

Efficiently Computable Limits on EPR Pair Generation in Quantum Broadcast Channels

We investigate the generation of EPR pairs between three observers in a general causally structured setting, where communication occurs via a noisy quantum broadcast channel. The most general quantum codes for this setup take the form of tripartite quantum channels. Since the receivers are constrained by causal ordering, additional temporal relationships naturally emerge between the parties. These causal constraints enforce intrinsic no-signalling conditions on any tripartite operation, ensuring that it constitutes a physically realizable quantum code for a quantum broadcast channel. We analyze these constraints and, more broadly, characterize the most general quantum codes for communication over such channels. We examine the capabilities of codes that are fully no-signalling among the three parties, positive partial transpose (PPT)-preserving, or both, and derive simple semidefinite programs to compute the achievable entanglement fidelity. We then establish a hierarchy of semidefinite programming converse bounds -- both weak and strong -- for the capacity of quantum broadcast channels for EPR pair generation, in both one-shot and asymptotic regimes. Notably, in the special case of a point-to-point channel, our strong converse bound recovers and strengthens existing results. Finally, we demonstrate how the PPT-preserving codes we develop can be leveraged to construct PPT-preserving entanglement combing schemes, and vice versa.

FOS: Physical sciences↗

Software Development for a CompactRIO-Based Wire Scanner Control and Data Acquisition SYstem

The Beam Diagnostics and Instrumentation Team at the Los Alamos Neutron Science Center is developing a wire scanner data acquisition and control system with a National Instrument's compactRIO at its core. For this application, the compactRIO controller not only requires programming the FPGA and RT computer internal to the compactRIO, but also requires programming a client computer and a touch panel display. This article will summarize the hardware interfaces and describe the software design approach utilized for programming and interfacing the four systems together in order to fulfill the design requirements and promote reliable interoperability.

42 ENGINEERING↗

Multi-Zone Liquid Thrust Chamber Performance Code with Domain Decomposition for Parallel Processing

Computational Fluid Dynamics (CFD) has considerably evolved in the last decade. There are many computer programs that can perform computations on viscous internal or external flows with chemical reactions. CFD has become a commonly used tool in the design and analysis of gas turbines, ramjet combustors, turbo-machinery, inlet ducts, rocket engines, jet interaction, missile, and ramjet nozzles. One of the problems of interest to NASA has always been the performance prediction for rocket and air-breathing engines. Due to the complexity of flow in these engines it is necessary to resolve the flowfield into a fine mesh to capture quantities like turbulence and heat transfer. However, calculation on a high-resolution grid is associated with a prohibitively increasing computational time that can downgrade the value of the CFD for practical engineering calculations. The Liquid Thrust Chamber Performance (LTCP) code was developed for NASA/MSFC (Marshall Space Flight Center) to perform liquid rocket engine performance calculations. This code is a 2D/axisymmetric full Navier-Stokes (NS) solver with fully coupled finite rate chemistry and Eulerian treatment of liquid fuel and/or oxidizer droplets. One of the advantages of this code has been the resemblance of its input file to the JANNAF (Joint Army Navy NASA Air Force Interagency Propulsion Committee) standard TDK code, and its automatic grid generation for JANNAF defined combustion chamber wall geometry. These options minimize the learning effort for TDK users, and make the code a good candidate for performing engineering calculations. Although the LTCP code was developed for liquid rocket engines, it is a general-purpose code and has been used for solving many engineering problems. However, the single zone formulation of the LTCP has limited the code to be applicable to problems with complex geometry. Furthermore, the computational time becomes prohibitively large for high-resolution problems with chemistry, two-equation turbulence model, and two-phase flow. To overcome these limitations, the LTCP code is rewritten to include the multi-zone capability with domain decomposition that makes it suitable for parallel processing, i.e., enabling the code to run every zone or sub-domain on a separate processor. This can reduce the run time by a factor of 6 to 8, depending on the problem.

Homayun K. Navaz↗

Verification and validation plan for the SFR system analysis module

This report documents the Verification and Validation (V&V) Plan for software verification and validation of the SFR System Analysis Module (SAM), developed at Argonne National Laboratory for sodium fast reactor whole-plant transient analysis. SAM is developed under the DOE NEAMS program and is part of the Reactor Product Line toolkit. The SAM code, the phenomena and computational models of interest, the software quality assurance, and the verification and validation requirements and plans are discussed in this report.

97 MATHEMATICS AND COMPUTING↗

Design and Testing for a New Thermosyphon Irradiation Vehicle

The High Flux Isotope Reactor (HFIR) at the Oak Ridge National Laboratory (ORNL) requires most materials and all fuel experiments to be placed in a pressure containment vessel to ensure that internal contaminants such as fission products cannot be released into the primary coolant. It also requires that all experiments be capable of withstanding various accident conditions (e.g., loss of coolant) without generating vapor bubbles on the surface of the experiment in the primary coolant. These requirements are intended to artificially increase experiment temperatures by introducing a barrier between the experimental materials and the HFIR coolant, and by reducing heat loads to the HFIR primary coolant, thus ensuring that no boiling can occur. A proposed design for materials irradiation would remove these limitations by providing the required primary containment with an internal cooling flow. This would allow for experiments to be irradiated without concern for coolant contamination (e.g., from cladding failure of advanced fuel pins) or for specimen heat load. This report describes a new materials irradiation experiment design that uses a thermosyphon cooling system to allow experimental materials direct access to a liquid coolant. The new design also increases the range of conditions that can be tested in HFIR. This design will provide a unique capability to validate the performance of current and advanced fuels and materials. Because of limited supporting data for this kind of irradiation vehicle, a test program was initiated to obtain operating data that can be used to (1) qualify the vehicle for operation in HFIR and (2) validate computer models used to perform design- and safety-basis calculations. This report also describes the test facility and experimental data, and it provides a comparison of the experimental data to computer simulations. A total of 51 tests have been completed: four tests with pure steam, 12 tests with argon, and 35 tests with helium. A total of 10 tests were performed at subatmospheric pressure, and four of these were performed with pure steam. One test was conducted at a high power of 92.7 kW, six tests were HFIR startups, and two tests were HFIR loss of offsite power (LOOP). Pressures up to 10 MPa, vapor temperatures up to 583 K (310°C), and heater temperatures above 600 K (327°C) have been reached in these tests. Two computer programs, RELAP5-3D and TRACE, have been used to simulate the tests. The TRACE code has shown good agreement with the test data and has been used to model a variety of tests. This experimental facility has been very useful in demonstrating the viability of this new type of irradiation facility.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Weight comparisons of optimized stiffened, unstiffened, and sandwich cylindrical shells made from composite or aluminum materials

This work presents optimum designs for unstiffened, hat stringer-stiffened and honeycomb sandwich cylinders under axial compression. Optimization results for graphite-epoxy cylinders show about a 50 percent weight savings over corresponding optimized aluminum cylinders for a wide loading range. The inclusion of minimum gage considerations results in a significant weight penalty, especially for a lightly loaded cylinder. Effects of employing a smeared stiffener buckling theory in the optimization program are investigated through comparison of results obtained from a more accurate branched shell buckling computer code. It was found that the stiffener cross-sectional deformations, which are usually ignored in smeared stiffener theory, result in about a 30 percent lower buckling load for the graphite-epoxy hat stiffened cylinder.

Agarwal, B. L.↗

Backup flight control system functional evaluator software manual

The software for the Backup Flight Control System Functional Evaluator (BFCSFE) on a Data General Corporation Nova 1200 computer consists of three programs: the ground support program, the operational flight program (OFP), and the ground pulse code modulation (PCM) program. The Nova OFP software is structurally as close as possible to the AP101 code; therefore, this document highlights and describes only those areas of the Nova OFP that are significantly different from the AP101. Since the Ground Support Program was developed to meet BFCSFE requirements and differs considerably from the AP101 code, it is described in detail.

Helmke, C. A.↗

An analysis of thermal response factors and how to reduce their computational time requirement

Te RESFAC2 version of the Thermal Response Factor Program (RESFAC) is the result of numerous modifications and additions to the original RESFAC. These modifications and additions have significantly reduced the program's computational time requirement. As a result of this work, the program is more efficient and its code is both readable and understandable. This report describes what a thermal response factor is; analyzes the original matrix algebra calculations and root finding techniques; presents a new root finding technique and streamlined matrix algebra; supplies ten validation cases and their results.

Wiese, M. R.↗

Program for Automated Real-Time Monitoring

Process-control decisions made by applying rules to process data streams. Expert System Executive computer program demonstrates feasibility of automated real-time monitoring. Using Executives knowledge of system formally coded as set of rules specifying actions taken under various conditions. Program makes inferences about observed data based on rules. Written in C language.

Goodrum, Glenn R.↗

Essentially non-oscillatory shock capturing methods applied to turbulence amplification in shock wave calculations

ENO (essentially non-oscillatory) schemes can provide uniformly high order accuracy right up to discontinuities while keeping sharp, essentially non-oscillatory shock transitions. Recently, an efficient implementation of ENO schemes was obtained based on fluxes and TVD Runge-Kutta time discretizations. The resulting code is very simple to program for multi-dimensions. ENO schemes are especially suitable for computing problems with both discontinuities and fine structures in smooth regions, such as shock interaction with turbulence, for which results for 1-D and 2-D Euler equations are presented. Much better resolution is observed by using third order ENO schemes than by using second order TVD schemes for such problems.

Osher, Stanley↗

Modeling of high speed chemically reacting flow-fields

The SPARK3D and SPARK3D-PNS computer programs were developed to model 3-D supersonic, chemically reacting flow-fields. The SPARK3D code is a full Navier-Stokes solver, and is suitable for use in scramjet combustors and other regions where recirculation may be present. The SPARK3D-PNS is a parabolized Navier-Stokes solver and provides an efficient means of calculating steady-state combustor far-fields and nozzles. Each code has a generalized chemistry package, making modeling of any chemically reacting flow possible. Research activities by the Langley group range from addressing fundamental theoretical issues to simulating problems of practical importance. Algorithmic development includes work on higher order and upwind spatial difference schemes. Direct numerical simulations employ these algorithms to address the fundamental issues of flow stability and transition, and the chemical reaction of supersonic mixing layers and jets. It is believed that this work will lend greater insight into phenomenological model development for simulating supersonic chemically reacting flows in practical combustors. Currently, the SPARK3D and SPARK3D-PNS codes are used to study problems of engineering interest, including various injector designs and 3-D combustor-nozzle configurations. Examples, which demonstrate the capabilities of each code are presented.

Drummond, J. P.↗

Reexamination of METMAN, Recommendations on Enhancement of LCVG, and Development of New Concepts for EMU Heat Sink

METMAN is a 41-node transient metabolic computer code developed in 1970 and revised in 1989 by Lockheed Engineering and Sciences, Inc. This program relies on a mathematical model to predict the transient temperature distribution in a body influenced by metabolic heat generation and thermal interaction with the environment. A more complex 315-node model is also available that not only simulates the thermal response of a body exposed to a warm environment, but is also capable of describing the thermal response resulting from exposure to a cold environment. It is important to compare the two models for the prediction of the body's thermal response to metabolic heat generation and exposure to various environmental conditions. Discrepancies between the twi models may warrant an investigation of METMAN to ensure its validity for describing the body's thermal response in space environment. The Liquid Cooling and Ventilation Garment is a subsystem of the Extravehicular Mobility Unit (EMU). This garment, worn under the pressure suit, contains the liquid cooling tubing and gas ventilation manifolds; its purpose is to alleviate or reduce thermal stress resulting from metabolic heat generation. There is renewed interest in modifying this garment through identification of the locus of maximum heat transfer at body-liquid cooled tubing interface. The sublimator is a vital component of the Primary Life Support System (PLSS) in the EMU. It acts as a heat sink to remove heat and humidity from the gas ventilating circuit and the liquid cooling loop of the LCVG. The deficiency of the sublimator is that the ice, used as the heat sink, sublimates into space. There is an effort to minimize water losses in the feedwater circuit of the EMU. This requires developing new concepts to design an alternative heat sink system. Efforts are directed to review and verify the heat transfer formulation of the analytical model employed by METMAN. A conceptual investigation of regenerative non-venting heat-sink subsystem for the EMU is recommended.

Karimi, Amir↗

Numerical simulation of icing, deicing, and shedding

An algorithm has been developed to numerically model the concurrent phenomena of two-dimensional transient heat transfer, ice accretion, ice shedding and ice trajectory which arise from the use of electrothermal pad. The Alternating Direction Implicit method is used to simultaneously solve the heat transfer and accretion equations occurring in the multilayered body covered with ice. In order to model the phase change between ice and water, a technique was used which assumes a phase for each node. This allows the equations to be linearized such that a direct solution is possible. This technique requires an iterative procedure to find the correct phase at each node. The computer program developed to find this solution has been integrated with the NASA-Lewis flow/trajectory code LEWICE.

Wright, W. B.↗

Validation of computational aeroelasticity

The topics are presented in viewgraph form and include the following: codes for computational aeroelasticity validation; the benchmark transonic flutter (BTF) model; BTF testing; the BTF model program; features of transonic flutter; characteristics of attached and separated flow for complete aircraft; and the benchmark aeroelastic model program.

Whitlow, Woodrow, Jr.↗

NETS

NETS development tool provides environment for simulation and development of neural networks - computer programs that "learn" from experience. Written in ANSI standard C, program allows user to generate C code for implementation of neural network.

Baffes, Paul T.↗