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 649 records · Page 36

All sources NASA NTRS DOE OSTI

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↗

NASA NTRS1993

High specific energy, high capacity nickel-hydrogen cell design

A 3.5 inch rabbit-ear-terminal nickel-hydrogen cell has been designed and tested to deliver high capacity at a C/1.5 discharge rate. Its specific energy yield of 60.6 wh/kg is believed to be the highest yet achieved in a slurry-process nickel-hydrogen cell, and its 10 C capacity of 113.9 AH the highest capacity yet made at a discharge rate this high in the 3.5 inch diameter size. The cell also demonstrated a pulse capability of 180 amps for 20 seconds. Specific cell parameters, performance, and future test plans are described.

Wheeler, James R.↗

NASA NTRS1993

An experimental parametric study of geometric, Reynolds number, and ratio of specific heats effects in three-dimensional sidewall compression scramjet inlets at Mach 6

The effects of the decrease in the ratio of specific heats have been investigated in generic 3D sidewall compression scramjet inlets with leading-edge sweep angles of 30 and 70 degrees. The effects of a decrease in ratio of specific heats were seen by comparing data from two facilities in two test gases: in the Langley Mach 6 CF4 Tunnel in tetrafluoromethane and in the Langley 15-Inch Mach 6 Air Tunnel in perfect gas air. In addition to the simulated real gas effects, the parametric effects of cowl position, contraction ratio, leading-edge sweep, and Reynolds number were investigated in the 15-Inch Mach 6 Air Tunnel. The models were instrumented with a total of 45 static pressure orifices distributed on the sidewalls and baseplate. Surface streamline patterns were examined via oil flow, and schlieren videos were made of the external flow field. The results of these tests have significant implications to ground based testing of inlets in facilities which do not operate at flight enthalpies.

Holland, Scott D.↗

NASA NTRS1993

Integrated flight/propulsion control - Subsystem specifications for performance

A procedure is presented for calculating multiple subsystem specifications given a number of performance requirements on the integrated system. This procedure applies to problems where the control design must be performed in a partitioned manner. It is based on a structured singular value analysis, and generates specifications as magnitude bounds on subsystem uncertainties. The performance requirements should be provided in the form of bounds on transfer functions of the integrated system. This form allows the expression of model following, command tracking, and disturbance rejection requirements. The procedure is demonstrated on a STOVL aircraft design.

Neighbors, W. K.↗

NASA NTRS1993

Specific heats and thermodynamic critical fields in Zn-doped YBa2Cu3O(7-x) according to an induced-pairing model

Electronic specific heats and thermodynamic critical fields are calculated in a mean-field version of an induced-pairing model for superconductivity, and compared with results of Loram et al. (1990) on YBa2(Cu(1-y)Zn(y))3O(7-x). This model involves induction of pairing of holes in a wideband by strongly bound electronlike pairs. It is assumed that the planar hole concentration for no Zn addition is close to, but slightly higher than, that for the maximum Tc, and that it increases by 0.015 per planar Cu ion for each increase of y by 0.01. Parameters of the model are taken to be the same as in a previous publication in which energy gaps were discussed, except that an effective hybridization parameter is adjusted for each Zn concentration to give agreement with the observed Tc. Results are presented for y = 0.0, 0.01, and 0.03. The agreement with experiment is good for thermodynamic critical fields, and is fair for specific heats. For specimens with larger y, with relatively low T(c)s, it is argued that the model should be supplemented to include effects of a BCS-type interaction amongst the wideband carriers.

Eagles, D. M.↗

NASA NTRS1920

Static testing and proposed standard specifications

Static tests fall into two groups, the first of which is designed to load all members of the structure approximately in accordance with the worst loads which they carry in flight, while the second is directed to the testing of specific members which are suspected of weakness and which are difficult to analyze mathematically. The nature of the loading in the second type is different for every different test, but the purpose of the first is defined clearly enough to permit the adoption of some standard set of loading specifications, at least for airplanes of normal design. Here, an attempt is made to carry through an analysis leading to such a standard, the goal being the determination of a load which will simultaneously impose on every member of the airplane structure a stress equal to the worst it will carry in flight.

Warner, E P↗

NASA NTRS1952

Solutions of laminar-boundary-equations which result in specific-weight-flow profiles locally exceeding free-stream values

Revised solutions of the laminar-boundary-layer equations for cases which involved cooling at the wall combined with large pressure gradients in the main stream produced specific-weight-flow profiles which locally exceeded free-stream values. Heat-transfer and friction coefficients, boundary-layer thicknesses, and velocity, temperature, and specific-weight-flow distributions resulting from the revised solutions are presented for Euler numbers of 0.5 and 1, stream-to-wall temperature ratios of 2 and 4, and cooling-air flow rates through porous walls designated by flow parameters of 0, -0.5, and -1.

HEAT TRANSFER, AERODYNAMIC↗

NASA NTRS1917

General specifications covering requirements of aeronautic instruments

Report includes specifications for the use and production of instruments used in the navigation and operation of aircraft. Specifications are included for the following instruments: barometer or altimeter, compass, air speed meter, inclinometer, drift meter, tachometer, oil gauge, oil pressure gauge, gasoline gauge, gasoline flow indicator, distance indicator, barograph, angle of attack indicator, radiator temperature indicator, gasoline feed system pressure indicator, sextant, airplane director.

Source record↗

NASA NTRS1990

Application specific serial arithmetic arrays

High performance systolic arrays of serial-parallel multiplier elements may be rapidly constructed for specific applications by applying hardware description language techniques to a library of full-custom CMOS building blocks. Single clock pre-charged circuits have been implemented for these arrays at clock rates in excess of 100 Mhz using economical 2-micron (minimum feature size) CMOS processes, which may be quickly configured for a variety of applications. A number of application-specific arrays are presented, including a 2-D convolver for image processing, an integer polynomial solver, and a finite-field polynomial solver.

Winters, K.↗

NASA NTRS1993

Development of a high specific 1.5 to 5 kW thermal arcjet

A research and development project on the experimental study of a 1.5-5 kW thermal arcjet thruster was started in 1992 at the IRS. Two radiation cooled thrusters were designed, constructed, and adapted to the test facilities, one at each end of the intended power range. These thrusters are currently subjected to an intensive test program with main emphasis on the exploration of thruster performance and thruster behavior at high specific enthalpy and thus high specific impulse. Propelled by simulated hydrazine and ammonia, the thruster's electrode configuration such as constrictor diameter and cathode gap was varied in order to investigate their influence and to optimize these parameters. In addition, test runs with pure hydrogen were performed for both thrusters.

Riehle, M.↗

NASA NTRS1991

Formal specification of a high speed CMOS correlator

The formal specification of a high speed CMOS correlator is presented. The specification gives the high-level behavior of the correlator and provides a clear, unambiguous description of the high-level architecture of the device.

Windley, P. J.↗

NASA NTRS1993

Space Generic Open Avionics Architecture (SGOAA) standard specification

The purpose of this standard is to provide an umbrella set of requirements for applying the generic architecture interface model to the design of a specific avionics hardware/software system. This standard defines a generic set of system interface points to facilitate identification of critical interfaces and establishes the requirements for applying appropriate low level detailed implementation standards to those interface points. The generic core avionics system and processing architecture models provided herein are robustly tailorable to specific system applications and provide a platform upon which the interface model is to be applied.

Wray, Richard B.↗