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 865 records · Page 48
All sourcesNASA NTRSDOE OSTI
NASA NTRS1978

SPAR electrophoretic separation experiments, part 2

The opportunity to use a sounding rocket for separation experiments is a logical continuation of earlier electrophoresis demonstrations and experiments. A free-flow electrophoresis system, developed under the Advanced Applications Flight Experiment (AAFE) Program, was designed so that it would fit into a rocket payload. The SPAR program provides a unique opportunity to complete the intial stages of microgravity testing prior to any Shuttle applications. The objective of the work described in this report was to ensure proper operating parameters for the defined experimental samples to be used in the SPAR Electrophoretic Separation Experiment. Ground based experiments were undertaken not only to define flight parameters but also to serve as a point of comparison for flight results. Possible flight experiment problem areas were also studied such as sample interaction due to sedimentation, concentration effects and storage effects. Late in the program anomalies of field strengths and buffer conductivities were also investigated.

Cosmi, F. M.↗
NASA NTRS1984

Thermoelectric Integrated Membrane Evaporation Subsystem operational improvements

A three-man preprototype Thermoelectric Integrated Membrane Evaporation Subsystem (TIMES) has been developed to provide high quality water recovery from waste fluids on extended duration space flights. In the most recent effort, a number of improvements have been made to simplify subsystem operation and increase performance. These modifications include changes to the hollow fiber membrane evaporator, the condensing section of the thermoelectric heat pump, and the electronic controller logic and display. This paper describes the results of the test program that was conducted to evaluate the implemented improvements. In addition, an advanced design concept is discussed that will provide lower electrical power consumption, greater water production capacity, lower weight, and a smaller package than the present subsystem configuration.

Dehner, G. F.↗
NASA NTRS1988

The Flight Telerobotic Servicer Project and systems overview

As part of the Flight Telerobotic Servicer (FTS) project an advanced telerobotic system is being developed to assist in and reduce crew extravehicular activity (EVA) for the U.S. Space Station. The FTS will be used for assembly, maintenance, servicing, and inspection throughout the lifetime of the Space Station. A brief overview of the FTS program is given, and some of the technical and system engineering issues associated with the development of the FTS are explored. A key to the evolutionary capability of the FTS design is the NASREM (NASA Standard Reference Model for telerobot control system) architecture. This architecture provides the framework for future growth and permits a logical blend of teleoperation and autonomous operations as required.

Mccain, Harry G.↗
NASA NTRS1991

Applications of an automated programming system

A Computer-Aided Software Engineering (CASE) system has been developed at the Charles Stark Draper Laboratory (CSDL) under the direction of the NASA Langley Research Center. The Automated Programming Subsystem is the core of the CSDL CASE system. The Automated Programming Subsystem allows an engineer to describe software specifications as hierarchical engineering block diagrams, a natural design technique for the specification of real-time software. The objective of the Automated Programming Subsystem is to capture completely and consistently both logical and schematic information as diagrams are developed, and then to automatically transform this information into source code (Ada or C) and documentation. The Automated Programming Subsystem of CSDL CASE has been used on many applications, from small to moderate size. Six of these applications are described in this paper.

Walker, Carrie K.↗
NASA NTRS1991

Next generation functional components for space telemetry data processing

The use of new design methodologies to continue the evolution of telemetry data systems to higher levels of integration is discussed. In particular, hardware description languages and automated logic synthesis tools are used to create very dense Application Specific Integrated Circuits (ASICs) that generically implement telemetry processing functions. The use of the ASICs will make it possible to develop a new generation of functional components, each of the components integrating several telemetry processing subsystems into a single card.

Bennett, Toby↗
NASA NTRS1992

Verifying command sequences for satellite systems

We present a formal basis for the design of a Checker used in validating safe schedules and in selecting error recovery schedules for satellite control systems. This design includes a high-level specification of Checker behavior and properties (called flight rules) of safe schedules. Specifications are written in Timed Linear Logic (TLL). Validation of schedules is performed in terms of real-time telemetry and deduction system proof rules. Telemetry (state information for satellite subsystems) serves as input to the Checker. Detection of violation of a flight rule by the Checker results in the selection of a contingency plan (error recovery schedule). The Checker is illustrated in terms of the TOPEX/Poseidon Oceanographic Satellite System.

Peters, James F., III↗
NASA NTRS1995

Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits

We present a mathematical definition of hardware description language (HDL) that admits a semantics-preserving translation to a subset of VHDL. Our HDL includes the basic VHDL propagation delay mechanisms and gate-level circuit descriptions. We also develop formal procedures for deriving and verifying concise behavioral specifications of combinational and sequential devices. The HDL and the specification procedures have been formally encoded in the computational logic of Boyer and Moore, which provides a LISP implementation as well as a facility for mechanical proof-checking. As an application, we design, specify, and verify a circuit that achieves asynchronous communication by means of the biphase mark protocol.

Russinoff, David M.↗
NASA NTRS1996

A System Concept for Facilitating User Preferences in En Route Airspace

The Federal Aviation Administration is trying to make its air traffic management system more responsive to the needs of the aviation community by exploring the concept of 'free flight' for aircraft flying under instrument flight rules. A logical first step toward free flight could be made without significantly altering current air traffic control (ATC) procedures or requiring new airborne equipment by designing a ground-based system to be highly responsive to 'user preference' in en route airspace while providing for an orderly transition to the terminal area. To facilitate user preference in all en route environments, a system based on an extension of the Center/TRACON Automation System (CTAS) is proposed in this document. The new system would consist of two integrated components. An airspace tool (AT) focuses on unconstrained en route aircraft (e.g., not transitioning to the terminal airspace), taking advantage of the relatively unconstrained nature of their flights and using long-range trajectory prediction to provide cost-effective conflict resolution advisories to sector controllers. A sector tool (ST) generates efficient advisories for all aircraft, with a focus on supporting controllers in analyzing and resolving complex, highly constrained traffic situations. When combined, the integrated AT/ST system supports user preference in any air route traffic control center sector. The system should also be useful in evaluating advanced free-flight concepts by serving as a test bed for future research. This document provides an overview of the design concept, explains its anticipated benefits, and recommends a development strategy that leads to a deployable system.

Vivona, R. A.↗
NASA NTRS2010

Systems Maintenance Automated Repair Tasks (SMART)

SMART is a uniform automated discrepancy analysis and repair-authoring platform that improves technical accuracy and timely delivery of repair procedures for a given discrepancy (see figure a). SMART will minimize data errors, create uniform repair processes, and enhance the existing knowledge base of engineering repair processes. This innovation is the first tool developed that links the hardware specification requirements with the actual repair methods, sequences, and required equipment. SMART is flexibly designed to be useable by multiple engineering groups requiring decision analysis, and by any work authorization and disposition platform (see figure b). The organizational logic creates the link between specification requirements of the hardware, and specific procedures required to repair discrepancies. The first segment in the SMART process uses a decision analysis tree to define all the permutations between component/ subcomponent/discrepancy/repair on the hardware. The second segment uses a repair matrix to define what the steps and sequences are for any repair defined in the decision tree. This segment also allows for the selection of specific steps from multivariable steps. SMART will also be able to interface with outside databases and to store information from them to be inserted into the repair-procedure document. Some of the steps will be identified as optional, and would only be used based on the location and the current configuration of the hardware. The output from this analysis would be sent to a work authoring system in the form of a predefined sequence of steps containing required actions, tools, parts, materials, certifications, and specific requirements controlling quality, functional requirements, and limitations.

Schuh, Joseph↗
NASA NTRS2016

FT4 Data Analysis Summary (SSI-ARC)

Standards for Unmanned Aircraft System (UAS) Detect-and-Avoid (DAA) systems are currently being developed under the auspices of the RTCA Special Committee 228 (SC-228). To support the development of these standards, a series of flight tests has been conducted at NASAs Armstrong Flight Research Center (NASA-AFRC). The fourth in this series of flight test activities (Flight Test 4, or simply FT4) was conducted during the Spring and Summer of 2016. FT4 supported the objectives of numerous organizations working toward UAS DAA Minimum Operational Performance Standards (MOPS) and UAS DAA Radar MOPS. The summary provided herein is limited to the objectives, analysis and conclusions of the NASA Ames Research Center (NASA-ARC) SSI team toward the refinement of UAS DAA MOPS. This document provides a high-level overview of FT4 and the SSI-ARC objectives, a summary of the data analysis methodology and recommendations for UAS DAA MOPS refinements based on the data analysis results. A total of 72 encounters were flown to support SSI-ARC objectives. Test results were generally consistent with acceptable UAS DAA system performance and will be considered in broader SC-228 requirements validation efforts. Observed alert lead times indicated acceptable UAS DAA alerting performance. Effective interoperability between the UAS DAA system and the Traffic Alert and Collision Avoidance System (TCAS) was observed with one notable exception: TCAS Resolutions Advisories (RA) were observed in the absence of any DAA alert on two occasions, indicating the need for alert parameter refinement. Findings further indicated the need for continued work in the areas of DAA Well Clear Recovery logic and alert stability for Mode-C-only intruders. Finally, results demonstrated a high level of compliance with a set of evaluation criteria designed to provide anecdotal evidence of acceptable UAS DAA system performance.

UAS Test Flight↗
NASA NTRS2019

Optimizing the Model of the Viking-400 UAS

This project intends to update and redesign imperfections in the scanned 3D CAD model of the Viking 400 aircraft. This aircraft, similar to the Sierra-B UAS, will carry payloads of scientific instruments for research purposes. The goals of this project are to modify the current scanned model such that it better represents the physical qualities of the aircraft, as well as creating the features that are missing from the model. As the model was imported from a different software, many of the critical surfaces did not accurately reflect the actual aircraft. Those parts of the model were redesigned entirely so that they can be edited for future use, as well as correctly representing the aircraft as it is now. Additionally, parts of the aircraft that did not appear in the scanned model were designed and added to the new model. In order to prioritize ease of use for future missions, the model has been reorganized in a logical fashion that enables modification of specific parts of the aircraft. The organization of this model imitates the drawing tree of the Sierra-B, with the intention of maintaining a functional system of redesign, analysis, and implementation. Ultimately, this project will be a catalyst for making Viking 400 into a functional aircraft and increasing scientific research in airborne vehicles.

Wandrocke, Evan W. J.↗
NASA NTRS1989

A lunar venture

As the Earth's space station is in its final stages of design, the dream of a permanent manned space facility is now a reality. Despite this monumental achievement, however, man's quest to extend human habitation further out into space is far from being realized. The next logical step in space exploration must be the construction of a permanent lunar base. This lunar infrastucture can, in turn, be used as a staging ground for further exploration of the remote regions of the solar system. As outlined by the National Aeronautics and Space Administration, the lunar base program consists of three exploratory and implementation phases. In response to the technological and facility requirements of Phase 1 and 2 of this program, the Aerospace Vehicle Design Program of the University of Virgina (UVA) is proud to present a preliminary design for such a lunar infrastructure. This study is a comprehensive evaluation of the mission requirements as well as the design criteria for space vehicles and facilities. The UVA Lunar Venture is a dual system that consists of a lunar space station and a fleet of lunar landers/transporters. With such a design, it is demonstrated that all initial exploratory and construction requirements for the lunar base can be efficiently satisfied. Additionally, the need for such a dual system is justified both from a logistic and economic standpoint.

Lee, Joo Ahn↗
DOE OSTI2022

Microfluidic In-Situ Spectrophotometric Approaches to Tackle Actinides Analysis in Multiple Oxidation States

The study and development of present and future processes for the treatment/recycling of spent nuclear fuels require many steps, from design in the laboratory to setting up on an industrial scale. In all of these steps, analysis and instrumentation are key points. For scientific reasons (small-scale studies, control of phenomena, etc.) but also with regard to minimizing costs, risks, and waste, such developments are increasingly carried out on milli- or microfluidic devices. The logic is the same for the chemical analyses associated with their follow-up and interpretation. Due to this, over the last few years, opto–microfluidic analysis devices adapted to the monitoring of different processes (dissolution, liquid–liquid extraction, precipitation, etc.) have been increasingly designed and developed. In this work, we prove that photonic lab-on-a-chip (PhLoC) technology is fully suitable for all actinides concentration monitoring along the plutonium uranium refining extraction (plutonium, uranium, reduction, extraction, or Purex) process. Several PhLoC microfluidic platforms were specifically designed and used in different nuclear research and development (R&D) laboratories, to tackle actinides analysis in multiple oxidation states even in mixtures. The detection limits reached (tens of µmol·L −1 ) are fully compliant with on-line process monitoring, whereas a range of analyzable concentrations of three orders of magnitude can be covered with less than 150 µL of analyte. Finally, this work confirms the possibility and the potential of coupling Raman and ultraviolet–visible (UV–Vis) spectroscopies at the microfluidic scale, opening the perspective of measuring very complex mixtures.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2024

Efficient Unitary Designs from Random Sums and Permutations

A unitary k-design is an ensemble of unitaries that matches the first k moments of the Haar measure. In this work, we provide two efficient constructions of k-designs on n-qubits using new random matrix theory techniques. Our first construction is based on exponentiating sums of random i.i.d. Hermitian matrices and uses O(k2n2)-many gates. In the spirit of central limit theorems, we show that this random sum approximates the Gaussian Unitary Ensemble (GUE). We then show that the product of just two exponentiated GUE matrices is already approximately Haar random. Our second construction is based on products of exponentiated sums of random permutations and uses Õ(k poly (n)) many gates. The k dependence is optimal (up to polylogarithmic factors) and is inherited from the efficiency of existing k-wise independent permutations. Furthermore, replacing random permutations with quantum-secure pseudorandom permutations (PRPs), we also obtain a pseudorandom unitary (PRU) ensemble that is secure under nonadaptive queries. A central feature of both proofs is a new connection between the polynomial method in quantum query complexity and the large-dimension (N) expansion in random matrix theory. In particular, the first construction uses the polynomial method to control high moments of certain random matrix ensembles without requiring delicate Weingarten calculations. In doing so, we define and solve a moment problem on the unit circle, asking whether a finite number of equally weighted points can reproduce a given set of moments. In our second construction, the key step is to exhibit an orthonormal basis for irreducible representations of the partition algebra that has a low-degree large-N expansion. This allows us to show that the distinguishing probability is a low-degree rational polynomial of the dimension N.

algebra↗
DOE OSTI2025

Architecture-Aware Models of AI Engines for High-Performance Matrix Matrix Multiplication

The AI Engine (AIE) architecture, available in systems from mobile SoCs to server-class FPGAs, aims to efficiently execute AI/ML tasks through a two-dimensional array of compute tiles. Previous work on AIEs has explored different approaches to mapping computation across spatial arrays, but the compute kernel running on each tile has not been the focus. Additionally, the AIE-ML architecture introduces memory tiles and omits programmable logic, requiring new approaches to staging and moving data throughout the array. In this work we update analytical models developed for CPUs to produce the design of high performance kernels while introducing new model considerations such as memory structure, throughput, and latency as required by the AIE hardware. We evaluate our models by developing AIE-ML kernels for matrix multiplication in low-precision data types showing performance up to 95% of compute peak for the kernel when data resides in local memory and above 90% of compute peak when data resides in main memory.

Binder, Elliott D. [Carnegie Mellon University, Pi↗
NASA NTRS1960

Vi. Hypersonic Cruise Vehicles

Interest has been recently expressed in the military use of hypersonic cruise vehicles as bombers, transports, reconnaissance aircraft, and perhaps recoverable boosters. The purpose of this paper is to give a very brief summary of the state of the art in aerodynamics, aerodynamic heating, propulsion, and to indicate the performance possibilities of such an aircraft based on this state of the art. A great deal of research applicable over broad regions of the hypersonic speed range is in progress (refs. 1 and 2, for example) but for the present purpose, discussion will be confined to cruising vehicles which are boosted to cruise speed and altitude. For this purpose a Mach number of 6 has been chosen as the design point, which is considered to be about the limiting Mach number for the use of hydrocarbon fuel and is also considered to be a logical starting point for the use of liquid hydrogen fuel.

Aerodynamic heating↗
NASA NTRS1977

F100 multivariable control synthesis program: Evaluation of a multivariable control using a real-time engine simulation

The design, evaluation, and testing of a practical, multivariable, linear quadratic regulator control for the F100 turbofan engine were accomplished. NASA evaluation of the multivariable control logic and implementation are covered. The evaluation utilized a real time, hybrid computer simulation of the engine. Results of the evaluation are presented, and recommendations concerning future engine testing of the control are made. Results indicated that the engine testing of the control should be conducted as planned.

Szuch, J. R.↗
NASA NTRS1977

Aero-acoustic experimental verification of optimum configuration of variable-pitch fans for 40 x 80 foot subsonic wind tunnel

The aerodynamic and acoustic performance of two drive fan configurations (low-speed and high-speed variable pitch design) for a 40 x 80 foot wind tunnel were monitored. A 1/7-scale model was utilized. The necessary aero-acoustic data reduction computer program logic was supplied. Test results were evaluated, and the optimum configuration to be employed in the 40 foot full scale fan was recommended.

Lown, H.↗