Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “prototype specifications”

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 775 records · Page 43

XML Based Scientific Data Management Facility

The World Wide Web consortium has developed an Extensible Markup Language (XML) to support the building of better information management infrastructures. The scientific computing community realizing the benefits of HTML has designed markup languages for scientific data. In this paper, we propose a XML based scientific data management facility, XDMF. The project is motivated by the fact that even though a lot of scientific data is being generated, it is not being shared because of lack of standards and infrastructure support for discovering and transforming the data. The proposed data management facility can be used to discover the scientific data itself, the transformation functions, and also for applying the required transformations. We have built a prototype system of the proposed data management facility that can work on different platforms. We have implemented the system using Java, and Apache XSLT engine Xalan. To support remote data and transformation functions, we had to extend the XSLT specification and the Xalan package.

Mehrotra, Piyush↗

XML Based Scientific Data Management Facility

The World Wide Web consortium has developed an Extensible Markup Language (XML) to support the building of better information management infrastructures. The scientific computing community realizing the benefits of XML has designed markup languages for scientific data. In this paper, we propose a XML based scientific data management ,facility, XDMF. The project is motivated by the fact that even though a lot of scientific data is being generated, it is not being shared because of lack of standards and infrastructure support for discovering and transforming the data. The proposed data management facility can be used to discover the scientific data itself, the transformation functions, and also for applying the required transformations. We have built a prototype system of the proposed data management facility that can work on different platforms. We have implemented the system using Java, and Apache XSLT engine Xalan. To support remote data and transformation functions, we had to extend the XSLT specification and the Xalan package.

Mehrotra, P.↗

180-GHz Interferometric Imager

A 180-GHz interferometric imager uses compact receiver modules, combined high- and low-gain antennas, and ASIC (application specific integrated circuit) correlator technology, enabling continuous, all-weather observations of water vapor with 25-km resolution and 0.3-K noise in 15 minutes of observation for numerical weather forecasting and tropical storm prediction. The GeoSTAR-II prototype instrument is broken down into four major subsystems: the compact, low-noise receivers; sub-array modules; IF signal distribution; and the digitizer/correlator. Instead of the single row of antennas adopted in GeoSTAR, this version has four rows of antennas on a coarser grid. This dramatically improves the sensitivity in the desired field of view. The GeoSTAR-II instrument is a 48-element, synthetic, thinned aperture radiometer operating at 165-183 GHz. The instrument has compact receivers integrated into tiles of 16 elements in a 4x4 arrangement. These tiles become the building block of larger arrays. The tiles contain signal distribution for bias controls, IF signal, and local oscillator signals. The IF signals are digitized and correlated using an ASIC correlator to minimize power consumption. Previous synthetic aperture imagers have used comparatively large multichip modules, whereas this approach uses chip-scale modules mounted on circuit boards, which are in turn mounted on the distribution manifolds. This minimizes the number of connectors and reduces system mass. The use of ASIC technology in the digitizers and correlators leads to a power reduction close to an order of magnitude.

Kangaslahti, Pekka P.↗

Installation package for SIMS prototype system 2, solar hot water

The prototype system 2 solar hot water was designed for use in a single family dwelling and consists of the following subsystems: collector, storage, energy transport, and control. Guidelines are presented for utilization in the development of detailed installation plans and specifications. Instruction on operation, maintenance, and repair of the system is discussed.

Source record↗

High voltage spark carbon fiber detection system

The pulse discharge technique was used to determine the length and density of carbon fibers released from fiber composite materials during a fire or aircraft accident. Specifications are given for the system which uses the ability of a carbon fiber to initiate spark discharge across a high voltage biased grid to achieve accurate counting and sizing of fibers. The design of the system was optimized, and prototype hardware proved satisfactory in laboratory and field tests.

Yang, L. C.↗

Spectroscopy and nonthermal processes

Stellar spectra are analyzed to determine nonthermal processes for cool stars. A shock wave crossing model is supported by a study of the behavior of absorption and emission spectra. The shock waves are attributed to atmospheric kinetics. Circumstellar spectral lines are studied for information about gaseous circumstellar layers. The description of stellar envelopes is carried on through circumstellar dust. Characteristic properties of polarization in the dust are described in the case of specific stars, emphasizing narrowband observations in Mira, semiregular, and supergiant stars. Finally, the direct approach to measuring the angular diameters of stars and mapping the distribution of circumstellar dust and gas by lunar occultation or interferometry is discussed, using two prototype stars, an M supergiant and a dusty carbon star.

Querci, Monique↗

Medical evaluations on the KC-135 1990 flight report summary

The medical investigations completed on the KC-135 during FY 1990 in support of the development of the Health Maintenance Facility and Medical Operations are discussed. The experiments are comprised of engineering evaluations of medical hardware and medical procedures. The investigating teams are made up of both medical and engineering personnel responsible for the development of medical hardware and medical operations. The hardware evaluated includes dental equipment, a coagulation analyzer, selected pharmaceutical aerosol devices, a prototype air/fluid separator, a prototype packaging and stowage system for medical supplies, a microliter metering system, and a workstation for minor surgical procedures. The results of these engineering evaluations will be used in the design of fleet hardware as well as to identify hardware specific training requirements.

Lloyd, Charles W.↗

A high-performance photovoltaic concentrator array - The mini-dome Fresnel lens concentrator with 30 percent efficient GaAs/GaSb tandem cells

A high-efficiency, lightweight space photovoltaic concentrator array is described. Previous work on the minidome Fresnel lens concentrator concept is being integrated with Boeing's 30 percent efficient tandem GaAs/GaSb concentrator cells into a high-performance photovoltaic array. Calculations indicate that, in the near term, such an array can achieve 300 W/sq m at a specific power of 100 W/kg. Emphasis of the program has now shifted to integrating the concentrator lens, tandem cell, and supporting panel structure into a space-qualifiable array. A description is presented of the current status of component and prototype panel testing and the development of a flight panel for the Photovoltaic Array Space Power Plus Diagnostics (PASP PLUS) flight experiment.

Piszczor, M. F.↗

Motion Planning in a Society of Intelligent Mobile Agents

The majority of the work on this grant involved formal modeling of human-computer integration. We conceptualize computer resources as a multiagent system so that these resources and human collaborators may be modeled uniformly. In previous work we had used modal for this uniform modeling, and we had developed a process-algebraic agent abstraction. In this work, we applied this abstraction (using CSP) in uniformly modeling agents and users, which allowed us to use tools for investigating CSP models. This work revealed the power of, process-algebraic handshakes in modeling face-to-face conversation. We also investigated specifications of human-computer systems in the style of algebraic specification. This involved specifying the common knowledge required for coordination and process-algebraic patterns of communication actions intended to establish the common knowledge. We investigated the conditions for agents endowed with perception to gain common knowledge and implemented a prototype neural-network system that allows agents to detect when such conditions hold. The literature on multiagent systems conceptualizes communication actions as speech acts. We implemented a prototype system that infers the deontic effects (obligations, permissions, prohibitions) of speech acts and detects violations of these effects. A prototype distributed system was developed that allows users to collaborate in moving proxy agents; it was designed to exploit handshakes and common knowledge Finally. in work carried over from a previous NASA ARC grant, about fifteen undergraduates developed and presented projects on multiagent motion planning.

Esterline, Albert C.↗

Surveillance Range and Interference Impacts on Self-Separation Performance

Self-separation is a concept of flight operations that aims to provide user benefits and increase airspace capacity by transferring traffic separation responsibility from ground-based controllers to the flight crew. Self-separation is enabled by cooperative airborne surveillance, such as that provided by the Automatic Dependent Surveillance-Broadcast (ADSB) system and airborne separation assistance technologies. This paper describes an assessment of the impact of ADS-B system performance on the performance of self-separation as a step towards establishing far-term ADS-B performance requirements. Specifically, the impacts of ADS-B surveillance range and interference limitations were analyzed under different traffic density levels. The analysis was performed using a batch simulation of aircraft performing self-separation assisted by NASA s Autonomous Operations Planner prototype flight-deck tool, in two-dimensional airspace. An aircraft detected conflicts within a look-ahead time of ten minutes and resolved them using strategic closed trajectories or tactical open maneuvers if the time to loss of separation was below a threshold. While a complex interaction was observed between the impacts of surveillance range and interference, as both factors are physically coupled, self-separation performance followed expected trends. An increase in surveillance range resulted in a decrease in the number of conflict detections, an increase in the average conflict detection lead time, and an increase in the percentage of conflict resolutions that were strategic. The majority of the benefit was observed when surveillance range was increased to a value corresponding to the conflict detection look-ahead time. The benefits were attenuated at higher interference levels. Increase in traffic density resulted in a significant increase in the number of conflict detections, as expected, but had no effect on the conflict detection lead time and the percentage of conflict resolutions that were strategic. With surveillance range corresponding to ADS-B minimum operational performance standards for Class A3 equipment and without background interference, a significant portion of conflict resolutions, 97 percent, were achieved in the preferred strategic mode. The majority of conflict resolutions, 71 percent, were strategic even with very high interference (over three times that expected in 2035).

Idris, Husni↗

Hardware Implementation of Lossless Adaptive Compression of Data From a Hyperspectral Imager

Efficient onboard data compression can reduce the data volume from hyperspectral imagers on NASA and DoD spacecraft in order to return as much imagery as possible through constrained downlink channels. Lossless compression is important for signature extraction, object recognition, and feature classification capabilities. To provide onboard data compression, a hardware implementation of a lossless hyperspectral compression algorithm was developed using a field programmable gate array (FPGA). The underlying algorithm is the Fast Lossless (FL) compression algorithm reported in Fast Lossless Compression of Multispectral- Image Data (NPO-42517), NASA Tech Briefs, Vol. 30, No. 8 (August 2006), p. 26 with the modification reported in Lossless, Multi-Spectral Data Comressor for Improved Compression for Pushbroom-Type Instruments (NPO-45473), NASA Tech Briefs, Vol. 32, No. 7 (July 2008) p. 63, which provides improved compression performance for data from pushbroom-type imagers. An FPGA implementation of the unmodified FL algorithm was previously developed and reported in Fast and Adaptive Lossless Onboard Hyperspectral Data Compression System (NPO-46867), NASA Tech Briefs, Vol. 36, No. 5 (May 2012) p. 42. The essence of the FL algorithm is adaptive linear predictive compression using the sign algorithm for filter adaption. The FL compressor achieves a combination of low complexity and compression effectiveness that exceeds that of stateof- the-art techniques currently in use. The modification changes the predictor structure to tolerate differences in sensitivity of different detector elements, as occurs in pushbroom-type imagers, which are suitable for spacecraft use. The FPGA implementation offers a low-cost, flexible solution compared to traditional ASIC (application specific integrated circuit) and can be integrated as an intellectual property (IP) for part of, e.g., a design that manages the instrument interface. The FPGA implementation was benchmarked on the Xilinx Virtex IV LX25 device, and ported to a Xilinx prototype board. The current implementation has a critical path of 29.5 ns, which dictated a clock speed of 33 MHz. The critical path delay is end-to-end measurement between the uncompressed input data and the output compression data stream. The implementation compresses one sample every clock cycle, which results in a speed of 33 Msample/s. The implementation has a rather low device use of the Xilinx Virtex IV LX25, making the total power consumption of the implementation about 1.27 W.

Keymeulen, Didlier↗

A Novel Method for Characterizing Spacesuit Mobility Through Metabolic Cost

Historically, spacesuit mobility has been characterized by directly measuring both range of motion and joint torque of individual anatomic joints. The work detailed herein aims to improve on this method, which is often prone to uncertainly, lack of repeatability, and a general lack of applicability to real-world functional tasks. Specifically, the goal of this work is to characterize suited mobility performance by directly measuring the metabolic performance of the occupant. Pilot testing was conducted in 2013, employing three subjects performing a range of functional tasks in two different suits prototypes, the Mark III and Z-1. Cursory analysis of the results shows the approach has merit, with consistent performance trends toward one suit over the other. Forward work includes the need to look at more subjects, a refined task set, and another suit in a different mass/mobility regime to validate the approach.

McFarland, Shane M.↗

Generating Real-Time Robotics Control Software from SysML

In this paper, we outline an approach for autogenerating real-time robotics control code from hierarchical state machines and hardware configurations encoded in Systems Modeling Language (SysML). We propose a software architecture that provides an abstract SysML layer with access to device state information and a set of primitive device commands, such as move actuator and release brake, allowing a user to build up a complete functional state machine directly in SysML. The SysML diagram is then exported to a standard SCXML file format and subsequently used to auto-generate hardware control code. Once this architecture is in place, the only explicit code elements that need to be written are the primitive device commands, which can be easily unit tested and reused across different systems. The motivation for this work was the need for a test bed that enables the rapid prototyping of mechanisms and control algorithms for a spacecraft that could ultimately be used for preparing Martian rock samples for their return to Earth. To this end, our software system was also designed to allow for the run-time specification of the hardware layout in SysML, with the hardware-level control functions kept agnostic to the specific parameters or communication bus of any particular device. Further, we outline a system for specifying both the state machine and hardware configuration in the MagicDraw IDE in such a way that the system can be simulated before any code is generated. The resultant software system is easy to debug, understand, and allows users to choose how much information is encoded as a visual or text-based representation.

Godart, Peter↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

Thermomechanical Stress and Creep-Fatigue Analysis of a High-Temperature Prototype Receiver for Heating Particles

This work presents a three-dimensional (3D) thermomechanical model of a prototype-scale enclosed light trapping solar receiver for heating particles. Results of the thermoelastic model are used to estimate receiver lifetime under maximum flux conditions. A computational fluid dynamics (CFD) model is first developed to predict the temperature fields in a multi-panel assembly under steady operating conditions. Solar flux distributions on the receiver are obtained from the software package SolTrace and applied to the 3D thermal model. The subsequent particle heating is captured through a simplified 1D energy balance. Panel reradiation is considered through a surface-to-surface radiation model and natural convection loss to the surrounding air is captured in a representative fluid domain surrounding the receiver. The resulting temperature fields from the CFD analysis are used as inputs for a thermoelastic mechanical model with representative boundary conditions. With the resultant temperature and stress fields, a creep-fatigue damage and lifetime analysis is performed using the linear damage accumulation (LDA) theory. The Manson-Coffin formula and Larson Miller correlation are used to calculate the fatigue and creep, respectively. A maximum damage (corresponding to a 30-year service life) is defined for design assessment. The model was first developed and verified in detail by comparing with published results in the literature (temperature and stress profiles and distributions, and creep/fatigue damage fractions) for tubular solar receivers with supercritical carbon dioxide as the working fluid. It was then implemented to model a planar-cavity receiver with various design parameters. Specifically, three different design geometries are considered, and the results show that a maximum temperature of approximately 1200 K could be reached for each design with the given incident solar flux, with the main difference being the distribution of these temperatures. Preliminary resulting stresses for the small-scale prototype without design optimization vary from 20 MPa to 250 MPa for each design, with the maximum stresses occurring on the front face and concave geometry on the side of the panel. In future work, the developed methodology shown here will be applied to analyze a full-scale (50-150 MWth) receiver.

concentrated solar power↗

Conservation Voltage Reduction with Distributed Energy Resource Management System, Grid-Edge, and Legacy Devices

Distribution utilities use conservation voltage reduction (CVR) to obtain energy savings and lower peak demand by reducing bus voltages. Traditionally, the CVR is accomplished by controlling the legacy assets such as load tap changers, voltage regulators, and capacitor banks. The deployment of the advanced distribution management system (ADMS) and distributed energy resource management system (DERMS) enables the integration of distributed energy resources into the distribution networks and provide the grid services including CVR. This paper studies the coordinated operation of an ADMS and a DERMS in achieving CVR and voltage regulation. A commercial ADMS uses legacy devices and Edge-of-Network Grid Optimization (ENGO) devices to obtain energy savings through CVR. A prototype DERMS dispatches the photovoltaic smart inverters based on real-time optimal power low to ensure voltage regulation across the feeder. The results show that the coordinated operation of ADMS and DERMS is effective in achieving CVR and voltage regulation. Specifically, energy savings of up to 4.7% are observed in the real utility distribution system used in this study.

advanced distribution management system↗

Processor architectures utilizing magnetic bubble and semi-conductor memories

To aid work being conducted on the feasibility of a low cost Omega navigational receiver, a control panel was designed and constructed according to supplied specifications. Since the proposed Omega receiver is designed around a microprocessor, software engineering necessary for control panel operation is included in the design. The control panel is to be used as an operational model for use in the design of a prototype receiver. A detailed description of the hardware design is presented along with a description of the software needed to operate the panel. A complete description of the operating procedures for the panel are also included.

Parrish, E. A., Jr.↗