Search NASA⌕ Search

SEARCH · Search NASA

Results for “SYMBOL”

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 343 records · Page 19

Using fuzzy logic to integrate neural networks and knowledge-based systems

Outlined here is a novel hybrid architecture that uses fuzzy logic to integrate neural networks and knowledge-based systems. The author's approach offers important synergistic benefits to neural nets, approximate reasoning, and symbolic processing. Fuzzy inference rules extend symbolic systems with approximate reasoning capabilities, which are used for integrating and interpreting the outputs of neural networks. The symbolic system captures meta-level information about neural networks and defines its interaction with neural networks through a set of control tasks. Fuzzy action rules provide a robust mechanism for recognizing the situations in which neural networks require certain control actions. The neural nets, on the other hand, offer flexible classification and adaptive learning capabilities, which are crucial for dynamic and noisy environments. By combining neural nets and symbolic systems at their system levels through the use of fuzzy logic, the author's approach alleviates current difficulties in reconciling differences between low-level data processing mechanisms of neural nets and artificial intelligence systems.

Yen, John↗

Multi-layered reasoning by means of conceptual fuzzy sets

The real world consists of a very large number of instances of events and continuous numeric values. On the other hand, people represent and process their knowledge in terms of abstracted concepts derived from generalization of these instances and numeric values. Logic based paradigms for knowledge representation use symbolic processing both for concept representation and inference. Their underlying assumption is that a concept can be defined precisely. However, as this assumption hardly holds for natural concepts, it follows that symbolic processing cannot deal with such concepts. Thus symbolic processing has essential problems from a practical point of view of applications in the real world. In contrast, fuzzy set theory can be viewed as a stronger and more practical notation than formal, logic based theories because it supports both symbolic processing and numeric processing, connecting the logic based world and the real world. In this paper, we propose multi-layered reasoning by using conceptual fuzzy sets (CFS). The general characteristics of CFS are discussed along with upper layer supervision and context dependent processing.

Takagi, Tomohiro↗

Improvements in hover display dynamics for a combat helicopter

This paper describes a piloted simulation conducted on the NASA Ames Vertical Motion Simulator. The objective of the experiment was to investigate the handling qualities benefits attainable using new display law design methods for hover displays. The new display laws provide improved methods to specify the behavior of the display symbol that predicts the vehicle's ground velocity in the horizontal plane; it is the primary symbol that the pilot uses to control aircraft horizontal position. The display law design was applied to the Apache helmet-mounted display format, using the Apache vehicle dynamics to tailor the dynamics of the velocity predictor symbol. The representations of the Apache vehicle used in the display design process and in the simulation were derived from flight data. During the simulation, the new symbol dynamics were seen to improve the pilots' ability to maneuver about hover in poor visual cuing environments. The improvements were manifested in pilot handling qualities ratings and in measured task performance. The paper details the display design techniques, the experiment design and conduct, and the results.

Eshow, Michelle M.↗

Improvements in hover display dynamics for a combat helicopter

This paper describes a piloted simulation conducted on the NASA Ames Vertical Motion Simulator. The objective of the experiment was to investigate the handling qualities benefits attainable using new display law design methods for hover displays. The new display laws provide improved methods to specify the behavior of the display symbol that predicts the vehicle's ground velocity in the horizontal plane; it is the primary symbol that the pilot uses to control aircraft horizontal position. The display law design was applied to the Apache helmet-mounted display format, using the Apache vehicle dynamics to tailor the dynamics of the velocity predictor symbol. The representations of the Apache vehicle used in the display design process and in the simulation were derived from flight data. During the simulation, the new symbol dynamics were seen to improve the pilots' ability to maneuver about hover in poor visual cuing environments. The improvements were manifested in pilot handling qualities ratings and in measured task performance. The paper details the display design techniques, the experiment design and conduct, and the results.

Eshow, Michelle M.↗

Links between N-modular redundancy and the theory of error-correcting codes

N-Modular Redundancy (NMR) is one of the best known fault tolerance techniques. Replication of a module to achieve fault tolerance is in some ways analogous to the use of a repetition code where an information symbol is replicated as parity symbols in a codeword. Linear Error-Correcting Codes (ECC) use linear combinations of information symbols as parity symbols which are used to generate syndromes for error patterns. These observations indicate links between the theory of ECC and the use of hardware redundancy for fault tolerance. In this paper, we explore some of these links and show examples of NMR systems where identification of good and failed elements is accomplished in a manner similar to error correction using linear ECC's.

Bobin, V.↗

Advanced compilation techniques in the PARADIGM compiler for distributed-memory multicomputers

The PARADIGM compiler project provides an automated means to parallelize programs, written in a serial programming model, for efficient execution on distributed-memory multicomputers. .A previous implementation of the compiler based on the PTD representation allowed symbolic array sizes, affine loop bounds and array subscripts, and variable number of processors, provided that arrays were single or multi-dimensionally block distributed. The techniques presented here extend the compiler to also accept multidimensional cyclic and block-cyclic distributions within a uniform symbolic framework. These extensions demand more sophisticated symbolic manipulation capabilities. A novel aspect of our approach is to meet this demand by interfacing PARADIGM with a powerful off-the-shelf symbolic package, Mathematica. This paper describes some of the Mathematica routines that performs various transformations, shows how they are invoked and used by the compiler to overcome the new challenges, and presents experimental results for code involving cyclic and block-cyclic arrays as evidence of the feasibility of the approach.

Su, Ernesto↗

An efficient software implementation of a variable rate modem

This paper describes the software implementation of the baseband portion of a variable rate modem. The modem can handle arbitrary symbol rates with a fixed input/output sample rate. This approach reduces hardware complexity related to external clock generation circuitry, offers complete flexibility in the selection of symbol rates, and conveniently accommodates symbol timing and symbol rate corrections.

Mantha, Ramesh↗

Helmet-Mounted Display Design Guide

Helmet Mounted Displays (HMDs) present flight, navigation, and weapon information in the pilot's line of sight. The HMD was developed to allow the pilot to retain aircraft and weapon information while looking off boresight. This document reviews current state of the art in HMDs and presents a design guide for the HMD engineer in identifying several critical HMD issues: symbol stabilization, inadequate definitions, undefined symbol drive laws, helmet considerations, and Field Of View (FOV) vs. resolution tradeoff requirements. In particular, display latency is a key issue for HMDs. In addition to requiring further experimental studies, it impacts the definition and control law issues. Symbol stabilization is also critical. In the case of the Apache helicopter, the lack of compensation for pilot head motion creates excessive workload during hovering and Nap Of the Earth (NOE) flight. This translates into excessive training requirements. There is no agreed upon set of definitions or descriptions for how HMD symbols are driven to compensate for pilot head motion. A set of definitions is proposed to address this. There are several specific areas where simulation and flight experiments are needed: development of hover and NOE symbologies which compensate for pilot head movement; display latency and sampling, and the tradeoff between FOV, sensor resolution and symbology.

HEAD UP DISPLAYS↗

Method and Apparatus for High Data Rate Demodulation

A method to demodulate BPSK or QPSK data using clock rates for the receiver demodulator of one-fourth the data rate is presented. This is accomplished through multirate digital signal processing techniques. The data is sampled with an analog-to-digital converter and then converted from a serial data stream to a parallel data stream. This signal processing requires a clock cycle four times the data rate. Once converted into a parallel data stream, the demodulation operations including complex baseband mixing, lowpass filtering, detection filtering, symbol-timing recovery, and carrier recovery are all accomplished at a rate one-fourth the data rate. The clock cycle required is one-sixteenth that required by a traditional serial receiver based on straight convolution. The high rate data demodulator will demodulate BPSK, QPSK, UQPSK, and DQPSK with data rates ranging from 10 Mega-symbols to more than 300 Mega-symbols per second. This method requires less clock cycles per symbol tan traditional serial convolution techniques.

Gerald J Grebowsky↗

Digital Channel Simulator Developed and Tested

The Digital Channel Simulator (DCS) is a real-time test set developed in-house by the NASA Glenn Research Center at Lewis Field that simulates the characteristics of the modulator, demodulator, and transmission medium in a typical communications system to enable controlled laboratory testing of codec pairs. The DCS can support data rates up to 100 megasymbols per second (Msymbols/sec) with symbol sizes up to 10 bits and is compatible with both TTL (transistor transistor logic) and ECL (emitter coupled logic) interfaces. Because of its use of digital integrated circuits (IC's), the DCS offers the user accurate and repeatable testing while maintaining a simple reconfiguration of the modulation scheme and noise characteristics. The PC-based graphical user interface (GUI) assures user friendly operation for configuring, controlling, and monitoring the DCS and system during tests. In a typical communications system, the modulator places a symbol in constellation space and puts it on a carrier to be sent to the demodulator. Because of noise on the channel, the I and Q position in constellation space cannot be recovered exactly, and the received coordinates shift. To mimic this process in the laboratory, the DCS uses a mapper to place the symbol in constellation space. It simulates the shift in coordinates by digitally adding "noise" to the I and Q values. The mapper and noise source are implemented in lookup tables. Modulation schemes and noise characteristics are set by the values loaded in these tables. The mapper also has a pass-through mode to facilitate modulator testing, allowing noise to be added to 8-bit I and Q values of modulated data without a second mapping. To achieve high symbol rates, eight processing circuits are placed in parallel between an ECL demultiplexer and multiplexer. A graphical user interface was developed to calculate, load, and verify the values for the lookup tables. This interface can also be used to debug and verify proper operation of the channel simulator or to control an experiment. Operation of the DCS has been verified through three tests: a low-speed comprehensive system test, a high-speed (20 Msymbols/sec) test of the TTL interface, and a high-speed (100 Msymbols/sec) test of the ECL interface. The DCS is now ready for use by NASA and external customers.

Bizon, Thomas P.↗

Distributed Saturation

The Saturation algorithm for symbolic state-space generation, has been a recent break-through in the exhaustive veri cation of complex systems, in particular globally-asyn- chronous/locally-synchronous systems. The algorithm uses a very compact Multiway Decision Diagram (MDD) encoding for states and the fastest symbolic exploration algo- rithm to date. The distributed version of Saturation uses the overall memory available on a network of workstations (NOW) to efficiently spread the memory load during the highly irregular exploration. A crucial factor in limiting the memory consumption during the symbolic state-space generation is the ability to perform garbage collection to free up the memory occupied by dead nodes. However, garbage collection over a NOW requires a nontrivial communication overhead. In addition, operation cache policies become critical while analyzing large-scale systems using the symbolic approach. In this technical report, we develop a garbage collection scheme and several operation cache policies to help on solving extremely complex systems. Experiments show that our schemes improve the performance of the original distributed implementation, SmArTNow, in terms of time and memory efficiency.

Chung, Ming-Ying↗

Programmable noise bandwidth reduction by means of digital averaging

Predetection noise bandwidth reduction is effected by a pre-averager capable of digitally averaging the samples of an input data signal over two or more symbols, the averaging interval being defined by the input sampling rate divided by the output sampling rate. As the averaged sample is clocked to a suitable detector at a much slower rate than the input signal sampling rate the noise bandwidth at the input to the detector is reduced, the input to the detector having an improved signal to noise ratio as a result of the averaging process, and the rate at which such subsequent processing must operate is correspondingly reduced. The pre-averager forms a data filter having an output sampling rate of one sample per symbol of received data. More specifically, selected ones of a plurality of samples accumulated over two or more symbol intervals are output in response to clock signals at a rate of one sample per symbol interval. The pre-averager includes circuitry for weighting digitized signal samples using stored finite impulse response (FIR) filter coefficients. A method according to the present invention is also disclosed.

Poklemba, John J.↗

Universal Decoder for PPM of any Order

A recently developed algorithm for demodulation and decoding of a pulse-position- modulation (PPM) signal is suitable as a basis for designing a single hardware decoding apparatus to be capable of handling any PPM order. Hence, this algorithm offers advantages of greater flexibility and lower cost, in comparison with prior such algorithms, which necessitate the use of a distinct hardware implementation for each PPM order. In addition, in comparison with the prior algorithms, the present algorithm entails less complexity in decoding at large orders. An unavoidably lengthy presentation of background information, including definitions of terms, is prerequisite to a meaningful summary of this development. As an aid to understanding, the figure illustrates the relevant processes of coding, modulation, propagation, demodulation, and decoding. An M-ary PPM signal has M time slots per symbol period. A pulse (signifying 1) is transmitted during one of the time slots; no pulse (signifying 0) is transmitted during the other time slots. The information intended to be conveyed from the transmitting end to the receiving end of a radio or optical communication channel is a K-bit vector u. This vector is encoded by an (N,K) binary error-correcting code, producing an N-bit vector a. In turn, the vector a is subdivided into blocks of m = log2(M) bits and each such block is mapped to an M-ary PPM symbol. The resultant coding/modulation scheme can be regarded as equivalent to a nonlinear binary code. The binary vector of PPM symbols, x is transmitted over a Poisson channel, such that there is obtained, at the receiver, a Poisson-distributed photon count characterized by a mean background count nb during no-pulse time slots and a mean signal-plus-background count of ns+nb during a pulse time slot. In the receiver, demodulation of the signal is effected in an iterative soft decoding process that involves consideration of relationships among photon counts and conditional likelihoods of m-bit vectors of coded bits. Inasmuch as the likelihoods of all the m-bit vectors of coded bits mapping to the same PPM symbol are correlated, the best performance is obtained when the joint mbit conditional likelihoods are utilized. Unfortunately, the complexity of decoding, measured in the number of operations per bit, grows exponentially with m, and can thus become prohibitively expensive for large PPM orders. For a system required to handle multiple PPM orders, the cost is even higher because it is necessary to have separate decoding hardware for each order. This concludes the prerequisite background information. In the present algorithm, the decoding process as described above is modified by, among other things, introduction of an lbit marginalizer sub-algorithm. The term "l-bit marginalizer" signifies that instead of m-bit conditional likelihoods, the decoder computes l-bit conditional likelihoods, where l is fixed. Fixing l, regardless of the value of m, makes it possible to use a single hardware implementation for any PPM order. One could minimize the decoding complexity and obtain an especially simple design by fixing l at 1, but this would entail some loss of performance. An intermediate solution is to fix l at some value, greater than 1, that may be less than or greater than m. This solution makes it possible to obtain the desired flexibility to handle any PPM order while compromising between complexity and loss of performance.

Moision, Bruce E.↗

Coupled Receiver/Decoders for Low-Rate Turbo Codes

been proposed for receiving weak single- channel phase-modulated radio signals bearing low-rate-turbo-coded binary data. Originally intended for use in receiving telemetry signals from distant spacecraft, the proposed receiver/ decoders may also provide enhanced reception in mobile radiotelephone systems. A radio signal of the type to which the proposal applies comprises a residual carrier signal and a phase-modulated data signal. The residual carrier signal is needed as a phase reference for demodulation as a prerequisite to decoding. Low-rate turbo codes afford high coding gains and thereby enable the extraction of data from arriving radio signals that might otherwise be too weak. In the case of a conventional receiver, if the signal-to-noise ratio (specifically, the symbol energy to one-sided noise power spectral density) of the arriving signal is below approximately 0 dB, then there may not be enough energy per symbol to enable the receiver to recover properly the carrier phase. One could solve the problem at the transmitter by diverting some power from the data signal to the residual carrier. A better solution . a coupled receiver/decoder according to the proposal . could reduce the needed amount of residual carrier power. In all that follows, it is to be understood that all processing would be digital and the incoming signals to be processed would be, more precisely, outputs of analog-to-digital converters that preprocess the residual carrier and data signals at a rate of multiple samples per symbol. The upper part of the figure depicts a conventional receiving system, in which the receiver and decoder are uncoupled, and which is also called a non-data-aided system because output data from the decoder are not used in the receiver to aid in recovering the carrier phase. The receiver tracks the carrier phase from the residual carrier signal and uses the carrier phase to wipe phase noise off the data signal. The receiver typically includes a phase-locked loop (PLL) or Costas loop that requires no delay or perhaps a single sample delay. The lower part of the figure depicts a basic coupled receiver/decoder . a data-aided system that would implement an iterative receiving/decoding process. The receiver would include a PLL or a Wiener filter that, to the extent possible, would track the residual carrier signal, wipe phase noise off the data signal, then send the result to the turbo decoder. Recovery of timing could be effected by, for example, a digital transition tracking loop (DTTL) or other, similar loop. The first iteration of turbo decoding would yield soft data symbols, which would be sent back to the receiver for use in softly wiping off the data signal in an effort to recover the residual carrier signal. The wiped signal would contain a relatively large carrier-phase component that could be tracked by use of a second Wiener filter.

Hamkins, Jon↗

Application of Variable Data Rate (VDR) Towards Channel Optimization

Recognizing the vagaries of channel impediments, one way to optimize aggregate channel information throughput is to maintain a constant symbol rate but vary the modulation scheme and/or the codec rate. The CCSDS VCM and ACM standards promulgation relies upon this kind of an approach. We offer a considerably simpler alternative for spacecraft that are not parked in geo-stationary orbit, one that can rely upon conventional spacecraft housekeeping schedules to change spacecraft and ground operations and will minimize the possibility of requiring any spacecraft hardware accommodations to incorporate. We suggest the use of varying the physical symbol rate within the channel to both initiate acquisition earlier in a pass and retain the link longer as the pass tends toward loss of signal. There is nothing new in what we propose, just a recognition of what has been successful in the past and employed in multiple missions. Integrating over the periodicity of orbit repetition, we shall show that any link that is dependent primarily on a varying range from spacecraft to ground only requires a maximum of five symbol rate transitions in order to optimize total information throughput. By applying these symbol rate transitions using almost rigid rules, we anticipate doubling the information throughput for conventional LEO sun-synchronous orbits. We provide other examples as well.

variable data rate↗

Application of Variable Data Rate (VDR) Towards Channel Optimization

Recognizing the vagaries of channel impediments, one way to optimize aggregate channel information throughput is to maintain a constant symbol rate but vary the modulation scheme and/or the codec rate. The CCSDS VCM and ACM standards promulgation relies upon this kind of an approach. We offer a considerably simpler alternative for spacecraft that are not parked in geo-stationary orbit, one that can rely upon conventional spacecraft housekeeping schedules to change spacecraft and ground operations and will minimize the possibility of requiring any spacecraft hardware accommodations to incorporate. We suggest the use of varying the physical symbol rate within the channel to both initiate acquisition earlier in a pass and retain the link longer as the pass tends toward loss of signal. There is nothing new in what we propose, just a recognition of what has been successful in the past and employed in multiple missions. Integrating over the periodicity of orbit repetition, we shall show that any link that is dependent primarily on a varying range from spacecraft to ground only requires a maximum of five symbol rate transitions in order to optimize total information throughput. By applying these symbol rate transitions using almost rigid rules, we anticipate doubling the information throughput for conventional LEO sun-synchronous orbits. We provide other examples as well.

Variable Data Rate↗

Modeling plasticity-mediated void growth at the single crystal scale: A physics-informed machine learning approach

Modeling the evolution of voids during plastic flow as well as their effects on plastic dissipation is critical for both component manufacturing and lifetime estimation purposes. To this end, we propose a rate-dependent constitutive model to homogenize the effects of semi-randomly distributed voids on single crystal plasticity whilst capturing void interaction and plastic anisotropy. Here, this present work focuses on the case of face centered cubic crystals to introduce an anisotropic gauge function applicable within the crystal plasticity formalism. The approach combines analytical methods to describe the micromechanics of the system in combination with symbolic regression to capture analytically intractable mechanisms from data. The hybrid framework uses a physics-informed genetic programming-based symbolic regression algorithm to solve a multiform optimization problem simultaneously producing a new gauge function and a new strain rate equation. This is also a multi-objective optimization problem with many competing objectives. A new search and selection step is introduced to the genetic algorithm that promotes convergence toward a global solution that better satisfies all the objectives. Overall, the symbolic equations produced leverage data-driven methods to achieve greater accuracy than comparable alternatives on an analytically intractable problem while maintaining model transparency.

36 MATERIALS SCIENCE↗

Bimanual cross-talk during reaching movements is primarily related to response selection, not the specification of motor parameters

Simultaneous reaching movements made with the two hands can show a considerable increase in reaction time (RT) when they differ in terms of direction or extent, compared to when the movements involve the same direction and extent. This cost has been attributed to cross-talk in the specification of the motor parameters for the two hands. However, a recent study [Diedrichsen, Hazeltine, Kennerley, & Ivry, (2001). Psychological Science, 12, 493-498] indicates that when reaching movements are cued by the onset of the target endpoint, no compatibility effects are observed. To determine why directly cued movements are immune from interference, we varied the stimulus onset asynchrony for the two movements and used different combinations of directly cued and symbolically cued movements. In two experiments, compatibility effects were only observed when both movements were symbolically cued. No difference was found between compatible and incompatible movements when both movements were directly cued or when one was directly cued and the other was symbolically cued. These results indicate that interference is not related to the specification of movement parameters but instead emerges from processes associated with response selection. Moreover, the data suggest that cross-talk, when present, primarily shortens the RT of the second movement on compatible trials rather than lengthening this RT on incompatible trials.

Randomized Controlled Trial↗