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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
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.↗
NASA NTRS2002

The Strengths and Weaknesses of Logic Formalisms to Support Mishap Analysis

The increasing complexity of many safety critical systems poses new problems for mishap analysis. Techniques developed in the sixties and seventies cannot easily scale-up to analyze incidents involving tightly integrated software and hardware components. Similarly, the realization that many failures have systemic causes has widened the scope of many mishap investigations. Organizations, including NASA and the NTSB, have responded by starting research and training initiatives to ensure that their personnel are well equipped to meet these challenges. One strand of research has identified a range of mathematically based techniques that can be used to reason about the causes of complex, adverse events. The proponents of these techniques have argued that they can be used to formally prove that certain events created the necessary and sufficient causes for a mishap to occur. Mathematical proofs can reduce the bias that is often perceived to effect the interpretation of adverse events. Others have opposed the introduction of these techniques by identifying social and political aspects to incident investigation that cannot easily be reconciled with a logic-based approach. Traditional theorem proving mechanisms cannot accurately capture the wealth of inductive, deductive and statistical forms of inference that investigators routinely use in their analysis of adverse events. This paper summarizes some of the benefits that logics provide, describes their weaknesses, and proposes a number of directions for future research.

Johnson, C. W.↗
NASA NTRS1986

Probabilistic versus fuzzy reasoning

This paper shows how to solve problems using probability theory that the fuzzy approaches claim probability cannot solve. By using the view that probabilities are a measure of belief in a proposition in a particular context, limitations imposed by the frequncy interpretations of probability are avoided. The various fuzzy approaches (fuzzy sets, fuzzy logic, possibility theory and higher order generalizations) seem to fill the gap caused by the restricted frequency interpretation. Close examination shows that the fuzzy approaches have exactly the same representation as the corresponding probabilistc approach and include similar calculi. The probabilistic approach assumes less information when the calculi differ.

Cheeseman, Peter↗
NASA NTRS1987

A framework for qualitative reasoning about solid objects

Predicting the behavior of a qualitatively described system of solid objects requires a combination of geometrical, temporal, and physical reasoning. Methods based upon formulating and solving differential equations are not adequate for robust prediction, since the behavior of a system over extended time may be much simpler than its behavior over local time. A first-order logic, in which one can state simple physical problems and derive their solution deductively, without recourse to solving the differential equations, is discussed. This logic is substantially more expressive and powerful than any previous AI representational system in this domain.

Davis, E.↗
NASA NTRSDate not supplied

Concept-based Analysis of Neural Networks via Vision-Language Models

The analysis of vision-based deep neural networks (DNNs) is highly desirable but it is very challenging due to the difficulty of expressing formal specifications for vision tasks and the lack of efficient verification procedures. In this paper, we propose to leverage emerging multimodal, vision-language, foundation models (VLMs) as a lens through which we can reason about vision models. VLMs have been trained on a large body of images accompanied by their textual description, and are thus implicitly aware of high-level, human-understandable concepts describing the images. We describe a logical specification language Con spec designed to facilitate writing specifications in terms of these concepts. To define and formally check Con spec specifications, we build a map between the internal representations of a given vision model and a VLM, leading to an efficient verification procedure of natural-language properties for vision models. We demonstrate our techniques on a ResNet-based classifier trained on the RIVAL-10 dataset using CLIP as the multimodal model.

Large Vision Language Models↗
NASA NTRS1992

Gaussian membership functions are most adequate in representing uncertainty in measurements

In rare situations, like fundamental physics, we perform experiments without knowing what their results will be. In the majority of real-life measurement situations, we more or less know beforehand what kind of results we will get. Of course, this is not the precise knowledge of the type 'the result will be between alpha - beta and alpha + beta,' because in this case, we would not need any measurements at all. This is usually a knowledge that is best represented in uncertain terms, like 'perhaps (or 'most likely', etc.) the measured value x is between alpha - beta and alpha + beta.' Traditional statistical methods neglect this additional knowledge and process only the measurement results. So it is desirable to be able to process this uncertain knowledge as well. A natural way to process it is by using fuzzy logic. But, there is a problem; we can use different membership functions to represent the same uncertain statements, and different functions lead to different results. What membership function do we choose? In the present paper, we show that under some reasonable assumptions, Gaussian functions mu(x) = exp(-beta(x(exp 2))) are the most adequate choice of the membership functions for representing uncertainty in measurements. This representation was efficiently used in testing jet engines to airplanes and spaceships.

Kreinovich, V.↗
NASA NTRS1993

Application of fuzzy logic-neural network based reinforcement learning to proximity and docking operations: Special approach/docking testcase results

As part of the RICIS project, 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 use the Approximate Reasoning based Intelligent Control (ARIC) architecture, and so we use these two terms interchangeably to imply the same. This activity is carried out in the Software Technology Laboratory utilizing the Orbital Operations Simulator (OOS) and programming/testing support from other contractor personnel. This report is the final deliverable D4 in our milestones and project activity. It provides the test results for the special testcase of approach/docking scenario for the shuttle and SMM satellite. Based on our experience and analysis with the attitude and translational controllers, we have modified the basic configuration of the reinforcement learning algorithm in ARIC. The shuttle translational controller and its implementation in ARIC is described in our deliverable D3. In order to simulate the final approach and docking operations, we have set-up this special testcase as described in section 2. The ARIC performance results for these operations are discussed in section 3 and conclusions are provided in section 4 along with the summary for the project.

Jani, Yashvant↗
NASA NTRS1985

A practical scheduling algorithm for Shuttle-based astronomy missions

In the Astro mission series (initial flight planned for March, 1986), the Shuttle will be used as a dedicated stellar astronomy observatory. A modified Spacelab pallet is to be used for the Astro payload, which will consist of three ultraviolet (UV) telescopes and a wide field camera mounted together on a single gimbal mount called the Inertial Pointing System (IPS). Three flights of 7-10 days duration are to be made with the same payload at intervals of 8-9 months. Previous experience has shown that changes in design requirements are inevitable, and the evolution of operational concepts will effect changes in scheduling algorithm software. For these reasons, the design goals of the Astron algorithm and its family of auxiliary software modules have been related to functional modularity, constraint flexibility, user friendliness, and 'light' input requirements. Attention is given to hardware characteristics, environmental constraints, the basic criteria function, 'Cinderella' logic, counters and constraints, and scheduling trends.

Guffin, O. T.↗
NASA NTRS2011

TraceContract: A Scala DSL for Trace Analysis

In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.

log file analysis↗
NASA NTRS1999

Molecules from Space and the Origin of Life

There is a growing concensus among space scientists that frozen molecules from space helped to make the Earth the pleasant place that it is today, and helped Life start on Earth, and perhaps elsewhere. The chain of logic that led scientists to posit a connection between extraterrestrial molecules and the origin of life is as follows. 1) The rapidity with which life arose demands that conditions on Earth were conducive to the formation of life very early on. 2) There is reason to believe that comets and meteorites fell oil the Earth from its inception. 3) We now know that comets and meteorites are replete with complex organic compounds, some of which resemble those in living systems. 4) Perhaps the input of molecules from comets and meteorites provided crucial constituents to the primordial soup and Jump started life on Earth. 5) These molecules formed out in deep space long before the Earth ever existed, by processes that we can reproduce in the laboratory. 6) The fact that organic molecules are seen by astronomers throughout our galaxy and in others makes it seem likely that they were (and are) available to help start life in other planetary systems.

Bernstein Max P.↗