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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 829 records · Page 46

All sources NASA NTRS DOE OSTI

DOE OSTI2023

MDDC Multi-Length Scale Data Architecture Contribution Report – PNNL, INL, ANL, LANL and ORNL

This report offers a comprehensive view of data streams currently generated at Pacific Northwest National Laboratory, Idaho National Laboratory, Argonne National Laboratory, Los Alamos National Laboratory, and Oak Ridge National Laboratory set to integrate into the evolving Multi-Dimensional Data Correlation framework at Oak Ridge National Laboratory. Developed by the Advanced Materials and Manufacturing Technologies program, the Multi-Dimensional Data Correlation framework serves as a cutting-edge software to manage data relevant to advanced manufacturing and material behavior in advanced reactors. The report defines data streams, highlights their generation methods and visualization methods both for experimental and computational aspects relevant to the Advanced Materials and Manufacturing Technologies project. A logical next step for this work is to integrate the MDDC framework into PNNL’s, INL’s, ANL’s, LANL’s and ORNL’s fabrication, experimentation, and modelling workflows. This would require setting up the MDDC framework at PNNL, INL, ANL, and LANL and integrating it into the data collection and storage for these different activities.

36 MATERIALS SCIENCE↗

NASA NTRS1984

Mod-5A wind turbine generator program design report. Volume 4: Drawings and specifications, book 4

The design, development and analysis of the 7.3 MW MOD-5A wind turbine generator are documented. There are four volumes. This volume contains the drawings and specifications that were developed in preparation for building the MOD-5A wind turbine generator. This volume contains 5 books of which this is the fourth, providing drawings 47A380128 through 47A387125. In addition to the parts listing and where-used list, the logic design of the controller software and the code listing of the controller software are provided. Also given are the aerodynamic profile coordinates.

Source record↗

NASA NTRS1985

SS focused technology: Gateways and NOS's

The extensions and enhancements of the fiber optic data bus technology supported by the Space Station Focused Technology Program are discussed. This includes the operating software for the network called the Network Operating System (NOS); gateways and bridges for multiple network topologies; and very large scale topology implimentations to shrink the size and power of the Bus Interface Unit (BIU) down to more manageable dimensions. CMOS is being investigated for the lower speed (parallel) logic. Gallium arsendide is being studied for the high speed (serial) logic.

Hartenstein, R.↗

NASA NTRS2004

Mars Exploration Rover Mission: Entry, Descent, and Landing System Validation

System validation for a Mars entry, descent, and landing system is not simply a demonstration that the electrical system functions in the associated environments. The function of this system is its interaction with the atmospheric and surface environment. Thus, in addition to traditional test-bed, hardware-in-the-loop, testing, a validation program that confirms the environmental interaction is required. Unfortunately, it is not possible to conduct a meaningful end-to-end test of a Mars landing system on Earth. The validation plan must be constructed from an interconnected combination of simulation, analysis and test. For the Mars Exploration Rover mission, this combination of activities and the logic of how they combined to the system's validation was explicitly stated, reviewed, and tracked as part of the development plan.

system validation↗

DOE OSTI2017

FIPD: EBR-II Fuels Irradiation & Physics Database

The DOE Advanced Reactor Technology program has supported efforts to recover and preserve metallic fuel data generated throughout the US sodium cooled fast reactor program (SFR). Those efforts have been focused on establishing databases of the experimental data that were mainly generated during the Integral Fast Reactor program including data generated at EBR-II, FFTF, and TREAT reactors, as well as out of pile data. The data is essential for future-licensing activities of metallic fuel based advanced fast reactors. This report describes the EBR-II Fuels Irradiation & Physics Database (FIPD). It covers the scientific knowledge available in the database, the logical storage of the data in the database, and the web interface used to access the data. The report also covers the QA plan (SQAPP) developed to cover all aspects of the FIPD system. Summaries of activities from previous years, the current fiscal year (FY17), and future plans are also provided.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRS2010

Developing a Logistics Data Process for Support Equipment for NASA Ground Operations

The United States NASA Space Shuttle has long been considered an extremely capable yet relatively expensive rocket. A great part of the roughly US $500 million per launch expense was the support footprint: refurbishment and maintenance of the space shuttle system, together with the long list of resources required to support it, including personnel, tools, facilities, transport and support equipment. NASA determined to make its next rocket system with a smaller logistics footprint, and thereby more cost-effective and quicker turnaround. The logical solution was to adopt a standard Logistics Support Analysis (LSA) process based on GEIA-STD-0007 http://www.logisticsengineers.org/may09pres/GEIASTD0007DEXShortIntro.pdf which is the successor of MIL-STD-1388-2B widely used by U.S., NATO, and other world military services and industries. This approach is unprecedented at NASA: it is the first time a major program of programs, Project Constellation, is factoring logistics and supportability into design at many levels. This paper will focus on one of those levels NASA ground support equipment for the next generation of NASA rockets and on building a Logistics Support Analysis Record (LSAR) for developing and documenting a support solution and inventory of resources for. This LSAR is actually a standards-based database, containing analyses of the time and tools, personnel, facilities and support equipment required to assemble and integrate the stages and umbilicals of a rocket. This paper will cover building this database from scratch: including creating and importing a hierarchical bill of materials (BOM) from legacy data; identifying line-replaceable units (LRUs) of a given piece of equipment; analyzing reliability and maintainability of said LRUs; and therefore making an assessment back to design whether the support solution for a piece of equipment is too much work, i.e., too resource-intensive. If one must replace or inspect an LRU too much, perhaps a modification of the design of the equipment can make such operational effort unnecessary. Finally, this paper addresses processes of tying resources to a timeline of tasks performed in ground operations: this enables various overarching analyses, e.g., a summarization of all resources used for a given piece of equipment. Quality Control of data will also be discussed: importing and exporting data from product teams, including spreadsheets-todatabase or data exchange between databases.

Chakrabarti, Suman↗

NASA NTRS1985

Fault detection and accommodation testing on an F100 engine in an F-15 airplane

The fault detection and accommodation (FDA) methods that can be used for digital engine control systems are presently subjected to a flight test program in the case of the F-15 fighter's F100 engine electronic controls, inducing selected faults and then evaluating the resulting digital engine control responses. In general, flight test results were found to compare well with both ground tests and predictions. It is noted that the inducement of dual-pressure failures was not feasible, since FDA logic was not designed to accommodate them.

Myers, L. P.↗

NASA NTRS2015

Design and Stability of an On-Orbit Attitude Control System Using Reaction Control Thrusters

Principles for the design and stability of a spacecraft on-orbit attitude control system employing on-off Reaction Control System (RCS) thrusters is presented. Both the vehicle dynamics and the control system actuators are inherently nonlinear, hence traditional linear control system design approaches are not directly applicable. This paper has three main aspects: It summarizes key RCS control System design principles from the Space Shuttle and Space Station programs, it demonstrates a new approach to develop a linear model of a phase plane control system using describing functions, and applies each of these to the initial development of the NASA's next generation of upper stage vehicles. Topics addressed include thruster hardware specifications, phase plane design and stability, jet selection approaches, filter design metrics, and automaneuver logic.

Hall, Robert A.↗

NASA NTRS1991

NASA Goddard Space Flight Center Robotic Processing System Program Automation Systems, volume 2

Topics related to robot operated materials processing in space (RoMPS) are presented in view graph form. Some of the areas covered include: (1) mission requirements; (2) automation management system; (3) Space Transportation System (STS) Hitchhicker Payload; (4) Spacecraft Command Language (SCL) scripts; (5) SCL software components; (6) RoMPS EasyLab Command & Variable summary for rack stations and annealer module; (7) support electronics assembly; (8) SCL uplink packet definition; (9) SC-4 EasyLab System Memory Map; (10) Servo Axis Control Logic Suppliers; and (11) annealing oven control subsystem.

Dobbs, M. E.↗

NASA NTRS2008

Scripting Module for the Satellite Orbit Analysis Program (SOAP)

This add-on module to the SOAP software can perform changes to simulation objects based on the occurrence of specific conditions. This allows the software to encompass simulation response of scheduled or physical events. Users can manipulate objects in the simulation environment under programmatic control. Inputs to the scripting module are Actions, Conditions, and the Script. Actions are arbitrary modifications to constructs such as Platform Objects (i.e. satellites), Sensor Objects (representing instruments or communication links), or Analysis Objects (user-defined logical or numeric variables). Examples of actions include changes to a satellite orbit ( v), changing a sensor-pointing direction, and the manipulation of a numerical expression. Conditions represent the circumstances under which Actions are performed and can be couched in If-Then-Else logic, like performing v at specific times or adding to the spacecraft power only when it is being illuminated by the Sun. The SOAP script represents the entire set of conditions being considered over a specific time interval. The output of the scripting module is a series of events, which are changes to objects at specific times. As the SOAP simulation clock runs forward, the scheduled events are performed. If the user sets the clock back in time, the events within that interval are automatically undone. This script offers an interface for defining scripts where the user does not have to remember the vocabulary of various keywords. Actions can be captured by employing the same user interface that is used to define the objects themselves. Conditions can be set to invoke Actions by selecting them from pull-down lists. Users define the script by selecting from the pool of defined conditions. Many space systems have to react to arbitrary events that can occur from scheduling or from the environment. For example, an instrument may cease to draw power when the area that it is tasked to observe is not in view. The contingency of the planetary body blocking the line of sight is a condition upon which the power being drawn is set to zero. It remains at zero until the observation objective is again in view. Computing the total power drawn by the instrument over a period of days or weeks can now take such factors into consideration. What makes the architecture especially powerful is that the scripting module can look ahead and behind in simulation time, and this temporal versatility can be leveraged in displays such as x-y plots. For example, a plot of a satellite s altitude as a function of time can take changes to the orbit into account.

Carnright, Robert↗

DOE OSTI2012

Multiple-view, multiple-selection visualization of simulation geometry in CMS

Fireworks, the event-display program of CMS, was extended with an advanced geometry visualization package. ROOT's TGeo geometry is used as internal representation, shared among several geometry views. Each view is represented by a GUI list-tree widget, implemented as a flat vector to allow for fast searching, selection, and filtering by material type, node name, and shape type. Display of logical and physical volumes is supported. Color, transparency, and visibility flags can be modified for each node or for a selection of nodes. Further operations, like opening of a new view or changing of the root node, can be performed via a context menu. Node selection and graphical properties determined by the list-tree view can be visualized in any 3D graphics view of Fireworks. As each 3D view can display any number of geometry views, a user is free to combine different geometry-view selections within the same 3D view. Node-selection by proximity to a given point is possible. A visual clipping box can be set for each geometry view to limit geometry drawing into a specified region. Visualization of geometric overlaps, as detected by TGeo, is also supported. The geometry visualization package is used for detailed inspection and display of simulation geometry with or without the event data. It also serves as a tool for geometry debugging and inspection, facilitating development of geometries for CMS detector upgrades and for SLHC.

Bauerdick, L. A.T.↗

DOE OSTI2019

Atomically Defined Edge-Doping of Graphene Nanoribbons for Mesoscale Electronics

The outstanding transformative potential of graphene, an infinite two-dimensional sheet of carbon atoms tightly packed into a honeycomb lattice, has been recognized mostly due to its exceptionally high electric conductivity, thermal conductivity, and tensile strength. These undeniably very desirable properties, however, represent only a very small facet of the true potential of all-sp2 carbon materials and its promise to revolutionize the field of molecular electronics. Graphene's most unusual characteristics emerge when the infinite macroscopic sheet is scaled down to nanometer dimensions. The exploration, realization, and implementation of these truly exotic magnetic and electronic properties rely on the development of innovative synthetic strategies that provide atomically precise control over the self-assembly of mesoscale objects. While traditional device architectures based on inorganic semiconductors have been fabricated using a top-down approach, we pursued a diametrically opposite strategy. Our design of a new generation of high-performance electronic materials relies on a modular bottom-up strategy. This highly multidisciplinary research program has been rooted in the synthesis of functional organic materials with precisely defined properties, their controlled assembly into hierarchical structures, and the evaluation of their performance at the molecular and the macroscopic scale. A part of this research program we have developed the chemical tools required to synthesize and to fine-tune the physical properties of graphene nanoribbons (GNR) with atomic precision. We further demonstrated that the innovative techniques and the expanded knowledge can be used to rationally tailor desired physical properties and function into nanometer-scale carbon-based electronic devices; e.g. transistors as logic gates in computing, data storage media based on electrically gated spin valves, or molecular amplifiers, all functionally integrated in atomically defined GNRs. We demonstrated the design and experimental realization of a rationally engineered graphene nanoribbon superlattice that hosts a 1D array of symmetry-protected topological states. We developed a hierarchical bottom-up fabrication strategy for graphene nanoribbons that preferentially exhibit a single heterojunction interface rather than a random statistical sequence of junctions along the ribbon. We reported the bottom-up synthesis of a series of atomically precise graphene nanoribbons featuring trigonal planar heteroatom dopants (nitrogen, oxygen, and sulfur) along the edges that induce a narrowing of the intrinsic band gap by ~0.2–0.3 eV per dopant atom. We reported the bottom-up synthesis of a graphene nanoribbon heterostructure featuring a highly tunable porphyrin quantum dot embedded at the center of a solution processable graphene nanoribbon. We reported a new technique for fabricating bottom-up graphene nanoribbon heterojunctions through a late-stage chemical transformation that results in atomically sharp heterojunction structures from a single precursor. We demonstrated the intrinsic performance enhancement of a composite material comprised of gold nanoparticles (AuNPs) embedded in a bottom-up synthesized graphene nanoribbon matrix for the electrocatalytic reduction of CO 2 . We developed a scalable, solution-based approach toward the synthesis of an exotic class of polycyclic aromatic hydrocarbons that exhibit unusual electronic and magnetic properties in the ground state. We reported the bottom-up synthesis and characterization of atomically-defined graphene nanoribbons featuring a regioregular pattern of group III dopant atoms (boron) along the backbone of the ribbon.

36 MATERIALS SCIENCE↗

NASA NTRS1976

Architecture and data processing alternatives for the TSE computer. Volume 3: Execution of a parallel counting algorithm using array logic (Tse) devices

A parallel algorithm for counting the number of logic-l elements in a binary array or image developed during preliminary investigation of the Tse concept is described. The counting algorithm is implemented using a basic combinational structure. Modifications which improve the efficiency of the basic structure are also presented. A programmable Tse computer structure is proposed, along with a hardware control unit, Tse instruction set, and software program for execution of the counting algorithm. Finally, a comparison is made between the different structures in terms of their more important characteristics.

Metcalfe, A. G.↗

NASA NTRS2003

Results of the Workshop on Two-Phase Flow, Fluid Stability and Dynamics: Issues in Power, Propulsion, and Advanced Life Support Systems

The Two-phase Flow, Fluid Stability and Dynamics Workshop was held on May 15, 2003 in Cleveland, Ohio to define a coherent scientific research plan and roadmap that addresses the multiphase fluid problems associated with NASA s technology development program. The workshop participants, from academia, industry and government, prioritized various multiphase issues and generated a research plan and roadmap to resolve them. This report presents a prioritization of the various multiphase flow and fluid stability phenomena related primarily to power, propulsion, fluid and thermal management and advanced life support; and a plan to address these issues in a logical and timely fashion using analysis, ground-based and space-flight experiments.

McQuillen, John↗

DOE OSTI2017

Test based reliability assessment method for a safety critical software in reactor protection system - 284

Digitalization of the instrumentation and control systems in nuclear power plant entails some new features which do not exist in analog systems. When the new features are applied in safety critical systems, the risk stemming from them should be quantified properly to assure the reliability of the entire power plant. Among the new features, software is considered as the most important factor because it can cause common cause failure to many redundant systems. Therefore, in this work, a test based reliability assessment method for a safety-critical software is developed. An output of a software is determined by not only inputs but also the internal state of the software at the time. In the case of safety critical software developed for usage in nuclear power plant, it is possible to directly investigate probable internal states thanks to detailed design specification and programing features, and the probable inputs also can be identified based on the physical linearity of each process parameter and hardware characteristics related to data acquisition. In this work, a development method for practical exhaustive test case consisting of investigation of internal state and probable input sets to a specific internal state are suggested. In addition to this, software logic simulator for execution of software logic test and the reliability quantification method based on the test result are developed. The feasibility of the suggested method is demonstrated via a case study. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2015

Rock Melt Borehole Sealing System, Final Technical Report for SBIR Phase I Grant No. DE-SC0011888

Purpose of Research Deep borehole disposal is one option that has received attention in recent years as a possible strategy for long-term disposal of the tens of thousands of tons of spent nuclear fuel. The feasibility of the deep borehole option relies upon designing and constructing an effective seal within the borehole to ensure that the waste package does not communicate with the shallow subsurface biosphere through the borehole itself. Some of the uncertainty associated with the long-term suitability of the deep borehole option is related to (1) the degradation of traditional sealing materials over time and (2) the inability of traditional sealing methods to adequately seal a Disturbed Rock Zone surrounding the borehole. One possible system to address these concerns consists of encapsulating the waste in a melt generated from either the waste itself or a plug above the waste. This current project expanded on previous work to further advance the deep borehole disposal concept. Research Objectives & Findings The overarching objective of the study was to evaluate the feasibility of constructing a downhole heater that is capable of meeting the technical and logistical requirements to melt rock. This ultimate objective was accomplished by two primary approaches. The first approach was to define the heater requirements and conceptually design a system that is capable of melting rock. The second approach was to determine the feasibility of conducting an in situ, field-scale melting experiment to validate the suitability of the rock melt seal concept. The evaluation and conceptual design of the heater system resulted in the following primary findings: • Borehole wall temperatures capable of producing a partial melt are achievable under most expected thermal conductivities with a 12-kilowatt heater. • Commercially available components have been identified that meet the requirements of the heater system, including resistive elements that are capable of providing the required heat generation, container materials that can withstand the anticipated temperatures, and a system capable of providing power to the heater. Evaluating the feasibility of performing field-scale experiments resulted in the following major findings: • The Sanford Underground Research Facility (SURF) has been identified as a host site for field testing of prototype heaters. The technical and logistical requirements for performing the rock melt tests can be met by using or expanding the existing infrastructure at SURF with on-site personnel and contractors. • In situ hydraulic conductivity test using packers can test the effectiveness of the rock melt seal, while a mine back performed from a lower level can further evaluate the recrystallized melt. • Preliminary costing indicates that a field-scale melting experiment at SURF is feasible within a Phase II Small Business Innovation Research budget while allowing sufficient budget for refining the heater design, coordinating the test program, and interpreting the results. Application of Research The rock melt sealing concept has the potential to reduce uncertainty associated with the long-term storage of nuclear waste. Preliminary efforts of this study defined the requirements of a downhole heater system capable of melting rock and indicated that developing such a system is feasible using available technology. The next logical step is designing and manufacturing prototype heaters. Concurrent with prototype development is coordinating robust field-scale experiments that are capable of validating the design for marketing to potential users.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRS2019

Citizen Science Data Quality: The GLOBE Program

The Global Learning and Observations to Benefit the Environment (GLOBE) Program is an international program that provides a way for students and the public to contribute Earth system observations. Currently 122 countries, more than 40,000 schools, and 200,000 citizen scientists are participating in GLOBE. Since 1995, participants have contributed 195 million observations. Modes of data collection and data entry have evolved with technology over the lifetime of the program, including the launch of the GLOBE Observer mobile app in 2016 to broaden access and public participation in data collection. GLOBE must meet the data needs of a diverse range of stakeholders, from elementary school classrooms to scientists across the globe, including NASA scientists. Operational quality assurance measures include participant training, adherence to standardized data collection protocols, range and logic checks, and an approval process for photos submitted with an observation. In this presentation, we will discuss the current state of operational data QA/QC, as well as additional QA/QC processes recently explored and future directions.

Amos, Helen↗

NASA NTRSDate not supplied

QuantifyML: How good is my machine learning model?

This paper presents an approach, QuantifyML, which employs model counting to assess the learnability and robustness of machine learning models. Typically the efficacy of machine learning models is determined by computing their accuracy statistically on test data sets. However, this may be misleading, if the test data is not representative of the problem that is being studied. Further, two different models may have the same accuracy on a given data set, measured statistically, but may be very different in their behavior on unseen data. Also, models with high accuracy could have poor adversarial robustness. In QuantifyML, our goal is to precisely quantify the extent to which machine learning models have learned and generalized from the given data. In QuantifyML, a trained model is translated into a C program, which is fed to the CBMC model checking tool to produce a formula in Conjunctive Normal Form (CNF), which in turn is analyzed with state-of-the-art model counters to efficiently obtain precise counts w.r.t different outputs. QuantifyML enables i) evaluating the learnability of models by comparing the counts for the outputs to ground truth, expressed as logical predicates (if available), ii) comparing the performance of different models that may be built with different machine learning algorithms (e.g., decision-trees vs. neural networks), and iii) quantifying the robustness of trained models around given inputs. Our evaluation demonstrates these applications of QuantifyML on decision trees and neural networks trained to learn relational properties of graphs, for which we know the ground truth, and to perform image classification, for which we do not have the ground truth, but we can quantify local robustness.

Deep Neural Networks↗