Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Logic Design”

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 793 records · Page 44
All sourcesNASA NTRSDOE OSTI
DOE OSTI2026

Direct Ink Write and Processing of Complex 3D Marine Compatible Structures with Calcium Carbonate Slurries

Ocean acidification heavily impacts marine ecosystems by reducing calcification. Many coral-algae symbiotic relationships are in jeopardy due to the destruction of coral reefs. Here, a ceramic ink compatible with the direct ink write additive manufacturing technique was formulated and used to print marine compatible structures that could grow algae and restore that relationship. A diacrylate polymer was mixed with calcium carbonate, a material that comprises a coral skeleton, to create a slurry with shear thinning properties. Rheology studies were conducted to confirm printing properties and characterize the slurry. Printed parts demonstrated strong control over print features, including size and infill design. Various infill patterns and percentages were attempted to optimize printability and potential algae growth. Thermogravimetric analysis helped determine a logical burnout and sintering procedure to avoid large cracking. This project developed a printable and sinter-able calcium carbonate ceramic slurry for complex marine-compatible structures and algae growth. This research was conducted in the support of the Eco Reef project.

36 MATERIALS SCIENCE↗
NASA NTRS1975

LSI computer for 1980's space mission

The low power, high reliability, SUMC-III-C computer is one member of the Space Ultrareliable Modular Computer (SUMC) family designed by NASA/MSFC to meet a wide range of missions through modularity in word size, throughput, and reliability. The SUMC-III-C, directed at such missions as the Large Space Telescope and Space Tug, uses custom designed CMOS/SOS LSI arrays with critical computer paths packaged on thick-film hybrids. This technology provides 300 to 600 logic gates per array with a typical stage delay of 3 to 5 nsec. SUMC-III-C is fully S/360 compatible at the user level, and includes virtual memory for the first time in an aerospace computer.

Clapp, W. A.↗
NASA NTRS1981

A method of testing attitude control systems during the development phase

A technique, utilized on the Space Telescope Program, and used for testing satellite attitude pointing and control systems during the engineering and development phases is presented. The technique verifies the hardware models used in design phase computer simulations, verifies the interface between the flight hardware and flight software, and uncovers hardware/software switching or mode logic problems. The testing is accomplished in two phases: a dynamic hardware simulator phase using hardware electronic simulators and an electronic vehicle motion simulator; and a second real hardware phase utilizing engineering model gyros and reaction wheels on an airbearing table. Both phases use an engineering model of the flight computer, flight algorithms and software, and a breadboard data management and computer hardware interface for timing simulations. The purpose of each test and the test phases are described, and examples of closed loop test results for both attitude hold and maneuvering models are given.

Besonis, A.↗
NASA NTRS1988

Transformational derivation of programs using the Focus system

A program derivation support system called Focus is being constructed. It will formally derive programs using the paradigm of program transformation. The following issues are discussed: (1) the integration of validation and program derivation activities in the Focus system; (2) its tree-based user interface; (3) the control of search spaces in program derivation; and (4) the structure and organization of program derivation records. The inference procedures of the system are based on the integration of functional and logic programming principles. This brings about a synthesis of paradigms that were heretofore considered far apart, such as logical and executable specifications and constructive and transformational approaches to program derivation. A great emphasis has been placed, in the design of Focus, on achieving small search spaces during program derivation. The program manipulation operations such as expansion, simplification and rewriting were designed with this objective. The role of operations that are expensive in search spaces, such as folding, has been reduced. Program derivations are documented in Focus in a way that the high level descriptions of derivations are expressed only using program level information. All the meta-level information, together with dependencies between derivations of program components, is automatically recorded by the system at a lower level of description for its own use in replay.

Reddy, Uday S.↗
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 NTRS1995

Development of a 1 kW, 200 C Mapham Inventor

Electronic systems and components are often exposed to high temperature environment in space-based applications, nuclear power facilities, and geothermal energy extraction fields. A key requirement for these systems is, therefore, to withstand the high temperature exposure while maintaining efficient and reliable operation. Efforts were taken to design and develop a high temperature power inverter capable of 200 C operation. A 1 kW, 20 kHz Mapham inverter was designed and evaluated as a function of temperature at different load levels. The inverter system, excluding its input, control, and logic circuits, was characterized at temperatures from ambient to 200 C at 0%, 50%, and 100% resistive loading. With an applied input voltage of 75 VDC, the inverter produced an output of 250 VAC. The results obtained, which indicate good operational characteristics of the inverter up to 200 C, are presented and discussed.

Hammoud, Ahmad↗
NASA NTRS2013

Goal-Function Tree Modeling for Systems Engineering and Fault Management

This paper describes a new representation that enables rigorous definition and decomposition of both nominal and off-nominal system goals and functions: the Goal-Function Tree (GFT). GFTs extend the concept and process of functional decomposition, utilizing state variables as a key mechanism to ensure physical and logical consistency and completeness of the decomposition of goals (requirements) and functions, and enabling full and complete traceabilitiy to the design. The GFT also provides for means to define and represent off-nominal goals and functions that are activated when the system's nominal goals are not met. The physical accuracy of the GFT, and its ability to represent both nominal and off-nominal goals enable the GFT to be used for various analyses of the system, including assessments of the completeness and traceability of system goals and functions, the coverage of fault management failure detections, and definition of system failure scenarios.

Johnson, Stephen B.↗
NASA NTRS2008

J-2X Abort System Development

The J-2X is an expendable liquid hydrogen (LH2)/liquid oxygen (LOX) gas generator cycle rocket engine that is currently being designed as the primary upper stage propulsion element for the new NASA Ares vehicle family. The J-2X engine will contain abort logic that functions as an integral component of the Ares vehicle abort system. This system is responsible for detecting and responding to conditions indicative of impending Loss of Mission (LOM), Loss of Vehicle (LOV), and/or catastrophic Loss of Crew (LOC) failure events. As an earth orbit ascent phase engine, the J-2X is a high power density propulsion element with non-negligible risk of fast propagation rate failures that can quickly lead to LOM, LOV, and/or LOC events. Aggressive reliability requirements for manned Ares missions and the risk of fast propagating J-2X failures dictate the need for on-engine abort condition monitoring and autonomous response capability as well as traditional abort agents such as the vehicle computer, flight crew, and ground control not located on the engine. This paper describes the baseline J-2X abort subsystem concept of operations, as well as the development process for this subsystem. A strategy that leverages heritage system experience and responds to an evolving engine design as well as J-2X specific test data to support abort system development is described. The utilization of performance and failure simulation models to support abort system sensor selection, failure detectability and discrimination studies, decision threshold definition, and abort system performance verification and validation is outlined. The basis for abort false positive and false negative performance constraints is described. Development challenges associated with information shortfalls in the design cycle, abort condition coverage and response assessment, engine-vehicle interface definition, and abort system performance verification and validation are also discussed.

Santi, Louis M.↗
NASA NTRS2022

Towards Self-Adaptive Game Logic

Self-adaptive systems (SAS) can reconfigure at run time in response to changing situations to express acceptable behaviors in the face of uncertainty. With respect to game design, such situations may include user input, emergent behaviors, performance concerns, and combinations thereof. Typically an SAS is modeled as a feedback loop that functions within an existing system, with operations including monitoring, analyzing, planning, and executing (i.e., MAPE-K) to enable online reconfiguration. This paper presents a conceptual approach for extending software engineering artifacts to be self-adaptive within the context of game design. We have modified a game developed for creative coding education to include a MAPE-K self-adaptive feedback loop, comprising run-time adaptation capabilities and the software artifacts required to support adaptation.

Erik M. Fredericks↗
NASA NTRS1975

Transonic airfoil analysis and design using Cartesian coordinates

An inverse numerical technique for designing transonic airfoils having a prescribed pressure distribution is presented. The method uses the full potential equation, inverse boundary conditions, and Cartesian coordinates. It includes simultaneous airfoil update and utilizes a direct-inverse approach that permits a logical method for controlling trailing edge closure. The method can also be used for the analysis of flowfields about specified airfoils. Comparison with previous results shows that accurate results can be obtained with a Cartesian grid. Examples show the application of the method to design aft-cambered and other airfoils specifically for transonic flight.

Carlson, L. A.↗
NASA NTRS1972

Methodology for the systems engineering process. Volume 2: Technical parameters

A scheme based on starting the logic networks from the development and mission factors that are of primary concern in an aerospace system is described. This approach required identifying the primary states (design, design verification, premission, mission, postmission), identifying the attributes within each state (performance capability, survival, evaluation, operation, etc), and then developing the generic relationships of variables for each branch. To illustrate this concept, a system was used that involved a launch vehicle and payload for an earth orbit mission. Examination showed that this example was sufficient to illustrate the concept. A more complicated mission would follow the same basic approach, but would have more extensive sets of generic trees and more correlation points between branches. It has been shown that in each system state (production, test, and use), a logic could be developed to order and classify the parameters involved in the translation from general requirements to specific requirements for system elements.

Nelson, J. H.↗
NASA NTRS2017

An Automaton Rover Enabling Long Duration In-Situ Science in Extreme Environments

The Automaton Rover for Extreme Environments (AREE) is a NASA Innovative Advanced Concept (NIAC) funded study focused on enabling long duration science on Venus by replacing vulnerable electronics with an entirely mechanical design. By utilizing high temperature alloys, the rover would survive on the surface of Venus for weeks if not months. The rover concept harvests wind energy using a turbine and stores it in a constant force spring. The mobility system would be guided by a mechanical computer and logic system, programed to carry out the mission. It would collect basic science data such as wind speed, temperature, and seismic events. Communicating the data back to Earth is the most challenging aspect of the system design with multiple options being explored in a trade: a simple electronic high temperature transponder, a retroreflector target or inscribing phonograph style records to be launched via a balloon to a high altitude drone capable of transmitting the data back to Earth. AREE is not only a new exciting in-situ rover concept, but also a paradigm shift to conducting in-situ science in extreme environments. Traditional extreme environment vehicles collect as many diverse data points as possible in the short period of time before system failure. AREE breaks that trend by exploring what can be done with only a few basic scientific measurements, but recorded over long periods of time. In addition to Venus, the concept can be useful in other extreme environments in the solar system including Mercury, Jupiter's radiation belts, the interiors of gas giants, the mantle of the Earth and volcanoes throughout the solar system.

Parness, Aaron↗
DOE OSTI2023

Strong parametric dispersive shifts in a statically decoupled two-qubit cavity QED system

Qubits in cavity quantum electrodynamic (QED) architectures are often operated in the dispersive regime, in which the operating frequency of the cavity depends on the energy state of the qubit, and vice versa. The ability to tune these dispersive shifts provides additional options for performing either quantum measurements or logical manipulations. Here we couple two transmon qubits to a lumped-element cavity through a shared superconducting quantum interference device (SQUID). In this work, our design balances the mutual capacitive and inductive circuit components so that both qubits are statically decoupled from the cavity with low flux sensitivity, offering protection from decoherence processes. Parametric driving of the SQUID flux enables independent, dynamical tuning of each qubit’s interaction with the cavity. As a practical demonstration, we perform pulsed parametric dispersive readout of both qubits. The dispersive frequency shifts of the cavity mode follow the theoretically expected magnitude and sign. This parametric approach creates an extensible, tunable cavity QED framework with various future applications, such as entanglement and error correction via multi-qubit parity readout, state and entanglement stabilization, and parametric logical gates.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
NASA NTRS1992

The presence of field geologists in Mars-like terrain

Methods of ethnographic observation and analysis have been coupled with object-oriented analysis and design concepts to begin the development of a clear path from observations in the field to the design of virtual presence systems. The existence of redundancies in field geology and presence allowed for the application of methods for understanding complex systems. As a result of this study, some of these redundancies have been characterized. Those described are all classes of continuity relations, including the continuities of continuous existence, context-constituent continuities, and state-process continuities. The discussion of each includes statements of general relationships, logical consequences of these, and hypothetical situations in which the relationships would apply. These are meant to aid in the development of a theory of presence. The discussion also includes design considerations, providing guidance for the design of virtual planetary exploration systems and other virtual presence systems. Converging evidence regarding continuity in presence is found in the nature of psychological dissociation. Specific methodological refinements should enhance ecological validity in subsequent field studies, which are in progress.

Mcgreevy, Michael W.↗
DOE OSTI2021

Bottom‐Up Synthesized Nanoporous Graphene Transistors

Abstract Nanoporous graphene (NPG) can exhibit a uniform electronic band gap and rationally‐engineered emergent electronic properties, promising for electronic devices such as field‐effect transistors (FETs), when synthesized with atomic precision. Bottom‐up, on‐surface synthetic approaches developed for graphene nanoribbons (GNRs) now provide the necessary atomic precision in NPG formation to access these desirable properties. However, the potential of bottom‐up synthesized NPG for electronic devices has remained largely unexplored to date. Here, FETs based on bottom‐up synthesized chevron‐type NPG (C‐NPG), consisting of ordered arrays of nanopores defined by laterally connected chevron GNRs, are demonstrated. C‐NPG FETs show excellent switching performance with on–off ratios exceeding 10 4 , which are tightly linked to the structural quality of C‐NPG. The devices operate as p‐type transistors in the air, while n‐type transport is observed when measured under vacuum, which is associated with reversible adsorption of gases or moisture. Theoretical analysis of charge transport in C‐NPG is also performed through electronic structure and transport calculations, which reveal strong conductance anisotropy effects in C‐NPG. The present study provides important insights into the design of high‐performance graphene‐based electronic devices where ballistic conductance and conduction anisotropy are achieved, which could be used in logic applications, and ultra‐sensitive sensors for chemical or biological detection.

Mutlu, Zafer↗
DOE OSTI2024

Demonstration of Model-Based Design for Digital Controller Using Formal Methods

This report describes work originally performed in FY19 that assembled a workflow enabling formal verification of high-consequence digital controllers. The approach builds on an engineering analysis strategy using multiple abstraction levels (Model-Based Design) and performs exhaustive formal analysis of appropriate levels – here, state machines and C code – to assure always/never properties of digital logic that cannot be verified by testing alone. The operation of the workflow is illustrated using example models and code, including expected failures of verification when properties are violated.

97 MATHEMATICS AND COMPUTING↗