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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS1984

Specification of a NAVSTAR Global Positioning System (GPS) receiver for a differential GPS ground system

One step towards the successful completion of a functional ground unit for the Differential Global Positioning System (DGPS) will be in choosing a currently available GPS receiver that will accurately measure the propagation times of the satellite signals and have the capability to be electrically interfaced with and controlled by a Digital Equipment Corporation (DEC) PDP-11/34A computer. The minimum requirements and characteristics of a NAVSTAR Global Positioning System (GPS) receiver are described. The specific technical specifications addressed include data accuracies and resolutions, receiver interface/external control, enclosure dimensions and mounting requirements, receiver operation, and environmental specifications.

Mccall, D. L.↗
NASA NTRS1988

Specification for IBM/IBM compatible 3480 tape cartridge

This document establishes the same kinds of standards and controls that are currently in use for the procurement on new analog and digital magnetic tapes. The Magnetic Tape Certification Facility (MTCF) currently maintains a Quality Products List (QPL) for all new analog and digital magnetic tapes purchased by NASA-GSFC. Extensive tests are conducted in the MTCF on an annual basis to determine the manufacturer's tape types to be added to or deleted from the current QPL. The MTCF currently maintains two specifications for magnetic tapes: NASA TM-79724 is used for the QPL and acceptance testing of new analog tapes; and NASA TM-80599 is used for the QPL and acceptance testing of new digital tapes. This specification will be used for the QPL and acceptance testing of new 3480 cartridges. The magnetic tapes used by GSFC, LaRC, ARC/Dryden, WFF, and the Network Tracking Stations are covered by the NASA-GSFC specifications. The 3480 cartridge was introduced approximately 3.5 years ago and is becoming an increasingly attractive alternative to digital magnetic tapes. Many users have already converted to the 3480 system and have more tape drives on order.

Perry, Jimmy L.↗
NASA NTRS1988

Specification for wide channel bandwidth one-inch video tape

Standards and controls are established for the procurement of wide channel bandwidth one inch video magnetic recording tapes for Very Long Base Interferometer (VLBI) system applications. The Magnetic Tape Certification Facility (MTCF) currently maintains three specifications for the Quality Products List (QPL) and acceptance testing of magnetic tapes. NASA-TM-79724 is used for the QPL and acceptance testing of new analog tapes; NASA-TM-80599 is used for QPL and acceptance testing of new digital tapes; and NASA-TM-100702 is used for the QPL and acceptance testing of new IBM/IBM compatible 3480 magnetic tape cartridges. This specification will be used for the QPL and acceptance testing of new wide channel bandwidth one inch video magnetic recording tapes. The one inch video tapes used by the Jet Propulsion Lab., the Deep Space Network and the Haystack Observatory will be covered by this specification. These NASA stations will use the video tapes for their VLBI system applications. The VLBI system is used for the tracking of quasars and the support of interplanetary exploration.

Perry, Jimmy L.↗
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 NTRS1990

High frequency, high temperature specific core loss and dynamic B-H hysteresis loop characteristics of soft magnetic alloys

Limited experimental data exists for the specific core loss and dynamic B-H loops for soft magnetic materials for the combined conditions of high frequency and high temperature. This experimental study investigates the specific core loss and dynamic B-H loop characteristics of Supermalloy and Metglas 2605SC over the frequency range of 1 to 50 kHz and temperature range of 23 to 300 C under sinusoidal voltage excitation. The experimental setup used to conduct the investigation is described. The effects of the maximum magnetic flux density, frequency, and temperature on the specific core loss and on the size and shape of the B-H loops are examined.

Wieserman, W. R.↗
NASA NTRS1990

Network, system, and status software enhancements for the autonomously managed electrical power system breadboard. Volume 3: Commands specification

This volume (3 of 4) contains the specification for the command language for the AMPS system. The volume contains a requirements specification for the operating system and commands and a design specification for the operating system and command. The operating system and commands sits on top of the protocol. The commands are an extension of the present set of AMPS commands in that the commands are more compact, allow multiple sub-commands to be bundled into one command, and have provisions for identifying the sender and the intended receiver. The commands make no change to the actual software that implement the commands.

Mckee, James W.↗
NASA NTRS1990

Formal specification of human-computer interfaces

A high-level formal specification of a human computer interface is described. Previous work is reviewed and the ASLAN specification language is described. Top-level specifications written in ASLAN for a library and a multiwindow interface are discussed.

Auernheimer, Brent↗
NASA NTRS1991

Direct glass bonded high specific power silicon solar cells for space applications

A lightweight, radiation hard, high performance, ultra-thin silicon solar cell is described that incorporates light trapping and a cover glass as an integral part of the device. The manufacturing feasibility of high specific power, radiation insensitive, thin silicon solar cells was demonstrated experimentally and with a model. Ultra-thin, light trapping structures were fabricated and the light trapping demonstrated experimentally. The design uses a micro-machined, grooved back surface to increase the optical path length by a factor of 20. This silicon solar cell will be highly tolerant to radiation because the base width is less than 25 microns making it insensitive to reduction in minority carrier lifetime. Since the silicon is bonded without silicone adhesives, this solar cell will also be insensitive to UV degradation. These solar cells are designed as a form, fit, and function replacement for existing state of the art silicon solar cells with the effect of simultaneously increasing specific power, power/area, and power supply life. Using a 3-mil thick cover glass and a 0.3 g/sq cm supporting Al honeycomb, a specific power for the solar cell plus cover glass and honeycomb of 80.2 W/Kg is projected. The development of this technology can result in a revolutionary improvement in high survivability silicon solar cell products for space with the potential to displace all existing solar cell technologies for single junction space applications.

Dinetta, L. C.↗
NASA NTRS1990

High frequency, high temperature specific core loss and dynamic B-H hysteresis loop characteristics of soft magnetic alloys

Limited experimental data exists for the specific core loss and dynamic B-H loop for soft magnetic materials for the combined conditions of high frequency and high temperature. This experimental study investigates the specific core loss and dynamic B-H loop characteristics of Supermalloy and Metglas 2605SC over the frequency range of 1 to 50 kHz and temperature range of 23 to 300 C under sinusoidal voltage excitation. The experimental setup used to conduct the investigation is described. The effects of the maximum magnetic flux density, frequency, and temperature on the specific core loss and on the size and shape of the B-H loops are examined.

Wieserman, W. R.↗
NASA NTRS1990

Bias and design in software specifications

Implementation bias in a specification is an arbitrary constraint in the solution space. Presented here is a model of bias in software specifications. Bias is defined in terms of the specification process and a classification of the attributes of the software product. Our definition of bias provides insight into both the origin and the consequences of bias. It also shows that bias is relative and essentially unavoidable. Finally, we describe current work on defining a measure of bias, formalizing our model, and relating bias to software defects.

Straub, Pablo A.↗
NASA NTRS1992

State-selected chemical reaction dynamics at the S matrix level - Final-state specificities of near-threshold processes at low and high energies

State-to-state reaction probabilities are found to be highly final-state specific at state-selected threshold energies for the reactions O + H2 yield OH + H and H + H2 yield H2 + H. The study includes initial rotational states with quantum numbers 0-15, and the specificity is especially dramatic for the more highly rotationally excited reactants. The analysis is based on accurate quantum mechanical reactive scattering calculations. Final-state specificity is shown in general to increase with the rotational quantum number of the reactant diatom, and the trends are confirmed for both zero and nonzero values of the total angular momentum.

Chatfield, David C.↗
NASA NTRS1989

Outline for reusable reentry satellite system specification, volumes 1 - volume 9

This document describes the outline proposed by the SAIC team for the RRS System Specification document. This document will be updated periodically during the course of the study, providing design insights and information pertinent to the various elements of the RRS design. The RRS System Specification document organization is shown schematically. The RRS Vehicle (RRV), Payload Module (PM), and the Operations Support (OS) are the three main segments of the overall system for which formal interface control will exist. The number and relationship of these interface specifications to the main segments is also shown.

Source record↗
NASA NTRS1992

Domain-specific functional software testing: A progress report

Software Engineering is a knowledge intensive activity that involves defining, designing, developing, and maintaining software systems. In order to build effective systems to support Software Engineering activities, Artificial Intelligence techniques are needed. The application of Artificial Intelligence technology to Software Engineering is called Knowledge-based Software Engineering (KBSE). The goal of KBSE is to change the software life cycle such that software maintenance and evolution occur by modifying the specifications and then rederiving the implementation rather than by directly modifying the implementation. The use of domain knowledge in developing KBSE systems is crucial. Our work is mainly related to one area of KBSE that is called automatic specification acquisition. One example is the WATSON prototype on which our current work is based. WATSON is an automatic programming system for formalizing specifications for telephone switching software mainly restricted to POTS, i.e., plain old telephone service. Our current approach differentiates itself from other approaches in two antagonistic ways. On the one hand, we address a large and complex real-world problem instead of a 'toy domain' as in many research prototypes. On the other hand, to allow such scaling, we had to relax the ambitious goal of complete automatic programming, to the easier task of automatic testing.

Nonnenmann, Uwe↗
NASA NTRS1993

Automatic specification of reliability models for fault-tolerant computers

The calculation of reliability measures using Markov models is required for life-critical processor-memory-switch structures that have standby redundancy or that are subject to transient or intermittent faults or repair. The task of specifying these models is tedious and prone to human error because of the large number of states and transitions required in any reasonable system. Therefore, model specification is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model specification. Automation requires a general system description language (SDL). For practicality, this SDL should also provide a high level of abstraction and be easy to learn and use. The first attempt to define and implement an SDL with those characteristics is presented. A program named Automated Reliability Modeling (ARM) was constructed as a research vehicle. The ARM program uses a graphical interface as its SDL, and it outputs a Markov reliability model specification formulated for direct use by programs that generate and evaluate the model.

Liceaga, Carlos A.↗
NASA NTRS1993

Reference manual for a Requirements Specification Language (RSL), version 2.0

This report is a Reference Manual for a general-purpose Requirements Specification Language, RSL. The purpose of RSL is to specify precisely the external structure of a mechanized system and to define requirements that the system must meet. A system can be comprised of a mixture of hardware, software, and human processing elements. RSL is a hybrid of features found in several popular requirements specification languages and includes constructs for formal mathematical specification.

Fisher, Gene L.↗
NASA NTRS1992

Khoros software specification format and interoperability

Khoros defines formats for User Interface Specification (UIS) and Program Specification (PS) files. From such files, its code generator, Ghostwriter, creates source files and documentation. The great advantage of the system is that the code fragments that make up part of the PS file are purely generic. All Khoros-related code is created by the code generator; this includes all user interface code. As a matter of fact, both specification files are very generic in nature. Thus, one could imagine using it as the basis for other software systems. A case is made that writing a code generator that would create IRAF-compatible code from the Khoros UIS and PS files is fairly trivial. Another aspect of the Khoros system conventions concerns the way execution commands are generated by the user interface and the actual syntax of those commands. The protocols are such that interoperability at the level of executable modules is readily possible.

Rots, A. H.↗
NASA NTRS1994

Specific features of space-time variations of ozone during the development of intensive tropical disturbances

An analysis of specific features of space-time variations of ozone in the tropical areas which has been performed on the basis of processing of the results of special expedition studies in the Atlantic and Pacific in 1987-1990 and the data of observations at the stations of the world ozonometric network over the 25-year period. The existence of a cause-and-effect relation has been revealed between the processes determining tropical cyclone (TC) development, and specific features of variations of the total content of ozone (TCO) and the vertical distribution of ozone (VDO) in the regions of TC action. Characteristic features of day-to-day and daily variations of TCO during TC development have been found. On the periphery of a developing TC, 1-4 days before it reaches the stage of storm, TCO increases, on average, by 5-8 percent, and a substantial increase in the concentration of ozone occurs in the middle and upper troposphere. The most probable physical mechanisms relating the observed specific features of ozone variations to TC evolution have been suggested. A hypothesis of the possibility of using ozone as an indicator for early prediction of TC development has been substantiated.

Nerushev, Alexander F.↗
NASA NTRS1994

AMPHION: Specification-based programming for scientific subroutine libraries

AMPHION is a knowledge-based software engineering (KBSE) system that guides a user in developing a diagram representing a formal problem specification. It then automatically implements a solution to this specification as a program consisting of calls to subroutines from a library. The diagram provides an intuitive domain oriented notation for creating a specification that also facilitates reuse and modification. AMPHION'S architecture is domain independent. AMPHION is specialized to an application domain by developing a declarative domain theory. Creating a domain theory is an iterative process that currently requires the joint expertise of domain experts and experts in automated formal methods for software development.

Lowry, Michael↗