Search NASA⌕ Search

SEARCH · Search NASA

Results for “generic programming”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1973

Dynamic analysis of a system of hinge-connected rigid bodies with nonrigid appendages

Equations of motion are derived for use in simulating a spacecraft or other complex electromechanical system amenable to idealization as a set of hinge-connected rigid bodies of tree topology, with rigid axisymmetric rotors and nonrigid appendages attached to each rigid body in the set. In conjunction with a previously published companion paper on finite-element appendage vibration equations, this paper provides a complete minimum-dimension formulation suitable for generic programming for digital computer numerical integration.

Likins, P. W.↗
NASA NTRS1998

Explaining Synthesized Software

Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion has a number of advantages, such as the ability to develop a new synthesis system simply by writing a declarative domain theory. However, as a practical matter, the validation of the domain theory for such a system is problematic because the link between generated programs and the domain theory is complex. As a result, when generated programs do not behave as expected, it is difficult to isolate the cause, whether it be an incorrect problem specification or an error in the domain theory. This paper describes a tool we are developing that provides formal traceability between specifications and generated code for deductive synthesis systems. It is based on extensive instrumentation of the refutation-based theorem prover used to synthesize programs. It takes augmented proof structures and abstracts them to provide explanations of the relation between a specification, a domain theory, and synthesized code. In generating these explanations, the tool exploits the structure of Amphion domain theories, so the end user is not confronted with the intricacies of raw proof traces. This tool is crucial for the validation of domain theories as well as being important in everyday use of the code synthesis system. It plays an important role in validation because when generated programs exhibit incorrect behavior, it provides the links that can be traced to identify errors in specifications or domain theory. It plays an important role in the everyday use of the synthesis system by explaining to users what parts of a specification or of the domain theory contribute to what pieces of a generated program. Comments are inserted into the synthesized code that document these explanations.

VanBaalen, Jeffrey↗
NASA NTRS1995

Manual for a workstation-based generic flight simulation program (LaRCsim), version 1.4

LaRCsim is a set of ANSI C routines that implement a full set of equations of motion for a rigid-body aircraft in atmospheric and low-earth orbital flight, suitable for pilot-in-the-loop simulations on a workstation-class computer. All six rigid-body degrees of freedom are modeled. The modules provided include calculations of the typical aircraft rigid-body simulation variables, earth geodesy, gravity and atmospheric models, and support several data recording options. Features/limitations of the current version include English units of measure, a 1962 atmosphere model in cubic spline function lookup form, ranging from sea level to 75,000 feet, rotating oblate spheroidal earth model, with aircraft C.G. coordinates in both geocentric and geodetic axes. Angular integrations are done using quaternion state variables Vehicle X-Z symmetry is assumed.

Jackson, E. Bruce↗
NASA NTRS1994

NLEdit: A generic graphical user interface for Fortran programs

NLEdit is a generic graphical user interface for the preprocessing of Fortran namelist input files. The interface consists of a menu system, a message window, a help system, and data entry forms. A form is generated for each namelist. The form has an input field for each namelist variable along with a one-line description of that variable. Detailed help information, default values, and minimum and maximum allowable values can all be displayed via menu picks. Inputs are processed through a scientific calculator program that allows complex equations to be used instead of simple numeric inputs. A custom user interface is generated simply by entering information about the namelist input variables into an ASCII file. There is no need to learn a new graphics system or programming language. NLEdit can be used as a stand-alone program or as part of a larger graphical user interface. Although NLEdit is intended for files using namelist format, it can be easily modified to handle other file formats.

Curlett, Brian P.↗
DOE OSTI2023

EIC-related Generic Detector R&D Program

This program will support advanced R&D on innovative, cost-effective detector concepts which reduce risk and that either the one detector in the project scope or a second detector could incorporate. (The term "generic" conveys this duality.) The program is supported through R&D funds provided to Jefferson Lab by the DOE Office of Nuclear Physics, and is open to all segments of the EIC community. It is expected to be funded at an annual level of $2M, subject to availability of funds from DOE NP.

Mack, David↗
NASA NTRS1994

Raster Metafile And Raster Metafile Translator Programs

Raster Metafile (RM) computer program is generic raster-image-format program, and Raster Metafile Translator (RMT) program is assortment of software tools for processing images prepared in this format. Processing includes reading, writing, and displaying RM images. Such other image-manipulation features as minimal compositing operator and resizing option available under RMT command structure. RMT written in FORTRAN 77 and C language.

Randall, Donald P.↗
NASA NTRS1991

Solution-adaptive program SADAP3D

A generic solution-adaptive grid program based on an error equi-distribution concept has been developed for use in complex multidimensional flows. The capability of a generic, user-friendly, multidimensional algorithm is demonstrated using several complex 3D flows in high-speed regimes. A simple scheme enforces the continuity of grid spacing along each currently adapted grid line as the computation proceeds. Calculation of normal vectors at each point of a grid plane is enhanced. The grid movement is automatically controlled by reinstating grid-spacing continuity locally in the mainstream of the unidirectional computation. It is concluded that the scheme can be readily coupled with many flow solvers to enhance accuracy and efficiency of solutions.

Djomehri, M. J.↗
NASA NTRSDate not supplied

Test Capabilities of the NASA Langley Direct Connect Supersonic Combustion Test Facility

In 1969 a combustion-heated direct-connect test facility was assembled at the NASA Langley Research Center and used to support NASA’s Hypersonic Research Engine program. Later, the facility was used to support NASA’s generic hypersonic program, assessing the mixing, ignition, flame holding, and combustion characteristics of ramjet and scramjet combustors. Over the years, the facility has been updated and modified to conduct increasingly complicated tests. Today, the facility is known as the Direct Connect Supersonic Combustion Test Facility (DCSCTF) and is part of the NASA Langley Scramjet Test Complex. Recently, the facility has been used by external customers to test fuel-cooled and uncooled, flight-like test articles. Tests have been conducted at nominal Mach 5 flight conditions for up to 15 minutes of continuous operation. The facility remains a viable and useful tool in the support of various Department of Defense projects.

Diego P Capriotti↗
NASA NTRS1993

Air Force Ni-Cd cell qualification program update

The generic qualification of aerospace nickel-cadmium cells is discussed. The test program includes the following: all available manufacturers, all available designs, cells from the previous program, and high and low orbit life cycling. It is the purpose of this program to characterize the beginning of life performance.

Hall, Steve↗
NASA NTRS2014

Rodent Research on the International Space Station - A Look Forward

Rodent Research on the International Space Station (ISS) is one of the highest priority science activities being supported by NASA and is planned for up to two flights per year. The first Rodent Research flight, Rodent Research-1 (RR-1) validates the hardware and basic science operations (dissections and tissue preservation). Subsequent flights will add new capabilities to support rodent research on the ISS. RR-1 will validate the following capabilities: animal husbandry for up to 30 days, video downlink to support animal health checks and scientific analysis, on-orbit dissections, sample preservation in RNA. Later and formalin, sample transfer from formalin to ethanol (hindlimbs), rapid cool-down and subsequent freezing at -80 of tissues and carcasses, sample return and recovery. RR-2, scheduled for SpX-6 (Winter 20142015) will add the following capabilities: animal husbandry for up to 60 days, RFID chip reader for individual animal identification, water refill and food replenishment, anesthesia and recovery, bone densitometry, blood collection (via cardiac puncture), blood separation via centrifugation, soft tissue fixation in formalin with transfer to ethanol, and delivery of injectable drugs that require frozen storage prior to use. Additional capabilities are also planned for future flights and these include but are not limited to male mice, live animal return, and the development of experiment unique equipment to support science requirements for principal investigators that are selected for flight. In addition to the hardware capabilities to support rodent research the Crew Office has implemented a training program in generic rodent skills for all USOS crew members during their pre-assignment training rotation. This class includes training in general animal handling, euthanasia, injections, and dissections. The dissection portion of this training focuses on the dissection of the spleen, liver, kidney with adrenals, brain, eyes, and hindlimbs. By achieving and maintaining proficiency in these basic skills as part of the nominal astronaut training curriculum this allows the rodent research program to focus the mission specific crew training on scientific requirements of research and operations flow.

Experimental capabilities↗
DOE OSTI2024

Brine Availability Test in Salt (BATS) FY24 Update

This report summarizes fiscal year 2024 (FY24) activities centered around a series of field tests in bedded salt at the Waste Isolation Pilot Plant (WIPP) funded by the Office of Spent Fuel and Waste Science and Technology in the Spent Fuel and Waste Disposition (SFWD) program of the US Department of Energy’s Office of Nuclear Energy (DOE-NE). High-level Purpose of Experiments: The Brine Availability Test in Salt (BATS) field tests are revealing both brine occurrence (i.e., where, and how much) and brine migration (i.e., how easily it moves) in the excavation damaged zone (EDZ). This understanding is foundational to develop a safety case for a future heat-generating waste repository in salt, and to starting up a generic repository program in salt to buy down risk. BATS seeks to predict how much brine can flow into both ambient and heated excavations (e.g., boreholes or rooms) in salt. This work is educating and empowering new repository scientists on two fronts: “design and execution of field tests” and “prediction and modeling of coupled processes.” DOE-NE capabilities in salt have grown and been tested through international modeling and benchmarking exercises (e.g., DECOVALEX, RANGERS, KOMPASS, and MEASURES; see Mills et al., 2024). The hands-on expertise we are building is a necessary step towards large-scale disposal demonstrations and eventual implementation.

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

The Environment for Application Software Integration and Execution (EASIE), version 1.0. Volume 2: Program integration guide

The Environment for Application Software Integration and Execution, EASIE, provides a methodology and a set of software utility programs to ease the task of coordinating engineering design and analysis codes. EASIE was designed to meet the needs of conceptual design engineers that face the task of integrating many stand-alone engineering analysis programs. Using EASIE, programs are integrated through a relational data base management system. In volume 2, the use of a SYSTEM LIBRARY PROCESSOR is used to construct a DATA DICTIONARY describing all relations defined in the data base, and a TEMPLATE LIBRARY. A TEMPLATE is a description of all subsets of relations (including conditional selection criteria and sorting specifications) to be accessed as input or output for a given application. Together, these form the SYSTEM LIBRARY which is used to automatically produce the data base schema, FORTRAN subroutines to retrieve/store data from/to the data base, and instructions to a generic REVIEWER program providing review/modification of data for a given template. Automation of these functions eliminates much of the tedious, error prone work required by the usual approach to data base integration.

Jones, Kennie H.↗
NASA NTRS2007

Simulating Flights of Future Launch Vehicles and Spacecraft

Marshall Aerospace Vehicle Representation in C (MAVERIC) is a computer program for generic, low-to-high-fidelity simulation of the flight(s) of one or more launch vehicle(s) or spacecraft. MAVERIC is designed to accommodate multi-staged vehicles, powered serially or in parallel, with multiple engines, tanks, and cargo elements. Engines can be of jet or conventional rocket types, using either liquid or solid propellants. MAVERIC includes generic subsystem software models for propulsion systems, mass properties, reaction control systems, aerodynamic properties, guidance systems, and navigation systems. Simulations can be started at points other than liftoff. Also included are guidance-system software models that accommodate the ascent, orbit, coasting, deorbiting, entry, terminal-area-energy-management, approach, and landing phases of flight. Options to use different wind profiles and atmospheres are included. A Monte Carlo capability is provided for modeling dispersions associated with atmospheric effects (including winds), propulsion, navigation, aerodynamics, and mass properties. Failures of engines and other subsystems can be modeled. The program is written in the C programming language, which makes it possible for the program to have high degrees of modularity, reusability, and maintainability, thereby also facilitating modification for modeling new vehicles.

McCarter, James W.↗
DOE OSTI2021

A compute-bound formulation of Galerkin model reduction for linear time-invariant dynamical systems

This work aims to advance computational methods for projection-based reduced-order models (ROMs) of linear time-invariant (LTI) dynamical systems. For such systems, current practice relies on ROM formulations expressing the state as a rank-1 tensor (i.e., a vector), leading to computational kernels that are memory bandwidth bound and, therefore, ill-suited for scalable performance on modern architectures. This weakness can be particularly limiting when tackling many-query studies, where one needs to run a large number of simulations. This work introduces a reformulation, called rank-2 Galerkin, of the Galerkin ROM for LTI dynamical systems which converts the nature of the ROM problem from memory bandwidth to compute bound. We present the details of the formulation and its implementation, and demonstrate its utility through numerical experiments using, as a test case, the simulation of elastic seismic shear waves in an axisymmetric domain. We quantify and analyze performance and scaling results for varying numbers of threads and problem sizes. In conclusion, we present an end-to-end demonstration of using the rank-2 Galerkin ROM for a Monte Carlo sampling study. We show that the rank-2 Galerkin ROM is one order of magnitude more efficient than the rank-1 Galerkin ROM (the current practice) and about 970 times more efficient than the full-order model, while maintaining accuracy in both the mean and statistics of the field.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1978

Multibody system applications and simulations at the Jet Propulsion Laboratory

The historical development of the Jet Propulsion Laboratory (JPL) of generic computer programs for solving the H-M-H equations of motion of point-connected sets of rigid bodies in a topological tree is traced, as well as the application of these programs and the multibody modelling approach to the design of spacecraft control systems. These include thrust vector control and science instrument articulation on such vehicles as Mariner 9, Mariner 10, Viking Orbiter, and Voyager.

Fleischer, G. E.↗