SEARCH · Search NASA

Results for “methodology development”

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 307 records · Page 17

All sources NASA NTRS DOE OSTI

NASA NTRS1983

HDM/PASCAL Verification System User's Manual

The HDM/Pascal verification system is a tool for proving the correctness of programs written in PASCAL and specified in the Hierarchical Development Methodology (HDM). This document assumes an understanding of PASCAL, HDM, program verification, and the STP system. The steps toward verification which this tool provides are parsing programs and specifications, checking the static semantics, and generating verification conditions. Some support functions are provided such as maintaining a data base, status management, and editing. The system runs under the TOPS-20 and TENEX operating systems and is written in INTERLISP. However, no knowledge is assumed of these operating systems or of INTERLISP. The system requires three executable files, HDMVCG, PARSE, and STP. Optionally, the editor EMACS should be on the system in order for the editor to work. The file HDMVCG is invoked to run the system. The files PARSE and STP are used as lower forks to perform the functions of parsing and proving.

Hare, D.↗

NASA NTRS1985

Information for space radar designers: Required dynamic range vs resolution and antenna calibration using the Amazon rain forest

Calibration of the vertical pattern of the antennas for the SEASAT scatterometer was accomplished using the nearly-uniform radar return from the Amazon rain forest. A similar calibration will be attempted for the SIR-B antenna. Thick calibration is important to establish the radiometric calibration across the swath of the SIR-B, and the developed methodology will provide an important tool in the evaluation of future spaceborne imaging radars. This calibration was made by the very-wide-beam SEASAT scatterometer antennas because at 14.65 GHz the scattering coefficient of the rain forest is almost independent of angle of incidence. It is expected that the variation in scattering coefficient for the rain forest across the relatively narrow vertical beam of the SIR-B will be very small; even at L band the forest should be essentially impenetrable for radar signals, the volume scatter from the treetops will predominate as at higher frequencies. The basic research elements include: (1) examination of SIR-B images over the rain forest to establish the variability of the scattering coefficient at finer resolutions than that of the SEASAT scatterometer; (2) analysis of the variability of SIR-B data detected prior to processing for either azimuth compression or; possibly, range compression so that averages over relatively large footprints can be used; (3) processing of data of the form of (2) using algorithms that can recover the vertical pattern of the antenna.

Moore, R. K.↗

NASA NTRS1986

Fatigue Criterion for System Design

Report discusses principles of structural-life prediction. Generalized methodology developed for structural life prediction, design, and reliability, based upon fatigue criterion. Approach incorporates computed life of elemental stress volumes of complex machine elements to predict system life. Results of coupon fatigue testing incorporated into analysis, allowing for life prediction and component or structural renewal rates, with reasonable statistical certainty.

Zeretsky, E. V.↗

NASA NTRS1985

Evaluation of spacecraft technology programs (effects on communication satellite business ventures), volume 1

Commercial organizations as well as government agencies invest in spacecraft (S/C) technology programs that are aimed at increasing the performance of communications satellites. The value of these programs must be measured in terms of their impacts on the financial performane of the business ventures that may ultimately utilize the communications satellites. An economic evaluation and planning capability was developed and used to assess the impact of NASA on-orbit propulsion and space power programs on typical fixed satellite service (FSS) and direct broadcast service (DBS) communications satellite business ventures. Typical FSS and DBS spin and three-axis stabilized spacecraft were configured in the absence of NASA technology programs. These spacecraft were reconfigured taking into account the anticipated results of NASA specified on-orbit propulsion and space power programs. In general, the NASA technology programs resulted in spacecraft with increased capability. The developed methodology for assessing the value of spacecraft technology programs in terms of their impact on the financial performance of communication satellite business ventures is described. Results of the assessment of NASA specified on-orbit propulsion and space power technology programs are presented for typical FSS and DBS business ventures.

Greenburg, J. S.↗

NASA NTRS1986

Atmospheric, climatic and environmental research

Research conducted during the past year in the climate and atmospheric modeling programs was focused on the development of appropriate atmospheric and upper ocean models, and preliminary applications of these models. Prinicpal models are a one-dimensional radiative-convection model, a three-dimensional global climate model, and an upper ocean model. Principal application is the study of the impact of CO2, aerosols and the solar constant on climate. Also the performance of the International Satellite Cloud Climatology Project cloud detection algorithm was evaluated, concentrating initially on its application to geosynchronous data, with an eventual switch of the developed methodologies to data from polar orbiting satellites. In the process, a number of improvements were made, in particular: an improved technique for tracking small scale day to day variability in clear sky continental temperatures; a number of techniques for the statistical assessment of cloud detection uncertainties due to cloud types which are spatially and temporally invariant; and a method used to detect those cloudy regions which have long term spatial and temporal stability.

Broecker, W. S.↗

NASA NTRS1985

Computers in Aerospace Conference, 5th, Long Beach, CA, October 21-23, 1985, Technical Papers

Among the topics discussed are: access control models for a distributed CAIS-conforming system; a knowledge-based advisory system for casualty procedures; and automated interactive simulation modeling system. Consideration is also given to: reusable software concepts and software development methodologies; the electronic device aspects of neutral network memories; an expert system for automated satellite anomaly resolution; and the use of automatic programming techniques for fault-tolerant computing systems. Among additional topics discussed are: systems approaches to software fault tolerance; a Space Shuttle navigation validation system; and a vision-based road following system for an autonomous land vehicle.

Source record↗

NASA NTRS1985

Dual control and prevention of the turn-off phenomenon in a class of mimo systems

A recently developed methodology of adaptive dual control based upon sensitivity functions is applied here to a multivariable input-output model. The plant has constant but unknown parameters. It represents a simplified linear version of the relationship between the vibration output and the higher harmonic control input for a helicopter. The cautious and the new dual controller are examined. In many instances, the cautious controller is seen to turn off. The new dual controller modifies the cautious control design by numerator and denominator correction terms which depend upon the sensitivity functions of the expected future cost and avoids the turn-off and burst phenomena. Monte Carlo simulations and statistical tests of significance indicate the superiority of the dual controller over the cautious and the heuristic certainity equivalence controllers.

Mookerjee, P.↗

NASA NTRS1985

Overview of helicopter wake and airloads technology

An overview of helicopter aerodynamics technology is presented with emphasis on rotor wake and airloads methodology developed at the United Technologies Research Center (UTRC). The evolution over the past twenty years of various levels of computerized wake geometry models at UTRC, such as undistorted wake, prescribed empirical wake, predicted distorted wake, and generalized wake models for the hover and forward flight regimes, is reviewed. The requirement for accurate wake modeling for flow field and airload prediction is demonstrated by comparisons of theoretical and experimental results. These results include blade pressure distributions predicted from a recently developed procedure for including the rotor wake influence in a full potential flow analysis. Predictions of the interactional aerodynamics of various helicopter components (rotor, fuselage, and tail) are also presented. It is concluded that, with advanced computers and the rapidly progressing computational aerodynamics technology, significant progress toward reliable prediction of helicopter airloads is forseeable in the near future.

Landgrebe, A. J.↗

NASA NTRS1987

System-Assurance Analysis for Nuclear Powerplants

System-assurance-analysis (SAA) methodology developed for aerospace launch-support systems proposed for nuclear powerplants. Study shows it is feasible and practical to apply SAA methodologyto nuclear powerplants. Essentially combination of analytical techniques related to safety and reliability with information system assisting managers in making decisions affecting safety and reliability.

Page, Donald W.↗

NASA NTRS1986

An overview of the Land Analysis System (LAS)

An outline covering the history, development methodology, and major hardware/software components of the Land Analysis System (LAS) is presented. System support services including the Transportable Applications Executive (TAE), Catalog Manager, history files, and applications services are briefly described along with the general functional capabilities of the 224 available applications programs. Example interface menus are given and desired enhancements to the LAS system are listed.

Lu, Yun-Chi↗

NASA NTRS1986

General object-oriented software development

Object-oriented design techniques are gaining increasing popularity for use with the Ada programming language. A general approach to object-oriented design which synthesizes the principles of previous object-oriented methods into the overall software life-cycle, providing transitions from specification to design and from design to code. It therefore provides the basis for a general object-oriented development methodology.

Seidewitz, Edwin V.↗

NASA NTRS1987

Analysis of woven fabrics for reinforced composite materials

The use of woven fabrics as reinforcements for composites is considered. Methods of analysis of properties are reviewed and extended, with particular attention paid to three-dimensional constructions having through-the-thickness reinforcements. Methodology developed is used parametrically to evaluate the performance potential of a wide variety of reinforcement constructions including hybrids. Comparisons are made of predicted and measured properties of representative composites having biaxial and triaxial woven, and laminated tape lay-up reinforcements. Overall results are incorporated in advanced weave designs.

Dow, Norris F.↗

NASA NTRS1988

Whisker-reinforced ceramic composites for heat engine components

Much work was undertaken to develop techniques of incorporating SiC whiskers into either a Si3N4 or SiC matrix. The result was the fabrication of ceramic composites with ever-increasing fracture toughness and strength. To complement this research effort, the fracture behavior of whisker-reinforced ceramics is studied so as to develop methodologies for the analysis of structural components fabricated from this toughened material. The results, outlined herein, focus on the following areas: the use of micromechanics to predict thermoelastic properties, theoretical aspects of fracture behavior, and reliability analysis.

Duffy, Stephen F.↗

NASA NTRS1988

HASA: Hypersonic Aerospace Sizing Analysis for the Preliminary Design of Aerospace Vehicles

A review of the hypersonic literature indicated that a general weight and sizing analysis was not available for hypersonic orbital, transport, and fighter vehicles. The objective here is to develop such a method for the preliminary design of aerospace vehicles. This report describes the developed methodology and provides examples to illustrate the model, entitled the Hypersonic Aerospace Sizing Analysis (HASA). It can be used to predict the size and weight of hypersonic single-stage and two-stage-to-orbit vehicles and transports, and is also relevant for supersonic transports. HASA is a sizing analysis that determines vehicle length and volume, consistent with body, fuel, structural, and payload weights. The vehicle component weights are obtained from statistical equations for the body, wing, tail, thermal protection system, landing gear, thrust structure, engine, fuel tank, hydraulic system, avionics, electral system, equipment payload, and propellant. Sample size and weight predictions are given for the Space Shuttle orbiter and other proposed vehicles, including four hypersonic transports, a Mach 6 fighter, a supersonic transport (SST), a single-stage-to-orbit (SSTO) vehicle, a two-stage Space Shuttle with a booster and an orbiter, and two methane-fueled vehicles.

Harloff, Gary J.↗

NASA NTRS1989

Formal verification of a fault tolerant clock synchronization algorithm

A formal specification and mechanically assisted verification of the interactive convergence clock synchronization algorithm of Lamport and Melliar-Smith is described. Several technical flaws in the analysis given by Lamport and Melliar-Smith were discovered, even though their presentation is unusally precise and detailed. It seems that these flaws were not detected by informal peer scrutiny. The flaws are discussed and a revised presentation of the analysis is given that not only corrects the flaws but is also more precise and easier to follow. Some of the corrections to the flaws require slight modifications to the original assumptions underlying the algorithm and to the constraints on its parameters, and thus change the external specifications of the algorithm. The formal analysis of the interactive convergence clock synchronization algorithm was performed using the Enhanced Hierarchical Development Methodology (EHDM) formal specification and verification environment. This application of EHDM provides a demonstration of some of the capabilities of the system.

Rushby, John↗

NASA NTRS1989

The FORCE: A portable parallel programming language supporting computational structural mechanics

This project supports the conversion of codes in Computational Structural Mechanics (CSM) to a parallel form which will efficiently exploit the computational power available from multiprocessors. The work is a part of a comprehensive, FORTRAN-based system to form a basis for a parallel version of the NICE/SPAR combination which will form the CSM Testbed. The software is macro-based and rests on the force methodology developed by the principal investigator in connection with an early scientific multiprocessor. Machine independence is an important characteristic of the system so that retargeting it to the Flex/32, or any other multiprocessor on which NICE/SPAR might be imnplemented, is well supported. The principal investigator has experience in producing parallel software for both full and sparse systems of linear equations using the force macros. Other researchers have used the Force in finite element programs. It has been possible to rapidly develop software which performs at maximum efficiency on a multiprocessor. The inherent machine independence of the system also means that the parallelization will not be limited to a specific multiprocessor.

Jordan, Harry F.↗

NASA NTRS1989

A finite element formulation for the large deflection random response of thermally buckled plates

By using the linear mode shapes of a thermally buckled structure, a governing system of finite element equations for large-deflection random vibrations is reduced to a system of nonlinear modal equations. This system is then solved using the method of equivalent linearization. The methodology developed in this study is applicable to the design of aerospace vehicles subjected to combined thermal/acoustic loads.

Locke, James↗

NASA NTRS1989

Pulse modulated control synthesis for a flexible spacecraft

The describing function method is employed for the nonlinear control analysis and design of a flexible spacecraft equipped with pulse modulated reaction jets. The method provides a means of characterizing the pulse modulator in terms of its gain and phase for structural mode limit cycle analysis. Although the describing function method is inherently inexact and is not widely used in practice, a new way of utilizing it for practical control design problems is presented. It is shown that the approximations inherent in the method can be accounted as a modeling uncertainty for the nonlinear control robustness analysis. The pulse modulated control system of the Intelsat 5 spacecraft is used as an example to illustrate the concept and methodology developed in the paper. The nonlinear stability margins predicted by the describing function analysis are verified from nonlinear simulations.

Anthony, Tobin C.↗