Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “logical reasoning”

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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

Identification of Abnormal System Noise Temperature Patterns in Deep Space Network Antennas Using Neural Network Trained Fuzzy Logic

This paper presents the development of a fuzzy logic function trained by an artificial neural network to classify the system noise temperature (SNT) of antennas in the NASA Deep Space Network (DSN). The SNT data were classified into normal, marginal, and abnormal classes. The irregular SNT pattern was further correlated with link margin and weather data. A reasonably good correlation is detected among high SNT, low link margin and the effect of bad weather; however we also saw some unexpected non-correlations which merit further study in the future.

pattern identification↗
NASA NTRS2009

Deriving Safety Cases from Automatically Constructed Proofs

Formal proofs provide detailed justification for the validity of claims and are widely used in formal software development methods. However, they are often complex and difficult to understand, because the formalism in which they are constructed and encoded is usually machine-oriented, and they may also be based on assumptions that are not justified. This causes concerns about the trustworthiness of using formal proofs as arguments in safety-critical applications. Here, we present an approach to develop safety cases that correspond to formal proofs found by automated theorem provers and reveal the underlying argumentation structure and top-level assumptions. We concentrate on natural deduction style proofs, which are closer to human reasoning than resolution proofs, and show how to construct the safety cases by covering the natural deduction proof tree with corresponding safety case fragments. We also abstract away logical book-keeping steps, which reduces the size of the constructed safety cases. We show how the approach can be applied to the proofs found by the Muscadet prover.

Basir, Nurlida↗
DOE OSTI2024

DaYu: Optimizing Distributed Scientific Workflows by Decoding Dataflow Semantics and Dynamics

The combination of ever-growing scientific datasets and distributed workflow complexity creates I/O performance bottlenecks due to data volume, velocity, and variety. Although the increasing use of descriptive data formats (e.g., HDF5, netCDF) helps organize these datasets, it also creates obscure bottlenecks due to the need to translate high level operations into file addresses and then into low-level I/O operations. To address this challenge, we introduce DaYu, a method and toolset for analyzing (a) semantic relationships between logical datasets and file addresses, (b) how dataset operations translate into I/O, and (c) the combination across entire workflows. DaYu's analysis and visualization enables identification of critical bottlenecks and reasoning about remediation. We describe our methodology and propose optimization guidelines. Evaluation on scientific workflows demonstrates up to 3.7x performance improvements in I/O time for obscure bottlenecks. The time and storage overhead for DaYu's time-ordered data is typically under 0.2% of runtime and 0.25% of data volume, respectively.

Tang, Meng↗
NASA NTRS1988

An intelligent tutoring system for space shuttle diagnosis

An Intelligent Tutoring System (ITS) transcends conventional computer-based instruction. An ITS is capable of monitoring and understanding student performance thereby providing feedback, explanation, and remediation. This is accomplished by including models of the student, the instructor, and the expert technician or operator in the domain of interest. The space shuttle fuel cell is the technical domain for the project described below. One system, Microcomputer Intelligence for Technical Training (MITT), demonstrates that ITS's can be developed and delivered, with a reasonable amount of effort and in a short period of time, on a microcomputer. The MITT system capitalizes on the diagnostic training approach called Framework for Aiding the Understanding of Logical Troubleshooting (FAULT) (Johnson, 1987). The system's embedded procedural expert was developed with NASA's C-Language Integrated Production (CLIP) expert system shell (Cubert, 1987).

Johnson, William B.↗
NASA NTRS2003

Lessons Learned from using a Livingstone Model to Diagnose a Main Propulsion System

NASA researchers have demonstrated that qualitative, model-based reasoning can be used for fault detection in a Main Propulsion System (MPS), a complex, continuous system. At the heart of this diagnostic system is Livingstone, a discrete, propositional logic-based inference engine. Livingstone comprises a language for specifying a discrete model of the system and a set of algorithms that use the model to track the system's state. Livingstone uses the model to test assumptions about the state of a component - observations from the system are compared with values predicted by the model. The intent of this paper is to summarize some advantages of Livingstone seen through our modeling experience: for instance, flexibility in modeling, speed and maturity. We also describe some shortcomings we perceived in the implementation of Livingstone, such as modeling continuous dynamics and handling of transients. We list some upcoming enhancements to the next version of Livingstone that may resolve some of the current limitations.

Sweet, Adam↗
NASA NTRS2024

Hierarchical Semantic Frames for Grounding Language in Robot Control Primitives

As robots become increasingly present in human environments, we need robots to be intuitively commanded by and effectively communicate with humans. In particular, non-expert users should be able to communicate task goals with robots. Language emerges as a logical mode of interaction due to its ubiquity in human environments and, more importantly, as the way humans naturally express tasks. Natural language commands present challenges in that robots must reason over ambiguous language probabilistically and reason over commands they may not be able to execute. We present hierarchical semantic frames , which ground commands in robot control primitives through hierarchies that construct high-level commands from lower-level commands. We demonstrate that hierarchical semantic frames allow robots to understand and execute a variety of commands, such as those involving multiple verb meanings, command variations, and compound nouns. The robot quickly processes hierarchical semantic frames and accurately grounds and executes the commanded tasks, demonstrating the power of hierarchical semantic frames for allowing users to intuitively interact with robots.

Emily Sheetz↗
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↗
NASA NTRS1985

A hybrid numerical technique for predicting the aerodynamic and acoustic fields of advanced turboprops

A hybrid numerical procedure is presented for the prediction of the aerodynamic and acoustic performance of advanced turboprops. A hybrid scheme is proposed which in principle leads to a consistent simultaneous prediction of both fields. In the inner flow a finite difference method, the Approximate-Factorization Alternating-Direction-Implicit (ADI) scheme, is used to solve the nonlinear Euler equations. In the outer flow the linearized acoustic equations are solved via a Boundary-Integral Equation (BIE) method. The two solutions are iteratively matched across a fictitious interface in the flow so as to maintain continuity. At convergence the resulting aerodynamic load prediction will automatically satisfy the appropriate free-field boundary conditions at the edge of the finite difference grid, while the acoustic predictions will reflect the back-reaction of the radiated field on the magnitude of the loading source terms, as well as refractive effects in the inner flow. The equations and logic needed to match the two solutions are developed and the computer program implementing the procedure is described. Unfortunately, no converged solutions were obtained, due to unexpectedly large running times. The reasons for this are discussed and several means to alleviate the situation are suggested.

Homicz, G. F.↗
NASA NTRS2005

What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems

Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we investigate "what sensing actions tell us", i.e., what an agent comes to know indirectly from the outcome of a sensing action, given knowledge of its actions and state constraints that hold in the world. To this end, we propose a formalization of the notion of testing within a dialect of the situation calculus that includes knowledge and sensing actions. Realizing this formalization requires addressing the ramification problem for sensing actions. We formalize simple tests as sensing actions. Complex tests are expressed in the logic programming language Golog. We examine what it means to perform a test, and how the outcome of a test affects an agent's state of knowledge. Finally, we propose automated reasoning techniques for test generation and complex-test verification, under certain restrictions. The work presented in this paper is relevant to a number of application domains including diagnostic problem solving, natural language understanding, plan recognition, and active vision.

McIlraith, Sheila↗
NASA NTRS1972

Digital autopilot for the SKYLAB orbital assembly.

In Project SKYLAB, the Command and Service Module which ferries astronaut crews to and from the Orbital Workshop is required to have the capability of providing attitude control for the entire Orbital Assembly during docked phases of the mission. A digital autopilot has been designed which meets this requirement. It is a direct descendant of the digital autopilot designed for and used extensively in project Apollo. There is a major difference however. For Apollo, it was reasonable to design an autopilot that treated the roll, pitch, and yaw axes independently. Because of the geometry of the Orbital Assembly, however, it is of considerable advantage to design the jet selection logic for SKYLAB such that the roll and pitch axes are treated as coupled, and also that the roll and yaw axes are treated as coupled. This paper discusses how inter-axis dependence has been incorporated in the Command and Service Module's digital autopilot while working within the limitations of the onboard computer.

Turnbull, J. F.↗
NASA NTRS1988

Avionic expert systems

At the heart of any intelligent flight control system, there is a knowledge based expert system. The efficiency of these knowledge bases is one of the major factors in the success of aviation and space control systems. In the future, the speed and the capabilities of the expert system and their underlying data base(s) will be the limiting factors in the ability to build more accurate real time space controllers. A methodology is proposed for design and construction of such expert systems. It is noted that existing expert systems are inefficient (slow) in dealing with nontrivial real world situations that involve a vast collection of data. However, current data bases, which are fast in handling large amounts of data, cannot carry out intelligent tasks normally expected from an expert system. The system presented provides the power of deduction (reasoning) along with the efficient mechanisms for management of large data bases. In the system, both straight forward evaluation procedures and sophisticated inference mechanisms coexist. The design methodology is based on mathematics and logic, which ensures the correctness of the final product.

Golshani, Forouzan↗
NASA NTRSDate not supplied

Embedding Differential Dynamic Logic in PVS

Runtime assurance is a control framework where a complex controller operates under the observation of a monitor. If the monitor detects the controller exhibiting undesirable behavior, control is passed off to a trusted controller until a desirable state is regained. The runtime assurance architecture provides a layer of assurance to the system being controlled, but special care must be taken that the resulting overall system, consisting of the monitors and controllers, is behaving as intended. This talk aims to formally model and reason about runtime assurance-equipped systems as hybrid programs- which are models that consist of both discrete and continuous components. Using the verification tool Plaidypvs, safety properties of some examples involving RTA architectures is shown.

Formal Verification↗
NASA NTRS1994

Fuzzy logic based robotic controller

Existing Proportional-Integral-Derivative (PID) robotic controllers rely on an inverse kinematic model to convert user-specified cartesian trajectory coordinates to joint variables. These joints experience friction, stiction, and gear backlash effects. Due to lack of proper linearization of these effects, modern control theory based on state space methods cannot provide adequate control for robotic systems. In the presence of loads, the dynamic behavior of robotic systems is complex and nonlinear, especially where mathematical modeling is evaluated for real-time operators. Fuzzy Logic Control is a fast emerging alternative to conventional control systems in situations where it may not be feasible to formulate an analytical model of the complex system. Fuzzy logic techniques track a user-defined trajectory without having the host computer to explicitly solve the nonlinear inverse kinematic equations. The goal is to provide a rule-based approach, which is closer to human reasoning. The approach used expresses end-point error, location of manipulator joints, and proximity to obstacles as fuzzy variables. The resulting decisions are based upon linguistic and non-numerical information. This paper presents a solution to the conventional robot controller which is independent of computationally intensive kinematic equations. Computer simulation results of this approach as obtained from software implementation are also discussed.

Attia, F.↗
NASA NTRS1992

Application of fuzzy logic-neural network based reinforcement learning to proximity and docking operations: Translational controller results

The reinforcement learning techniques developed at Ames Research Center are being applied to proximity and docking operations using the Shuttle and Solar Maximum Mission (SMM) satellite simulation. In utilizing these fuzzy learning techniques, we also use the Approximate Reasoning based Intelligent Control (ARIC) architecture, and so we use two terms interchangeable to imply the same. This activity is carried out in the Software Technology Laboratory utilizing the Orbital Operations Simulator (OOS). This report is the deliverable D3 in our project activity and provides the test results of the fuzzy learning translational controller. This report is organized in six sections. Based on our experience and analysis with the attitude controller, we have modified the basic configuration of the reinforcement learning algorithm in ARIC as described in section 2. The shuttle translational controller and its implementation in fuzzy learning architecture is described in section 3. Two test cases that we have performed are described in section 4. Our results and conclusions are discussed in section 5, and section 6 provides future plans and summary for the project.

Jani, Yashvant↗
NASA NTRS2012

Digital Architecture for a Trace Gas Sensor Platform

A digital architecture has been implemented for a trace gas sensor platform, as a companion to standard analog control electronics, which accommodates optical absorption whose fractional absorbance equivalent would result in excess error if assumed to be linear. In cases where the absorption (1-transmission) is not equivalent to the fractional absorbance within a few percent error, it is necessary to accommodate the actual measured absorption while reporting the measured concentration of a target analyte with reasonable accuracy. This requires incorporation of programmable intelligence into the sensor platform so that flexible interpretation of the acquired data may be accomplished. Several different digital component architectures were tested and implemented. Commercial off-the-shelf digital electronics including data acquisition cards (DAQs), complex programmable logic devices (CPLDs), field-programmable gate arrays (FPGAs), and microcontrollers have been used to achieve the desired outcome. The most completely integrated architecture achieved during the project used the CPLD along with a microcontroller. The CPLD provides the initial digital demodulation of the raw sensor signal, and then communicates over a parallel communications interface with a microcontroller. The microcontroller analyzes the digital signal from the CPLD, and applies a non-linear correction obtained through extensive data analysis at the various relevant EVA operating pressures. The microcontroller then presents the quantitatively accurate carbon dioxide partial pressure regardless of optical density. This technique could extend the linear dynamic range of typical absorption spectrometers, particularly those whose low end noise equivalent absorbance is below one-part-in-100,000. In the EVA application, it allows introduction of a path-length-enhancing architecture whose optical interference effects are well understood and quantified without sacrificing the dynamic range that allows quantitative detection at the higher carbon dioxide partial pressures. The digital components are compact and allow reasonably complete integration with separately developed analog control electronics without sacrificing size, mass, or power draw.

Gonzales, Paula↗
NASA NTRS1989

Clotho Tessera, Venus: A fragment of Fortuna Tessera

Clotho Tessera, adjacent to southeast Lakshmi Planum, may provide additional evidence for lateral crustal motions, and a model for the origin of small tessera fragments. Clotho Tessera and Lakshmi Planum are so noticeably different, and in such close proximity, it is difficult to derive a reasonable model of their formation in situ. Squeezing of material out from beneath Lakshmi has been suggested as an origin for Moira Tessera, which is also adjacent to Lakshmi and 1400 km west of Clotho. However, a logical model of juxtaposition of the two different terrains, originally from points once distant, can be made for Clotho and Lakshmi (and perhaps other small tesserae as well). It is suggested that Clotho Tessera was once part of Fortuna Tessera, but was cut off by a transcurrent fault zone (the DLZ) striking perpendicular to the Sigrun rift and carried westward where it collided with Lakshmi Planum (forming Danu Montes). A gravity anomaly along the southern border of Lakshmi, in the area of Danu Montes, was interpreted as indicating subduction there, providing additional supporting evidence for the collision hypothesis. Diffusion of the DLZ with proximity to Sigrun Fossae may be due to either higher ductility near the postulated Sigrun rift, or to burial by flows away from the rift nearer to Valkyrie Fossae. Other possible examples of migrating tesserae occur elsewhere: small pieces of Ananke Tessera can be fit back together as though they had rifted apart, and the spreading apart of Ananke and Virilis Tesserae has been suggested because of their symmetric locations about the axis of an inferred spreading zone. Other tessera fragments appear to have been isolated by rifting, with little, if any, significant lateral motion (e.g., Meni and Tellus Tesserae, and Thethus and Fortuna Tesserae). The migrating terrain model for Clotho Tessera supports Sukhanov's interpretation of tesseral fragments as rafts of lighter crustal material.

Kozak, Richard C.↗
NASA NTRS2007

Conceptual Design and Feasibility of Foil Bearings for Rotorcraft Engines: Hot Core Bearings

Recent developments in gas foil bearing technology have led to numerous advanced high-speed rotating system concepts, many of which have become either commercial products or experimental test articles. Examples include oil-free microturbines, motors, generators and turbochargers. The driving forces for integrating gas foil bearings into these high-speed systems are the benefits promised by removing the oil lubrication system. Elimination of the oil system leads to reduced emissions, increased reliability, and decreased maintenance costs. Another benefit is reduced power plant weight. For rotorcraft applications, this would be a major advantage, as every pound removed from the propulsion system results in a payload benefit.. Implementing foil gas bearings throughout a rotorcraft gas turbine engine is an important long-term goal that requires overcoming numerous technological hurdles. Adequate thrust bearing load capacity and potentially large gearbox applied radial loads are among them. However, by replacing the turbine end, or hot section, rolling element bearing with a gas foil bearing many of the above benefits can be realized. To this end, engine manufacturers are beginning to explore the possibilities of hot section gas foil bearings in propulsion engines. This overview presents a logical follow-on activity by analyzing a conceptual rotorcraft engine to determine the feasibility of a foil bearing supported core. Using a combination of rotordynamic analyses and a load capacity model, it is shown to be reasonable to consider a gas foil bearing core section. In addition, system level foil bearing testing capabilities at NASA Glenn Research Center are presented along with analysis work being conducted under NRA Cooperative Agreements.

Howard, Samuel A.↗
NASA NTRS2008

Preliminary Analysis for an Optimized Oil-Free Rotorcraft Engine Concept

Recent developments in gas foil bearing technology have led to numerous advanced high-speed rotating system concepts, many of which have become either commercial products or experimental test articles. Examples include Oil-Free microturbines, motors, generators and turbochargers. The driving forces for integrating gas foil bearings into these high-speed systems are the benefits promised by removing the oil lubrication system. Elimination of the oil system leads to reduced emissions, increased reliability, and decreased maintenance costs. Another benefit is reduced power plant weight. For rotorcraft applications, this would be a major advantage, as every pound removed from the propulsion system results in a payload benefit. Implementing foil gas bearings throughout a rotorcraft gas turbine engine is an important long-term goal that requires overcoming numerous technological hurdles. Adequate thrust bearing load capacity and potentially large gearbox applied radial loads are among them. However, by replacing the turbine end, or hot section, rolling element bearing with a gas foil bearing many of the above benefits can be realized. To this end, engine manufacturers are beginning to explore the possibilities of hot section gas foil bearings in propulsion engines. This paper presents a logical follow-on activity by analyzing a conceptual rotorcraft engine to determine the feasibility of a foil bearing supported core. Using a combination of rotordynamic analyses and a load capacity model, it is shown to be reasonable to consider a gas foil bearing core section.

Howard, Samuel A.↗