Search NASA⌕ Search

SEARCH · Search NASA

Results for “temporal 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.

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 NTRS1993

WNN 92; Proceedings of the 3rd Workshop on Neural Networks: Academic/Industrial/NASA/Defense, Auburn Univ., AL, Feb. 10-12, 1992 and South Shore Harbour, TX, Nov. 4-6, 1992

The present conference discusses such neural networks (NN) related topics as their current development status, NN architectures, NN learning rules, NN optimization methods, NN temporal models, NN control methods, NN pattern recognition systems and applications, biological and biomedical applications of NNs, VLSI design techniques for NNs, NN systems simulation, fuzzy logic, and genetic algorithms. Attention is given to missileborne integrated NNs, adaptive-mixture NNs, implementable learning rules, an NN simulator for travelling salesman problem solutions, similarity-based forecasting, NN control of hypersonic aircraft takeoff, NN control of the Space Shuttle Arm, an adaptive NN robot manipulator controller, a synthetic approach to digital filtering, NNs for speech analysis, adaptive spline networks, an anticipatory fuzzy logic controller, and encoding operations for fuzzy associative memories.

Padgett, Mary L.↗
NASA NTRS2001

Unique Non-Keplerian Orbit Vantage Locations for Sun-Earth Connection and Earth Science Vision Roadmaps

The purpose of this investigation is to determine the feasibility of attaining and maintaining unique non-Keplerian orbit vantage locations in the Earth/Moon environment in order to obtain continuous scientific measurements. The principal difficulty associated with obtaining continuous measurements is the temporal nature of astrodynamics, i.e., classical orbits. This investigation demonstrates advanced trajectory designs to meet demanding science requirements which cannot be met following traditional orbital mechanic logic. Examples of continuous observer missions addressed include Earth pole-sitters and unique vertical libration orbits that address Sun-Earth Connection and Earth Science Vision roadmaps.

Folta, David↗
NASA NTRS1986

Precision requirements on cosmic dust trajectory measurements

It has been known for some time that the orbital parameters of certain major meteor streams rather closely match those of presently observed comets. There is therefore a clear parent-daughter orbital relationship between meteoroids in certain streams and the comets that they derived from. For meteoroids in the photographic meteor range, it has been estimated that from 1% to 10% of the meteoroid mass is concentrated into the major streams. However, for the smaller, more numerous meteoroids observed as radar meteors, streams are less intense but there are more of them. Sekanina (1973) has established for the radar meteors that, in addition to comets, some of the parent bodies appear to be asteroids. As noted by Grun et al. (1985), meteoroid lifetimes, due to collisional destruction or Poynting-Robertson (P-R) drag losses, range from 10(5) yr downward to less than 10(3) yr; these meteoroids therefore need to be continuously be replenished by source bodies to maintain the meteoritic complex in some sort of temporal equilibrium. It will be very important to obtain their precise trajectories when meteoroids are collected with a capture apparatus in Earth orbit, as is made apparent with the following logic: a chemical, isotopic, or other analysis of any particular meteoroid constitutes a similarly detailed analysis of a small part of the parent comet or asteroid that is orbitally associated with it. One can, consequently, do rather detailed cometary or asteroid science utilizing only an Earth-orbiting cosmic dust capturing facility.

Zook, H. A.↗
DOE OSTI2024

Implementation of a Time-domain Cosmic-ray-muon Tagger for the NEXUS Low-background Cryogenic Facility

Quantifying the effects of radiation on the operation of qubits both as quantum information systems as well as particle detectors has emerged as a pressing issue in quantum science in recent years. We present an overview of the design, operation, and deployment of a 90-$\mathrm{in}^2$ three-panel muon detector for use in the NEXUS experimental facility at Fermilab to temporally isolate correlated errors in qubits and determine if they possess an astrophysical origin. Constructed with three scintillator-attached PMTs read out with NIM modules in a triply-coincident logic scheme, we measure a surface-level muon luminosity of 9.7425 muons per second---consistent with an average surface-level cosmic-ray flux of approximately one muon per square centimeter per minute. Integrating the NIM modules with an MCC 128 DAQ HAT and Raspberry Pi, a Python script records exactly when a muon struck the detector and writes a timestamp to a log file for follow-up cross referencing. This experiment will broadly contribute to further studies aimed at understanding the source and mitigation of information loss in qubits.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
NASA NTRS1973

Task 10: an ERTS Experiment for Mapping Iron Compounds, 1383

The author has identified the following significant results. Preliminary results of a spectral ratioing technique are shown for a region at the southern end of the Wind River Range, Wyoming. Digital ratio graymaps and analog ratio images have been produced for the test site, but ground truth is not yet available for thorough interpretation of these products. ERTS-1 analog ratio images were found generally better than either ERTS-1 single channel images or high altitude aerial photos for the discrimination of vegetation from non-vegetation in the test site region. Some linear geological features smaller than the ERTS-1 spatial resolution are seen as well in ERTS-1 ratio and single channel images as in high altitude aerial photography. Geochemical information appears to be extractable from ERTS-1 data. Good preliminary quantitative agreement between ERTS-1 derived ratios and laboratory derived reflectance ratios of rocks and minerals encourage plans to use lab data as training sets for a simple ratio gating logic approach to automatic recognition maps. Empirical atmospheric corrections indicate that atmospheric corrections are needed to make the ratio method, and possibly other types of data processing, consistent over large geographical and temporal displacements.

Vincent, R. K.↗
DOE OSTI2024

Neural units with time-dependent functionality

We show that the time-resolved dynamics of an underdamped harmonic oscillator can be used to do multifunctional computation, performing distinct computations at distinct times within a single dynamical trajectory. We consider the amplitude of an oscillator whose inputs influence its frequency. The activity of the oscillator at fixed times is a nonmonotonic function of its inputs, so it can solve problems such as XOR that are not linearly separable. The activity of the oscillator at fixed input is a nonmonotonic function of time, so it is multifunctional in a temporal sense, and able to carry out distinct nonlinear computations at distinct times within the same dynamical trajectory. We show that a single oscillator, observed at different times, can act as all of the elementary logic gates and perform binary addition, the latter usually implemented in hardware using five logic gates. We show that a set of n oscillators, observed at different times, can perform an arbitrary number of analog-to-n-bit digital conversions. We also show that oscillators can be trained by gradient descent to perform distinct classification tasks at distinct times. Computing with time-dependent functionality can be done in or out of equilibrium, and suggests a way of reducing the number of parameters or devices required to do nonlinear computations.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1994

Ground-Based Fabry-Perot Interferometry of the Terrestrial Nightglow with a Bare Charge-Coupled Device: Remote Field Site Deployment

The application of Fabry-Perot interferometers (FPIs) to the study of upper atmosphere thermodynamics has largely been restricted by the very low light levels in the terrestrial airglow as well as the limited range in wavelength of photomultiplier tube (PMT) technology. During the past decade, the development of the scientific grade charge-coupled device (CCD) has progressed to the stage in which this detector has become the logical replacement for the PMT. Small fast microcomputers have made it possible to "upgrade" our remote field sites with bare CCDs and not only retain the previous capabilities of the existing FPls but expand the data coverage in both temporal and wavelength domains. The problems encountered and the solutions applied to the deployment of a bare CCD, with data acquisition and image reduction techniques, are discussed. Sample geophysical data determined from the FPI fringe profiles are shown for our stations at Peach Mountain, Michigan, and Watson Lake, Yukon Territory.

Niciejewski, Rick↗
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 NTRS1991

An architecture for designing fuzzy logic controllers using neural networks

Described here is an architecture for designing fuzzy controllers through a hierarchical process of control rule acquisition and by using special classes of neural network learning techniques. A new method for learning to refine a fuzzy logic controller is introduced. A reinforcement learning technique is used in conjunction with a multi-layer neural network model of a fuzzy controller. The model learns by updating its prediction of the plant's behavior and is related to the Sutton's Temporal Difference (TD) method. The method proposed here has the advantage of using the control knowledge of an experienced operator and fine-tuning it through the process of learning. The approach is applied to a cart-pole balancing system.

Berenji, Hamid R.↗
NASA NTRS2005

Apex Reference Manual 3.0 Beta

Apex is a toolkit for constructing software that behaves intelligently and responsively in demanding task environments. Reflecting its origin at NASA where Apex continues to be developed, current applications include: a) Providing autonomous mission management and tactical control capabilities for unmanned aerial vehicles including an autonomous surveillance helicopter and a simulation prototype of an unmanned fixed-wing aircraft to be used for wildfire mapping; b) Simulating human air traffic controllers, pilots and astronauts to help predict how people might respond to changes in equipment or procedures; and c) Predicting the precise duration and sequence of routine human behaviors based on a human-computer interaction engineering technique called CPM-GOMS. Among Apex s components are a set of implemented reasoning services, such as those for reactive planning and temporal pattern recognition; a software architecture that embeds and integrates these services and allows additional reasoning elements to be added as extensions; a formal language for specifying agent knowledge; a simulation environment to facilitate prototyping and analysis; and Sherpa, a set of tools for visualizing autonomy logic and runtime behavior. In combination, these are meant to provide a flexible and usable framework for creating, testing, and deploying intelligent agent software. Overall, our goal in developing Apex is to lower economic barriers to developing intelligent software agents. New ideas about how to extend or modify the system are evaluated in terms of their impact in reducing the time, expertise, and inventiveness required to build and maintain applications. For example, potential enhancements to the AI reasoning capabilities in the system are reviewed not only for usefulness and distinctiveness, but also for their impact on the readability and general usability of Apex s behavior representation language (PDL) and on the transparency of resulting behavior. A second central part of our approach is to iteratively refine Apex based on lessons learned from as diverse a set of applications as possible. Many applications have been developed by users outside the core development team including engineers, researchers, and students. Usability is thus a central concern for every aspect of Apex visible to a user, including PDL, Sherpa, the Apex installation process, APIs, and user documentation. Apex users vary in their areas of expertise and in their familiarity with autonomy technology. Focusing on usability, a development philosophy summarized by the project motto "Usable Autonomy," has been important part of enabling diverse users to employ Apex successfully and to provide feedback needed to guide iterative, user-centered refinement.

Freed, Michael A.↗
NASA NTRS1992

A reinforcement learning-based architecture for fuzzy logic control

This paper introduces a new method for learning to refine a rule-based fuzzy logic controller. A reinforcement learning technique is used in conjunction with a multilayer neural network model of a fuzzy controller. The approximate reasoning based intelligent control (ARIC) architecture proposed here learns by updating its prediction of the physical system's behavior and fine tunes a control knowledge base. Its theory is related to Sutton's temporal difference (TD) method. Because ARIC has the advantage of using the control knowledge of an experienced operator and fine tuning it through the process of learning, it learns faster than systems that train networks from scratch. The approach is applied to a cart-pole balancing system.

Berenji, Hamid R.↗
NASA NTRS1998

Nonlinear Optothermal Properties of Metal-Free Phthalocyanine

The nonlinear optical properties of metal-free phthalocyanine (MFPC) thin films were examined using the second harmonic at 532 nm from a pulsed Nd:YAG laser, and the cw He-Ne , and Ar+ lasers. The He-Ne laser transmission at fixed input intensity was found to increase temporally within a time scale of twelve hours. The origin of this temporal change of transmission is discussed. The third order nonlinear susceptibilities (chi (exp(3))) by four-wave mixing were measured for films of different thickness. The saturation intensity of MFPC, and its absorption cross section, at 633 nm from a He-Ne laser, are reported. An optical bistability was recorded using a He-Ne laser. An AND logic gate was also demonstrated in the system. These phenomena in the system are attributed to refractive index modulation by thermal excitations.

Abdeldayem, Hossin A.↗
NASA NTRS1980

The Pioneer Venus Orbiter Gamma Burst Detector

The Orbiter Gamma Burst Detector was designed to record the temporal and spectral characteristics of cosmic gamma-ray bursts. The primary mission of the experiment is the accurate determination of the directions to the sources of such bursts through a technique of triangulation as a member of a widely spaced array of similar instruments. The system consists of a pair of scintillation spectrometers sensitive in the range of energies between 100 and 2000 keV, together with logic and data storage to provide a capability for recording these events. Nineteen events which have been verified as cosmic gamma-ray bursts were recorded within the first year's operation.

Klebesadel, R. W.↗
NASA NTRS1994

Fuzzy self-learning control for magnetic servo system

It is known that an effective control system is the key condition for successful implementation of high-performance magnetic servo systems. Major issues to design such control systems are nonlinearity; unmodeled dynamics, such as secondary effects for copper resistance, stray fields, and saturation; and that disturbance rejection for the load effect reacts directly on the servo system without transmission elements. One typical approach to design control systems under these conditions is a special type of nonlinear feedback called gain scheduling. It accommodates linear regulators whose parameters are changed as a function of operating conditions in a preprogrammed way. In this paper, an on-line learning fuzzy control strategy is proposed. To inherit the wealth of linear control design, the relations between linear feedback and fuzzy logic controllers have been established. The exercise of engineering axioms of linear control design is thus transformed into tuning of appropriate fuzzy parameters. Furthermore, fuzzy logic control brings the domain of candidate control laws from linear into nonlinear, and brings new prospects into design of the local controllers. On the other hand, a self-learning scheme is utilized to automatically tune the fuzzy rule base. It is based on network learning infrastructure; statistical approximation to assign credit; animal learning method to update the reinforcement map with a fast learning rate; and temporal difference predictive scheme to optimize the control laws. Different from supervised and statistical unsupervised learning schemes, the proposed method learns on-line from past experience and information from the process and forms a rule base of an FLC system from randomly assigned initial control rules.

Tarn, J. H.↗
NASA NTRS2009

Developing Lightning Prediction Tools for the CCAFS Dual-Polarimetric Radar

NASA Marshall Space Flight Center and the University of Alabama Huntsville are collaborating with the 45th Weather Squadron (45WS) to develop improved lightning prediction capabilities for the new C-band dual-polarimetric weather radar being acquired for use by 45WS and launch weather forecasters at Cape Canaveral Air Force Station (CCAFS). In particular, these algorithms will focus on lightning onset, cessation and combined lightning-radar applications for convective winds assessment. Research using radar reflectivity (Z) data for prediction of lightning onset has been extensively discussed in the literature and subsequently applied by launch weather forecasters as it pertains to lightning nowcasting. Currently the forecasters apply a relatively straight forward but effective temperature-Z threshold algorithm for assessing the likelihood of lightning onset in a given storm. In addition, a layered VIL above the freezing level product is used as automated guidance for the onset of lightning. Only limited research and field work has been conducted on lightning cessation using Z and vertically-integrated Z for determining cessation. Though not used operationally vertically-integrated Z (basis for VIL) has recently shown promise as a tool for use in nowcasting lightning cessation. The work discussed herein leverages and expands upon these and similar reflectivity-threshold approaches via the application/addition of over two decades of polarimetric radar research focused on distinct multi-parameter radar signatures of ice/mixed-phase initiation and ice-crystal orientation in highly electrified convective clouds. Specifically, our approach is based on numerous previous studies that have observed repeatable patterns in the behavior of the vertical hydrometeor column as it relates to the temporal evolution of differential reflectivity and depolarization (manifested in either LDR or p(sub hv)), development of in-situ mixed and ice phase microphysics, electric fields, and ensuing lightning in the sub-tropical/tropical convection typical of the southeastern U.S., Maritime Continent, and southwestern Amazon. The polarimetric signatures detected in this setting provide a basis for automated 3-D detection of hydrometeor types in fuzzy logic hydrometeor identification algorithms (HID). Our working hypothesis is that improvement in lightning onset warning lead time and specificity for a given storm, relative to application of a Z-threshold algorithm, should arise as a consequence of the ability of dual-polarimetric radar to unambiguously detect and identify (through HID algorithms) the updraft elevation of rain-water cores above the freezing level and subsequent onset of drop freezing, riming, and robust mixed phase processes leading to significant charge separation and lightning. This type of algorithm, though dependent on the quality of the polarimetric data should be less susceptible to variable Z-calibration that can impact a given Z-threshold approach. To facilitate development of the algorithm while the 45WS dual-pol radar is in its current test stages and to evaluate the impact of polarimetric data quality (e.g., modified scan parameters and sampling) on the ensuing algorithms, we are using the ARMOR C-band dual-pol radar in Huntsville combined with N. Alabama LMA data and ARMOR HID algorithms [NCAR algorithm modified for application at C-band] in a testbed fashion. For lightning cessation we are revisiting the application of differential propagation phase variables for the monitoring of ice crystal alignment driven by in-cloud electric fields combined with metrics of ice water path (i.e., vertically integrated reflectivity). Importantly it should be noted that this approach is still very much a research topic and as such, we will explore operational applications that involve radar frequencies other than C-Band by using the UAH MAX X-band dual-pol radar in slow staring modes.

Petersen, W. A.↗
NASA NTRS2011

Simulation and Verification of Synchronous Set Relations in Rewriting Logic

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property veri cation of synchronous set relations. The mathematical foundation is given in the language of abstract set relations. The infrastructure consists of an ordersorted rewrite theory in Maude, a rewriting logic system, that enables the synchronous execution of a set relation provided by the user. By using the infrastructure, existing algorithm veri cation techniques already available in Maude for traditional asynchronous rewriting, such as reachability analysis and model checking, are automatically available to synchronous set rewriting. The use of the infrastructure is illustrated with an executable operational semantics of a simple synchronous language and the veri cation of temporal properties of a synchronous system.

Rocha, Camilo↗
NASA NTRS1998

Feature Detection in Linked Derived Spaces

This paper describes by example a strategy for plotting and interacting with data in multiple metric spaces. The example system was designed for use with time-varying computational fluid dynamics (CFD) datasets, but the methodology is directly applicable to other types of field data. The central objects embodied by the tool are {\em portraits}, which show the data in various coordinate systems, while preserving their spatial connectivity and temporal variability. The coordinates are derived in various ways from the field data, and an important feature is that new and derived portraits can be created interactively. The primary operations supported by the tool are brushing and linking: the user can select a subset of a given portrait, and this subset is highlighted in all portraits. The user can combine highlighted subsets from an arbitrary number of portraits with the usual logical operators, thereby indicating where an arbitrarily complex set of conditions holds. The system is useful for exploratory visualization and feature detection in multivariate data.

Henze, Chris↗
NASA NTRS1991

Terrestrial glacial eskers: Analogs for Martian sinuous ridges

A glacial model was introduced last year for the Argyre region, a concept which is now extended, and which was recently integrated with a Global Hydrologic Model incorporating many other aspects of Martian geology. Despite wide agreement that the Martian ridges strongly resemble glacial eskers, this hypothesis has been presented with great equivocation due to a perceived lack of other glacial landforms. Quite to the contrary, it is shown that the Martian ridges actually do occur in logical ordered sequences with many other types of characteristically glacial appearing landforms. Herein, the esker hypothesis is further supported in isolation from considerations of regional landform assemblages. It is concluded that Martian sinuous ridges are similar in every respect to terrestrial eskers: scale, morphology, planimetric pattern, and associations with other probable glaciogenic landforms. It is found that the esker hypothesis is well supported. Eskers are glaciofluvial structures, and owe their existence to large scale melting of stagnant temporate glaciers. Thus, eskers are indicators of an ameliorating climatic regime after a protracted episode of cold, humid conditions.

Kargel, Jeffrey S.↗