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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Strategies for concurrent processing of complex algorithms in data driven architectures

Research directed at developing a graph theoretical model for describing data and control flow associated with the execution of large grained algorithms in a special distributed computer environment is presented. This model is identified by the acronym ATAMM which represents Algorithms To Architecture Mapping Model. The purpose of such a model is to provide a basis for establishing rules for relating an algorithm to its execution in a multiprocessor environment. Specifications derived from the model lead directly to the description of a data flow architecture which is a consequence of the inherent behavior of the data and control flow described by the model. The purpose of the ATAMM based architecture is to provide an analytical basis for performance evaluation. The ATAMM model and architecture specifications are demonstrated on a prototype system for concept validation.

Stoughton, John W.↗
NASA NTRS1986

Software engineering environment tool set integration

Space Transportation System Division (STSD) Engineering has a program to promote excellence within the engineering function. This program resulted in a capital funded facility based on a VAX cluster called the Rockwell Operational Engineering System (ROSES). The second phase of a three phase plan to establish an integrated software engineering environment for ROSES is examined. It discusses briefly phase one which establishes the basic capability for a modern software development environment to include a tool set, training and standards. Phase two is a tool set integration. The tool set is primarily off-the-shelf tools acquired through vendors or government agencies (public domain). These tools were placed into categories of software development. These categories are: requirements, design, and construction support; verification and validation support; and software management support. The integration of the tool set is being performed through concept prototyping and development of tools specifically designed to support the life cycle and provide transition from one phase to the next.

Selfridge, William P.↗
NASA NTRS1994

Application of star identification using pattern matching to space ground systems at GSFC

This paper reports the application of pattern recognition techniques for star identification based on those proposed by Van Bezooijen to space ground systems for near-real-time attitude determination. A prototype was developed using these algorithms, which was used to assess the suitability of these techniques for support of the X-Ray Timing Explorer (XTE), Submillimeter Wave Astronomy Satellite (SWAS), and the Solar and Heliospheric Observatory (SOHO) missions. Experience with the prototype was used to refine specifications for the operational system. Different geometry tests appropriate to the mission requirements of XTE, SWAS, and SOHO were adopted. The applications of these techniques to upcoming mission support of XTE, SWAS, and SOHO are discussed.

Fink, D.↗
NASA NTRS1995

Applying AI tools to operational space environmental analysis

The U.S. Air Force and National Oceanic Atmospheric Agency (NOAA) space environmental operations centers are facing increasingly complex challenges meeting the needs of their growing user community. These centers provide current space environmental information and short term forecasts of geomagnetic activity. Recent advances in modeling and data access have provided sophisticated tools for making accurate and timely forecasts, but have introduced new problems associated with handling and analyzing large quantities of complex data. AI (Artificial Intelligence) techniques have been considered as potential solutions to some of these problems. Fielding AI systems has proven more difficult than expected, in part because of operational constraints. Using systems which have been demonstrated successfully in the operational environment will provide a basis for a useful data fusion and analysis capability. Our approach uses a general purpose AI system already in operational use within the military intelligence community, called the Temporal Analysis System (TAS). TAS is an operational suite of tools supporting data processing, data visualization, historical analysis, situation assessment and predictive analysis. TAS includes expert system tools to analyze incoming events for indications of particular situations and predicts future activity. The expert system operates on a knowledge base of temporal patterns encoded using a knowledge representation called Temporal Transition Models (TTM's) and an event database maintained by the other TAS tools. The system also includes a robust knowledge acquisition and maintenance tool for creating TTM's using a graphical specification language. The ability to manipulate TTM's in a graphical format gives non-computer specialists an intuitive way of accessing and editing the knowledge base. To support space environmental analyses, we used TAS's ability to define domain specific event analysis abstractions. The prototype system defines events covering reports of natural phenomena such as solar flares, bursts, geomagnetic storms, and five others pertinent to space environmental analysis. With our preliminary event definitions we experimented with TAS's support for temporal pattern analysis using X-ray flare and geomagnetic storm forecasts as case studies. We are currently working on a framework for integrating advanced graphics and space environmental models into this analytical environment.

Krajnak, Mike↗
NASA NTRS1994

Flight System Testbed for Low Cost Spacecraft Interface Evaluation

A world leader in space technology, JPL has over 30 years experience in developing spacecraft systems and managing deep space missions for NASA. Future scientific missions will require the rapid development of small, lightweight, high-technology, low-cost spacecraft. JPL is developing a method of meeting these requirements: a test facility specifically for supporting a rapid prototyping development environment that creates a virtual (simulated) spacecraft in which system-level evaluations of components can be carried out very early in the development cycle, long before an actual spacecraft is built.

flight system testbed component evaluation reengin↗
NASA NTRS2009

Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle

This paper presents the specification and verification in the Prototype Verification System (PVS) of a protocol intended to facilitate communication in an experimental remotely operated vehicle used by NASA researchers. The protocol is defined as a stack-layered com- position of simpler protocols. It can be seen as the vertical composition of protocol layers, where each layer performs input and output message processing, and the horizontal composition of different processes concurrently inhabiting the same layer, where each process satisfies a distinct requirement. It is formally proven that the protocol components satisfy certain delivery guarantees. Compositional techniques are used to prove these guarantees also hold in the composed system. Although the protocol itself is not novel, the methodology employed in its verification extends existing techniques by automating the tedious and usually cumbersome part of the proof, thereby making the iterative design process of protocols feasible.

Goodloe, Alwyn E.↗
NASA NTRS2015

Security-Enhanced Autonomous Network Management

Ensuring reliable communication in next-generation space networks requires a novel network management system to support greater levels of autonomy and greater awareness of the environment and assets. Intelligent Automation, Inc., has developed a security-enhanced autonomous network management (SEANM) approach for space networks through cross-layer negotiation and network monitoring, analysis, and adaptation. The underlying technology is bundle-based delay/disruption-tolerant networking (DTN). The SEANM scheme allows a system to adaptively reconfigure its network elements based on awareness of network conditions, policies, and mission requirements. Although SEANM is generically applicable to any radio network, for validation purposes it has been prototyped and evaluated on two specific networks: a commercial off-the-shelf hardware test-bed using Institute of Electrical Engineers (IEEE) 802.11 Wi-Fi devices and a military hardware test-bed using AN/PRC-154 Rifleman Radio platforms. Testing has demonstrated that SEANM provides autonomous network management resulting in reliable communications in delay/disruptive-prone environments.

Zeng, Hui↗
NASA NTRS2017

An Efficient Universal Trajectory Language

The Efficient Universal Trajectory Language (EUTL) is a language for specifying and representing trajectories for Air Traffic Management (ATM) concepts such as Trajectory-Based Operations (TBO). In these concepts, the communication of a trajectory between an aircraft and ground automation is fundamental. Historically, this trajectory exchange has not been done, leading to trajectory definitions that have been centered around particular application domains and, therefore, are not well suited for TBO applications. The EUTL trajectory language has been defined in the Prototype Verification System (PVS) formal specification language, which provides an operational semantics for the EUTL language. The hope is that EUTL will provide a foundation for mathematically verified algorithms that manipulate trajectories. Additionally, the EUTL language provides well-defined methods to unambiguously determine position and velocity information between the reported trajectory points. In this paper, we present the EUTL trajectory language in mathematical detail.

Hagen, George E.↗
NASA NTRS1995

Biomorphic architectures for autonomous Nanosat designs

Modern space tool design is the science of making a machine both massively complex while at the same time extremely robust and dependable. We propose a novel nonlinear control technique that produces capable, self-organizing, micron-scale space machines at low cost and in large numbers by parallel silicon assembly. Experiments using biomorphic architectures (with ideal space attributes) have produced a wide spectrum of survival-oriented machines that are reliably domesticated for work applications in specific environments. In particular, several one-chip satellite prototypes show interesting control properties that can be turned into numerous application-specific machines for autonomous, disposable space tasks. We believe that the real power of these architectures lies in their potential to self-assemble into larger, robust, loosely coupled structures. Assembly takes place at hierarchical space scales, with different attendant properties, allowing for inexpensive solutions to many daunting work tasks. The nature of biomorphic control, design, engineering options, and applications are discussed.

Hasslacher, Brosl↗
NASA NTRS1999

Characterization of Infrared Diode Laser Beams and Atmospheric CO Imaging Instrument

During June-August 1997 Dr. Jonathan Miles participated in the ASEE-sponsored summer faculty research program at NASA Langley Research Center (LaRC). The Aerospace Electronic Systems Division (AESD), Sensor Systems Branch (SSB), at NASA LARC had proposed a new mission, GEOstationary TROpospheric Pollution SATellite (GEO TROPSAT), to address critical science questions of tropospheric chemistry. The troposphere is a complex system, comprising "point" and distributed sources of natural and anthropogenic origin; complicated transport processes, both lateral and vertical; and photochemistry driven by UV flux, temperature, atmospheric composition, and other variables. GEO TROPSAT would be implemented about a geostationary Earth orbital (GEO) position at the equator between 600 and 80" West longitude to observe the Americas and large portions of the oceans of either coast. This mission would advance our knowledge of the atmosphere by capturing the wide temporal and spatial variability of tropospheric phenomena which is undetectable from low Earth orbit. A pre-prototype imaging carbon monoxide (CO) imaging system operating within a narrow waveband about 4.7 [Lm was built, demonstrated, and evaluated. This system applies the gas-filter correlation radiometry (GFCR) technique and produces digitized images comprising 4096 pixels, each representing a single CO mixing ratio measurement inferred from radiometric data. Associated tasks accomplished included specification for the next-generation prototype system to operate in the 2.3-@tm waveband; characterization of a 64x64, InSb focal-plane-array (FPA) imager; design, fabrication, and assembly of a filter wheel; and software development. Laboratory evaluation of this system involved imaging of a test cell placed in the path of radiant flux emanating from a blackbody source used to simulate the radiant energy reflected by Earth in real application. The cell was evacuated for system balancing and then charged with measured quantities of CO to provide a means for system characterization. Two related research efforts were undertaken during the term of the study reported here - continued development of an atmospheric CO imaging instrument and characterization of diode-laser beams. Both efforts were successful and are described within the body of this report. A second objective was to provide a means for undergraduate ISAT majors to become involved with the research described, to be afforded the opportunity to learn the technologies associated with the work performed. Two ISAT students gained a comprehensive understanding and interest in missions supported by NASA through direct involvement in this project. Many more students were exposed to these technologies through demonstrations, laboratory tours, and explanations provided in lectures.

Miles, Jonathan J.↗
NASA NTRS2007

Mineralogical In-situ Investigation of Acid-Sulfate Samples from the Rio Tinto River, Spain, with a Portable XRD/XRF Instrument

A field campaign was organized in September 2006 by Centro de Astobiologica (Spain) and Washington University (St Louis, USA) for the geological study of the Rio Tinto river bed sediments using a suite of in-situ instruments comprising an ASD reflectance spectrometer, an emission spectrometer, panoramic and close-up color imaging cameras, a life detection system and NASA's CheMin 4 XRD/XRF prototype. The primary objectives of the field campaign were to study the geology of the site and test the potential of the instrument suite in an astrobiological investigation context for future Mars surface robotic missions. The results of the overall campaign will be presented elsewhere. This paper focuses on the results of the XRD/XRF instrument deployment. The specific objectives of the CheMin 4 prototype in Rio Tinto were to 1) characterize the mineralogy of efflorescent salts in their native environments; 2) analyze the mineralogy of salts and oxides from the modern environment to terraces formed earlier as part of the Rio Tinto evaporative system; and 3) map the transition from hematite-dominated terraces to the mixed goethite/salt-bearing terraces where biosignatures are best preserved.

Sarrazin, P.↗
NASA NTRS1976

Magnetic suspension techniques for large scale aerodynamic testing

The potential utility of magnetic suspension techniques is discussed in the context of current efforts towards realistic aerodynamic simulation in wind tunnels. Design parameters are defined and problems of constructing large size facilities identified. A three stage strategy towards realizing a truly large scale magnetic suspension and balance with full research capability is outlined. Stage one, consisting of building and testing a prototype superconductor coil system to establish the feasibility of the concept has been completed successfully and its principal results are briefly described. This proven feasibility of using superconductors for magnetic suspensions, together with the successful demonstration of the cryogenic wind tunnel concept, appear to have opened the way to clean tunnel, high-Re aerodynamic testing. Results of a comparative analysis of scaling of several coil technologies for a specific magnetic suspension configuration, from the prototype size to a size compatible with the projected high Reynolds number cryogenic wind tunnel facility, are discussed in some detail.

Zapata, R. N.↗
NASA NTRS1993

EVA tools and equipment reference book

This document contains a mixture of tools and equipment used throughout the space shuttle-based extravehicular activity (EVA) program. Promising items which have reached the prototype stage of development are also included, but should not be considered certified ready for flight. Each item is described with a photo, a written discussion, technical specifications, dimensional drawings, and points of contact for additional information. Numbers on the upper left-hand corner of each photo may be used to order specific pictures from NASA and contractor photo libraries. Points of contact were classified as either operational or technical. An operational contact is an engineer from JSC Mission Operations Directorate who is familiar with the basic function and on-orbit use of the tool. A technical contact would be the best source of detailed technical specifications and is typically the NASA subsystem manager. The technical information table for each item uses the following terms to describe the availability or status of each hardware item: Standard - Flown on every mission as standard manifest; Flight specific - Potentially available for flight, not flown every mission (flight certification cannot be guaranteed and recertification may be required); Reference only - Item no longer in active inventory or not recommended for future use, some items may be too application-specific for general use; and Developmental - In the prototype stage only and not yet available for flight. The current availability and certification of any flight-specific tool should be verified with the technical point of contact. Those tools built and fit checked for Hubble Space Telescope maintenance are program dedicated and are not available to other customers. Other customers may have identical tools built from the existing, already certified designs as an optional service.

Fullerton, R. K.↗
NASA NTRS1989

A graphically oriented specification language for automatic code generation. GRASP/Ada: A Graphical Representation of Algorithms, Structure, and Processes for Ada, phase 1

The first phase of a three-phase effort to develop a new graphically oriented specification language which will facilitate the reverse engineering of Ada source code into graphical representations (GRs) as well as the automatic generation of Ada source code is described. A simplified view of the three phases of Graphical Representations for Algorithms, Structure, and Processes for Ada (GRASP/Ada) with respect to three basic classes of GRs is presented. Phase 1 concentrated on the derivation of an algorithmic diagram, the control structure diagram (CSD) (CRO88a) from Ada source code or Ada PDL. Phase 2 includes the generation of architectural and system level diagrams such as structure charts and data flow diagrams and should result in a requirements specification for a graphically oriented language able to support automatic code generation. Phase 3 will concentrate on the development of a prototype to demonstrate the feasibility of this new specification language.

Cross, James H., II↗
NASA NTRS2011

Developing a Prototype ALHAT Human System Interface for Landing

The goal of the Autonomous Landing and Hazard Avoidance Technology (ALHAT) project is to safely execute a precision landing anytime/anywhere on the moon. This means the system must operate in any lighting conditions, operate in the presence of any thruster generated regolith clouds, and operate without the help of redeployed navigational aids or prepared landing site at the landing site. In order to reach this ambitious goal, computer aided technologies such as ALHAT will be needed in order to permit these landings to be done safely. Although there will be advanced autonomous capabilities onboard future landers, humans will still be involved (either onboard as astronauts or remotely from mission control) in any mission to the moon or other planetary body. Because many time critical decisions must be made quickly and effectively during the landing sequence, the Descent and Landing displays need to be designed to be as effective as possible at presenting the pertinent information to the operator, and allow the operators decisions to be implemented as quickly as possible. The ALHAT project has established the Human System Interface (HSI) team to lead in the development of these displays and to study the best way to provide operators enhanced situational awareness during landing activities. These displays are prototypes that were developed based on multiple design and feedback sessions with the astronaut office at NASA/ Johnson Space Center. By working with the astronauts in a series of plan/build/evaluate cycles, the HSI team has obtained astronaut feedback from the very beginning of the design process. In addition to developing prototype displays, the HSI team has also worked to provide realistic lunar terrain (and shading) to simulate a "out the window" view that can be adjusted to various lighting conditions (based on a desired date/time) to allow the same terrain to be viewed under varying lighting terrain. This capability will be critical to determining the effect of terrain/lighting on the human pilot, and how they use windows and displays during landing activities. The Apollo missions were limited to about 28 possible launch days a year due to lighting and orbital constraints. In order to take advantage of more landing opportunities and venture to more challenging landing locations, future landers will need to utilize sensors besides human eyes for scanning the surface. The ALHAT HSI system must effectively convey ALHAT produced information to the operator, so that landings can occur during less "optimal" conditions (lighting, surface terrain, slopes, etc) than was possible during Apollo missions. By proving this capability, ALHAT will simultaneously provide more flexible access to the moon, and greater safety margins for future landers. This paper will specifically focus on the development of prototype displays (the Trajectory Profile Display (TPD), Landing Point Designation (LPD), and Crew Camera View (CCV) ), implementation of realistic planetary terrain, human modeling, and future HSI plans.

Hirsh, Robert L.↗
NASA NTRSDate not supplied

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗
NASA NTRS1994

Data Analysis with Graphical Models: Software Tools

Probabilistic graphical models (directed and undirected Markov fields, and combined in chain graphs) are used widely in expert systems, image processing and other areas as a framework for representing and reasoning with probabilities. They come with corresponding algorithms for performing probabilistic inference. This paper discusses an extension to these models by Spiegelhalter and Gilks, plates, used to graphically model the notion of a sample. This offers a graphical specification language for representing data analysis problems. When combined with general methods for statistical inference, this also offers a unifying framework for prototyping and/or generating data analysis algorithms from graphical specifications. This paper outlines the framework and then presents some basic tools for the task: a graphical version of the Pitman-Koopman Theorem for the exponential family, problem decomposition, and the calculation of exact Bayes factors. Other tools already developed, such as automatic differentiation, Gibbs sampling, and use of the EM algorithm, make this a broad basis for the generation of data analysis software.

Buntine, Wray L.↗
NASA NTRS2019

Electromagnetic Mass and Efficiency of Magnetic Gears for Electrified Aircraft

Magnetic gears are currently being developed for use in a variety of industries such as wind and automotive, because of their higher reliability and lower maintenance cost than their mechanical counterparts. The bulk of magnetic gear development to date has focused on maximizing the technology's volumetric torque density. In contrast, the primary performance metrics for an aircraft's gear box are its mass and efficiency. To that end this paper presents a study of the achievable electromagnetic specific torque and efficiency of concentric magnetic gears. NASA's second magnetic gear prototype is used as the baseline for this study. Achievable electromagnetic specific torque and efficiency trends are presented with respect to higher level design variables such as gear ratio and radius.

Tallerico, Thomas F.↗