Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “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 181 records · Page 10

The effect of environmental initiatives on NASA specifications and standards activities

The NASA Operational Environment Team (NOET) has conducted a survey of NASA centers specifications and standards that require the use of Ozone Depleting Substances (ODS's) (Chlorofluorocarbons (CFCs), Halons, and chlorinated solvents). The results of this survey are presented here, along with a pathfinder approach utilized at Marshall Space Flight Center (MSFC) to eliminate the use of ODS's in targeted specifications and standards. Presented here are the lessons learned from a pathfinder effort to replace CFC-113 in a significant MSFC specification for cleaning and cleanliness verification methods for oxygen, fuel and pneumatic service, including Shuttle propulsion elements.

Griffin, Dennis↗

Integrated performance and reliability specification for digital avionics systems

This paper describes an automated tool for performance and reliability assessment of digital avionics systems, called the Automated Design Tool Set (ADTS). ADTS is based on an integrated approach to design assessment that unifies traditional performance and reliability views of system designs, and that addresses interdependencies between performance and reliability behavior via exchange of parameters and result between mathematical models of each type. A multi-layer tool set architecture has been developed for ADTS that separates the concerns of system specification, model generation, and model solution. Performance and reliability models are generated automatically as a function of candidate system designs, and model results are expressed within the system specification. The layered approach helps deal with the inherent complexity of the design assessment process, and preserves long-term flexibility to accommodate a wide range of models and solution techniques within the tool set structure. ADTS research and development to date has focused on development of a language for specification of system designs as a basis for performance and reliability evaluation. A model generation and solution framework has also been developed for ADTS, that will ultimately encompass an integrated set of analytic and simulated based techniques for performance, reliability, and combined design assessment.

Brehm, Eric W.↗

Position-specific behaviors and their impact on crew performance: Implications for training

The present study was motivated by results from a preliminary report documenting the impact of specific crewmembers on overall crew performance (Wilhelm & Law, 1992), and a cross-airline cross-fleet project investigating human factors behaviors of commercial aviation flightcrews (Helmreich, Butler, Whilhelm, & Lofaro, 1992). The purpose of the current investigation is to study how position-specific behaviors impact flightcrew performance, and how these position-specific behaviors differ between two airlines and two flying environments. Implications for training will also be addressed.

Law, J. Randolph↗

The specification-based validation of reliable multicast protocol: Problem Report

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗

The Specification-Based Validation of Reliable Multicast Protocol

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗

An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications

The development of large-scale, composite software in a geographically distributed environment is an evolutionary process. Often, in such evolving systems, striving for consistency is complicated by many factors, because development participants have various locations, skills, responsibilities, roles, opinions, languages, terminology and different degrees of abstraction they employ. This naturally leads to many partial specifications or viewpoints. These multiple views on the system being developed usually overlap. From another aspect, these multiple views give rise to the potential for inconsistency. Existing CASE tools do not efficiently manage inconsistencies in distributed development environment for a large-scale project. Based on the ViewPoints framework the WHERE (Web-Based Hypertext Environment for requirements Evolution) toolkit aims to tackle inconsistency management issues within geographically distributed software development projects. Consequently, WHERE project helps make more robust software and support software assurance process. The long term goal of WHERE tools aims to the inconsistency analysis and management in requirements specifications. A framework based on Graph Grammar theory and TCMJAVA toolkit is proposed to detect inconsistencies among viewpoints. This systematic approach uses three basic operations (UNION, DIFFERENCE, INTERSECTION) to study the static behaviors of graphic and tabular notations. From these operations, subgraphs Query, Selection, Merge, Replacement operations can be derived. This approach uses graph PRODUCTIONS (rewriting rules) to study the dynamic transformations of graphs. We discuss the feasibility of implementation these operations. Also, We present the process of porting original TCM (Toolkit for Conceptual Modeling) project from C++ to Java programming language in this thesis. A scenario based on NASA International Space Station Specification is discussed to show the applicability of our approach. Finally, conclusion and future work about inconsistency management issues in WHERE project will be summarized.

Zhang, Zhong↗

Electrical Bonding: A Survey of Requirement, Methods, and Specifications

This document provides information helpful to engineers imposing electrical bonding requirements, reviewing waiver requests, or modifying specifications on various space programs. Electrical bonding specifications and some of the processes used in the United States have been reviewed. This document discusses the specifications, the types of bonds, the intent of each, and the basic requirements where possible. Additional topics discussed are resistance versus impedance, bond straps, corrosion, finishes, and special applications.

Evans, R. W.↗

Handling Qualities Specifications for U.S. Military Helicopters

Inadequacies in the military specification for helicopter handling qualities, MIL-H-8501A, have long been recognized, and the latest procurements by the U.S. Army used special Prime Item Development Specifications (PIDS). This paper assesses the efficacy of these PIDS and suggests that changes should be made. In particular, the structure developed in MIL-F-8785B (ASG) (the specification for flying qualities of piloted airplanes) should be incorporated. Improved requirements must be based on a systematic data base and concentrated on topics most important in preliminary design: static and dynamic stability, control power and sensitivity, and interaction with controllers and displays. Emphasis should be on current military helicopter missions and helicopter idiosyncrasies such as cross-coupling, nonlinearities, and higher-order dynamics.

Key, David L.↗

A Methodology for Writing High Quality Requirement Specifications and for Evaluating Existing Ones

Requirements development and management have always been critical in the implementation of software systems-engineers are unable to build what analysts can not define. It is generally accepted that the earlier in the life cycle potential risks are identified the easier it is to eliminate or manage the conditions that introduce that risk. Problems that are not found until testing are approximately 14 times more costly to fix than if the problem was found in the requirement phase. The requirements specification, as the first tangible representation of the capability to be produced, establishes the basis for all of the project's engineering management and assurance functions. If the quality of the requirements specification is poor it can give rise to risks in all areas of the project. Recently, automated tools have become available to support requirements management. The use of these tools not only provides support in the definition and tracing of requirements, but it also opens the door to effective use of metrics in characterizing and assessing the quality of the requirement specifications.

Rosenberg, Linda↗

A Methodology for Writing High Quality Requirements Specification and Evaluating Existing Ones

Requirements development and management have always been critical in the implementation of software systems; engineers are unable to build what analysts can't define. It is generally accepted that the earlier in the life cycle potential risks are identified the easier it is to eliminate or manage the conditions that introduce that risk. Problems that are not found until testing are approximately 14 times more costly to fix than if the problem was found in the requirement phase. The requirements specification, as the first tangible representation of the capability to be produced, establishes the basis for all of the project's engineering management and assurance functions. If the quality of the requirements specification is poor it can give rise to risks in all areas of the project. Recently, automated tools have become available to support requirements management. The use of these tools not only provides support in the definition and tracing of requirements, but it also opens the door to effective use of metrics in characterizing and assessing the quality of the requirement specifications.

Rosenberg, Linda↗

Context-Specific Adaptation of Gravity-Dependent Vestibular Reflex Responses (NSBRI Neurovestibular Project 1)

Impairment of gaze and head stabilization reflexes can lead to disorientation and reduced performance in sensorimotor tasks such as piloting of spacecraft. Transitions between different gravitoinertial force (gif) environments - as during different phases of space flight - provide an extreme test of the adaptive capabilities of these mechanisms. We wish to determine to what extent the sensorimotor skills acquired in one gravity environment will transfer to others, and to what extent gravity serves as a context cue for inhibiting such transfer. We use the general approach of adapting a response (saccades, vestibuloocular reflex: VOR, or vestibulocollic reflex: VCR) to a particular change in gain or phase in one gif condition, adapting to a different gain or phase in a second gif condition, and then seeing if gif itself - the context cue - can recall the previously-learned adapted responses. Previous evidence indicates that unless there is specific training to induce context-specificity, reflex adaptation is sequential rather than simultaneous. Various experiments in this project investigate the behavioral properties, neurophysiological basis, and anatomical substrate of context-specific learning, using otolith (gravity) signals as a context cue. In the following, we outline the methods for all experiments in this project, and provide details and results on selected experiments.

Shelhamer, Mark↗

Context-Specific Adaptation of Gravity-Dependent Vestibular Reflex Responses

Stabilization of the eyes and head during body movements is important for maintaining balance and keeping the images of objects stationary on our retinas. Impairment of this ability can lead to disorientation and reduced performance in sensorimotor tasks such as piloting of spacecraft. In the absence of a normal earth gravity field, the dynamics of head stabilization, and the interpretation of vestibular signals that sense gravity and linear acceleration, are subject to change. Transitions between different gravitoinertial force environments - as during different phases of space flight - provide an extreme test of the adaptive mechanisms that maintain these reflexive abilities. It is vitally important to determine human adaptive capabilities in such a circumstance, so that we can know to what extent the sensorimotor skills acquired in one gravity environment will transfer to others. Our work lays the foundation for understanding these capabilities, and for determining how we can aid the processes of adaptation and readaptation. An integrated set of experiments addresses this issue. We use the general approach of adapting some type of reflexive eye movement (saccades, the angular vestibulo-ocular reflex (AVOR), the linear vestibulo-ocular reflex (LVOR)), or the vestibulo-collic reflex (VCR), to a particular change in gain or phase in one condition of gravitoiner-tial force, and adapting to a different gain or phase (or asking for no change) in a second gravitoinertial force condition, and then seeing if the gravitoinertial force itself - the context cue - can recall the previously learned adapted responses. The majority of the experiments in the laboratory use the direction of vertical gaze or the direction of gravity (head tilt) as the context cue. This allows us to study context-specificity in a ground-based setting. One set of experiments, to be performed in parabolic flight, specifically uses the magnitude of gravitoinertial force as a context cue. This is a much better analog of the situation encountered in space flight. Various experiments investigate the behavioral properties, neurophysiological basis, and anatomical substrate of context-specific learning mechanisms. We use otolith (gravity) signals as the contextual cue for switching between adapted states of the saccadic system, the angular and linear vestibulo-ocular reflexes, and the VCR. (By LVOR we mean the oculomotor response - horizontal, vertical, and torsional - to linear translation of the head and body.) We are studying the effect of context on adaptation of saccade gain, phase and gain of the AVOR and LVOR, on ocular counterrolling (OCR) in response to static head tilt, and on head/neck reflexes (VCR) in response to rotation in different orientations. Such research is particularly germane to potential problems of postural and oculomotor control upon exposure to different gravitational environments.

Shelhamer, Mark J.↗

Phase 111A Crew Interface Specifications Development for Inflight Maintenance and Stowage Functions

This report presents the findings and data products developed during the Phase IIIA Crew Interface Specification Study for Inflight Maintenance and Stowage Functions, performed by General Electric for the NASA, Johnson Space Center with a set of documentation that can be used as definitive guidelines to improve the present process of defining, controlling and managing flight crew interface requirements that are related to inflight maintenance (including assembly and servicing) and stowage functions. During the Phase IIIA contract period, the following data products were developed: 1) Projected NASA Crew Procedures/Flight Data File Development Process. 2) Inflight Maintenance Management Process Description. 3) Preliminary Draft, General Specification, Inflight Maintenance Management Requirements. 4) Inflight Maintenance Operational Process Description. 5) Preliminary Draft, General Specification, Inflight Maintenance Task and Support Requirements Analysis. 6) Suggested IFM Data Processing Reports for Logistics Management The above Inflight Maintenance data products have been developed during the Phase IIIA study after review of Space Shuttle Program Documentation, including the Level II Integrated Logistics Requirements and other DOD and NASA data relative to Payloads Accommodations and Satellite On-Orbit Servicing. These Inflight Maintenance data products were developed to be in consonance with Space Shuttle Program technical and management requirements.

Carl, John G.↗

Suppression of Antigen-Specific Lymphocyte Activation in Simulated Microgravity

Various parameters of immune suppression are observed in astronauts during and after spaceflight, and in isolated immune cells in true and simulated microgravity. Specifically, polyclonal activation of T cells is severely suppressed in true and simulated microgravity. These recent findings with various polyclonal activators suggests a suppression of oligoclonal lymphocyte activation in microgravity. We utilized rotating wall vessel (RWV) bioreactors that simulate aspects of microgravity for cell cultures to analyze three models of antigen-specific activation. A mixed-lymphocyte reaction (MLR), as a model for a primary immune response; a tetanus toxoid (TT) response and a B. burgdorferi (Bb) response, as models of a secondary immune response, were all suppressed in the RWV bioreactor. Our findings confirm that the suppression of activation observed with polyclonal models also encompasses oligoclonal antigen-specific activation.

Cooper, David↗

Suppression of Antigen-Specific Lymphocyte Activation in Simulated Microgravity

Various parameters of immune suppression are observed in astronauts during and after spaceflight, and in isolated immune cells in true and simulated microgravity. Specifically, polyclonal activation of T cells is severely suppressed in true and simulated microgravity. These recent findings with various polyclonal activators suggests a suppression of oligoclonal lymphocyte activation in microgravity. We utilized rotating wall vessel (RWV) bioreactors that simulate aspects of microgravity for cell cultures to analyze three models of antigen-specific activation. A mixed-lymphocyte reaction (MLR), as a model for a primary immune response; a tetanus toxoid (TT) response and a B. burgdorferi (Bb) response, as models of a secondary immune response, were all suppressed in the RWV bioreactor. Our findings confirm that the suppression of activation observed with polyclonal models also encompasses oligoclonal antigen-specific activation.

Pellis, Neal R.↗

Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems

This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis. These procedures are called closure-based ground literal satisfiability procedures. We argue that this is a large and interesting class of procedures and show how to interface these procedures to a theorem prover for efficient deductive synthesis. Finally, we describe some results we have observed from our implementation. Amphion/NAIF is a domain-specific, high-assurance software synthesis system. It takes an abstract specification of a problem in solar system mechanics, such as 'when will a signal sent from the Cassini spacecraft to Earth be blocked by the planet Saturn?', and automatically synthesizes a FORTRAN program to solve it.

VanBaalen, Jeffrey↗

Comparison of the EO-1 Advanced Land Imager Performance With the Landsat Data Continuity Mission Specification

The performance requirements for the Advanced Land Imager were developed under NASA's New Millennium Program and were intended to facilitate the validation of new sensor technologies and architectures for potential application in future remote sensing missions. The Advanced Land Imager (ALI) was designed and flown well before the Landsat Data Continuity Mission (LDCM) specifications were developed. Nevertheless, the science focus of the ALI technology validation was Landsat data continuity. Therefore, although exact compliance by ALI is not expected, the performance should demonstrate a path to a compliant sensor system. The performance of the ALI, as determined from preflight and flight data, is compared to the LDCM specification. Twenty-one noncompliances have been identified: four data collection, four spectral, six spatial, and seven radiometric (Table I). All but six of these are considered minor. The six major noncompliances are the result of stray light, leaky detectors, and contamination. Appendix A replicates the LDCM specification and contains ALI compliance notes where appropriate. Details of the ALI stray light, contamination, and leaky detectors are provided in Appendix B, C, and D respectively. Additional information pertaining to the calculation of the ALI edge response and coherent noise is presented in Appendix E and F. A list of ALI related publications is provided in Appendix G.

Mendenhall, J. A.↗

The Influence of Current Density and Magnetic Field Topography in Optimizing the Performance, Divergence, and Plasma Oscillations of High Specific Impulse Hall Thrusters

Recent studies of xenon Hall thrusters have shown peak efficiencies at specific impulses of less than 3000 s. This was a consequence of modern Hall thruster magnetic field topographies, which have been optimized for 300 V discharges. On-going research at the NASA Glenn Research Center is investigating this behavior and methods to enhance thruster performance. To conduct these studies, a laboratory model Hall thruster that uses a pair of trim coils to tailor the magnetic field topography for high specific impulse operation has been developed. The thruster-the NASA-173Mv2 was tested to determine how current density and magnetic field topography affect performance, divergence, and plasma oscillations at voltages up to 1000 V. Test results showed there was a minimum current density and optimum magnetic field topography at which efficiency monotonically increased with voltage. At 1000 V, 10 milligrams per second the total specific impulse was 3390 s and the total efficiency was 60.8%. Plume divergence decreased at 400-1000 V, but increased at 300-400 V as the result of plasma oscillations. The dominant oscillation frequency steadily increased with voltage, from 14.5 kHz at 300 V, to 22 kHz at 1000 V. An additional oscillatory mode in the 80-90 kHz frequency range began to appear above 500 V. The use of trim coils to modify the magnetic field improved performance while decreasing plume divergence and the frequency and magnitude of plasma oscillations.

Hofer, Richard R.↗