Search NASA⌕ Search

SEARCH · Search NASA

Results for “LOGIC PROGRAMMING”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS2015

Proving Program Termination With Matrix Weighted Digraphs

Program termination analysis is an important task in logic and computer science. While determining if a program terminates is known to be undecidable in general, there has been a significant amount of attention given to finding sufficient and computationally practical conditions to prove termination. One such method takes a program and builds from it a matrix weighted digraph. These are directed graphs whose edges are labeled by square matrices with entries in {-1,0,1}, equipped with a nonstandard matrix multiplication. Certain properties of this digraph are known to imply the termination of the related program. In particular, termination of the program can be determined from the weights of the circuits in the digraph. In this talk, the motivation for addressing termination and how matrix weighted digraphs arise will be briefly discussed. The remainder of the talk will describe an efficient method for bounding the weights of a finite set of the circuits in a matrix weighted digraph, which allows termination of the related program to be deduced.

Dutle, Aaron↗
NASA NTRS1974

Computerized logic design of digital circuits

Procedure performs all work required for logic design of digital counters or sequential circuits and simplification of Boolean expressions. Program provides simple, accurate, and comprehensive logic design capability to users both experienced and totally inexperienced in logic design

Gussow, S.↗
NASA NTRS1989

Crystal growth of device quality GaAs in space

The program on Crystal Growth of Device Quality GaAs in Space was initiated in 1977. The initial stage covering 1977 to 1984 was devoted strictly to ground-based research. By 1985 the program had evolved into its next logical stage aimed at space growth experiments; however, since the Challenger disaster, the program has been maintained as a ground-based program awaiting activation of experimentation in space. The overall prgram has produced some 80 original scientific publications on GaAs crystal growth, crystal characterization, and new approaches to space processing. Publication completed in the last three years are listed. Their key results are outlined and discussed in the twelve publications included as part of the report.

Gatos, Harry C.↗
NASA NTRS1975

Users manual for flight control design programs

Computer programs for the design of analog and digital flight control systems are documented. The program DIGADAPT uses linear-quadratic-gaussian synthesis algorithms in the design of command response controllers and state estimators, and it applies covariance propagation analysis to the selection of sampling intervals for digital systems. Program SCHED executes correlation and regression analyses for the development of gain and trim schedules to be used in open-loop explicit-adaptive control laws. A linear-time-varying simulation of aircraft motions is provided by the program TVHIS, which includes guidance and control logic, as well as models for control actuator dynamics. The programs are coded in FORTRAN and are compiled and executed on both IBM and CDC computers.

Nalbandian, J. Y.↗
NASA NTRS1980

Spacecraft trajectory

Two programs, Hiltop I and Hiltop II, generate optimum trajectory data for electric propulsion missions of interest in exploration of solar system. Propulsion-system logic is activated by single program-input key; program modifications retain Hiltop I within framework of logic, so that Hiltop I input files, will run Hiltop II version and produce identical results as before.

Horsewood, J. L.↗
NASA NTRS1976

Biomedical results of the Skylab Program

Skylab, the fourth in a logical sequence of USA manned space flight projects following Mercury, Gemini and Apollo, presented life scientists with their first opportunity for an in-depth study of man's response to the space environment. Extensive medical investigations were undertaken to increase our understanding of man's adaptation to the space environment and his readaptation to gravity upon return to earth. The flight durations of the three Skylab missions were progressively increased from 28 days to 59 days and, finally, 84 days. The results of these investigations of the various body systems clearly denonstrated that man can adapt to zero gravity and perform useful work during long-duration space flight. However, definite changes (some unexpected) in the vestibular, cardiovascular, musculo-skeletal, renal and electrolyte areas were documented. The most significant were: the occurrence of space motion sickness early in the missions; diminished orthostatic tolerance, both in-flight and post-flight; moderate losses of calcium, phosphorus and nitrogen; and decreased tolerance for exercise post-flight. The mechanisms responsible for these physiological responses must be understood and, if necessary, effective countermeasures developed before man can endure unlimited exposure to space flight.

Michel, E. L.↗
NASA NTRS1991

Control of a flexible beam using fuzzy logic

The goal of this project, funded under the NASA Summer Faculty Fellowship program, was to evaluate control methods utilizing fuzzy logic for applicability to control of flexible structures. This was done by applying these methods to control of the Control Structures Interaction Suitcase Demonstrator developed at Marshall Space Flight Center. The CSI Suitcase Demonstrator is a flexible beam, mounted at one end with springs and bearing, and with a single actuator capable of rotating the beam about a pin at the fixed end. The control objective is to return the tip of the free end to a zero error position (from a nonzero initial condition). It is neither completely controllable nor completely observable. Fuzzy logic control was demonstrated to successfully control the system and to exhibit desirable robustness properties compared to conventional control.

Mccullough, Claire L.↗
NASA NTRS1977

NOAA/National Hurricane and Experimental Meteorological Laboratory

National Hurricane and Experimental Meteorological Laboratory (NHEML) research programs concentrate on two atmospheric phenomena of the tropical troposphere: hurricanes and cumulus convection, together with the atmospheric environments in which they occur and with which they interact. These programs include basic research in the description of these phenomena and applied research in their prediction and potential beneficial modification. NHEML is partitioned into four working groups. Two important and logical parts of the research programs are the experimental program in hurricane modification (STORMFURY) and the program in cumulus modification (FACE). The ultimate goal of STORMFURY is the reduction of the maximum winds associated with the eyewall of hurricanes; the goal of FACE is to acquire a thorough understanding of cumulus cloud behavior that will enable NHEML to increase precipitation from cumulus clouds. The operational structure of NHEML and related agencies are presented.

Source record↗
NASA NTRS1980

Bifilar analysis users manual, volume 2

The digital computer program developed to study the vibration response of a coupled rotor/bifilar/airframe coupled system is described. The theoretical development of the rotor/airframe system equations of motion is provided. The fuselage and bifilar absorber equations of motion are discussed. The modular block approach used in the make-up of this computer program is described. The input data needed to run the rotor and bifilar absorber analyses is described. Sample output formats are presented and discussed. The results for four test cases, which use the major logic paths of the computer program, are presented. The overall program structure is discussed in detail. The FORTRAN subroutines are described in detail.

Cassarino, S. J.↗
NASA NTRS1979

A Simplified Shuttle Payload Thermal Analyzer /SSPTA/ program

A simple thermal analysis program for Space Shuttle payloads has been developed to accommodate the user who requires an easily understood but dependable analytical tool. The thermal analysis program includes several thermal subprograms traditionally employed in spacecraft thermal studies, a data management system for data generated by the subprograms, and a master program to coordinate the data files and thermal subprograms. The language and logic used to run the thermal analysis program are designed for the small user. In addition, analytical and storage techniques which conserve computer time and minimize core requirements are incorporated into the program.

Bartoszek, J. T.↗
NASA NTRS1978

Heliocentric interplanetary low thrust trajectory optimization program, supplement 1, part 2

The improvements made to the HILTOP electric propulsion trajectory computer program are described. A more realistic propulsion system model was implemented in which various thrust subsystem efficiencies and specific impulse are modeled as variable functions of power available to the propulsion system. The number of operating thrusters are staged, and the beam voltage is selected from a set of five (or less) constant voltages, based upon the application of variational calculus. The constant beam voltages may be optimized individually or collectively. The propulsion system logic is activated by a single program input key in such a manner as to preserve the HILTOP logic. An analysis describing these features, a complete description of program input quantities, and sample cases of computer output illustrating the program capabilities are presented.

Mann, F. I.↗
NASA NTRS1971

Improved scaling laws for stage inert mass space Propulsion systems. Volume 3: Propulsion synthesis program users and programmers manual

The analytical models developed for the Space Propulsion Automated Synthesis Modeling (SPASM) program are presented. Weight scaling laws developed during this study are incorporated into the program's scaling data bank. A detail listing, logic diagram and input/output formats are supplied for the SPASM program. Two test examples for one to four-stage vehicles performing different types of missions are shown to demonstrate the program's capability and versatility.

Source record↗
NASA NTRS1978

JPL Energy Consumption Program (ECP) documentation: A computer model simulating heating, cooling and energy loads in buildings

The engineering manual provides a complete companion documentation about the structure of the main program and subroutines, the preparation of input data, the interpretation of output results, access and use of the program, and the detailed description of all the analytic, logical expressions and flow charts used in computations and program structure. A numerical example is provided and solved completely to show the sequence of computations followed. The program is carefully structured to reduce both user's time and costs without sacrificing accuracy. The user would expect a cost of CPU time of approximately $5.00 per building zone excluding printing costs. The accuracy, on the other hand, measured by deviation of simulated consumption from watt-hour meter readings, was found by many simulation tests not to exceed + or - 10 percent margin.

Lansing, F. L.↗
NASA NTRS2007

Automated Design of Restraint Layer of an Inflatable Vessel

A Mathcad computer program largely automates the design and analysis of the restraint layer (the primary load-bearing layer) of an inflatable vessel that consists of one or more sections having cylindrical, toroidal, and/or spherical shape(s). A restraint layer typically comprises webbing in the form of multiple straps. The design task includes choosing indexing locations along the straps, computing the load at every location in each strap, computing the resulting stretch at each location, and computing the amount of undersizing required of each strap so that, once the vessel is inflated and the straps thus stretched, the vessel can be expected to assume the desired shape. Prior to the development of this program, the design task was performed by use of a difficult-to-use spreadsheet program that required manual addition of rows and columns depending on the numbers of strap rows and columns of a given design. In contrast, this program is completely parametric and includes logic that automatically adds or deletes rows and columns as needed. With minimal input from the user, this program automatically computes indexing locations, strap lengths, undersizing requirements, and all design data required to produce detailed drawings and assembly procedures. It also generates textual comments that help the user understand the calculations.

Spexarth, Gary↗
NASA NTRS2002

An Overview of the Runtime Verification Tool Java PathExplorer

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.

Havelund, Klaus↗
NASA NTRS1990

Automating symbolic analysis with CLIPS

Symbolic Analysis is a methodology first applied as an aid in selecting and generating test cases for 'white box' type testing of computer software programs. The feasibility of automating this analysis process has recently been demonstrated through the development of a CLIPS-based prototype tool. Symbolic analysis is based on separating the logic flow diagram of a computer program into its basic elements, and then systematically examining those elements and their relationships to provide a detailed static analysis of the process that those diagrams represent. The basic logic flow diagram elements are flow structure (connections), predicates (decisions), and computations (actions). The symbolic analysis approach supplies a disciplined step-by-step process to identify all executable program paths and produce a truth table that defines the input and output domains for each path identified. The resulting truth table is the tool that allows software test cases to be generated in a comprehensive manner to achieve total program path, input domain, and output domain coverage. Since the manual application of symbolic analysis is extremely labor intensive and is itself error prone, automation of the process is highly desirable. Earlier attempts at automation, utilizing conventional software approaches, had only limited success. This paper briefly describes the automation problems, the symbolic analysis expert's problem solving heuristics, and the implementation of those heuristics as a CLIPS based prototype, and the manual augmentation required. A simple application example is also provided for illustration purposes. The paper concludes with a discussion of implementation experiences, automation limitations, usage experiences, and future development suggestions.

Morris, Keith E.↗