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 613 records · Page 34
All sourcesNASA NTRSDOE OSTI
DOE OSTI2012

Compiled MPI: Cost-Effective Exascale Applications Development

The complexity of petascale and exascale machines makes it increasingly difficult to develop applications that can take advantage of them. Future systems are expected to feature billion-way parallelism, complex heterogeneous compute nodes and poor availability of memory (Peter Kogge, 2008). This new challenge for application development is motivating a significant amount of research and development on new programming models and runtime systems designed to simplify large-scale application development. Unfortunately, DoE has significant multi-decadal investment in a large family of mission-critical scientific applications. Scaling these applications to exascale machines will require a significant investment that will dwarf the costs of hardware procurement. A key reason for the difficulty in transitioning today's applications to exascale hardware is their reliance on explicit programming techniques, such as the Message Passing Interface (MPI) programming model to enable parallelism. MPI provides a portable and high performance message-passing system that enables scalable performance on a wide variety of platforms. However, it also forces developers to lock the details of parallelization together with application logic, making it very difficult to adapt the application to significant changes in the underlying system. Further, MPI's explicit interface makes it difficult to separate the application's synchronization and communication structure, reducing the amount of support that can be provided by compiler and run-time tools. This is in contrast to the recent research on more implicit parallel programming models such as Chapel, OpenMP and OpenCL, which promise to provide significantly more flexibility at the cost of reimplementing significant portions of the application. We are developing CoMPI, a novel compiler-driven approach to enable existing MPI applications to scale to exascale systems with minimal modifications that can be made incrementally over the application's lifetime. It includes: (1) New set of source code annotations, inserted either manually or automatically, that will clarify the application's use of MPI to the compiler infrastructure, enabling greater accuracy where needed; (2) A compiler transformation framework that leverages these annotations to transform the original MPI source code to improve its performance and scalability; (3) Novel MPI runtime implementation techniques that will provide a rich set of functionality extensions to be used by applications that have been transformed by our compiler; and (4) A novel compiler analysis that leverages simple user annotations to automatically extract the application's communication structure and synthesize most complex code annotations.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Fuel Fabrication Capability Research and Development Plan

The purpose of this document is to provide a comprehensive review of the mission of the Fuel Fabrication Capability (FFC) within the Global Threat Reduction Initiative Convert Program, along with research and development (R&D) needs that have been identified as necessary to ensuring mission success. The design and fabrication of successful nuclear fuels must be closely linked endeavors. Therefore, the overriding motivation behind the FFC R&D program described in this plan is to foster closer integration between fuel design and fabrication to reduce programmatic risk. These motivating factors are all interrelated, and progress addressing one will aid understanding of the others. The FFC R&D needs fall into two principal categories, 1) baseline process optimization, to refine the existing fabrication technologies, and 2) manufacturing process alternatives, to evaluate new fabrication technologies that could provide improvements in quality, repeatability, material utilization, or cost. The FFC R&D Plan examines efforts currently under way in regard to coupon, foil, plate, and fuel element manufacturing, and provides recommendations for a number of R&D topics that are of high priority but not currently funded (i.e., knowledge gaps). The plan ties all FFC R&D efforts into a unified vision that supports the overall Convert Program schedule in general, and the fabrication schedule leading up to the MP-1 and FSP-1 irradiation experiments specifically. The fabrication technology decision gates and down-selection logic and schedules are tied to the schedule for fabricating the MP-1 fuel plates, which will provide the necessary data to make a final fuel fabrication process down-selection. Because of the short turnaround between MP-1 and the follow-on FSP-1 and MP-2 experiments, the suite of specimen types that will be available for MP-1 will be the same as those available for FSP-1 and MP-2. Therefore, the only opportunity to explore parameter space and alternative processing is between now and 2016 when the candidate processes are down-selected in preparation for the MP-1, FSP-1, and MP-2 plate manufacturing campaigns. A number of key risks identified by the FFC are discussed in this plan, with recommended mitigating actions for those activities within FFC, and identification of risks that are impacted by activities in other areas of the Convert Program. The R&D Plan does not include discussion of FFC initiatives related to production-scale manufacturing of fuel (e.g., establishment of the Pilot Line Production Facility), rather, the goal of this plan is to document the R&D activities needed ultimately to enable high-quality and cost-effective production of the fuel by the commercial fuel fabricator. The intent is for this R&D Plan to be a living document that will be reviewed and updated on a regular basis (e.g., annually) to ensure that FFC R&D activities remain properly aligned to the needs of the Convert Program. This version of the R&D Plan represents the first annual review and revision.

Convert Program↗
NASA NTRS1980

A general logic structure for custom LSI'S

Structure composed of standardized-circuit arrays reduces cost and complexity of fabricating special integrated circuits. Desired circuits are formed from basic mask, custom cuts, and contact points. Interactive computer program speeds design.

Sievers, M. W.↗
NASA NTRS2022

Towards an Implementation of Differential Dynamic Logic in PVS

This paper describes an ongoing effort to embed and verify differential dynamic logic (dL) in the Prototype Verification System (PVS). dL is a logic for specifying and formally reasoning about hybrid systems, which employ both continuous and discrete dynamics. There are several benefits of this effort. First, the embedding of dL in PVS offers an independent formal verification of the semantics and rules of dL. Second, the embedding is fully operational within PVS, giving PVS practitioners the ability to use dL in the formal specification and verification process. Third, the rich specification language, type system, and powerful interactive prover of PVS can be used on dL objects. In addition to the embedding and verification of dL, a custom extension for Visual Studio Code has been developed, so that a stylized dL syntax can be used to specify hybrid programs and their properties.

Differential Dynamic Logic↗
NASA NTRS2003

SpaceWire Driver Software for Special DSPs

A computer program provides a high-level C-language interface to electronics circuitry that controls a SpaceWire interface in a system based on a space qualified version of the ADSP-21020 digital signal processor (DSP). SpaceWire is a spacecraft-oriented standard for packet-switching data-communication networks that comprise nodes connected through bidirectional digital serial links that utilize low-voltage differential signaling (LVDS). The software is tailored to the SMCS-332 application-specific integrated circuit (ASIC) (also available as the TSS901E), which provides three highspeed (150 Mbps) serial point-to-point links compliant with the proposed Institute of Electrical and Electronics Engineers (IEEE) Standard 1355.2 and equivalent European Space Agency (ESA) Standard ECSS-E-50-12. In the specific application of this software, the SpaceWire ASIC was combined with the DSP processor, memory, and control logic in a Multi-Chip Module DSP (MCM-DSP). The software is a collection of low-level driver routines that provide a simple message-passing application programming interface (API) for software running on the DSP. Routines are provided for interrupt-driven access to the two styles of interface provided by the SMCS: (1) the "word at a time" conventional host interface (HOCI); and (2) a higher performance "dual port memory" style interface (COMI).

Clark, Douglas↗
DOE OSTI2024

Surf-Deformer: Mitigating Dynamic Defects on Surface Code via Adaptive Deformation

In this paper, we introduce Surf-Deformer, a code deformation framework that seamlessly integrates adaptive defect mitigation functionality into the current surface code workflow. It crafts several basic deformation instructions based on fundamental gauge transformations, which can be combined to explore a larger design space than previous methods. This enables more optimized deformation processes tailored to specific defect situations, restoring the QEC capability of deformed codes more efficiently with minimal qubit resources. Additionally, we design an adaptive code layout that accommodates our defect mitigation strategy while ensuring efficient execution of logical operations. Our evaluation shows that Surf-Deformer outperforms previous methods by significantly reducing the end-to-end failure rate of various quantum programs by 35× to 70×, while requiring only about 50% of the qubit resources compared to the previous method to achieve the same level of failure rate. Ablation studies show that Surf-Deformer surpasses previous defect removal methods in preserving QEC capability and facilitates surface code communication by achieving nearly optimal throughput.

Yin, Keyi↗
DOE OSTI2014

Industry Research and Recommendations for New Commercial Buildings

Researchers evaluated industry needs and developed logic models to support possible future commercial new construction research and deployment efforts that could be led or supported by DOE's Commercial Building Integration program or other national initiatives. The authors believe that these recommendations support a proposed course of action from the current state of commercial building energy efficiency to a possible long-term goal of achieving significant market penetration of cost-effective NZE buildings in all building sectors and climates by 2030.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
NASA NTRS1975

Digital command system

The correct processing of the Digital Command System (DCS), which provides a limited real-time means of controlling specific flight program functions, was verified. The ability of the flight program to correctly read and process DCS commands was verified. Tests made by the flight program after reading the contents of the command decoder register to establish the validity of the received data were verified through the following: DCS mode command verification, DCS data command verification, DCS data validation, and DCS error message. The operation of the following DCS commands accepted and processed by the flight program was tested: time base update, navigation update, generalized switch selector, memory dump, terminate, execute generalized maneuver, return to nominal timeline, ECS water control valve logic inhibit, execute maneuver, execute alternate sequence, targeting load, ladder magnitude limit, S-IVB/IU de-orbit, compressed data dump, and remove inhibit on the extraction maneuver.

Source record↗
NASA NTRS1977

FCAP - A new tool for the performance and structural analysis for complex flexible aircraft with active control

A very general formulation has been developed for the analysis of complex flexible-aircraft configurations in presence of active control. The formulation is incorporated into a computer program, Flight Control Analysis Program (FCAP), which is designed in a modular fashion to incorporate aircraft dynamics and aerodynamics for complex configurations, as well as sensor, actuator and control logic element dynamics. Formulation of the total aircraft dynamic system is accomplished in matrix form by casting equations in state vector format. The system stability and performance are determined in either the frequency or time domain using classical analysis techniques. Fully unsteady aerodynamics is used for the evaluation of the flutter characteristics as well as the gust response of the aircraft.

Morino, L.↗
NASA NTRS1982

A single-frequency multitransmitter telemetry technique

A telemetry technique for a special data collection system being developed for use on general aviation aircraft involved in aeronautical research programs is described. The system consists of a number of sensor-transmitter units at different locations on the aircraft, with individual signal conditioning and logic, which send sampled data signals to a single receiver in the airplane. The transmitters operate independently on the same frequency and are not synchronized to the receiver. The problem of reception of multiple samples simultaneously is treated by discarding such samples. An overlap detection technique for the frequency shift keyed modulation system is described. The amount of predicted data loss due to overlap is presented and compared with results obtained with a circuit implementation; the effects of discarded data on accuracy is discussed.

Carreno, V. A.↗
NASA NTRS1984

Road load simulator tests of the Gould phase 1 functional model silicon controlled rectifier ac motor controller for electric vehicles

The test results for a functional model ac motor controller for electric vehicles and a three-phase induction motor which were dynamically tested on the Lewis Research Center road load simulator are presented. Results show that the controller has the capability to meet the SAE-J227a D cycle test schedule and to accelerate a 1576-kg (3456-lb) simulated vehicle to a cruise speed of 88.5 km/hr (55 mph). Combined motor controller efficiency is 72 percent and the power inverter efficiency alone is 89 percent for the cruise region of the D cycle. Steady state test results for motoring, regeneration, and thermal data obtained by operating the simulator as a conventional dynamometer are in agreement with the contractor's previously reported data. The regeneration test results indicate that a reduction in energy requirements for urban driving cycles is attainable with regenerative braking. Test results and data in this report serve as a data base for further development of ac motor controllers and propulsion systems for electric vehicles. The controller uses state-of-the-art silicon controlled rectifier (SCR) power semiconductors and microprocessor-based logic and control circuitry. The controller was developed by Gould Laboratories under a Lewis contract for the Department of Energy's Electric and Hybrid Vehicle program.

Gourash, F.↗
NASA NTRS1986

Commerce Lab - An enabling facility and test bed for commercial flight opportunities

Commerce Lab is conceived as an adjunct to the National Space Transportation System (NSTS) by providing a focal point for commercial missions which could utilize existing NSTS carrier and resource capabilities for on-orbit experimentation in the microgravity sciences. In this context, the Commerce Lab provides an enabling facility and test bed for commercial flight opportunities. Commerce Lab program activities to date have focused on mission planning for private sector involvement in the space program to facilitate the commercial exploitation of the microgravity environment for materials processing research and development. It is expected that Commerce Lab will provide a logical transition between currently planned NSTS missions and future microgravity science and commercial R&D missions centered around the Space Station. The present study identifies candidate Commerce Lab flight experiments and their development status and projects a mission traffic model that can be used in commercial mission planning.

Robertson, Jack↗
DOE OSTI2012

Executing a gather operation on a parallel computer

Methods, apparatus, and computer program products are disclosed for executing a gather operation on a parallel computer according to embodiments of the present invention. Embodiments include configuring, by the logical root, a result buffer or the logical root, the result buffer having positions, each position corresponding to a ranked node in the operational group and for storing contribution data gathered from that ranked node. Embodiments also include repeatedly for each position in the result buffer: determining, by each compute node of an operational group, whether the current position in the result buffer corresponds with the rank of the compute node, if the current position in the result buffer corresponds with the rank of the compute node, contributing, by that compute node, the compute node's contribution data, if the current position in the result buffer does not correspond with the rank of the compute node, contributing, by that compute node, a value of zero for the contribution data, and storing, by the logical root in the current position in the result buffer, results of a bitwise OR operation of all the contribution data by all compute nodes of the operational group for the current position, the results received through the global combining network.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2013

Generating and executing programs for a floating point single instruction multiple data instruction set architecture

Mechanisms for generating and executing programs for a floating point (FP) only single instruction multiple data (SIMD) instruction set architecture (ISA) are provided. A computer program product comprising a computer recordable medium having a computer readable program recorded thereon is provided. The computer readable program, when executed on a computing device, causes the computing device to receive one or more instructions and execute the one or more instructions using logic in an execution unit of the computing device. The logic implements a floating point (FP) only single instruction multiple data (SIMD) instruction set architecture (ISA), based on data stored in a vector register file of the computing device. The vector register file is configured to store both scalar and floating point values as vectors having a plurality of vector elements.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

Flowsheet Definition for the Tank Side Cesium Removal Unit and the Importance of Early Communication - 19142

The U.S. Department of Energy (DOE) tank operations contractor Washington River Protection Solutions, LLC (WRPS) is working toward the start of low-activity waste (LAW) treatment in direct feed mode as soon as 2022. WRPS is responsible for providing the pre-treated feed for this direct feed mode and had originally planned to use the Low Activity Waste Pretreatment System (LAWPS) to supply the initial feed in 2021. In September 2017, in response to a DOE-sponsored LAWPS program review, a new system was proposed to provide the initial feed during direct feed mode until a supplemental pretreatment capability is ready to begin processing feed. This system, known as the Tank Side Cesium Removal (TSCR) system, is based on the Savannah River Tank Closure Cesium Removal (TCCR) system and technology used to separate cesium out of reactor water at Fukushima. A preliminary flowsheet was needed to form the initial basis for future decisions and allow discussions between operations, project management, and the customer. The main goal of the TSCR flowsheet was to form a process flow diagram, process description, and much of the preliminary information to be used to help inform future decisions. When flowsheet development first began, little to no information was readily known and what was known needed to be compiled in one place and digestible by several audiences. The impacts of various parameters on the system also needed a vehicle for clear communication to varying audiences. While a more complicated model was being completed, a model of the process was created using Microsoft Excela which could have several parameters changed while maintaining basic logical requirements (such as treated waste volume cannot exceed the volume of the Interim LAW Storage Tank [ILST], must shutdown for so many days for column changeout, etc.). This program allowed the unit downtime, start dates, treatment rates, and several other variables to be modified and reflect the ILST storage volume as a function of mission progression. The model with several different parameters gathered from the various groups was combined into an early flowsheet of the TSCR process and created one of the first citable documents about TSCR implementation at Hanford. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS2003

Intelligent Machines in the 21st Century: Automating the Processes of Inference and Inquiry

The last century saw the application of Boolean algebra toward the construction of computing machines, which work by applying logical transformations to information contained in their memory. The development of information theory and the generalization of Boolean algebra to Bayesian inference have enabled these computing machines. in the last quarter of the twentieth century, to be endowed with the ability to learn by making inferences from data. This revolution is just beginning as new computational techniques continue to make difficult problems more accessible. However, modern intelligent machines work by inferring knowledge using only their pre-programmed prior knowledge and the data provided. They lack the ability to ask questions, or request data that would aid their inferences. Recent advances in understanding the foundations of probability theory have revealed implications for areas other than logic. Of relevance to intelligent machines, we identified the algebra of questions as the free distributive algebra, which now allows us to work with questions in a way analogous to that which Boolean algebra enables us to work with logical statements. In this paper we describe this logic of inference and inquiry using the mathematics of partially ordered sets and the scaffolding of lattice theory, discuss the far-reaching implications of the methodology, and demonstrate its application with current examples in machine learning. Automation of both inference and inquiry promises to allow robots to perform science in the far reaches of our solar system and in other star systems by enabling them to not only make inferences from data, but also decide which question to ask, experiment to perform, or measurement to take given what they have learned and what they are designed to understand.

Knuth, Kevin H.↗
NASA NTRS1995

Developmental problems and their solution for the Space Shuttle main engine alternate liquid oxygen high-pressure turbopump: Anomaly or failure investigation the key

The Space Shuttle main engine (SSME) alternate high-pressure liquid oxygen pump experienced synchronous vibration and ball bearing life problems that were program threatening. The success of the program hinged on the ability to solve these development problems. The design and solutions to these problems are engirded in the lessons learned and experiences from prior programs, technology programs, and the ability to properly conduct failure or anomaly investigations. The failure investigation determines the problem cause and is the basis for recommending design solutions. For a complex problem, a comprehensive solution requires that formal investigation procedures be used, including fault trees, resolution logic, and action items worked through a concurrent engineering-multidiscipline team. The normal tendency to use an intuitive, cut-and-try approach will usually prove to be costly, both in money and time and will reach a less than optimum, poorly understood answer. The SSME alternate high-pressure oxidizer turbopump development has had two complex problems critical to program success: (1) high synchronous vibrations and (2) excessive ball bearing wear. This paper will use these two problems as examples of this formal failure investigation approach. The results of the team's investigation provides insight into the complexity of the turbomachinery technical discipline interacting/sensitivities and the fine balance of competing investigations required to solve problems and guarantee program success. It is very important to the solution process that maximum use be made of the resources that both the contractor and Government can bring to the problem in a supporting and noncompeting way. There is no place for the not-invented-here attitude. The resources include, but are not limited to: (1) specially skilled professionals; (2) supporting technologies; (3) computational codes and capabilities; and (4) test and manufacturing facilities.

Ryan, R.↗
NASA NTRS1976

Some effects of adverse weather conditions on performance of airplane antiskid braking systems

The performance of current antiskid braking systems operating under adverse weather conditions was analyzed in an effort to both identify the causes of locked-wheel skids which sometimes occur when the runway is slippery and to find possible solutions to this operational problem. This analysis was made possible by the quantitative test data provided by recently completed landing research programs using fully instrumented flight test airplanes and was further supported by tests performed at the Langley aircraft landing loads and traction facility. The antiskid system logic for brake control and for both touchdown and locked-wheel protection is described and its response behavior in adverse weather is discussed in detail with the aid of available data. The analysis indicates that the operational performance of the antiskid logic circuits is highly dependent upon wheel spin-up acceleration and can be adversely affected by certain pilot braking inputs when accelerations are low. Normal antiskid performance is assured if the tire-to-runway traction is sufficient to provide high wheel spin-up accelerations or if the system is provided a continuous, accurate ground speed reference. The design of antiskid systems is complicated by the necessity for tradeoffs between tire braking and cornering capabilities, both of which are necessary to provide safe operations in the presence of cross winds, particularly under slippery runway conditions.

Horne, W. B.↗