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 55 records · Page 3

Development of an Instrument Performance Simulation Capability for an Infrared Correlation Radiometer for Troposheric Carbon Monoxide Measurements From Geo

We present the progress toward an analytical performance model of a 2.3 micron infrared correlation radiometer (IRCRg) prototype subsystem for a future geostationary space-borne instrument. The prototype is designed specifically to measure carbon monoxide (CO) from geostationary orbit. NASA's Geostationary Coastal and Air Pollution Events (GEO-CAPE) mission, one of the United States Earth Science and Applications Decadal Survey missions, specifies the use of infrared correlation radiometry to measure CO in two spectral regions for this mission. GEO-CAPE will use the robust IRCR measurement technique at geostationary orbit, nearly 50 times farther away than the Terra/MOPITT orbit, to determine hourly changes in CO across a continental domain. The abundance of CO in Earth's troposphere directly affects the concentration of hydroxyl, which regulates the lifetimes of many tropospheric pollutants. In addition, CO is a precursor to ozone formation; CO is used as a tracer to study the transport of global and regional pollutants; and CO is used as an indicator of both natural and anthropogenic air pollution sources and sinks. We have structured our development project to enable rapid evaluation of future spaceborne instrument designs. The project is part of NASA's Instrument Incubator Program. We describe the architecture of the performance model and the planned evaluation of the performance model using laboratory test data.

OsowskiNeil, Doreen↗

Development of a Low Power Gas Chromatograph-Mass Spectrometer for In-Situ Detection of Organics in Martian Soil

The Mars Organic Molecule Analyzer (MOMA) is a joint venture by NASA and the European Space Agency (ESA) to develop a sensitive, light-weight, low-power mass spectrometer for chemical analysis on Mars. MOMA is a key analytical instrument aboard the 2018 ExoMars rover mission seeking signs of past or present life. The current prototype was built to demonstrate operation of gas chromatography (OC) and laser desorption (LD) mass spectrometry under martian ambient conditions (5-7 Torr of CO2-rich atmosphere). Recent reports have discussed the MO MA concept, design and performance. Here, we update the current prototype performance, focusing specifically on the GCMS mode.

Pinnick, Veronica↗

Verification of the Convection-Allowing Ensemble System over the Hindu Kush Himalaya Region During the 2018 and 2019 Pre-Monsoon Severe Thunderstorm Seasons

Some of the most intense thunderstorms on the planet occur in the Hindu Kush Himalaya (HKH) region of South-Central Asia. NASA/SERVIR Applied Sciences Team competitive project to develop capacity of severe thunderstorm monitoring and forecasting tool for HKH. Project Goal: Use [NASA] modeling and remote-sensing assets to build early warning capabilities and facilitate timely disaster response for high impact weather events in the HKH region. Specific objectives: 1. Prototype and transition High-Impact Weather Assessment Toolkit (HIWAT) 2. Jointly develop HIWAT capabilities & training with SERVIR’s hub in Kathmandu, Nepal: International Centre for Integrated Mountain Development (ICIMOD) 3. Demonstrate capacity in end-user environment 4. Transition HIWAT system to ICIMOD for future maintenance.

Case, Jonathan L.↗

Matrix Theory for Data Association in PVS

Consider a collection of data generated by sensors from a set of aircraft. Data association is the process of connecting each sensor measurement with its corresponding aircraft. Furthermore once the data association has taken place, the state of the aircraft can be approximated using a Kalman filter. This talk aims to explore formal specification and verification of data association in the Prototype Verification System (PVS). Formal specification and verification of data association includes development of Kalman filters, Mahalanobis distance, and other topics of matrix analysis in PVS.

Linear Algebra↗

Lessons Learned in Fabrication of a High-Specific-Torque Concentric Magnetic Gear

Magnetic gearing is being investigated at NASA as a replacement to conventional mechanical gearing in aerospace applications. Some key benefits of magnetic gears over mechanical gearing are torque transmission without mechanical contact, decreased transmission noise, less frequent maintenance, and lack of lubrication. In order to take advantage of these benefits in aerospace applications, magnetic gearing must be shown to provide high enough specific torque (torque per unit mass). Prototype 2 (PT-2), developed to maximize specific torque, and fabricated at NASA Glenn Research Center, has shown promising specific torque comparable to low torque mechanical gears. This work will briefly review the electromagnetic and structural design of PT-2, provide detailed information on fabrication and assembly, examine build errors, walk through rebuild efforts to improve operation, and conclude with remarks on build difficulties and opportunities for improvement in future prototypes.

Electrified Vertical Take Off and Landing↗

Integration and evaluation of a simulator designed to be used within a dynamic prototyping environment

The human computer interface (HCI) prototyping environment is designed to allow developers to rapidly prototype systems so that the interface and functionality of a system can be evaluated and iteratively refined early in the development process. This keeps development costs down by modifying the interface during the requirements definition phase, thus minimizing changes that need to be made during and after flight code development. Problems occur within a system when the user interface is not adequately developed and when designers and developers have an incomplete understanding of the system requirements. A process has been developed for prototyping on-board payload displays for Space Station Freedom. This prototyping process consists of five phases: identification of known requirements, analysis of the requirements, development of a formal design representation and specification, development of the prototype, and evaluation of the prototype. The actual development of the prototype involves prototyping the displays, developing a low fidelity simulator, building of an interface (or communication) between the displays and the simulator, integration of these components, and testing to ensure that the interface does what the developer expects. This research integrates and evaluates a software tool which has been developed to serve as a simulator within the prototyping environment. The tool is being evaluated to determine whether or not it meets the basic requirements which are needed for a low fidelity simulator within this environment. In order to evaluate the architecture and its components, a human computer interface for and a simulator of an automobile have been developed as a prototype. The individual components (i.e., the interface and simulator) have been developed, and the current research was designed to integrate and test the complete working system within the prototyping environment. The following sections will describe the architecture and components of the rapid prototyping environment, the development of a system to assess the environment, and the integration and evaluation of PERCNET.

Moore, Loretta A.↗

Analysis of the distribution of pitch angles in model galactic disks - Numerical methods and algorithms

An automated mathematical method capable of successfully isolating the many different features in prototype and observed spiral galaxies and of accurately measuring the pitch angles and lengths of these individual features is developed. The method is applied to analyze the evolution of specific features in a prototype galaxy exhibiting flocculent spiral structure. The mathematical-computational method was separated into two components. Initially, the galaxy was partitioned into dense regions constituting features using two different methods. The results obtained using these two partitioning algorithms were very similar, from which it is inferred that no numerical biasing was evident and that capturing of the features was consistent. Standard least-squares methods underestimated the true slope of the cloud distribution and were incapable of approximating an orientation of 45 deg. The problems were overcome by introducing a superior fit least-squares method, developed with the intention of calculating true orientation rather than a regression line.

Russell, William S.↗

Structured representation for requirements and specifications

This document was generated in support of NASA contract NAS1-18586, Design and Validation of Digital Flight Control Systems suitable for Fly-By-Wire Applications, Task Assignment 2. Task 2 is associated with a formal representation of requirements and specifications. In particular, this document contains results associated with the development of a Wide-Spectrum Requirements Specification Language (WSRSL) that can be used to express system requirements and specifications in both stylized and formal forms. Included with this development are prototype tools to support the specification language. In addition a preliminary requirements specification methodology based on the WSRSL has been developed. Lastly, the methodology has been applied to an Advanced Subsonic Civil Transport Flight Control System.

Cohen, Gerald C.↗

An intelligent ground operator support system

This paper presents first results of the project 'Technologien fuer die intelligente Kontrolle von Raumfahrzeugen' (TIKON). The TIKON objective was the demonstration of feasibility and profit of the application of artificial intelligence in the space business. For that purpose a prototype system has been developed and implemented for the operation support of the Roentgen Satellite (ROSAT), a scientific spacecraft designed to perform the first all-sky survey with a high-resolution X-ray telescope and to investigate the emission of specific celestial sources. The prototype integrates a scheduler and a diagnosis tool both based on artificial intelligence techniques. The user interface is menu driven and provides synoptic displays for the visualization of the system status. The prototype has been used and tested in parallel to an already existing operational system.

Goerlach, Thomas↗

NASA SETI microwave observing project: Sky Survey element

The SETI Sky Survey Observing Program is one of two complimentary strategies that NASA plans to use in its microwave Search for Extraterrestrial Intelligence (SETI). The primary objective of the sky survey is to search the entire sky over the frequency range of 1.0 to 10.0 GHz for evidence of narrow band signals of extraterrestrial intelligent origin. Frequency resolutions of 30 Hz or narrower will be used across the entire band. Spectrum analyzers with upwards of ten million channels are required to keep the survey time approximately 6 years. Data rates in excess of 10 megabits per second will be generated in the data taking process. Sophisticated data processing techniques will be required to determine the ever changing receiver baselines, and to detect and archive potential SETI signals. Existing radio telescopes, including several of NASA's Deep Space Network (DSN) 34 meter antennas located at Goldstone, CA and Tidbinbilla, Australia will be used for the observations. The JPL has the primary responsibility to develop and carry out the sky survey. In order to lay the foundation for the full scale SETI Sky Survey, a prototype system is being developed at the JPL. The system will be installed at the new 34-m high efficiency antenna at the Deep Space Station (DSS) 13 research and development station, Goldstone, CA, where it will be used to initiate the observational phase of the NASA SETI Sky Survey. It is anticipated that the early observations will be useful to test signal detection algorithms, scan strategies, and radio frequency interference rejection schemes. The SETI specific elements of the prototype system are: (1) the Wide Band Spectrum Analyzer (WBSA); a 2-million channel fast Fourier transformation (FFT) spectrum analyzer which covers an instantaneous bandpass of 40 MHz; (2) the signal detection processor; and (3) the SETI Sky Survey Manager, a network-based C-language environment that provides observatory control, performs data acquisition and analysis algorithms. A high level description of the prototype hardware and software systems will be given and the current status of the system development will be reported.

Klein, M. J.↗

Observations from a prototype implementation of the Common APSE Interface Set (CAIS)

This paper presents an overview of the Common Ada Programming Support Environment (APSE) Interface Set (CAIS), its purpose, and its history. The paper describes an internal research and development effort at the Mitre Corporation to implement a prototype version of the current CAIS specification and to rehost existing Ada software development tools onto the CAIS prototype. Based on this effort, observations are made on the maturity and functionality of the CAIS. These observations support the government's current policy of publicizing the CAIS specification as a baseline for public review in support of its evolution into a standard which can be mandated for use as Ada is today.

Mcclimens, M.↗

Software engineering activities at SEI (Software Engineering Institute)

Prototyping was shown to ease system specification and implementation, especially in the area of user interfaces. Other prototyping approaches do not allow for the evolution of the prototype into a production system or support maintenance after the system is fielded. A set of goals is presented for a modern user interface environment and Serpent, a prototype implementation that achieves these goals, is described.

Chittister, Clyde↗

An elementary tutorial on formal specification and verification using PVS

A tutorial on the development of a formal specification and its verification using the Prototype Verification System (PVS) is presented. The tutorial presents the formal specification and verification techniques by way of specific example - an airline reservation system. The airline reservation system is modeled as a simple state machine with two basic operations. These operations are shown to preserve a state invariant using the theorem proving capabilities of PVS. The technique of validating a specification via 'putative theorem proving' is also discussed and illustrated in detail. This paper is intended for the novice and assumes only some of the basic concepts of logic. A complete description of user inputs and the PVS output is provided and thus it can be effectively used while one is sitting at a computer terminal.

Butler, Ricky W.↗

Evaluation of the electro-optic direction sensor

Evaluation of a no-moving-parts single-axis star tracker called an electro-optic direction sensor (EODS) concept is described and the results are given in detail. The work involved experimental evaluation of a breadboard sensor yielding results which would permit design of a prototype sensor for a specific application. The laboratory work included evaluation of the noise equivalent input angle of the sensor, demonstration of a technique for producing an acquisition signal, constraints on the useful field-of-view, and a qualitative evaluation of the effects of stray light. In addition, the potential of the silicon avalanche-type photodiode for this application was investigated. No benefit in noise figure was found, but the easily adjustable gain of the avalanche device was useful. The use of mechanical tuning of the modulating element to reduce voltage requirements was also explored. The predicted performance of EODS in both photomultiplier and solid state detector configurations was compared to an existing state-of-the-art star tracker.

Johnson, A. R.↗

Flight software development for the isothermal dendritic growth experiment

The Isothermal Dendritic Growth Experiment (IDGE) is a microgravity materials science experiment scheduled to fly in the cargo bay of the shuttle on the United States Microgravity Payload (USMP) carrier. The experiment will be operated by real-time control software which will not only monitor and control onboard experiment hardware, but will also communicate, via downlink data and uplink commands, with the Payload Operations Control Center (POCC) at NASA George C. Marshall Space Flight Center (MSFC). The software development approach being used to implement this system began with software functional requirements specification. This was accomplished using the Yourdon/DeMarco methodology as supplemented by the Ward/Mellor real-time extensions. The requirements specification in combination with software prototyping was then used to generate a detailed design consisting of structure charts, module prologues, and Program Design Language (PDL) specifications. This detailed design will next be used to code the software, followed finally by testing against the functional requirements. The result will be a modular real-time control software system with traceability through every phase of the development process.

Levinson, Laurie H.↗

Flight software development for the isothermal dendritic growth experiment

The Isothermal Dendritic Growth Experiment (IDGE) is a microgravity materials science experiment scheduled to fly in the cargo bay of the shuttle on the United States Microgravity Payload (USMP) carrier. The experiment will be operated by real-time control software which will not only monitor and control onboard experiment hardware, but will also communicate, via downlink data and unlink commands, with the Payload Operations Control Center (POCC) at NASA George C. Marshall Space Flight Center (MSFC). The software development approach being used to implement this system began with software functional requirements specification. This was accomplished using the Yourdon/DeMarco methodology as supplemented by the Ward/Mellor real-time extensions. The requirements specification in combination with software prototyping was then used to generate a detailed design consisting of structure charts, module prologues, and Program Design Language (PDL) specifications. This detailed design will next be used to code the software, followed finally by testing against the functional requirements. The result will be a modular real-time control software system with traceability through every phase of the development process.

Levinson, Laurie H.↗

Domain specific software design for decision aiding

McDonnell Aircraft Company (MCAIR) is involved in many large multi-discipline design and development efforts of tactical aircraft. These involve a number of design disciplines that must be coordinated to produce an integrated design and a successful product. Our interpretation of a domain specific software design (DSSD) is that of a representation or framework that is specialized to support a limited problem domain. A DSSD is an abstract software design that is shaped by the problem characteristics. This parallels the theme of object-oriented analysis and design of letting the problem model directly drive the design. The DSSD concept extends the notion of software reusability to include representations or frameworks. It supports the entire software life cycle and specifically leads to improved prototyping capability, supports system integration, and promotes reuse of software designs and supporting frameworks. The example presented in this paper is the task network architecture or design which was developed for the MCAIR Pilot's Associate program. The task network concept supported both module development and system integration within the domain of operator decision aiding. It is presented as an instance where a software design exhibited many of the attributes associated with DSSD concept.

Keller, Kirby↗

Prototype Backscatter Moessbauer Spectrometer for Measurement of Martian Surface Mineralogy

We have designed and successfully tested a prototype of a backscatter Moessbauer spectrometer (BaMS) targeted for use on the Martian surface to (1) determine oxidation states of iron, and (2) identify and determine relative abundances of iron-bearing mineralogies. No sample preparation is required to perform measurements; it is only necessary to bring sample and instrument into physical contact. The prototype meets our projected specification for a flight instrument in terms of mass, power, and volume. A Moessbauer spectrometer on the Martian surface would provide wide variety of information about the current state of the Martian surface, and this information is described.

Shelfer, T. D.↗