SEARCH · Search NASA

Results for “limit logic”

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 91 records · Page 5

All sources NASA NTRS DOE OSTI

NASA NTRS1972

Asymmetric hypersonic flow

A general method for the analysis of the inviscid asymmetric hypersonic flow fields enveloping smooth bodies of general shape is given. The method is based on the assumption of a thin shock layer which yields an expression for pressure in generalized Mises coordinates. Numerical results for elliptic cones at angle of attack are shown to compare well with experiments and other theories. The computing logic for a blunt body is described, and a limiting solution at the stagnation point is presented.

Maslen, S. H.↗

NASA NTRS1978

Definition study of a Variable Cycle Experimental Engine (VCEE) and associated test program and test plan

The Definition Study of a Variable Cycle Experimental Engine (VCEE) and Associated Test Program and Test Plan, was initiated to identify the most cost effective program for a follow-on to the AST Test Bed Program. The VCEE Study defined various subscale VCE's based on different available core engine components, and a full scale VCEE utilizing current technology. The cycles were selected, preliminary design accomplished and program plans and engineering costs developed for several program options. In addition to the VCEE program plans and options, a limited effort was applied to identifying programs that could logically be accomplished on the AST Test Bed Program VCE to extend the usefulness of this test hardware. Component programs were provided that could be accomplished prior to the start of a VCEE program.

Allan, R. D.↗

NASA NTRS1985

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

The fault detection and accommodation (FDA) methodology for digital engine-control systems may range from simple comparisons of redundant parameters to the more complex and sophisticated observer models of the entire engine system. Evaluations of the various FDA schemes are done using analytical methods, simulation, and limited-altitude-facility testing. Flight testing of the FDA logic has been minimal because of the difficulty of inducing realistic faults in flight. A flight program was conducted to evaluate the fault detection and accommodation capability of a digital electronic engine control in an F-15 aircraft. The objective of the flight program was to induce selected faults and evaluate the resulting actions of the digital engine controller. Comparisons were made between the flight results and predictions. Several anomalies were found in flight and during the ground test. Simulation results showed that the inducement of dual pressure failures was not feasible since the FDA logic was not designed to accommodate these types of failures.

Myers, L. P.↗

NASA NTRS1987

Expert system support for HST operations

An expert system is being developed to support vehicle anomaly diagnosis for the Hubble Space Telescope (HST). Following a study of safemode entry analyses, a prototype system was developed which reads engineering telemetry formats, and when a safemode event is detected, extracts telemetry from the downlink and writes it into a knowledge base for more detailed analyses. The prototype then summarizes vehicle events (limits exceeded, specific failures). This prototype, the Telemetry Analysis Logic for Operations Support (TALOS) uses the Lockheed Expert System (LES) shell, and includes over 1600 facts, 230 rules, and 27 goals. Although considered a prototype, it is already an operationally useful system. The history leading into the TALOS prototype will be discussed, an overview of the present TALOS system will be presented, and the role of the TALOS system in contingency planning will be delineated.

Cruse, Bryant↗

NASA NTRS1993

Improvement on fuzzy controller design techniques

This paper addresses three main issues, which are somewhat interrelated. The first issue deals with the classification or types of fuzzy controllers. Careful examination of the fuzzy controllers designed by various engineers reveals distinctive classes of fuzzy controllers. Classification is believed to be helpful from different perspectives. The second issue deals with the design according to specifications, experiments related to the tuning of fuzzy controllers, according to the specification, will be discussed. General design procedure, hopefully, can be outlined in order to ease the burden of a design engineer. The third issue deals with the simplicity and limitation of the rule-based IF-THEN logical statements. The methodology of fuzzy-constraint network is proposed here as an alternative to the design practice at present. It is our belief that predicate calculus and the first order logic possess much more expressive power.

Wang, Paul P.↗

NASA NTRS1995

Using object-oriented analysis to design a multi-mission ground data system

This paper describes an analytical approach and descriptive methodology that is adapted from Object-Oriented Analysis (OOA) techniques. The technique is described and then used to communicate key issues of system logical architecture. The essence of the approach is to limit the analysis to only service objects, with the idea of providing a direct mapping from the design to a client-server implementation. Key perspectives on the system, such as user interaction, data flow and management, service interfaces, hardware configuration, and system and data integrity are covered. A significant advantage of this service-oriented approach is that it permits mapping all of these different perspectives on the system onto a single common substrate. This services substrate is readily represented diagramatically, thus making details of the overall design much more accessible.

Shames, Peter↗

NASA NTRS2015

Formal Assurance Arguments: A Solution In Search of a Problem?

An assurance case comprises evidence and argument showing how that evidence supports assurance claims (e.g., about safety or security). It is unsurprising that some computer scientists have proposed formalizing assurance arguments: most associate formality with rigor. But while engineers can sometimes prove that source code refines a formal specification, it is not clear that formalization will improve assurance arguments or that this benefit is worth its cost. For example, formalization might reduce the benefits of argumentation by limiting the audience to people who can read formal logic. In this paper, we present (1) a systematic survey of the literature surrounding formal assurance arguments, (2) an analysis of errors that formalism can help to eliminate, (3) a discussion of existing evidence, and (4) suggestions for experimental work to definitively answer the question.

Graydon, Patrick J.↗

NASA NTRSDate not supplied

Controls Algorithms, Models, and Stability Assessments of the RCS and TVC systems on Mars Ascent Vehicle

This paper presents a control systems overview of the Mars Ascent Vehicle (MAV) control design and stability analysis with two separate control methods: Thrust Vector Control (TVC) based control using main engine thrust and Reaction Control System (RCS) via thrusters. A pole-placement TVC controller is proposed to address quickly peaking thrust produced by the MAV solid propulsion engine. The controllerutilizes real-time parameter estimation to calculate control gains using an online pole-placement method. The pole-placement technique allows the controller to maintain constant stability margins throughout the flight under changing parameters and rapidly peaking thrust. A mathematical stability proof via Lyapunov inequality and Nichols method is demonstrated to support the stability of the method. In addition to the TVC control, a phase-plane based RCS control logic is applied to the vehicle for roll control during ascent and all axes during coast phases of flight. The logic implemented is an on-off type logic that applies pre-determined thrusters firings in reference to boundary parameters of pointing and rate error chosen to balance desired pointing with stability. A describing function methodology is applied to the non-linear phase plane loop response to determine linear stability across all flight phases. The controller additionally applies command alteration logic to output signals to account for RCS hardware limitations. The following paper will provide the methodology for controller implementation of the TVC and RCS, and provide a summary of results of the MAV performance applying the aforementioned control design.

Han Woong Bae↗

NASA NTRS1971

Efficient digital comparison technique for logic circuits

Tolerance compare technique indicates discompare only when numerical difference value exceeds prescribed limit. Algorithm involving binary number properties is defined, in lieu of arithmetic operation which requires relatively complex circuitry. Extension of algorithm may be made to encompass tolerances other than one unit.

Mccarthy, C. E.↗

NASA NTRS1975

Digital command system

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

Source record↗

DOE OSTI2022

Atomic-Scale Modulation of Synthetic Magnetic Order in Oxide Superlattices

We report atomic-scale precision control of magnetic interactions facilitates a synthetic spin order useful for spintronics, including advanced memory and quantum logic devices. Conventional modulation of synthetic spin order has been limited to metallic heterostructures that exploit Ruderman–Kittel–Kasuya–Yosida interaction through a nonmagnetic metallic spacer; however, they face issues arising from Joule heating and/or electric breakdown. The practical realization and observation of a synthetic spin order across a nonmagnetic insulating spacer will lead to the development of spin-related devices with a completely different concept. Herein, the atomic-scale modulation of the synthetic spiral spin order in oxide superlattices composed of ferromagnetic metal and nonmagnetic insulator layers is reported. The atomically controlled superlattice exhibits an oscillatory magnetic behavior, representing the existence of a spiral spin structure. Depth-sensitive polarized neutron reflectometry evidences modulated spiral spin structures as a function of the nonmagnetic insulator layer thickness. Atomic-scale customization of the spin state can move the field one step further to actual spintronic applications.

74 ATOMIC AND MOLECULAR PHYSICS↗

NASA NTRS1978

PC-403: Pioneer Venus multiprobe spacecraft mission operational characteristics document, volume 1

The operational characteristics of the multiprobe system and its subsystem are described. System level, description of the nominal phases, system interfaces, and the capabilities and limitations of system level performance are presented. Bus spacecraft functional and operational descriptions at the subsystem and unit level are presented. The subtleties of nominal operation as well as detailed capabilities and limitations beyond nominal performance are discussed. A command and telemetry logic flow diagram for each subsystem is included. Each diagram identifies in symbolic logic all signal conditioning encountered along each command signal path into, and each telemetry signal path out of the subsystem.

Barker, F. C.↗

NASA NTRS1978

PC-402 Pioneer Venus orbiter spacecraft mission operational characteristics document

The operational characteristics of the Orbiter spacecraft and its subsystems are described. In extensive detail. Description of the nominal phases, system interfaces, and the capabilities and limitations of system level performance are included along with functional and operational descriptions at the subsystem and unit level the subtleties of nominal operation as well as detailed capabilities and limitations beyond nominal performance are discussed. A command and telemetry logic flow diagram for each subsystem is included. Each diagram encountered along each command signal path into, and each telemetry signal path out of the subsystem. Normal operating modes that correspond to the performance of specific functions at the time of specific events in the mission are also discussed. Principal backup means of performing the normal Orbiter operating modes are included.

Barker, F. C.↗

NASA NTRS1982

A high speed implementation of the random decrement algorithm

The algorithm is useful for measuring net system damping levels in stochastic processes and for the development of equivalent linearized system response models. The algorithm works by summing together all subrecords which occur after predefined threshold level is crossed. The random decrement signature is normally developed by scanning stored data and adding subrecords together. The high speed implementation of the random decrement algorithm exploits the digital character of sampled data and uses fixed record lengths of 2(n) samples to greatly speed up the process. The contributions to the random decrement signature of each data point was calculated only once and in the same sequence as the data were taken. A hardware implementation of the algorithm using random logic is diagrammed and the process is shown to be limited only by the record size and the threshold crossing frequency of the sampled data. With a hardware cycle time of 200 ns and 1024 point signature, a threshold crossing frequency of 5000 Hertz can be processed and a stably averaged signature presented in real time.

Kiraly, L. J.↗

NASA NTRS1983

A high-speed implementation of the random decrement algorithm

Kiraly, L. J.↗

NASA NTRS2016

Simulation Development and Analysis of Crew Vehicle Ascent Abort

NASA's Commercial Crew Program is an integral step in its journey to Mars as it would expedite development of space technologies and open up partnership with U.S. commercial companies. NASA reviews and independent assessment of Commercial Crew Program is fundamental to its success, and being able to model a commercial crew vehicle in a simulation rather than conduct a live test would be a safer, faster, and less expensive way to assess and certify the capabilities of the vehicle. To this end, my project was to determine the feasibility of using a simulation tool named SOMBAT version 2.0 to model a multiple parachute system for Commercial Crew Program simulation. The main tasks assigned to me were to debug and test the main parachute system model, (capable of simulating one to four main parachute bodies), and to utilize a graphical program to animate the simulation results. To begin tackling the first task, I learned how to use SOMBAT by familiarizing myself with its mechanics and by understanding the methods used to tweak its various parameters and outputs. I then used this new knowledge to set up, run, and analyze many different situations within SOMBAT in order to explore the limitations of the parachute model. Some examples of parameters that I varied include the initial velocity and orientation of the falling capsule, the number of main parachutes, and the location where the parachutes were attached to the capsule. Each parameter changed would give a different output, and in some cases, would expose a bug or limitation in the model. A major bug that I discovered was the inability of the model to handle any number of parachutes other than three. I spent quite some time trying to debug the code logically, but was unable to figure it out until my mentor taught me that digital simulation limitations can occur when some approximations are mistakenly assumed for certain in a physical system. This led me to the realization that unlike in all of the programming classes I have taken thus far that focus on pure logic, simulation code focuses on mimicking the physical world with some approximation and can have inaccuracies or numerical instabilities. Learning from my mistake, I adopted new methods to analyze these different simulations. One method the student used was to numerically plot various physical parameters using MATLAB to confirm the mechanical behavior of the system in addition to comparing the data to the output from a separate simulation tool called FAST. By having full control over what was being outputted from the simulation, I could choose which parameters to change and to plot as well as how to plot them, allowing for an in depth analysis of the data. Another method of analysis was to convert the output data into a graphical animation. Unlike the numerical plots, where all of the physical components were displayed separately, this graphical display allows for a combined look at the simulation output that makes it much easier for one to see the physical behavior of the model. The process for converting SOMBAT output for EDGE graphical display had to be developed. With some guidance from other EDGE users, I developed a process and created a script that would easily allow one to display simulations graphically. Another limitation with the SOMBAT model was the inability for the capsule to have the main parachutes instantly deployed with a large angle between the air speed vector and the chutes drag vector. To explore this problem, I had to learn about different coordinate frames used in Guidance, Navigation & Control (J2000, ECEF, ENU, etc.) to describe the motion of a vehicle and about Euler angles (e.g. Roll, Pitch, Yaw) to describe the orientation of the vehicle. With a thorough explanation from my mentor about the description of each coordinate frame, as well as how to use a directional cosine matrix to transform one frame to another, I investigated the problem by simulating different capsule orientations. In the end, I was able to show that this limitation could be avoided if the capsule is initially oriented antiparallel to its velocity vector.

Wong, Chi S.↗

DOE OSTI2025

Covariant Quantum Error-Correcting Codes with Metrological Entanglement Advantage

Here, we show that a subset of the basis for the irreducible representations of a tensor-product SU(2) rotation forms a covariant approximate quantum error-correcting code with transversal U(1) logical gates. Generalizing previous work on “thermodynamic codes” to general local spin and different irreducible representations using only properties of the angular momentum algebra, we obtain bounds on the code inaccuracy under generic noise on any known 𝑑 sites, under independent and identically distributed noise, and under heralded 𝑑-local erasures. We demonstrate that this family of codes protects a probe state with quantum Fisher information surpassing the standard quantum limit when the sensing parameter couples to the generator of the U(1) logical gate.

quantum error correction↗

DOE OSTI2020

Developing Separate Effects Transient Test Experiments Using an Out-of-Pile Flowing Water Loop

In 2017 the Transient Reactor Test Facility was restarted after being placed in a standby state since 1994. This Test Reactor’s restart has since enabled the progressive development of new nuclear technologies within the U.S. that were previously required to outsource to other countries. While the reactor’s restart was a large feat worthy of recognition, the experimental use of its characteristics has required the further development of in-pile experimental infrastructure sufficient to support programmatic needs. This hardware have taken the form of capsule designs (compact and elongated) as well as loop concepts representing the phenomena of interest for a subset of separate effects tests desire for each respective testing campaign. The Transient Testing Program has a large-integrated effort that aligns with the U.S. Department of Energy’s current needs. This study compliments those programmatic elements by developing, fabricating and demonstrating a full-scale flowing water loop in an out-of-pile environment. The goal of this effort is to develop a pragmatic understanding of the engineering capabilities and limitations associated with geometric form-factors, metering technology, and controls logic under representative thermal hydraulic conditions that would be experienced within the TREAT reactor during an in-pile reactivity initiated accident test. The outcomes of this study result in an evaluation of the conceptual design of a comprehensive flowing water loop including objective figures of merit (FoMs) for comparing unique instrumentation and the basis for their selection during operations. These efforts directly contribute to and are required for the further advancement of transient testing capabilities within the U.S.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗