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 1,081 records · Page 60
All sourcesNASA NTRSDOE OSTI
NASA NTRS1978

Ball bearing heat analysis program (BABHAP)

The Ball Bearing Heat Analysis Program (BABHAP) is an attempt to assemble a series of equations, some of which are non-linear algebraic systems, in a logical order, which when solved, provide a complex analysis of load distribution among the balls, ball velocities, heat generation resulting from friction, applied load, and ball spinning, minimum lubricant film thickness, and many additional characteristics of ball bearing systems. Although initial design requirements for BABHAP were dictated by the core limitations of the PDP 11/45 computer, (approximately 8K of real words with limited number of instructions) the program dimensions can easily be expanded for large core computers such as the UNIVAC 1108. The PDP version of BABHAP is also operational on the UNIVAC system with the exception that the PDP uses 029 punch and the UNIVAC uses 026. A conversion program was written to allow transfer between machines.

Source record↗
NASA NTRS1986

Versatile simulation testbed for rotorcraft speech I/O system design

A versatile simulation testbed for the design of a rotorcraft speech I/O system is described in detail. The testbed will be used to evaluate alternative implementations of synthesized speech displays and speech recognition controls for the next generation of Army helicopters including the LHX. The message delivery logic is discussed as well as the message structure, the speech recognizer command structure and features, feedback from the recognizer, and random access to controls via speech command.

Simpson, Carol A.↗
NASA NTRS1988

Heavy hydrocarbon main injector technology

One of the key components of the Advanced Launch System (ALS) is a large liquid rocket, booster engine. To keep the overall vehicle size and cost down, this engine will probably use liquid oxygen (LOX) and a heavy hydrocarbon, such as RP-1, as propellants and operate at relatively high chamber pressures to increase overall performance. A technology program (Heavy Hydrocarbon Main Injector Technology) is being studied. The main objective of this effort is to develop a logic plan and supporting experimental data base to reduce the risk of developing a large scale (approximately 750,000 lb thrust), high performance main injector system. The overall approach and program plan, from initial analyses to large scale, two dimensional combustor design and test, and the current status of the program are discussed. Progress includes performance and stability analyses, cold flow tests of injector model, design and fabrication of subscale injectors and calorimeter combustors for performance, heat transfer, and dynamic stability tests, and preparation of hot fire test plans. Related, current, high pressure, LOX/RP-1 injector technology efforts are also briefly discussed.

Fisher, S. C.↗
NASA NTRS1991

A design approach for ultrareliable real-time systems

A design approach developed over the past few years to formalize redundancy management and validation is described. Redundant elements are partitioned into individual fault-containment regions (FCRs). An FCR is a collection of components that operates correctly regardless of any arbitrary logical or electrical fault outside the region. Conversely, a fault in an FCR cannot cause hardware outside the region to fail. The outputs of all channels are required to agree bit-for-bit under no-fault conditions (exact bitwise consensus). Synchronization, input agreement, and input validity conditions are discussed. The Advanced Information Processing System (AIPS), which is a fault-tolerant distributed architecture based on this approach, is described. A brief overview of recent applications of these systems and current research is presented.

Lala, Jaynarayan H.↗
DOE OSTI2025

From Obsolete to Optimal (ATR Demineralized Water System)

My project was migrating a Human-Machine Interface (HMI) and Programmable Logic Controller (PLC) program from legacy software to a modern platform, enhancing operational efficiency and eliminating unsupported, obsolete equipment. Initially, I used a migration tool to transfer the programs to the new software, then manually updated variables to align with the new PLC. I optimized the PLC code by leveraging new scaling features in the I/O cards, removing over 45 obsolete rungs, and enhancing clarity with functional tag aliases. Next, I modernized the HMI's visuals with an updated color scheme and 3D buttons. I developed multiple interface versions iteratively refining them based on operator feedback. I also designed and created a dedicated "Rounds" screen incorporating insights from a previous intern’s project to streamline daily rounds. To improve clarity, consistency, and efficiency I redesigned the entire interface. Adding visual indicators to enhance operational awareness: red is used for values outside normal specifications, green for normal operating modes, yellow for manual mode, and grey for offline units. Additionally, I added a dynamic visual representation of tank levels, creating PLC logic to show the level in inches as well as inches and feet. I then incorporated a navigation sidebar to facilitate efficient screen transitions. Risk of human error was mitigated by defining narrow input ranges for tank level shutoff and password protecting setpoint changes. I also fixed issues with datatypes that caused inaccuracies in the original code. Overall, this comprehensive upgrade significantly enhanced the HMI's functionality, user experience, and operational reliability.

47 - OTHER INSTRUMENTATION↗
NASA NTRS1995

Credible Computations: Standard and Uncertainty

The discipline of computational fluid dynamics (CFD) is at a crossroad. Most of the significant advances related to computational methods have taken place. The emphasis is now shifting from methods to results. Significant efforts are made in applying CFD to solve design problems. The value of CFD results in design depends on the credibility of computed results for the intended use. The process of establishing credibility requires a standard so that there is a consistency and uniformity in this process and in the interpretation of its outcome. The key element for establishing the credibility is the quantification of uncertainty. This paper presents salient features of a proposed standard and a procedure for determining the uncertainty. A customer of CFD products - computer codes and computed results - expects the following: A computer code in terms of its logic, numerics, and fluid dynamics and the results generated by this code are in compliance with specified requirements. This expectation is fulfilling by verification and validation of these requirements. The verification process assesses whether the problem is solved correctly and the validation process determines whether the right problem is solved. Standards for these processes are recommended. There is always some uncertainty, even if one uses validated models and verified computed results. The value of this uncertainty is important in the design process. This value is obtained by conducting a sensitivity-uncertainty analysis. Sensitivity analysis is generally defined as the procedure for determining the sensitivities of output parameters to input parameters. This analysis is a necessary step in the uncertainty analysis, and the results of this analysis highlight which computed quantities and integrated quantities in computations need to be determined accurately and which quantities do not require such attention. Uncertainty analysis is generally defined as the analysis of the effect of the uncertainties involved in all stages of a process on the final responses. There are two approaches for conducting the uncertainty analysis: experimental and computational. These analyses and approaches are briefly described.

Mehta, Unmeel B.↗
DOE OSTI2026

A scalable superconducting nanowire memory array with row–column addressing

Scalable superconducting memory is required for the development of low-energy superconducting computers and fault-tolerant quantum computers. Conventional superconducting logic-based memory cells possess a large footprint that limits scaling; nanowire-based superconducting memory cells, although more compact, have high error rates, which hinders integration into large arrays. Here we report a 4 × 4 superconducting nanowire memory array that is designed for scalable row–column operations and has a functional density of 2.6 Mbit cm −2 . Each memory cell is based on a nanowire loop consisting of two temperature-dependent superconducting switches and a variable kinetic inductor. The arrays operate at 1.3 K, where we implement and characterize multiflux quanta state storage and destructive read-out. By optimizing the write- and read-pulse sequences, we minimize bit errors and maximize operating margins. We achieve a minimum bit error rate of 10 −5 . Here, we also use circuit-level simulations to understand the memory cell’s dynamics, performance limits and stability under varying pulse amplitudes.

Electrical and electronic engineering↗
NASA NTRS1971

Computational techniques for design optimization of thermal protection systems for the space shuttle vehicle. Volume 1: Final report

Computational techniques were developed and assimilated for the design optimization. The resulting computer program was then used to perform initial optimization and sensitivity studies on a typical thermal protection system (TPS) to demonstrate its application to the space shuttle TPS design. The program was developed in Fortran IV for the CDC 6400 but was subsequently converted to the Fortran V language to be used on the Univac 1108. The program allows for improvement and update of the performance prediction techniques. The program logic involves subroutines which handle the following basic functions: (1) a driver which calls for input, output, and communication between program and user and between the subroutines themselves; (2) thermodynamic analysis; (3) thermal stress analysis; (4) acoustic fatigue analysis; and (5) weights/cost analysis. In addition, a system total cost is predicted based on system weight and historical cost data of similar systems. Two basic types of input are provided, both of which are based on trajectory data. These are vehicle attitude (altitude, velocity, and angles of attack and sideslip), for external heat and pressure loads calculation, and heating rates and pressure loads as a function of time.

Source record↗
NASA NTRS1983

Signal processor architecture for backscatter radars

Real time signal processing for backscatter radars which requires computational throughput and I/O rates is discussed. The operations that are usually performed in real time are highly repetitive simple accumulations of samples or of products of samples. The control logic does not depend on the values of the data and general purpose computers are not required for the initial high speed processing. The implications of these facts on the architectures of preprocessors for backscatter radars are explored and applied to the design of the Radar Signal Compender.

Swartz, W. E.↗
NASA NTRS1997

Thermal System Upgrade of the Space Environment Simulation Test Chamber

The paper deals with the refurbishing and upgrade of the thermal system for the existing thermal vacuum test facility, the Space Environment Simulator, at NASA's Goddard Space Flight Center. The chamber is the largest such facility at the center. This upgrade is the third phase of the long range upgrade of the chamber that has been underway for last few years. The first phase dealt with its vacuum system, the second phase involved the GHe subsystem. The paper describes the considerations of design philosophy options for the thermal system; approaches taken and methodology applied, in the evaluation of the remaining "life" in the chamber shrouds and related equipment by conducting special tests and studies; feasibility and extent of automation, using computer interfaces and Programmable Logic Controllers in the control system and finally, matching the old components to the new ones into an integrated, highly reliable and cost effective thermal system for the facility. This is a multi-year project just started and the paper deals mainly with the plans and approaches to implement the project successfully within schedule and costs.

Desai, Ashok B.↗
NASA NTRS2006

Developing Formal Correctness Properties from Natural Language Requirements

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

requirements engineering↗
NASA NTRS2004

Tradeoffs in Flight Design Upset Mitigation in State of the Art FPGAs: Hardened by Design vs. Design Level Hardening

This presentation compares and contrasts the effectiveness and the system/designer impacts of the two main approaches to upset hardening: the Actel approach (RTSX-S and RTAX-S) of low-level (inside each flip-flop) triplication and the Xilinx approach (Virtex and Virtex2) of design-level triplication of both functional blocks and voters. The effectiveness of these approaches is compared using measurements made in conjunction with each of the FPGAs' manufacturer: for Actel, published data [1] and for Xilinx, recent results from the Xilinx SEE Test Consortium (note that the author is an active and founding member). The impacts involve Actel advantages in the areas of transistor-utilization efficiency and minimizing designer involvement in the triplication while the Xilinx advantages relate to the ability to custom tailor upset hardness and the flexibility of re-configurability. Additionally, there are currently clear Xilinx advantages in available features such as the number of I/O's, logic cells, and RAM blocks as well as speed. However, the advantage of the Actel anti-fuses for configuration over the Xilinx SRAM cells is that the latter need additional functionality and external circuitry (PROMs and, at least a watchdog timer) for configuration and configuration scrubbing. Further, although effectively mitigated if done correctly, the proton upset-ability of the Xilinx FPGAs is a concern in severe proton-rich environments. Ultimately, both manufacturers' upset hardening is limited by SEFI (single-event functional interrupt) rates where it appears the Actel results are better although the Xilinx Virtex2-family result of about one SEFI in 65 device-years in solar-min GCR (the more intense part of the galactic cosmic-ray background) should be acceptable to most missions

radiation effects↗
NASA NTRS2016

The Soil Moisture Acttive Passive Mission: Fault Protection Performance and Lessons Learned

Fault protection as a discipline involves a collection of flight software logic and operational processes for detecting unacceptable anomalous behavior, responding prior to reaching criticality, restricting the propagation of a failure beyond a fault containment region, and recovering the vehicle back to full or degraded functionality if possible. The System Fault Protection (SFP) design for the SMAP Earth orbiter was put to the test during its 90-day vehicle commissioning activities. During this time, the SFP software autonomously protected the vehicle from multiple faults to critical hardware, and the operations team successfully returned the observatory to its science state. The SFP also performed well in the presence of anomalous behavior below true safety limits by not taking unnecessary response actions, instead allowing the operations team time to monitor the behavior. Certain aspects of the SFP design were modified during operations via both parameter updates and a full flight software update in order to better match the vehicle behavior in the flight environment. An evaluation of the SMAP SFP performance during vehicle Commissioning will be provided in this paper, as well as a set of lessons learned largely focused on visibility, SFP mutability in operations, responses to peripheral device faults, and Safe Mode recovery and design. By capturing some of the knowledge gained during SMAP Commissioning, it is intended that this paper provide guidance for making future System Fault Protection designs more robust and supportive of operations.

Clark, Jessica↗
NASA NTRS2017

Characterization of Low Mass Deformable Mirrors and ASIC Driver for High-Contrast Imaging

The development of compact, high performance Deformable Mirrors (DMs) is one of the most important techno-logical challenges for high-contrast imaging on space missions. Microscale Inc. has fabricated and characterized piezoelectric stack actuator deformable mirrors (PZT-DMs) and Application-Speci c Integrated Circuit (ASIC) drivers for direct integration. The DM-ASIC system is designed to eliminate almost all cables, enabling a very compact optical system with low mass and low power consumption. We report on the optical tests used to evaluate the performance of the DM and ASIC units. We also compare the results to the requirements for space-based high-contrast imaging of exoplanets. .

Prada, Camilo Mejia↗
DOE OSTI2022

Development of Carbon Molecular Sieves Hollow Fiber Membranes based on Polybenzimidazole Doped with Polyprotic Acids with Superior H 2 /CO 2 Separation Properties (Final Report)

The goal of this project was to develop a highly efficient membrane-based process to capture CO 2 from coal-derived syngas with 95% CO 2 purity, achieving the cost of electricity (COE) 30% below the baseline capture approaches (i.e., Selexol process) when coupled with the advancement in other areas of the power generation facility. Our core approach is based on high-permeance hollow fiber membranes (HFMs) with superior H 2 /CO 2 separation properties at the syngas process conditions, which can then be further utilized to design membrane reactors for process intensification of H 2 production and purification and CO 2 capture. Three organizations with complementary skills collaborated to achieve the goal, including the University at Buffalo (UB), Los Alamos National Laboratory (LANL), and Trimeric Corporation (Trimeric). We formulated logical steps to bring the membrane technology from Technology Readiness Level (TRL) 3 (Experimental proof of concept) to TRL 4 (Laboratory scale validation in relevant environment). During the budget period (BP) 1, we screened various polymeric materials and identified polybenzimidazole doped with inorganic polyprotic acids as the desirable platform. The acid doping increases the H 2 /CO 2 selectivity, and the sequential carbonization increases H 2 permeability while retaining the high selectivity. By manipulating the acid type and doping level and the carbonization temperature, we demonstrated advanced carbon molecular sieving (CMS) materials with H 2 permeability of above 200 Barrer (1 Barrer = 10 -10 cm 3 (STP) cm cm -2 s -2 cmHg -1 ) and H 2 /CO 2 selectivity of above 40 at 200-300°C with simulated syngas containing CO and water vapor. For example, the PBI-(H 3 PO 4 ) 0.11 carbonized at 700 °C exhibits H 2 permeability of 200 Barrer and H 2 /CO 2 selectivity of 60 at 200 °C, and H 2 permeability of 240 Barrer and H 2 /CO 2 selectivity of 54 at 225 °C, which meets the targeted properties and surpasses Robeson’s upper bound. During the BP2, we focused on the conversion of the advanced CMS materials to stable HFMs. Membranes with H 2 permeance of 1,090 GPU (1 GPU = 10 -6 cm 3 (STP) cm -2 s -2 cmHg -1 ) and H 2 /CO 2 selectivity of 57 at 300 °C were successfully fabricated. The effects of temperature, gas compositions, pressure, and time on the separation properties were systematically investigated. Pencil modules were continuously evaluated for 219 h (dry pure gas) and 669 h (dry simulated syngas) and showed initial decline in permeance and increased H 2 /CO 2 selectivity over time, ultimately achieving a steady state stable value, indicating that the ageing phenomena in the nanoporous structures of the membranes during the test. Membrane reactors were fabricated based on the CMS membranes and evaluated for water-gas shift (WGS) reaction. The use of membranes slightly improves the conversion of the CO. However, parametric tests of the membrane reactors at various temperatures and flow rates need to be conducted, as well as the membranes with improved separation performance. We performed a sensitivity analysis on the impact of H 2 /CO 2 selectivity on the COE based on a hybrid process of a membrane unit and cryogenic unit developed by Membrane Technology and Research, Inc. (MTR). Three H 2 /CO 2 selectivity (40, 60, and 15) cases were developed and compared with the baseline capture process (Case B5B) provided by the DOE report. Increasing the membrane H 2 /CO 2 selectivity reduces COE, but the rate of the decrease of COE also diminishes. The COE values for H 2 /CO 2 selectivities of 40 and 60 were nearly the same. As the H 2 /CO 2 selectivity increases, the inert recycling decreases, leading to smaller equipment, less auxiliary power requirements, and less heating, cooling, and refrigeration duty. The refrigeration system used to liquefy the CO 2 is the most expensive piece of equipment and consumes the most electricity within the CO 2 capture process. Increasing the CO 2 concentration in the recycle stream would improve the economics of the process by reducing the refrigeration duty requirement of the unit and also allow for higher liquefaction temperatures. The high H 2 -selective membrane developed by our team may be applicable in other separation processes where lower pressure H 2 retains value. Typically, hydrogen retains its pressure when it is separated from syngas components. Residual components may be used as low-quality fuel and then vented to the atmosphere. Applications might include control of H 2 /CO ratios or mitigation of the water gas shift reaction by CO 2 recycling to the feed of a gasifier or steam methane reformer. To summarize, we have developed industrial HFMs with the best H 2 /CO 2 separation performance reported in the literature. The membranes demonstrate stability with simulated syngas and show great potential for membrane reactors for WGS reactions, lowering the cost of blue H 2 production.

20 FOSSIL-FUELED POWER PLANTS↗
NASA NTRS1972

Investigation of an automatic spin prevention system for fighter airplanes

An investigation was conducted to evaluate the effectiveness of an automatic spin-prevention system for current fighter airplanes as a first step in determining the feasibility of such a system. The concept makes use of the components of the conventional flight-control system with the addition of control logic to monitor angle of attack, yaw rate, and normal acceleration. Analytical techniques were used to study the system concept applied to three representative fighter configurations, and model flight tests were employed to evaluate a prototype system on a representative fighter configuration. Emphasis was placed on the development of the control logic required. A discussion of possible implementations of the system concept is presented. Results of the investigation indicated that a relatively simple system (with full control authority) was effective in preventing the developed spins of the fighter configurations considered and that the system design is dependent on the stall and spin characteristics of the particular airplane.

Gilbert, W. P.↗
NASA NTRS1984

Writing executable assertions to test flight software

An executable assertion is a logical statement about the variables or a block of code. If there is no error during execution, the assertion statement results in a true value. Executable assertions can be used for dynamic testing of software. They can be employed for validation during the design phase, and exception and error detection during the operation phase. The present investigation is concerned with the problem of writing executable assertions, taking into account the use of assertions for testing flight software. They can be employed for validation during the design phase, and for exception handling and error detection during the operation phase The digital flight control system and the flight control software are discussed. The considered system provides autopilot and flight director modes of operation for automatic and manual control of the aircraft during all phases of flight. Attention is given to techniques for writing and using assertions to test flight software, an experimental setup to test flight software, and language features to support efficient use of assertions.

Mahmood, A.↗
NASA NTRS1987

Bidirectional power converter control electronics

The object of this program was to design, build, test, and deliver a set of control electronics suitable for control of bidirectional resonant power processing equipment of the direct output type. The program is described, including the technical background, and results discussed. Even though the initial program tested only the logic outputs, the hardware was subsequently tested with high-power breadboard equipment, and in the testbed of NASA contract NAS3-24399. The completed equipment is now operating as part of the Space Station Power System Test Facility at NASA Lewis Research Center.

Mildice, J. W.↗