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 595 records · Page 33

A spacecraft computer repairable via command.

The MULTIPAC is a central data system developed for deep-space probes with the distinctive feature that it may be repaired during flight via command and telemetry links by reprogramming around the failed unit. The computer organization uses pools of identical modules which the program organizes into one or more computers called processors. The interaction of these modules is dynamically controlled by the program rather than hardware. In the event of a failure, new programs are entered which reorganize the central data system with a somewhat reduced total processing capability aboard the spacecraft. Emphasis is placed on the evolution of the system architecture and the final overall system design rather than the specific logic design.

Fimmel, R. O.↗

Determination of the geometrical factor and of the spatial distributions of particles for a cosmic ray telescope using a Monte Carlo approach

A program is presented which uses a Monte Carlo technique to compute the geometrical factor of a detector, and the spatial and angular distributions of simulated particles at designated layers within the detector. As the program is written, each layer is assumed to be rectangular, parallel to every other layer with its edges parallel to the edges of every other layer, and centered about a common axis. This program is written in Fortran 4 for the IBM 360 computers and is currently being run under the Fortran 4 (h) compiler. Same features such as the subroutine ERRSET, RANDU, and REMTIM and the type declarations REAL *8 and LOGICAL *1 may need to be changed for use with a different computer system. The use of input data cards, and a sample data set are presented. Lists of the symbol definition, card images of the FORTRAN object deck and subroutines are included along with a flow diagram.

Hemmer, M.↗

Astronomy sortie missions definition study. Volume 4: Program development requirements

Program development requirements for the selected Astronomy Sortie Missions concept were generated and are presented in four parts as follows: (1)the gross planning requirements that must be considered in subsequent phases of the project; (2)the schedules and logic networks for the design, development, and operation of the overall project; (3)the supporting research and technology required to support the project; and (4)the work breakdown data, from which cost data will be generated. Data reported in each part includes the appropriate rationale with explanations of the guidelines and assumptions that were used in the analyses and estimates.

Source record↗

Space platform expendables resupply concept definition study. Volume 3: Work breakdown structure and work breakdown structure dictionary

The work breakdown structure (WBS) for the Space Platform Expendables Resupply Concept Definition Study is described. The WBS consists of a list of WBS elements, a dictionary of element definitions, and an element logic diagram. The list and logic diagram identify the interrelationships of the elements. The dictionary defines the types of work that may be represented by or be classified under each specific element. The Space Platform Expendable Resupply WBS was selected mainly to support the program planning, scheduling, and costing performed in the programmatics task (task 3). The WBS is neither a statement-of-work nor a work authorization document. Rather, it is a framework around which to define requirements, plan effort, assign responsibilities, allocate and control resources, and report progress, expenditures, technical performance, and schedule performance. The WBS element definitions are independent of make-or-buy decisions, organizational structure, and activity locations unless exceptions are specifically stated.

Source record↗

Signal processing in SETI

It is believed that the Galaxy might contain ten billion potential life sites. In view of the physical inaccessibility of extraterrestrial life on account of the vast distances involved, a logical first step in a search for extraterrestrial intelligence (SETI) appears to be an attempt to detect signals already being radiated. The characteristics of the signals to be expected are discussed together with the search strategy of a NASA program. It is pointed out that all presently planned searches will use existing radio-astronomy antennas. If no extraterrestrial intelligence signals are discovered, society will have to decide whether SETI justifies a dedicated facility of much greater collecting area. Attention is given to a multichannel spectrum analyzer, CW signal detection, pulse detection, the pattern detector, and details of SETI system operation.

Cullers, D. K.↗

Optimal Membrane Cascade Design for Critical Mineral Recovery Through Logic-based Superstructure Optimization

Critical minerals and rare earth elements play an important role in our climate change initiatives, particularly in applications related with energy storage. Here, we use discrete optimization approaches to design a process for the recovery of Lithium and Cobalt from battery recycling, through membrane separation. Our contribution involves proposing a Generalized Disjunctive Programming (GDP) model for the optimal design of a multistage diafiltration cascade for Li-Co separation. By solving the resulting nonconvex mixed-integer nonlinear program model to global optimality, we investigated scalability and solution quality variations with changes in the number of stages and elements per stage. Results demonstrate the computational tractability of the nonlinear GDP formulation for design of membrane separation processes while opening the door for decom-position strategies for multicomponent separation cascades. Future work aims to extend the GDP formulation to account for stage installation and explore various decomposition techniques to enhance solution efficiency.

Ovalle, Daniel↗

Computer-automated opponent for manned air-to-air combat simulations

Two versions of a real-time digital-computer program that operates a fighter airplane interactively against a human pilot in simulated air combat were evaluated. They function by replacing one of two pilots in the Langley differential maneuvering simulator. Both versions make maneuvering decisions from identical information and logic; they differ essentially in the aerodynamic models that they control. One is very complete, but the other is much simpler, primarily characterizing the airplane's performance (lift, drag, and thrust). Both models competed extremely well against highly trained U.S. fighter pilots.

Hankins, W. W., III↗

A simplified guidance algorithm for lifting aeroassist orbital transfer vehicles

The derivation, logic, and performance of a simplified atmospheric guidance algorithm for aeroassist orbital-transfer vehicles (AOTVs) are presented. The algorithm was developed to meet the demands for an aerobraking trajectory guidance technique that was uncomplicated, easily integrated into existing trajectory programs, adaptable to a range of vehicle aerodynamic configurations, capable of performance equivalent to currently available guidance programs in compensating for dispersions in entry conditions, atmospheric conditions, and aerodynamic characteristics. The result was a hybrid lifting guidance algorithm combining the method of reference-profile generation with the method of predictor/corrector schemes. The resulting performance is good (less than 3 n.m. error from desired apogee despite uncertainties of + or - 50 percent atmospheric density, + or - 0.2 deg entry flight-path angle, or + or - 50 percent L/D. Combinations of these same dispersions with lesser magnitudes have also been successful, although performance with density 'pockets' within the atmosphere requires more analysis.

Cerimele, C. J.↗

An allotment planning concept and related computer software for planning the fixed satellite service at the 1988 space WARC

Described is a two-phase approach to allotment planning suitable for use in establishing the fixed satellite service at the 1988 Space World Administrative Radio Conference (ORB-88). The two phases are (1) the identification of predetermined geostationary arc segments common togroups of administrations, and (2) the use of a synthesis program to identify example scenarios of space station placements. The planning approach is described in detail and is related to the objectives of the confernece. Computer software has been developed to implement the concepts, and a complete discussion on the logic and rationale for identifying predetermined arc segments is given. Example scenarios are evaluated to give guidance in the selection of the technical characteristics of space communications systems to be planned. The allotment planning concept described guarantees in practice equitable access to the geostationary orbit, provides flexibility in implementation, and reduces the need for coordination among administrations.

Miller, Edward F.↗

Duct flow nonuniformities for Space Shuttle Main Engine (SSME)

A three-duct Space Shuttle Main Engine (SSME) Hot Gas Manifold geometry code was developed for use. The methodology of the program is described, recommendations on its implementation made, and an input guide, input deck listing, and a source code listing provided. The code listing is strewn with an abundance of comments to assist the user in following its development and logic. A working source deck will be provided. A thorough analysis was made of the proper boundary conditions and chemistry kinetics necessary for an accurate computational analysis of the flow environment in the SSME fuel side preburner chamber during the initial startup transient. Pertinent results were presented to facilitate incorporation of these findings into an appropriate CFD code. The computation must be a turbulent computation, since the flow field turbulent mixing will have a profound effect on the chemistry. Because of the additional equations demanded by the chemistry model it is recommended that for expediency a simple algebraic mixing length model be adopted. Performing this computation for all or selected time intervals of the startup time will require an abundance of computer CPU time regardless of the specific CFD code selected.

Source record↗

Pilots' use of a traffic alert and collision-avoidance system (TCAS 2) in simulated air carrier operations. Volume 1: Methodology, summary and conclusions

Pilots' use of and responses to a traffic alert and collision-avoidance system (TCAS 2) in simulated air carrier line operations are described in Volume 1. TCAS 2 monitors the positions of nearby aircraft by means of transponder interrogation, and it commands a climb or descent when conflicting aircraft are projected to reach an unsafe closest point-of-approach within 20 to 25 seconds. A different level of information about the location of other air traffic was presented to each of three groups of flight crews during their execution of eight simulated air carrier flights. A fourth group of pilots flew the same segments without TCAS 2 equipment. Traffic conflicts were generated at intervals during the flights; many of the conflict aircraft were visible to the flight crews. The TCAS equipment successfully ameliorated the seriousness of all conflicts; three of four non-TCAS crews had hazardous encounters. Response times to TCAS maneuver commands did not differ as a function of the amount of information provided, nor did response accuracy. Differences in flight experience did not appear to contribute to the small performance differences observed. Pilots used the displays of conflicting traffic to maneuver to avoid unseen traffic before maneuver advisories were issued by the TCAS equipment. The results indicate: (1) that pilots utilize TCAS effectively within the response times allocated by the TCAS logic, and (2) that TCAS 2 is an effective collision avoidance device. Volume II contains the appendices referenced in Volume I, providing details of the experiment and the results, and the text of two reports written in support of the program.

Chappell, Sheryl L.↗

Pilots' use of a traffic alert and collision-avoidance system (TCAS 2) in simulated air carrier operations. Volume 2: Appendices

Pilots' use of and responses to a traffic alert and collision-avoidance system (TCAS 2) in simulated air carrier line operations are discribed in Volume 1. TCAS 2 monitors the positions of nearby aircraft by means of transponder interrogation, and it commands a climb or descent which conflicting aircraft are projected to reach an unsafe closest point-of-approach within 20 to 25 seconds. A different level of information about the location of other air traffic was presented to each of three groups of flight crews during their execution of eight simulated air carrier flights. A fourth group of pilots flew the same segments without TCAS 2 equipment. Traffic conflicts were generated at intervals during the flights; many of the conflict aircraft were visible to the flight crews. The TCAS equipment successfully ameliorated the seriousness of all conflicts; three of four non-TCAS crews had hazardous encounters. Response times to TCAS maneuver commands did not differ as a function of the amount of information provided, nor did response accuracy. Differences in flight experience did not appear to contribute to the small performance differences observed. Pilots used the displays of conflicting traffic to maneuver to avoid unseen traffic before maneuver advisories were issued by the TCAS equipment. The results indicate: (1) that pilots utilize TCAS effectively within the response times allocated by the TCAS logic, and (2) that TCAS 2 is an effective collision avoidance device. Volume 2 contains the appendices referenced in Volume 1, providing details of the experiment and the results, and the text of two reports written in support of the program.

Chappell, Sheryl L.↗

Computer Component Tester

Carlos Horvath of the Burroughs Corporation, inspired by information published in NASA Tech Briefs, developed the AC/DC tester which checks out ECL (Emitter Coupled Logic) devices and their functionality within the computer. Each ECL device has a specific task in the computer's operation; the tester determines whether the device is performing that function properly. Horvath's invention allows rapid manual checking without extensive programming as it is required by other test methods; thus the ECL tester makes it easier to find out what is malfunctioning, and does the job faster.

Source record↗

Shuttle program. MCC Level C formulation requirements: Entry guidance and entry autopilot

A set of preliminary entry guidance and autopilot software formulations is presented for use in the Mission Control Center (MCC) entry processor. These software formulations meet all level B requirements. Revision 2 incorporates the modifications required to functionally simulate optimal TAEM targeting capability (OTT). Implementation of this logic in the MCC must be coordinated with flight software OTT implementation and MCC TAEM guidance OTT. The entry guidance logic is based on the Orbiter avionics entry guidance software. This MCC requirements document contains a definition of coordinate systems, a list of parameter definitions for the software formulations, a description of the entry guidance detailed formulation requirements, a description of the detailed autopilot formulation requirements, a description of the targeting routine, and a set of formulation flow charts.

Harpold, J. C.↗

Research and applications: Artificial intelligence

A program of research in the field of artificial intelligence is presented. The research areas discussed include automatic theorem proving, representations of real-world environments, problem-solving methods, the design of a programming system for problem-solving research, techniques for general scene analysis based upon television data, and the problems of assembling an integrated robot system. Major accomplishments include the development of a new problem-solving system that uses both formal logical inference and informal heuristic methods, the development of a method of automatic learning by generalization, and the design of the overall structure of a new complete robot system. Eight appendices to the report contain extensive technical details of the work described.

Raphael, B.↗

The World Wide Web and Technology Transfer at NASA Langley Research Center

NASA Langley Research Center (LaRC) began using the World Wide Web (WWW) in the summer of 1993, becoming the first NASA installation to provide a Center-wide home page. This coincided with a reorganization of LaRC to provide a more concentrated focus on technology transfer to both aerospace and non-aerospace industry. Use of the WWW and NCSA Mosaic not only provides automated information dissemination, but also allows for the implementation, evolution and integration of many technology transfer applications. This paper describes several of these innovative applications, including the on-line presentation of the entire Technology Opportunities Showcase (TOPS), an industrial partnering showcase that exists on the Web long after the actual 3-day event ended. During its first year on the Web, LaRC also developed several WWW-based information repositories. The Langley Technical Report Server (LTRS), a technical paper delivery system with integrated searching and retrieval, has proved to be quite popular. The NASA Technical Report Server (NTRS), an outgrowth of LTRS, provides uniform access to many logically similar, yet physically distributed NASA report servers. WWW is also the foundation of the Langley Software Server (LSS), an experimental software distribution system which will distribute LaRC-developed software with the possible phase-out of NASA's COSMIC program. In addition to the more formal technology distribution projects, WWW has been successful in connecting people with technologies and people with other people. With the completion of the LaRC reorganization, the Technology Applications Group, charged with interfacing with non-aerospace companies, opened for business with a popular home page.

Nelson, Michael L.↗

Software Process Assurance for Complex Electronics (SPACE)

Complex Electronics (CE) are now programmed to perform tasks that were previously handled in software, such as communication protocols. Many of the methods used to develop software bare a close resemblance to CE development. For instance, Field Programmable Gate Arrays (FPGAs) can have over a million logic gates while system-on-chip (SOC) devices can combine a microprocessor, input and output channels, and sometimes an FPGA for programmability. With this increased intricacy, the possibility of software-like bugs such as incorrect design, logic, and unexpected interactions within the logic is great. Since CE devices are obscuring the hardware/software boundary, we propose that mature software methodologies may be utilized with slight modifications in the development of these devices. Software Process Assurance for Complex Electronics (SPACE) is a research project that looks at using standardized S/W Assurance/Engineering practices to provide an assurance framework for development activities. Tools such as checklists, best practices and techniques can be used to detect missing requirements and bugs earlier in the development cycle creating a development process for CE that will be more easily maintained, consistent and configurable based on the device used.

Plastow, Richard A.↗

A 2-to-48-MHz Phase-Locked Loop

A 2-to-48-MHz phase-locked loop (PLL), developed for the U.S. space program, meets or exceeds all space shuttle clock electrical interface requirements by taking as its reference a 2-to-48-MHz clock signal and outputting a phaselocked clock signal set at the same frequency as the reference clock with transistor- transistor logic (TTL) voltage levels. Because it is more adaptable than other PLLs, the new PLL can be used in industries that employ signaling devices and as a tool in future space missions. A conventional PLL consists of a phase/frequency detector, loop filter, and voltage-controlled oscillator in which each component exists individually and is integrated into a single device. PLL components phase-lock to a single frequency or to a narrow bandwidth of frequencies. It is this design, however, that prohibits them from maintaining phase lock to a dynamically changing reference clock when a large bandwidth is required a deficiency the new PLL overcomes. Since most PLL components require their voltage-controlled oscillators to operate at greater than 2-MHz frequencies, conventional PLLs often cannot achieve the low-frequency phase lock allowed by the new PLL. The 2-to-48-MHz PLL is built on a wire-wrap board with pins wired to three position jumpers; this makes changing configurations easy. It responds to variations in voltage-controlled oscillator (VCO) ranges, duty cycle, signal-to-noise ratio (SNR), amplitude, and jitter, exceeding design specifications. A consensus state machine, implemented in a VCO range detector which assures the PLL continues to operate in the correct range, is the primary control state machine for the 2-to-48-MHz PLL circuit. By using seven overlapping frequency ranges with hysteresis, the PLL output sets the resulting phase-locked clock signal at a frequency that agrees with the reference clock with TTL voltage levels. As a space-shuttle tool, the new PLL circuit takes the noisy, degraded reference clock signals as input and outputs phase-locked clock signals of the same frequency but with a corrected wave shape. Since its configuration circuit can be easily changed, the new PLL can do the following: readily respond to variations in VCO ranges, duty cycle, SNR, amplitude, and jitter; continuously operate in the correct VCO range because of its consensus state machine; and use its range detector implements to overlap seven frequency ranges with hysteresis, thus giving the current design a flexibility that exceeds anything available at the time of this development. These features will benefit any industry in which safe and timely clock signals are vital to operation.

Koudelka, Robert D.↗