SEARCH · Engineering Papers

Results for “Software Construction”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 559 records · Page 31

All sources NASA NTRS DOE OSTI

DOE OSTI2016

National Renewable Energy Laboratory/Habitat for Humanity Zero Energy Home: A Cold Climate Case Study for Affordable Zero Energy Homes

The design of this 1,280-square-foot, three-bedroom Habitat for Humanity of Metro Denver zero energy home carefully combines envelope efficiency, efficient equipment, appliances and lighting, and passive and active solar features to reach the zero energy goal. The home was designed with an early version (July 22, 2004) of the BEOpt building optimization software; DOE2 and TRNSYS were used to perform additional analysis. This engineering approach was tempered by regular discussions with Habitat construction staff and volunteers. These discussions weighed the applicability of the optimized solutions to the special needs and economics of a Habitat house, moving the design toward simple, easily maintained mechanical systems and volunteer-friendly construction techniques. A data acquisition system was installed in the completed home to monitor its performance. The home's energy performance was monitored for 10 years. A comprehensive report on the home was done after the first 2 years of monitoring and a follow-up ACEEE paper on the project including 10 years of performance data was presented in 2016.

Affordable Housing↗

NASA NTRS1986

SMP: A solid modeling program version 2.0

The Solid Modeling Program (SMP) provides the capability to model complex solid objects through the composition of primitive geometric entities. In addition to the construction of solid models, SMP has extensive facilities for model editing, display, and analysis. The geometric model produced by the software system can be output in a format compatible with existing analysis programs such as PATRAN-G. The present version of the SMP software supports six primitives: boxes, cones, spheres, paraboloids, tori, and trusses. The details for creating each of the major primitive types is presented. The analysis capabilities of SMP, including interfaces to existing analysis programs, are discussed.

Randall, D. P.↗

NASA NTRS1986

A rigorous approach to self-checking programming

Self-checking programming is shown to be an effective concurrent error detection technique. The reliability of a self-checking program however relies on the quality of its assertion statements. A self-checking program written without formal guidelines could provide a poor coverage of the errors. A constructive technique for self-checking programming is presented. A Structured Program Design Language (SPDL) suitable for self-checking software development is defined. A set of formal rules, was also developed, that allows the transfromation of SPDL designs into self-checking designs to be done in a systematic manner.

Hua, Kien A.↗

NASA NTRS1986

Experience with the CAIS

Intermetrics' experience is that the Ada package construct, which allows separation of specification and implementation allows specification of a CAIS that is transportable across varying hardware and software bases. Additionally, the CAIS is an excellent basis for providing operating system functionality to Ada applications. By allowing the Byron APSE to be moved easily from system to system, and allowing significant re-writes of underlying code. Ada and the CAIS provide portability as well as transparency to change at the application operating system interface level.

Tighe, Michael F.↗

NASA NTRS1990

Computer Program Re-layers Engineering Drawings

RULCHK computer program aids in structuring layers of information pertaining to part or assembly designed with software described in article "Software for Drawing Design Details Concurrently" (MFS-28444). Checks and optionally updates structure of layers for part. Enables designer to construct model and annotate its documentation without burden of manually layering part to conform to standards at design time.

Crosby, Dewey C., III↗

NASA NTRS1990

Growing the Space Station's electrical power plant

For over a decade NASA LeRC has been defining, demonstrating, and evaluating power electronic components and multi-kilowatt, multiply redundant, electrical power systems as part of OAST charter. Whether one considers aircraft (commercial transport/military), Space Station Freedom, growth station, launch vehicles, or the new Human Exploration Initiative, the conclusions remain the same: high frequency AC power distribution and control is superior to all other approaches for achieving a fast, smart, safe, versatile, and growable electrical power system that will meet a wide range of mission options. To meet the cost and operability goals of future aerospace missions that require significantly higher electrical power and longer durations, we must learn to integrate multiple technologies in ways that enhance overall system synergisms. The way NASA is doing business in space electric power is challenged and some approaches for evolving large space vehicles and platforms in well constructed steps to provide safe, ground testable, growable, smart systems that provide simple, replicative logic structures, which enable hardware and software verification, validation, and implementation are proposed. Viewgraphs are included.

Sundberg, Gale R.↗

NASA NTRS1993

Interferometric tracking system for the tracking and data relay satellite

This report documents construction and testing of the Interferometric Tracking System project developed under the NASA SBIR contract NAS5-30313. Manuals describing the software and hardware, respectively entitled: 'Field Station Guide to Operations' and 'Field Station Hardware Manual' are included as part of this final report. The objective of this contract was to design, build, and operate a system of three ground stations using Very Long Baseline Interferometry techniques to measure the TDRS orbit. The ground stations receive signals from normal satellite traffic, store these signals in co-located computers, and transmit the information via phone lines to a central processing site which correlates the signals to determine relative time delays. Measurements from another satellite besides TDRS are used to determine clock offsets. A series of such measurements will ultimately be employed to derive the orbital parameters, yielding positions accurate to within 50 meters or possibly better.

Effland, John E.↗

NASA NTRS1993

Eigenvalue routines in NASTRAN: A comparison with the Block Lanczos method

The NASA STRuctural ANalysis (NASTRAN) program is one of the most extensively used engineering applications software in the world. It contains a wealth of matrix operations and numerical solution techniques, and they were used to construct efficient eigenvalue routines. The purpose of this paper is to examine the current eigenvalue routines in NASTRAN and to make efficiency comparisons with a more recent implementation of the Block Lanczos algorithm by Boeing Computer Services (BCS). This eigenvalue routine is now available in the BCS mathematics library as well as in several commercial versions of NASTRAN. In addition, CRAY maintains a modified version of this routine on their network. Several example problems, with a varying number of degrees of freedom, were selected primarily for efficiency bench-marking. Accuracy is not an issue, because they all gave comparable results. The Block Lanczos algorithm was found to be extremely efficient, in particular, for very large size problems.

Tischler, V. A.↗

NASA NTRS1993

Reference manual for a Requirements Specification Language (RSL), version 2.0

This report is a Reference Manual for a general-purpose Requirements Specification Language, RSL. The purpose of RSL is to specify precisely the external structure of a mechanized system and to define requirements that the system must meet. A system can be comprised of a mixture of hardware, software, and human processing elements. RSL is a hybrid of features found in several popular requirements specification languages and includes constructs for formal mathematical specification.

Fisher, Gene L.↗

NASA NTRS1999

Ground Based Program for the Physical Analysis of Macromolecular Crystal Growth

In a reported period in situ atomic force microscopy was utilized in our laboratory to study mechanisms of growth and kinetics of crystallization of ten protein and virus crystals. These included canavalin, thaumatin, apoferritin, lipase, catalase, t-RNA, lysozyme, xylanase, turnip yellow mosaic virus (TYMV) and satellite tobacco mosaic virus (STMV). We have also designed and constructed in our laboratory both in situ conventional two-beam Michelson and phase shift Mach-Zenhder interferometers. Computer software for the processing of the interferometric images was developed as well. Interferometric techniques were applied for studies of growth kinetics and transport phenomena in crystallization of several macromolecular crystals. As a result of this work we have published 21 papers and have given many presentations at international and national meetings. A list of these publications and conference presentations is attached.

Malkin, Alexander J.↗

NASA NTRS2011

Test Generator for MATLAB Simulations

MATLAB Automated Test Tool, version 3.0 (MATT 3.0) is a software package that provides automated tools that reduce the time needed for extensive testing of simulation models that have been constructed in the MATLAB programming language by use of the Simulink and Real-Time Workshop programs. MATT 3.0 runs on top of the MATLAB engine application-program interface to communicate with the Simulink engine. MATT 3.0 automatically generates source code from the models, generates custom input data for testing both the models and the source code, and generates graphs and other presentations that facilitate comparison of the outputs of the models and the source code for the same input data. Context-sensitive and fully searchable help is provided in HyperText Markup Language (HTML) format.

Henry, Joel↗

NASA NTRS2015

RUMS - Realtime Visualization and Evaluation of Live, Virtual, Constructive Simulation Data

This paper describes the tools and display capabilities being developed to visualize aircraft flight and trajectory information that is produced during a distributed Live, Virtual, Constructive (LVC) simulation events involving a mix of manned and unmanned aircraft. This paper discusses the design approach and general software architecture of the Remote User Monitor Service (RUMS) application. The simulations and flight tests are conducted over a nationwide network with components communicating via software gateways that translate the messages and provide a location to access and collect data. The data collected is not only archived for post-processing and analysis, but also processed in real-time by RUMS, which allows dynamic viewing of the information via a web browser. This real-time dynamic viewing of the data allows test conductors and researchers to monitor the health of the distributed system and of the data being collected not only in situ where tests are conducted but also at remote locations.

distributed simulation↗

DOE OSTI2017

FAULT PROPAGATION AND EFFECTS ANALYSIS FOR DESIGNING AN ONLINE MONITORING SYSTEM FOR THE SECONDARY LOOP OF A NUCLEAR POWER PLANT PART OF A HYBRID ENERGY SYSTEM

This paper studies the propagation and effects of faults of critical components that pertain to the secondary loop of a nuclear power plant found in Nuclear Hybrid Energy Systems (NHES). This information is used to design an on-line monitoring (OLM) system which is capable of detecting and forecasting faults that are likely to occur during NHES operation. In this research, the causes, features, and effects of possible faults are investigated by simulating the propagation of faults in the secondary loop. The simulation is accomplished by using the Integrated System Failure Analysis (ISFA). ISFA is used for analyzing hardware and software faults during the conceptual design phase. In this paper, the models of system components required by ISFA are initially constructed. Then, the fault propagation analysis is implemented, which is conducted under the bounds set by acceptance criteria derived from the design of an OLM system. The result of the fault simulation is utilized to build a database for fault detection and diagnosis, provide preventive measures, and propose an optimization plan for the OLM system.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2023

Sub-nanosecond RF synchronization for MIMO software defined radio sensor networks

This disclosure presents distributed and decentralized synchronization for wireless transceivers. The disclosed system, device, and method achieve sub-nanosecond synchronization using low-cost commercial off the shelf software defined radios. By providing a decentralized mechanism that does not rely on a hierarchical master-slave structure, networks constructed as disclosed are robust to sensor drop-out in contested or harsh environments. Such networks may be used to create phased array radars and communication systems without requiring wired connections to distribute a common clock or local oscillator reference.

Moghaddam, Mahta↗

DOE OSTI2017

Fault propagation and effects analysis for designing an online monitoring system for the secondary loop of a nuclear power plant part of a hybrid energy system - 393

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2024

Toolpath considerations for DED: Arc and laser welding

Directed energy deposition (DED) is a form of additive manufacturing that uses localized melted metal, similar to traditional arc welding, to construct an object. In comparison to polymer systems, metal systems can exert additional control over the build process through manipulation of the pool of melted metal, called the “melt pool.” This is especially important to maintain appropriate layer heights and create high quality builds. Additionally, metal systems allow site-specific control of the printed part, which enables advanced construction techniques that would otherwise not be possible. However, both of these types of control require support from the slicing software and, potentially, sensor feedback. This chapter will discuss these control processes and their basic implementation in a slicing program. The processes described here lay the foundation for more advanced solutions, particularly sensor feedback, that will be discussed later.

Borish, Michael↗

DOE OSTI2022

Development and Commercialization of an IDAES-Based Power Plant Performance Monitoring and Optimization System

DOE and NETL have created an advanced, open-source computational platform through the Institute for the Design of Advanced Energy Systems (IDAES). The IDAES platform is a very extensive modeling environment that can be used for a broad range of power plant and process applications. MapEx Software is developing and commercializing a software application that makes it easier to set-up and run IDAES-based analyses. The MapEx-developed software application will replace the need for custom Python language coding with a user-friendly graphical user interface where the user can construct a flowsheet diagram of the IDAES model by inserting icons representing the plant equipment onto the screen. This application will make the implementation of modeling and optimization of existing fossil-fired power plants more straight-forward and less time-consuming. The effort focuses on performance monitoring and optimization of plant operations for the existing coal-fired power plant fleet but is built on a structure that allows expansion into the broad range of applications where IDAES methods may be applied.

20 FOSSIL-FUELED POWER PLANTS↗

NASA NTRS1996

Software Development Technologies for Reactive, Real-Time, and Hybrid Systems

The research is directed towards the design and implementation of a comprehensive deductive environment for the development of high-assurance systems, especially reactive (concurrent, real-time, and hybrid) systems. Reactive systems maintain an ongoing interaction with their environment, and are among the most difficult to design and verify. The project aims to provide engineers with a wide variety of tools within a single, general, formal framework in which the tools will be most effective. The entire development process is considered, including the construction, transformation, validation, verification, debugging, and maintenance of computer systems. The goal is to automate the process as much as possible and reduce the errors that pervade hardware and software development.

Manna, Zohar↗