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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 289 records · Page 16

All sources NASA NTRS DOE OSTI

NASA NTRS1987

The calculation of high-temperature equilibrium and nonequilibrium specific heat data for N2, O2 and NO

Specific heat data for high-temperature air species are needed to compute the temperature and enthalpy of gas mixtures in aerothermodynamics flowfield calculations. Accurate data are known only for temperatures under 6000 K, but are required for temperatures exceeding 25,000 K. In the present study, CP data are computed for N2, O2 and NO. The calculations are based on summations over all the vibration-rotation energy levels for all known bound electronic states. Estimates are made for the error introduced by the neglect of possible additional high-lying electronic states. In addition, a scheme for the partitioning of the internal energy into vibrational, rotational and electronic contributions is presented which consistently accounts for the nonseparable nature of the various energy modes. The multitemperature specific heat data are recommended for use in nonequilibrium flowfield models.

Jaffe, Richard L.↗

NASA NTRS1988

Thermal conductivity, electrical conductivity and specific heat of copper-carbon fiber composite

We have developed a new copper-carbon fiber composite which possesses properties of copper, i.e., excellent thermal and electrical conductivities, in combination with a property of carbon fiber, i.e., a small thermal expansion coefficient. The composite properties can be controlled by the amount, type and orientation of the carbon fibers they contain. Therefore, this composite is considered to be useful as an electrical material. The effects of volume and arrangement of fibers on the thermal conductivity, electrical conductivity and specific heat of the composite were studied. The results obtained were as follows: (1) The thermal and electrical conductivities of the composite became smaller as the volume of carbon fibers increased, and they were also influenced by the fiber arrangement. (2) The above conductivities could be calculated by careful application of the “rule of mixtures” for composites. (3) The specific heat of the composite was dependent not on the fiber arrangement but on the fiber volume. (4) In thermal fatigue tests, no degradation in electrical conductivity was observed.

Keiichi Kuniya↗

NASA NTRS1988

Determination of the specific area of liquid gas and the velocity of weak pressure waves in aqueous foams

The specific area of an aqueous foam contained in a tube is obtained by determining the fraction of the quantity of light emitted by a source and diffused by the specific area of the column of the foam. The velocity of the waves of weak pressure (which propagate in the air with the velocity of sound) is measured by noticing the moment when the wave penetrates the column and the moment when, having reached the opposite side, it determines a variation of the light diffused by the area of the latter.

Saint-Cloud, Jean↗

NASA NTRS1987

Specific heat of pristine and brominated graphite fibers, composites and HOPG

Differential scanning calorimetry was used to obtain specific heat values of pristine and brominated P-100 graphite fibers and brominated P-100/epoxy composite as well as pristine and brominated highly oriented pyrolytic graphite (HOPG) for comparison. Based on the experimental results obtained, specific heat values are calculated for several different temperatures, with a standard deviation estimated at 1.4 percent of the average values. The data presented here are useful in designing heat transfer devices (such as airplane de-icing heaters) from bromine fibers.

Hung, Ching-Chen↗

NASA NTRS1987

Update 8501: A new specification for rotorcraft handling qualities

MIL-H-8501B is a mission-oriented rotorcraft handling-qualities specification which prescribes the desired vehicle command response as a function of the mission task and the usable visual cues. It covers failures and flight envelopes, like MIL-F-8785C, but adds a novel concept in compliance testing in the form of a set of flight demonstration maneuvers. The proponents of this proposed specification including the authors, recognize that there are still many topics that are inadequately covered by it; they argue that it is nonetheless a significant improvement and should be adopted.

Key, David L.↗

NASA NTRS1989

Formalisms for user interface specification and design

The application of formal methods to the specification and design of human-computer interfaces is described. A broad outline of human-computer interface problems, a description of the field of cognitive engineering and two relevant research results, the appropriateness of formal specification techniques, and potential NASA application areas are described.

Auernheimer, Brent J.↗

NASA NTRS1989

Element-specific modal formulations for large-displacement multibody dynamics

Large dispacement assumed-mode modeling techniques are examined in the context of multibody elastodynamics. The range of both general and element-specific approaches are studied with the aid of examples involving beams, plates, and shells. For systems undergoing primarily structural bending and twisting with little or no membrane distortion, it is found that fully-linear, element-specific, modal formulations provide the most accurate time history solutions at the least expense. When membrane effects become dominant in structural problems due to loading and boundary conditions, one must naturally resort to a formulation involving a nonlinear stress-strain relationship in addition to nonlinear terms associated with large overall system motion. Such nonlinear models were investigated using assumed modes and found to lead to modal convergence difficulties when standard free-free structural modes are employed. A constrained mode formulation aimed at addressing the convergence problem is proposed.

Ryan, R. R.↗

NASA NTRS1990

Software requirements: Guidance and control software development specification

The software requirements for an implementation of Guidance and Control Software (GCS) are specified. The purpose of the GCS is to provide guidance and engine control to a planetary landing vehicle during its terminal descent onto a planetary surface and to communicate sensory information about that vehicle and its descent to some receiving device. The specification was developed using the structured analysis for real time system specification methodology by Hatley and Pirbhai and was based on a simulation program used to study the probability of success of the 1976 Viking Lander missions to Mars. Three versions of GCS are being generated for use in software error studies.

Withers, B. Edward↗

NASA NTRS1988

Representing object oriented specifications and designs with extended data flow notations

The issue of using extended data flow notations to document object oriented designs and specifications is discussed. Extended data flow notations, for the purposes here, refer to notations that are based on the rules of Yourdon/DeMarco data flow analysis. The extensions include additional notation for representing real-time systems as well as some proposed extensions specific to object oriented development. Some advantages of data flow notations are stated. How data flow diagrams are used to represent software objects are investigated. Some problem areas with regard to using data flow notations for object oriented development are noted. Some initial solutions to these problems are proposed.

Buser, Jon Franklin↗

NASA NTRS1991

Proceedings of the Advisory Committee on Standardization of Carbon-Phenolic Test Methods and Specifications

Proceedings of the Advisory Committee on Standardization of carbon-phenolic test methods and specifications are compiled. The following subject areas are covered: ashing procedures and alkali metal content of carbon fiber and fabrics; SPIP product identification code; SPIP initiative to adopt a water-soluble rayon yarn lubricant/size for weaving; fabric oxidation mass loss test; shelf life limit for prepregs, industry standard; silicon contamination update; resin, filler, and fabric content in prepreg; carbon assay testing calibration; thiokol rayon specifications; and SPIP low conductivity PAN program.

Hall, William B.↗

NASA NTRS1991

Report on the formal specification and partial verification of the VIPER microprocessor

The formal specification and partial verification of the VIPER microprocessor is reviewed. The VIPER microprocessor was designed by RSRE, Malvern, England, for safety critical computing applications (e.g., aircraft, reactor control, medical instruments, armaments). The VIPER was carefully specified and partially verified in an attempt to provide a microprocessor with completely predictable operating characteristics. The specification of VIPER is divided into several levels of abstraction, from a gate-level description up to an instruction execution model. Although the consistency between certain levels was demonstrated with mechanically-assisted mathematical proof, the formal verification of VIPER was never completed.

Brock, Bishop↗

NASA NTRS1991

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 2: Formal specification and correctness theorems

Presented here is a formal specification and verification of a property of a quadruplicately redundant fault tolerant microprocessor system design. A complete listing of the formal specification of the system and the correctness theorems that are proved are given. The system performs the task of obtaining interactive consistency among the processors using a special instruction on the processors. The design is based on an algorithm proposed by Pease, Shostak, and Lamport. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, providing certain preconditions hold, using a computer aided design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

Bickford, Mark↗

NASA NTRS1990

Attitude determination error analysis - General model and specific application

This paper presents a comprehensive approach to filter and dynamics modeling for attitude determination error analysis. The discussion includes models for both batch least-squares and sequential estimators, a specific dynamic model for attitude determination error analysis of a three-axis stabilized spacecraft equipped with strapdown gyros, and the incorporation of general attitude sensor observations. An analyst using this approach to perform an error analysis chooses a subset of the spacecraft parameters to be 'solve-for' parameters, which are to be estimated, and another subset to be 'consider' parameters, which are assumed to have errors but not to be estimated. The result of the error analysis is an indication of overall uncertainties in the 'solve-for' parameters, as well as the contributions of the various error sources to these uncertainties, including those of errors in the a priori 'solve-for' estimates, of measurement noise, of dynamic noise (also known as process noise or plant noise), and of 'consider' parameter uncertainties. The analysis of attitude, star tracker alignment, and gyro bias uncertainties for the Gamma Ray Observatory spacecraft provide a specific example of the use of a general-purpose software package incorporating these models.

Markley, F. Landis↗

NASA NTRS1992

Knowledge-based approach for generating target system specifications from a domain model

Several institutions in industry and academia are pursuing research efforts in domain modeling to address unresolved issues in software reuse. To demonstrate the concepts of domain modeling and software reuse, a prototype software engineering environment is being developed at George Mason University to support the creation of domain models and the generation of target system specifications. This prototype environment, which is application domain independent, consists of an integrated set of commercial off-the-shelf software tools and custom-developed software tools. This paper describes the knowledge-based tool that was developed as part of the environment to generate target system specifications from a domain model.

Gomaa, Hassan↗

NASA NTRS1992

Selecting reusable components using algebraic specifications

A significant hurdle confronts the software reuser attempting to select candidate components from a software repository - discriminating between those components without resorting to inspection of the implementation(s). We outline a mixed classification/axiomatic approach to this problem based upon our lattice-based faceted classification technique and Guttag and Horning's algebraic specification techniques. This approach selects candidates by natural language-derived classification, by their interfaces, using signatures, and by their behavior, using axioms. We briefly outline our problem domain and related work. Lattice-based faceted classifications are described; the reader is referred to surveys of the extensive literature for algebraic specification techniques. Behavioral support for reuse queries is presented, followed by the conclusions.

Eichmann, David A.↗

NASA NTRS1992

Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design

The goal of this workshop is to identify different architectural approaches to building domain-specific software design systems and to explore issues unique to domain-specific (vs. general-purpose) software design. Some general issues that cut across the particular software design domain include: (1) knowledge representation, acquisition, and maintenance; (2) specialized software design techniques; and (3) user interaction and user interface.

Keller, Richard M.↗

NASA NTRS1992

Interactive specification acquisition via scenarios: A proposal

Some reactive systems are most naturally specified by giving large collections of behavior scenarios. These collections not only specify the behavior of the system, but also provide good test suites for validating the implemented system. Due to the complexity of the systems and the number of scenarios, however, it appears that automated assistance is necessary to make this software development process workable. Interactive Specification Acquisition Tool (ISAT) is a proposed interactive system for supporting the acquisition and maintenance of a formal system specification from scenarios, as well as automatic synthesis of control code and automated test generation. This paper discusses the background, motivation, proposed functions, and implementation status of ISAT.

Hall, Robert J.↗

NASA NTRS1992

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↗