Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “library design”

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 307 records · Page 17

Catalysts for Efficient Production of Carbon Nanotubes

Several metal alloys have shown promise as improved catalysts for catalytic thermal decomposition of hydrocarbon gases to produce carbon nanotubes (CNTs). Heretofore almost every experiment on the production of carbon nanotubes by this method has involved the use of iron, nickel, or cobalt as the catalyst. However, the catalytic-conversion efficiencies of these metals have been observed to be limited. The identification of better catalysts is part of a continuing program to develop means of mass production of high-quality carbon nanotubes at costs lower than those achieved thus far (as much as $100/g for purified multi-wall CNTs or $1,000/g for single-wall CNTs in year 2002). The main effort thus far in this program has been the design and implementation of a process tailored specifically for high-throughput screening of alloys for catalyzing the growth of CNTs. The process includes an integral combination of (1) formulation of libraries of catalysts, (2) synthesis of CNTs from decomposition of ethylene on powders of the alloys in a pyrolytic chemical-vapor-decomposition reactor, and (3) scanning- electron-microscope screening of the CNTs thus synthesized to evaluate the catalytic efficiencies of the alloys. Information gained in this process is put into a database and analyzed to identify promising alloy compositions, which are to be subjected to further evaluation in a subsequent round of testing. Some of these alloys have been found to catalyze the formation of carbon nano tubes from ethylene at temperatures as low as 350 to 400 C. In contrast, the temperatures typically required for prior catalysts range from 550 to 750 C.

Sun, Ted X.↗

A catalog system for remote-sensing data

The Practical System for Cataloging, Indexing, and Retrieval of Remote Sensing Data developed by the Interdisciplinary Remote Sensing Group at the University of Wisconsin consists of a card catalog, a site-index-map, a site-index-file, an industry-index-file, and a project-index-file. The system is designed for retrieval of remote-sensing data which include imagery, magnetic tapes, flight logs, maps, ground-truth reports, and research reports containing raw data. It can be operated by conventional library methods, but provision has been made for digitizing the system for computer retrieval.

Singh, R. S.↗

Promising More Information

When NASA needed a real-time, online database system capable of tracking documentation changes in its propulsion test facilities, engineers at Stennis Space Center joined with ECT International, of Brookfield, Wisconsin, to create a solution. Through NASA's Dual-Use Program, ECT developed Exdata, a software program that works within the company's existing Promise software. Exdata not only satisfied NASA s requirements, but also expanded ECT s commercial product line. Promise, ECT s primary product, is an intelligent software program with specialized functions for designing and documenting electrical control systems. An addon to AutoCAD software, Promis e generates control system schematics, panel layouts, bills of material, wire lists, and terminal plans. The drawing functions include symbol libraries, macros, and automatic line breaking. Primary Promise customers include manufacturing companies, utilities, and other organizations with complex processes to control.

Source record↗

Real-time spatio-temporal coherence estimation for autonomous mode identification and invariance tracking

A general method of anomaly detection from time-correlated sensor data is disclosed. Multiple time-correlated signals are received. Their cross-signal behavior is compared against a fixed library of invariants. The library is constructed during a training process, which is itself data-driven using the same time-correlated signals. The method is applicable to a broad class of problems and is designed to respond to any departure from normal operation, including faults or events that lie outside the training envelope.

James, Mark L.↗

Development Testing and Analysis of the Integrated Gateway-ESPRIT Bipropellant Refuelling System

The Gateway will be humanity’s first space station orbiting the Moon completed by NASA in partnership with ESA and other US and international partners. The Gateway will provide critical support to sustainable human exploration on the moon through the Artemis program. To enable the Lunar Gateway to complete its mission, on orbit refuelling is essential. The ESPRIT Refuelling Module (ERM) will provide the capability to transfer propellants, MMH and MON-3, through the Habitation and Logistics Outpost (HALO) to the Power and Propulsion Element (PPE). The transfer of these propellants carries known risks and hazards. These hazards include overpressure of the propellant lines during priming sequences between modules and during refuelling pause operations. To support the early system development and to mitigate these risks, a collaborative test program between NASA, ESA and Thales Alenia Space was completed at the Thales Alenia Space test facility in Harwell, UK. This test program integrated fluidic breadboards of the ERM, HALO and PPE modules. The objectives of the test program were to demonstrate and characterise critical performance and transient operations, inform refuelling concept of operations and to calibrate and validate numerical models of the refuelling subsystem in EcosimPro. To support the completion of this final objective a detailed model of the integrated breadboard was developed in EcosimPro and key steady-state and transient test cases were simulated. As an industry first, a National Institute of Standards and Technology (NIST) database correlation for Hydrofluoroether (HFE-7000) was used as a mixed oxides of nitrogen (MON-3) simulant with EcosimPro and European Space Propulsion System Simulation (ESPSS) libraries to result in a more accurate analysis for transient phenomenon such as priming. The test and simulation data showed good agreement validating the model for further system analysis as the ERM design progresses.

Refuelling↗

Programmability in AIPS++

AIPS++ is an Astronomical Information Processing System being designed and implemented by an international consortium of NRAO and six other radio astronomy institutions in Australia, India, the Netherlands, the United Kingdom, Canada, and the USA. AIPS++ is intended to replace the functionality of AIPS, to be more easily programmable, and will be implemented in C++ using object-oriented techniques. Programmability in AIPS++ is planned at three levels. The first level will be that of a command-line interpreter with characteristics similar to IDL and PV-Wave, but with an intensive set of operations appropriate to telescope data handling, image formation, and image processing. The third level will be in C++ with extensive use of class libraries for both basic operations and advanced applications. The third level will allow input and output of data between external FORTRAN programs and AIPS++ telescope and image databases. In addition to summarizing the above programmability characteristics, this talk will given an overview of the classes currently being designed for telescope data calibration and editing, image formation, and the 'toolkit' of mathematical 'objects' that will perform most of the processing in AIPS++.

Hjellming, R. M.↗

Next Generation Flight Displays Using HTML5

The Human Integrated Vehicles and Environments (HIVE) lab at Johnson Space Center (JSC) is focused on bringing together inter-disciplinary talent to design and integrate innovative human interface technologies for next generation manned spacecraft. As part of this objective, my summer internship project centered on an ongoing investigation in to building flight displays using the HTML5 standard. Specifically, the goals of my project were to build and demo "flight-like" crew and wearable displays as well as create a webserver for live systems being developed by the Advanced Exploration Systems (AES) program. In parallel to my project, a LabVIEW application, called a display server, was created by the HIVE that uses an XTCE (XML (Extensible Markup Language) Telemetry and Command Exchange) parser and CCSDS (Consultative Committee for Space Data System) space packet decoder to translate telemetry items sent by the CFS (Core Flight Software) over User Datagram Protocol (UDP). It was the webserver's job to receive these UDP messages and send them to the displays. To accomplish this functionality, I utilized Node.js and the accompanying Express framework. On the display side, I was responsible for creating the power system (AMPS) displays. I did this by using HTML5, CSS and JavaScript to create web pages that could update and change dynamically based on the data they received from the webserver. At this point, I have not started on the commanding, being able to send back to the CFS, portion of the displays but hope to have this functionality working by the completion of my internship. I also created a way to test the webserver's functionality without the display server by making a JavaScript application that read in a comma-separate values (CSV) file and converted it to XML which was then sent over UDP. One of the major requirements of my project was to build everything using as little preexisting code as possible, which I accomplished by only using a handful of JavaScript libraries. As a side project, I created a model of the HIVE lab and Building 29 using SketchUp. I obtained the floorplans of the building from the JSC Geographic Information Systems (GIS), which were computer-aided design (CAD) files, and imported them into SketchUp. I then took those floorplans and created a 3D model of the building from them. Working in conjunction with the Hybrid Reality lab in Building 32, the SketchUp model was imported into Unreal Engine for use with the HTC Vive. Using the Vive, I was able to interact with the model I created in virtual reality (VR). The purpose of this side project was to be able to visualize potential lab layouts and mockup designs as they are in development in order to finalize design decisions. Pending approval, the model that I created will be used in the Build-As-You-Test: Can Hybrid Reality Improve the SE/HSI Design Process project in the fall. Getting the opportunity to work at NASA has been one of the most memorable experiences of my life. Over the course of my internship, I improved my programming and web development abilities substantially. I will take all the skills and experiences I have had while at NASA back to school with me in the fall and hope to pursue a career in the aerospace industry after graduating in the spring.

Greenwood, Brian↗

Automated analysis of video data

A software/hardware system designed and developed to perform automated video imagery analysis is described. Major elements included in the analysis system are: (1) sampling oscilloscope; (2) programmable trigger unit; (3) central computer; and (4) software processing library. The function of the scope and trigger unit, in conjunction with the control computer, is to digitize the selected portion of the video image and store as amplitude and time data in computer memory. Evaluation of the video data, analogus to interpretation of a visual image, is accomplished by the processing software. It is indicated that this technique of video image analysis is applicable to a wide variety of nonaerospace applications involving video data and image analysis.

Hafner, D. J.↗

The MHOST finite element program: 3-D inelastic analysis methods for hot section components. Volume 2: User's manual

The user options available for running the MHOST finite element analysis package is described. MHOST is a solid and structural analysis program based on the mixed finite element technology, and is specifically designed for 3-D inelastic analysis. A family of 2- and 3-D continuum elements along with beam and shell structural elements can be utilized, many options are available in the constitutive equation library, the solution algorithms and the analysis capabilities. The outline of solution algorithms is discussed along with the data input and output, analysis options including the user subroutines and the definition of the finite elements implemented in the program package.

Nakazawa, Shohei↗

SDL: A Surface Description Language

A new interpreted language specifically designed for surface grid generation is introduced. Many unique aspects of the language are discussed, including the farray, vector, curve, and surface data types and the operators used to manipulate them. Custom subroutine libraries written in the language are used to easily build surface grids for generic missile shapes.

Maple, Raymond C.↗

The AAMP5/AAMP-FV project

This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.

Miller, Steven P.↗

Windowing System For Test And Simulation

Windowing System for Test and Simulation (WFI) computer program is Turbo-Pascal-class library enabling easy and flexible writing of data to window-type displays. Application programmer's interface simple, small, and powerful, eliminating steep learning curve of other window programming systems. Each routine specifically designed to operate in real-time testing and measurement environments or as part of simulation process. Written in Turbo Pascal v6.0 for IBM PC-series and compatible computers running MS-DOS. Turbo Pascal v6.0 or v7.0 (Borland) required to compile source code.

Katz, R.↗

NAS Parallel Benchmark. Results 11-96: Performance Comparison of HPF and MPI Based NAS Parallel Benchmarks

High Performance Fortran (HPF), the high-level language for parallel Fortran programming, is based on Fortran 90. HALF was defined by an informal standards committee known as the High Performance Fortran Forum (HPFF) in 1993, and modeled on TMC's CM Fortran language. Several HPF features have since been incorporated into the draft ANSI/ISO Fortran 95, the next formal revision of the Fortran standard. HPF allows users to write a single parallel program that can execute on a serial machine, a shared-memory parallel machine, or a distributed-memory parallel machine. HPF eliminates the complex, error-prone task of explicitly specifying how, where, and when to pass messages between processors on distributed-memory machines, or when to synchronize processors on shared-memory machines. HPF is designed in a way that allows the programmer to code an application at a high level, and then selectively optimize portions of the code by dropping into message-passing or calling tuned library routines as 'extrinsics'. Compilers supporting High Performance Fortran features first appeared in late 1994 and early 1995 from Applied Parallel Research (APR) Digital Equipment Corporation, and The Portland Group (PGI). IBM introduced an HPF compiler for the IBM RS/6000 SP/2 in April of 1996. Over the past two years, these implementations have shown steady improvement in terms of both features and performance. The performance of various hardware/ programming model (HPF and MPI (message passing interface)) combinations will be compared, based on latest NAS (NASA Advanced Supercomputing) Parallel Benchmark (NPB) results, thus providing a cross-machine and cross-model comparison. Specifically, HPF based NPB results will be compared with MPI based NPB results to provide perspective on performance currently obtainable using HPF versus MPI or versus hand-tuned implementations such as those supplied by the hardware vendors. In addition we would also present NPB (Version 1.0) performance results for the following systems: DEC Alpha Server 8400 5/440, Fujitsu VPP Series (VX, VPP300, and VPP700), HP/Convex Exemplar SPP2000, IBM RS/6000 SP P2SC node (120 MHz) NEC SX-4/32, SGI/CRAY T3E, SGI Origin2000.

Saini, Subash↗

Benefits of using Electronic Data Sheets (EDS) with coreFlight Systems (cFS) - A Project Example

Recently there has been interest in the incorporation of core Flight Systems (cFS) with Spacecraft Onboard Interface Services (SOIS) Electronic Data Sheets (EDS) in the spaceflight software community. The Regenerative Fuel Cell project at the Glenn Research Center is using cFS architecture with EDS support for its monitoring and control software. The presentation will outline the benefits to using cFS with EDS support: First, EDS establishes a single source of truth for the definitions of data structures used throughout an entire mission that may otherwise be programmed in different languages and designed with different processor architectures. Not only does this help with inter-application communication via the software bus, but it also greatly simplifies communication between systems. An EDS Application Programming Interface (API) library allows the conversion of EDS data structures to and from native data structures. Second, bindings for other programming languages (e.g. Lua, Python, JSON) have been written to allow the creation and manipulation of EDS data objects within those languages. The RFC project uses Lua scripts to automatically generate binary configuration files at build time to be loaded into our cFS programs. We also use Python bindings in a graphical user interface (GUI) to allow an operator to send commands and view telemetry messages sent from cFS instances. Finally, using Lua scripts we can set up specific simulation scenarios to perform automatic functional testing. During the development of the RFC software, the software team put together a generic python GUI called “cFS-EDS-GroundStation” that provides a basic interface to an instance of cFS with EDS support. The GUI includes a basic telecommand and telemetry system that reads directly from the generated EDS databases. In the telecommand system, dropdown menus are populated with all user commands that are defined in EDS. In the telemetry system, telemetry messages are automatically decoded, written to the screen, and saved to a binary file. Additional Python scripts have been written to convert the binary data files into a comma separated value (CSV) format for further processing. We will demonstrate the basic use of the cFS-EDS-GroundStation software including adding additional commands and telemetry payload values in EDS and see them appear automatically in the cFS-EDS-Groundstation software. About the RFC project: The Regenerative Fuel Cell project is tasked with developing and demonstrating a power system consisting of a fuel cell and electrolyzer to provide power during a lunar day/night cycle. During the night, the fuel cell takes Hydrogen and Oxygen gasses and converts them into electricity, water, and heat. During the day, the electrolyzer takes input power (e.g. from a photovoltaic array) and converts water back into Hydrogen and Oxygen gasses.

Mathew Mccaskey↗

The NASA CloudSat/GPM Light Precipitation Validation Experiment (LPVEx)

Ground-based measurements of cool-season precipitation at mid and high latitudes (e.g., above 45 deg N/S) suggest that a significant fraction of the total precipitation volume falls in the form of light rain, i.e., at rates less than or equal to a few mm/h. These cool-season light rainfall events often originate in situations of a low-altitude (e.g., lower than 2 km) melting level and pose a significant challenge to the fidelity of all satellite-based precipitation measurements, especially those relying on the use of multifrequency passive microwave (PMW) radiometers. As a result, significant disagreements exist between satellite estimates of rainfall accumulation poleward of 45 deg. Ongoing efforts to develop, improve, and ultimately evaluate physically-based algorithms designed to detect and accurately quantify high latitude rainfall, however, suffer from a general lack of detailed, observationally-based ground validation datasets. These datasets serve as a physically consistent framework from which to test and refine algorithm assumptions, and as a means to build the library of algorithm retrieval databases in higher latitude cold-season light precipitation regimes. These databases are especially relevant to NASA's CloudSat and Global Precipitation Measurement (GPM) ground validation programs that are collecting high-latitude precipitation measurements in meteorological systems associated with frequent coolseason light precipitation events. In an effort to improve the inventory of cool-season high-latitude light precipitation databases and advance the physical process assumptions made in satellite-based precipitation retrieval algorithm development, the CloudSat and GPM mission ground validation programs collaborated with the Finnish Meteorological Institute (FMI), the University of Helsinki (UH), and Environment Canada (EC) to conduct the Light Precipitation Validation Experiment (LPVEx). The LPVEx field campaign was designed to make detailed measurements of cool-season light precipitation by leveraging existing infrastructure in the Helsinki Precipitation Testbed. LPVEx was conducted during the months of September--October, 2010 and featured coordinated ground and airborne remote sensing components designed to observe and quantify the precipitation physics associated with light rain in low-altitude melting layer environments over the Gulf of Finland and neighboring land mass surrounding Helsinki, Finland.

Petersen, Walter A.↗

UNIPASS for AvSP? A Broader View

UNIPASS is a general-purpose probabilistic computer program consisting of three major modules, including preprocessor, solver and postprocessor. UNIPASS contains a user-friendly Graphical User Interface (GUI), numerous state-of-the-art probabilistic analysis techniques, a large library of statistical distributions and a function module with a large library of support functions that can easily define any complex limit-state function in a scripting FORTRAN-like syntax format. Its inverse probability analysis and sensitivities analysis capabilities make it a powerful design aid in any product cycle. Its precise numerical analysis engine is accurate enough to push the failure probabilities of a design to well below 10 (exp -50). UNIPASS is equipped with advanced artificial intelligence that is designed to handle systems with an essentially unlimited number of random variables with ease and efficiency. Its modular arrangement allows you to tailor an analysis to the desired level of accuracy and efficiency. The depth and comprehensiveness of UNIPASS are built upon the decades of experience and expertise of industry leaders including Boeing Aircraft, NASA and the DoD. Its rich content also makes UNIPASS a valuable instructional tool for random processes and probabilistic mechanics. The topics include: 1) Reliability in AvSP; 2) Role of UNIPASS in AvSP; and 3) Examples. This paper is in viewgraph form.

Wu, N. Eva↗

Earth Science Markup Language: Transitioning From Design to Application

The primary objective of the proposed Earth Science Markup Language (ESML) research is to transition from design to application. The resulting schema and prototype software will foster community acceptance for the "define once, use anywhere" concept central to ESML. Supporting goals include: 1. Refinement of the ESML schema and software libraries in cooperation with the user community. 2. Application of the ESML schema and software libraries to a variety of Earth science data sets and analysis tools. 3. Development of supporting prototype software for enhanced ease of use. 4. Cooperation with standards bodies in order to assure ESML is aligned with related metadata standards as appropriate. 5. Widespread publication of the ESML approach, schema, and software.

Moe, Karen↗