SEARCH · Search NASA

Results for “Programming model”

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 865 records · Page 48

All sources NASA NTRS DOE OSTI

NASA NTRS1987

Reliability of voting in fault-tolerant software systems for small output spaces

Under a voting strategy in a fault-tolerant software system there is a difference between correctness and agreement. An independent N-version programming reliability model is proposed for treating small output spaces which distinguishes between correctness and agreement. System reliability is investigated using analytical relationships and simulation. A consensus majority voting strategy is proposed and its performance is analyzed and compared with other voting strategies. Consensus majority strategy automatically adapts the voting to different component reliability and output space cardinality characteristics. It is shown that absolute majority voting strategy provides a lower bound on the reliability provided by the consensus majority, and 2-of-n voting strategy an upper bound. If r is the cardinality of the output space it is proved the 1/r is a lower bound on the average reliability of fault-tolerant system components below which the system reliability begins to deteriorate as more versions are added.

Mcallister, David F.↗

NASA NTRS1988

Minimum-complexity helicopter simulation math model

An example of a minimal complexity simulation helicopter math model is presented. Motivating factors are the computational delays, cost, and inflexibility of the very sophisticated math models now in common use. A helicopter model form is given which addresses each of these factors and provides better engineering understanding of the specific handling qualities features which are apparent to the simulator pilot. The technical approach begins with specification of features which are to be modeled, followed by a build up of individual vehicle components and definition of equations. Model matching and estimation procedures are given which enable the modeling of specific helicopters from basic data sources such as flight manuals. Checkout procedures are given which provide for total model validation. A number of possible model extensions and refinement are discussed. Math model computer programs are defined and listed.

Heffley, Robert K.↗

NASA NTRS1987

STRAY - An interactive program for the computation of stray radiation in infrared telescopes

The STRAY program to model the amount of stray radiation reaching the focal plane of a well-baffled telescope is described. The STRAY telescope model is addressed, including the aperture shade, barrel baffle, optics, mirror sectioning and chopping, and off-axis points in focal plane. The possible illumination paths are shown, and calculation options using STRAY are discussed. The stored data and computational aspects of STRAY are addressed. STRAY is compared to the MINI-APART model, and applications of STRAY are described.

St. Clair Dinger, Ann↗

NASA NTRS1988

Aeroelastic tailoring for oblique wing lateral trim

Composite material aeroelastic tailoring is presently explored as a means for the correction of the roll trim imbalance of oblique-wing aircraft configurations. The concept is demonstrated through the analysis of a realistic oblique wing by a static aeroelastic computational procedure encompassing the full potential transonic aerodynamic code FLO22 and a Ritz structural plate program that models the stiffness due to symmetrical-but-unbalanced composite wing skins. Results indicate that asymetric composite tailoring reduces the aileron deflection needed for roll equilibrium, and reduces control surface hinge moment and drag. Wing skin stresses are, however, very high.

Bohlmann, Jonathan D.↗

NASA NTRS1987

Constitutive modelling of single crystal and directionally solidified superalloys

Successful attempts were made to model the deformation behavior of nickel base superalloys to be used in gas turbine engines based on both a macroscopic constitutive model and a micromechanical formulation based on crystallographic slip theory. These models were programmed as FORTRAN subroutines, are currently being used to simulate thermomechanical loading predictions expected at the fatigue critical locations on a single crystal turbine blade. Such analyses form a natural precursor to the application of life prediction methods to gas turbine airfoils.

Walker, Kevin P.↗

NASA NTRS1987

Metalevel programming in robotics: Some issues

Computing in robotics has two important requirements: efficiency and flexibility. Algorithms for robot actions are implemented usually in procedural languages such as VAL and AL. But, since their excessive bindings create inflexible structures of computation, it is proposed that Logic Programming is a more suitable language for robot programming due to its non-determinism, declarative nature, and provision for metalevel programming. Logic Programming, however, results in inefficient computations. As a solution to this problem, researchers discuss a framework in which controls can be described to improve efficiency. They have divided controls into: (1) in-code and (2) metalevel and discussed them with reference to selection of rules and dataflow. Researchers illustrated the merit of Logic Programming by modelling the motion of a robot from one point to another avoiding obstacles.

Kumarn, A.↗

NASA NTRS1988

Dewar to dewar model for superfluid helium transfer

A model has been developed to predict the flow of He II between a source and a receiving dewar. The model uses a finite difference aproximation to integrate the describing equations. The transfer path may contain porous plugs or mechanical pumps, heater sections, heat leaks, constrictions due to valves, and bends. These line elements may occur in any order and in any quantity. The line elements are easily reconfigured by changing the input data. The input consists of the number of finite element cells, the pressure in each dewar, the heat input to each section and the dimensions of each section. The output is the temperature, pressure, flow rate, velocities and heat flux in each section. An internal reference table provides the properties of He II. The model is programmed for a LOTUS work sheet. It converges rapidly and usually requires 10 to 15 iterations. For most applications an iteration takes 30 s on an AT. The predictions agree well with experimental data.

Snyder, H. A.↗

NASA NTRS1990

Reliability model generator specification

The Reliability Model Generator (RMG), a program which produces reliability models from block diagrams for ASSIST, the interface for the reliability evaluation tool SURE is described. An account is given of motivation for RMG and the implemented algorithms are discussed. The appendices contain the algorithms and two detailed traces of examples.

Cohen, Gerald C.↗

NASA NTRS1990

Stratus: An interactive steady state mixed layer model for personal computers

A steady-state, horizontally homogeneous, cloud-topped marine boundary layer model based primarily on the work of Lilly (1968) and Schubert et al., (1979) is presented. The conservative thermodynamic variables are equivalent potential temperature, theta(sub e), and total water mixing ratio, q + l. Some of the differences between this and Lilly's (1968) model are: radiation is allowed to penetrate into the boundary layer; cloud top values of longwave radiation, equivalent potential temperature, and water vapor mixing ratio are linear functions of height derived from climatological data at California coastal stations; and the closure assumption assumes a weighted average of Lilly's (1968) maximum and minimum entrainment theories. This model was programmed in FORTRAN and will run interactively on an IBM-compatible personal computer. The program allows the user to specify the geographical location, the wind speed, the sea-surface temperature, the large scale horizontal divergence, and the initial guess for cloud top height. Output includes the steady state values of cloud top and cloud base height, mixed layer equivalent potential temperature and total water mixing ratio, and the associated convective and radiative fluxes.

Guinn, Thomas A.↗

NASA NTRS1991

Estimating Rain Attenuation In Satellite Communication Links

Attenuation computed with help of statistical model and meteorological data. NASA Lewis Research Center Satellite Link Attenuation Model (SLAM) program QuickBASIC computer program evaluating static and dynamic statistical assessment of impact of rain attenuation on communication link established between Earth terminal and geosynchronous satellite. Application in specification, design, and assessment of satellite communication links for any terminal location in continental United States. Written in Microsoft QuickBASIC.

Manning, R. M.↗

NASA NTRS1990

Calculation of rotor impedance for use in design analysis of helicopter airframe vibrations

Excessive vibration is one of the most prevalent technical obstacles encountered in the development of new rotorcraft. The inability to predict these vibrations is primarily due to deficiencies in analysis and simulation tools. The Langley Rotorcraft Structural Dynamics Program was instituted in 1984 to meet long term industry needs in the area of rotorcraft vibration prediction. As a part of the Langley program, this research endeavors to develop an efficient means of coupling the rotor to the airframe for preliminary design analysis of helicopter airframe vibrations. The main effort was to modify the existing computer program for modeling the dynamic and aerodynamic behavior of rotorcraft called DYSCO (DYnamic System COupler) to calculate the rotor impedance. DYSCO was recently developed for the U.S. Army and has proven to be adaptable for the inclusion of new solution methods. The solution procedure developed to use DYSCO for the calculation of rotor impedance is presented. Verification of the procedure by comparison with a known solution for a simple wind turbine model is about 75 percent completed, and initial results are encouraging. After the wind turbine impedance is confirmed, the verification effort will continue by comparison to solutions of a more sophisticated rotorcraft model. Future work includes determination of the sensitivity of the rotorcraft airframe vibrations to helicopter flight conditions and rotor modeling assumptions. When completed, this research will ascertain the feasibility and efficiency of the impedance matching method of rotor-airframe coupling for use in the analysis of airframe vibrations during the preliminary rotorcraft design process.

Nygren, Kip P.↗

NASA NTRS1990

Magnetic cleanliness verification approach on tethered satellite

Magnetic cleanliness testing was performed on the Tethered Satellite as the last step of an articulated verification campaign aimed at demonstrating the capability of the satellite to support its TEMAG (TEthered MAgnetometer) experiment. Tests at unit level and analytical predictions/correlations using a dedicated mathematical model (GANEW program) are also part of the verification activities. Details of the tests are presented, and the results of the verification are described together with recommendations for later programs.

Messidoro, Piero↗

NASA NTRS1990

Reliability of voting in fault-tolerant software systems for small output spaces

Under a voting strategy in a fault-tolerant software system there is a difference between correctness and agreement. An independent N-version programming reliability model is proposed for treating small output spaces which distinguishes between correctness and agreement. System reliability is investigated using analytical relationships and simulation. A consensus majority voting stratey is proposed and its performance is analyzed and compared with other voting strategies. A consensus voting strategy automatically adapts the voting to diffeerent component reliability and output space cardinality characteristics. It is shown that absolute majority voting strategy provides a lower bound on the reliability provided by the consensus majority, and the 2-of-n voting strategy an upper bound. If r is the cardinality of output space it is proved that 1/r is a lower bound on the average reliability of fault-tolerant system components below which the system reliability begins to deteriorate as more versions are added.

Mcallister, David F.↗

NASA NTRS1992

Glass sample preparation and performance investigations

This final report details the work performed under this delivery order from April 1991 through April 1992. The currently available capabilities for integrated optical performance modeling at MSFC for large and complex systems such as AXAF were investigated. The Integrated Structural Modeling (ISM) program developed by Boeing for the U.S. Air Force was obtained and installed on two DECstations 5000 at MSFC. The structural, thermal and optical analysis programs available in ISM were evaluated. As part of the optomechanical engineering activities, technical support was provided in the design of support structure, mirror assembly, filter wheel assembly and material selection for the Solar X-ray Imager (SXI) program. As part of the fabrication activities, a large number of zerodur glass samples were prepared in different sizes and shapes for acid etching, coating and polishing experiments to characterize the subsurface damage and stresses produced by the grinding and polishing operations. Various optical components for AXAF video microscope and the x-ray test facility were also fabricated. A number of glass fabrication and test instruments such as a scatter plate interferometer, a gravity feed saw and some phenolic cutting blades were fabricated, integrated and tested.

Johnson, R. Barry↗

NASA NTRS1992

An improved classification tree analysis of high cost modules based upon an axiomatic definition of complexity

Identification of high cost modules has been viewed as one mechanism to improve overall system reliability, since such modules tend to produce more than their share of problems. A decision tree model was used to identify such modules. In this current paper, a previously developed axiomatic model of program complexity is merged with the previously developed decision tree process for an improvement in the ability to identify such modules. This improvement was tested using data from the NASA Software Engineering Laboratory.

Tian, Jianhui↗

NASA NTRS1992

EnviroNET

EnviroNET is a service/facility that provides users with on-line, dial-up technical information concerning environmental conditions likely to be encountered by instruments and experimental arrangements carried aboard spacecraft. EnviroNET incorporates at present a combination of expository text and numerical tables amounting to about two million characters (bytes), plus FORTRAN programs that model the space environment. The topics covered are presented in viewgraph form and include the following: advantages of EnviroNET; thermal and humidity; vibration and acoustics; electromagnetic interference; loads and low frequency dynamics; microbial and toxic contaminants; molecular contamination; natural environment; orbiter motion; particulate environment; surface interactions; spacecraft anomalies; and interactive graphics facility.

Vansant, Tim↗

NASA NTRS1992

MODE: Structural Test Article (STA)

Viewgraphs on the Middeck 0-gravity Dynamics Experiment (MODE): Structural Test Article (STA) are presented. Topics covered include: MODE: structural test article motivation; hardware; sensors and actuators; experimental support module; data; preliminary results; supporting analysis program; and modeling approach.

Crawley, Edward F.↗

NASA NTRS1992

Active strut placement using integer programming for the CSI Revolutionary Model

A method for determining the most effective locations for active struts on large space structures is developed and tested on the NASA CSI Evolutionary Model. Depending on the choice of weighting factors, the method can be used to maximize the maximum modal damping ratio or decay rate, or to maximize a mission-oriented measure of performance. Placement of 8, 16, and 32 active struts out of 1507 candidate truss elements is demonstrated. Preliminary estimates of damping enhancement are reported pending refined structural models and dynamic test results. The method can handle complicated FEM models wih a large number of truss elements and many target modes. It can treat each mode equally or it can emphasize the importance of selected modes. The method can eliminate some combinations of actuator locations based on topological constraints.

Padula, Sharon L.↗