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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS1980

Steady, oscillatory, and unsteady subsonic Aerodynamics, production version 1.1 (SOUSSA-P1.1). Volume 2: User/programmer manual

A user/programmer manual for the computer program SOUSSA P 1.1 is presented. The program was designed to provide accurate and efficient evaluation of steady and unsteady loads on aircraft having arbitrary shapes and motions, including structural deformations. These design goals were in part achieved through the incorporation of the data handling capabilities of the SPAR finite element Structural Analysis computer program. As a further result, SOUSSA P possesses an extensive checkpoint/ restart facility. The programmer's portion of this manual includes overlay/subroutine hierarchy, logical flow of control, definition of SOUSSA P 1.1 FORTRAN variables, and definition of SOUSSA P 1.1 subroutines. Purpose of the SOUSSA P 1.1 modules, input data to the program, output of the program, hardware/software requirements, error detection and reporting capabilities, job control statements, a summary of the procedure for running the program and two test cases including input and output and listings are described in the user oriented portion of the manual.

Smolka, S. A.↗
NASA NTRS1985

NASA: 1986 long-range program plan

For the years beyond FY 1986, the plan consists of activities that are technologically possible and considered to be in the national interest. Its implementation will ensure logical and continued progress in reaching the Nation's goals in aeronautics and space, consistent with the responsibilities assigned NASA by the National Aeronautics and Space Act of 1958, as amended. The major features of the programs are described in detail and the nature of the aeronautics and space programs beyond the year 2000 are projected. The abbreviations and acronyms that appear in this report are listed. The status of NASA's plans are summarized at the time of its preparation.

Source record↗
NASA NTRS1971

Graphical method for analyzing digital computer efficiency

Analysis method utilizes graph-theoretic approach for evaluating computation cost and makes logical distinction between linear graph of a computation and linear graph of a program. It applies equally well to other processes which depend on quatitative edge nomenclature and precedence relationships between edges.

Chan, S. P.↗
NASA NTRS1971

Advanced Power Conditioning System

The second portion of the advanced power conditioning system development program is reported. Five 100-watt parallel power stages with majority-vote-logic feedback-regulator were breadboarded and tested to the design goals. The input voltage range was 22.1 to 57.4 volts at loads from zero to 500 watts. The maximum input ripple current was 200 mA pk-pk (not including spikes) at 511 watts load; the output voltage was 56V dc with a maximum change of 0.89 volts for all variations of line, load, and temperature; the maximum output ripple was 320 mV pk-pk at 512 watts load (dependent on filter capacitance value); the maximum efficiency was 93.9% at 212 watts and 50V dc input; the minimum efficiency was 87.2% at 80-watt load and 50V dc input; the efficiency was above 90% from 102 watts to 372 watts; the maximum excursion for an 80-watt load change was 2.1 volts with a recovery time of 7 milliseconds; and the unit performed within regulation limits from -20 C to +85 C. During the test sequence, margin tests and failure mode tests were run with no resulting degradation in performance.

Johnson, N. L.↗
NASA NTRS2000

A Network Mission: Completing the Scientific Foundation for the Exploration of Mars

Despite recent setbacks and vacillations in the Mars Surveyor Program, in many respects the exploration of Mars has historically followed a relatively logical path. Early fly-bys provided brief glimpses of the planet and paved the way for the initial orbital reconnaissance of Mariner 9. The Viking orbiters completed the initial survey, while the Viking landers provided our first close-up look at the surface. Essentially, Mars Pathfinder served a similar role, giving a brief look at another place on the surface. And finally, Mars Global Surveyor (and the up-coming orbital mission in 2001) are taking the next step in providing in-depth, global observations of many of the fundamental characteristics of the planet, as well as selected high-resolution views of the surface. With this last step we are well on our way to acquiring the global scientific context that is necessary both for understanding Mars in general, its origin and evolution, and for use as a basis to plan and execute the next level of focused investigations. However, even with the successful completion of these missions this context will be incomplete. Whereas we now know a great deal about the surface of Mars in a global sense, we know very little about its interior, even at depths of only a meter or so. Also, as most of this information has been acquire by remote sensing, we still lack much of the bridging knowledge between the global view and the processes and character of the surface environments themselves. Thus, in many ways we lack sufficient fundamental understanding to intelligently cast the critical investigations into important questions of the origins and evolution of Mars in general, and in particular, life. The next step in building our understanding of Mars has been identified by several previous groups who were charged with creating a strategy for Mars exploration (e.g., COMPLEX, MarSWG, Planetary Roadmap Team). This is a so-called "network" mission, which places a large number of science platforms simultaneously on the surface.

W. B. Banerdt↗
NASA NTRS2001

Collaboration Between NASA Centers of Excellence on Autonomous System Software Development

Software for space systems flight operations has its roots in the early days of the space program when computer systems were incapable of supporting highly complex and flexible control logic. Control systems relied on fast data acquisition and supervisory control from a roomful of systems engineers on the ground. Even though computer hardware and software has become many orders of magnitude more capable, space systems have largely adhered to this original paradigm In an effort to break this mold, Kennedy Space Center (KSC) has invested in the development of model-based diagnosis and control applications for ten years having broad experience in both ground and spacecraft systems and software. KSC has now partnered with Ames Research Center (ARC), NASA's Center of Excellence in Information Technology, to create a new paradigm for the control of dynamic space systems. ARC has developed model-based diagnosis and intelligent planning software that enables spacecraft to handle most routine problems automatically and allocate resources in a flexible way to realize mission objectives. ARC demonstrated the utility of onboard diagnosis and planning with an experiment aboard Deep Space I in 1999. This paper highlights the software control system collaboration between KSC and ARC. KSC has developed a Mars In-situ Resource Utilization testbed based on the Reverse Water Gas Shift (RWGS) reaction. This plant, built in KSC's Applied Chemistry Laboratory, is capable of producing the large amount of Oxygen that would be needed to support a Human Mars Mission. KSC and ARC are cooperating to develop an autonomous, fault-tolerant control system for RWGS to meet the need for autonomy on deep space missions. The paper will also describe how the new system software paradigm will be applied to Vehicle Health Monitoring, tested on the new X vehicles and integrated into future launch processing systems.

Goodrich, Charles H.↗
NASA NTRS2004

Software for Checking Statecharts

HiVy is a software tool set that enables verification through model checking of designs represented as finite-state machines or statecharts. HiVy provides automated translation of (1) statecharts created by use of the MathWorks Stateflow program to (2) Promela, the input language of the Spin model checker, which can then be used to verify, or trace logical errors in, distributed software systems. HiVy can operate directly on Stateflow models, or its abstract syntax of hierarchical sequential automata (HSA) can be used independently as an intermediate format for translation to Promela. In a typical design application, HiVy parses and reformats Stateflow model file data using the programs SfParse and sf2hsa, respectively. If the parsing effort is successful, an abstract syntax tree is delivered into a file named with the extension .hsa. If the design comprises several model files, they may be merged into one .hsa file before translation into Promela. Stateflow scope is preserved, and name clashes are avoided in the merge process. The HiVy program hsa2pr translates the model from the intermediate HSA format into Promela. Additionally, HiVy provides through translation a list of all statechart model propositions that are the means for formalizing linear temporal logic (LTL) properties about the model for Spin verification.

Pingree, Paula↗
NASA NTRS1981

Army/NASA small turboshaft engine digital controls research program

The emphasis of a program to conduct digital controls research for small turboshaft engines is on engine test evaluation of advanced control logic using a flexible microprocessor based digital control system designed specifically for research on advanced control logic. Control software is stored in programmable memory. New control algorithms may be stored in a floppy disk and loaded directly into memory. This feature facilitates comparative evaluation of different advanced control modes. The central processor in the digital control is an Intel 8086 16 bit microprocessor. Control software is programmed in assembly language. Software checkout is accomplished prior to engine test by connecting the digital control to a real time hybrid computer simulation of the engine. The engine currently installed in the facility has a hydromechanical control modified to allow electrohydraulic fuel metering and VG actuation by the digital control. Simulation results are presented which show that the modern control reduces the transient rotor speed droop caused by unanticipated load changes such as cyclic pitch or wind gust transients.

Sellers, J. F.↗
NASA NTRS1983

Advanced Platform Systems Technology study. Volume 4: Technology advancement program plan

An overview study of the major technology definition tasks and subtasks along with their interfaces and interrelationships is presented. Although not specifically indicated in the diagram, iterations were required at many steps to finalize the results. The development of the integrated technology advancement plan was initiated by using the results of the previous two tasks, i.e., the trade studies and the preliminary cost and schedule estimates for the selected technologies. Descriptions for the development of each viable technology advancement was drawn from the trade studies. Additionally, a logic flow diagram depicting the steps in developing each technology element was developed along with descriptions for each of the major elements. Next, major elements of the logic flow diagrams were time phased, and that allowed the definition of a technology development schedule that was consistent with the space station program schedule when possible. Schedules show the major milestone including tests required as described in the logic flow diagrams.

Source record↗
NASA NTRS1998

The Aircraft Morphing Program

In the last decade smart technologies have become enablers that cut across traditional boundaries in materials science and engineering. Here we define smart to mean embedded actuation, sensing, and control logic in a tightly coupled feedback loop. While multiple successes have been achieved in the laboratory, we have yet to see the general applicability of smart devices to real aircraft systems. The NASA Aircraft Morphing program is an attempt to couple research across a wide range of disciplines to integrate smart technologies into high payoff aircraft applications. The program bridges research in seven individual disciplines and combines the effort into activities in three primary program thrusts. System studies are used to assess the highest- payoff program objectives, and specific research activities are defined to address the technologies required for development of smart aircraft systems. In this paper we address the overall program goals and programmatic structure, and discuss the challenges associated with bringing the technologies to fruition.

Wlezien, R. W.↗
NASA NTRS1984

New directions in the NASA program

This paper reports on the current activities of the U.S. National Aeronautics and Space Administration (NASA), and discusses several new directions in NASA's program. The Space Transportation System (STS) is operational and is now performing a wide variety of missions, including repair of spacecraft on orbit. A family of upper stages are available for missions requiring higher energy than the Shuttle alone can provide. With routine access to space assured by the STS, the U.S. is ready to take its next logical step into space with development of a permanently manned Space Station. In addition, NASA is supporting a program for increased commercial development of space through a government-industry partnership.

Sakss, U. J.↗
NASA NTRS1989

Line-Editor Computer Program

ZED editing program for DEC VAX computer simple, powerful line editor for text, program source code, and nonbinary data. Excels in processing of text by use of procedure files. Also features versatile search qualifiers, global changes, conditionals, online help, hexadecimal mode, space compression, looping, logical combinations of search strings, journaling, visible control characters, and automatic detabbing. Users of Cambridge implementation devised such ZED procedures as chess games, calculators, and programs for evaluating pi. Written entirely in C.

Scott, Peter J.↗
NASA NTRS1975

FCAP - A new tool for the evaluation of active control technology

A computer program has been developed for the evaluation of flight control systems designed for flexible aircraft. This Flight Control Analysis Program (FCAP) is designed in a modular fashion to incorporate sensor, actuator, and control logic element dynamics as well as aircraft dynamics and aerodynamics for complex configurations. Formulation of the total aircraft dynamic system is accomplished in matrix form by casting the equations in state vector format. The system stability and performance are determined in either the frequency or time domain using classical analysis techniques. The aerodynamic method used also permits evaluation of the flutter characteristics of the aircraft.

Noll, R. B.↗
NASA NTRS1984

Measuring Software-Execution Time

Test circuit times routines even during multiprogram operation. Circuit generates pulse started by signal at beginning address of program under test and ended by signal at ending address. Pulse duration measured with logic analyzer to determine execution time.

Pinera, C.↗
NASA NTRS1991

Computer Language For Optimization Of Design

SOL is computer language geared to solution of design problems. Includes mathematical modeling and logical capabilities of computer language like FORTRAN; also includes additional power of nonlinear mathematical programming methods at language level. SOL compiler takes SOL-language statements and generates equivalent FORTRAN code and system calls. Provides syntactic and semantic checking for recovery from errors and provides detailed reports containing cross-references to show where each variable used. Implemented on VAX/VMS computer systems. Requires VAX FORTRAN compiler to produce executable program.

Scotti, Stephen J.↗
NASA NTRS1991

Automatic rendezvous and capture system development in a manned environment

This paper presents the development of a 'Phase One' AR&C system capability as a logical outgrowth of Rendezvous and Proximity Operations (R&PO) system development for manned space programs. The continuity of the approach to R&PO across the Apollo, Skylab, Apollo-Soyuz, and Shuttle programs is traced and lessons learned which are applicable to AR&C discussed. Use of the Shuttle as a test bed for Automatic Rendezvous and Capture capabilities and technology demonstrations is discussed. A status of the current Phase One System design and brief overview of its capabilities is presented.

Kachmar, Peter M.↗
NASA NTRS2002

Synthesizing Monitors for Safety Properties

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in time analysis of software. An algorithm which takes a past time LTL formula and generates an efficient dynamic programming algorithm is presented. The generated algorithm tests whether the formula is satisfied by a finite trace of events given as input and runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula. Further optimizations of the algorithm are suggested. Past time operators suitable for writing succinct specifications axe introduced and shown definitionally equivalent to the standard operators. This work is part of the PathExplorer project, the objective of which it is to construct a flexible framework for monitoring and analyzing program executions.

Havelund, Klaus↗
NASA NTRS2006

Developing Formal Correctness Properties from Natural Language Requirements

This viewgraph presentation reviews the rationale of the program to transform natural language specifications into formal notation.Specifically, automate generation of Linear Temporal Logic (LTL)correctness properties from natural language temporal specifications. There are several reasons for this approach (1) Model-based techniques becoming more widely accepted, (2) Analytical verification techniques (e.g., model checking, theorem proving) significantly more effective at detecting types of specification design errors (e.g., race conditions, deadlock) than manual inspection, (3) Many requirements still written in natural language, which results in a high learning curve for specification languages, associated tools and increased schedule and budget pressure on projects reduce training opportunities for engineers, and (4) Formulation of correctness properties for system models can be a difficult problem. This has relevance to NASA in that it would simplify development of formal correctness properties, lead to more widespread use of model-based specification, design techniques, assist in earlier identification of defects and reduce residual defect content for space mission software systems. The presentation also discusses: potential applications, accomplishments and/or technological transfer potential and the next steps.

requirements engineering↗