SEARCH · Search NASA

Results for “symbolic computation”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 307 records · Page 17

All sources NASA NTRS DOE OSTI

NASA NTRS1988

Interleaver design for trellis-coded differential 8-PSK modulation with non-coherent detection

The effect of finite interleaver size on bit error rate (BER) performance of coded 8-DPSK is determined by means of computer simulations. The losses evaluated in this way include the SNR degradation due to the timing and frequency errors of the symbol synchronizer and the automatic frequency control (AFC) of the receiver. BER measurements are presented using a conventional 2/3 rate convolutional 8-state trellis-code for typical Rayleigh and Rician fading channels. It is shown that for a Rician channel with a Rician parameter of 7 dB, a Doppler spread of 100 Hz and a data rate of 2400 bps, an interleaver with size 16 x 16 symbols performs nearly as well as a very large interleaver. It is also shown that for very fast Rayleigh channels, the BER-curves flatten out at large SNR.

Edbauer, Franz↗

NASA NTRS1990

Army-NASA aircrew/aircraft integration program (A3I) software detailed design document, phase 3

The capabilities and design approach of the MIDAS (Man-machine Integration Design and Analysis System) computer-aided engineering (CAE) workstation under development by the Army-NASA Aircrew/Aircraft Integration Program is detailed. This workstation uses graphic, symbolic, and numeric prototyping tools and human performance models as part of an integrated design/analysis environment for crewstation human engineering. Developed incrementally, the requirements and design for Phase 3 (Dec. 1987 to Jun. 1989) are described. Software tools/models developed or significantly modified during this phase included: an interactive 3-D graphic cockpit design editor; multiple-perspective graphic views to observe simulation scenarios; symbolic methods to model the mission decomposition, equipment functions, pilot tasking and loading, as well as control the simulation; a 3-D dynamic anthropometric model; an intermachine communications package; and a training assessment component. These components were successfully used during Phase 3 to demonstrate the complex interactions and human engineering findings involved with a proposed cockpit communications design change in a simulated AH-64A Apache helicopter/mission that maps to empirical data from a similar study and AH-1 Cobra flight test.

Banda, Carolyn↗

NASA NTRS1997

Optical Verification Laboratory Demonstration System for High Security Identification Cards

Document fraud including unauthorized duplication of identification cards and credit cards is a serious problem facing the government, banks, businesses, and consumers. In addition, counterfeit products such as computer chips, and compact discs, are arriving on our shores in great numbers. With the rapid advances in computers, CCD technology, image processing hardware and software, printers, scanners, and copiers, it is becoming increasingly easy to reproduce pictures, logos, symbols, paper currency, or patterns. These problems have stimulated an interest in research, development and publications in security technology. Some ID cards, credit cards and passports currently use holograms as a security measure to thwart copying. The holograms are inspected by the human eye. In theory, the hologram cannot be reproduced by an unauthorized person using commercially-available optical components; in practice, however, technology has advanced to the point where the holographic image can be acquired from a credit card-photographed or captured with by a CCD camera-and a new hologram synthesized using commercially-available optical components or hologram-producing equipment. Therefore, a pattern that can be read by a conventional light source and a CCD camera can be reproduced. An optical security and anti-copying device that provides significant security improvements over existing security technology was demonstrated. The system can be applied for security verification of credit cards, passports, and other IDs so that they cannot easily be reproduced. We have used a new scheme of complex phase/amplitude patterns that cannot be seen and cannot be copied by an intensity-sensitive detector such as a CCD camera. A random phase mask is bonded to a primary identification pattern which could also be phase encoded. The pattern could be a fingerprint, a picture of a face, or a signature. The proposed optical processing device is designed to identify both the random phase mask and the primary pattern [1-3]. We have demonstrated experimentally an optical processor for security verification of objects, products, and persons. This demonstration is very important to encourage industries to consider the proposed system for research and development.

Javidi, Bahram↗

NASA NTRS1994

Program Helps Generate And Manage Graphics

Living Color Frame Maker (LCFM) computer program generates computer-graphics frames. Graphical frames saved as text files, in readable and disclosed format, easily retrieved and manipulated by user programs for wide range of real-time visual information applications. LCFM implemented in frame-based expert system for visual aids in management of systems. Monitoring, diagnosis, and/or control, diagrams of circuits or systems brought to "life" by use of designated video colors and intensities to symbolize status of hardware components (via real-time feedback from sensors). Status of systems can be displayed. Written in C++ using Borland C++ 2.0 compiler for IBM PC-series computers and compatible computers running MS-DOS.

Truong, L. V.↗

NASA NTRS1980

Quicklist: The basis for a computer aided logic design system

Quicklist, a preprocessor for an existing wire list program that cuts the description of the wire list by about 67 percent over previous methods, is described. Quicklist uses two different methods to shorten the input data. The first of these is the use of parentheses to allow a compact way of describing signal names which increment (or decrement) by one, i.e., typical signal names in a bus. The other method used is the equal sign. Using this symbol in a signal list says that the rest of the signals on that chip are the same as those on the previous chip described. Quicklist is intended to be the basis of a computer aided logic design system.

Lushbaugh, W. A.↗

NASA NTRS1991

Variant terminology

A system called Variant Terminology Switching (VTS) is set forth that is intended to provide computer-assisted spellings for terms that have American and British versions. VTS is based on the use of brackets, parentheses, and other symbols in conjunction with letters that distinguish American and British spellings. The symbols are used in the systems as indicators of actions such as deleting, adding, and replacing letters as well as replacing entire words and concepts. The system is shown to be useful for the intended purpose and also for the recognition of misspellings and for the standardization of computerized input/output. The VTS system is of interest to the development of international retrieval systems for aerospace and other technical databases that enhance the use by the global scientific community.

Buchan, Ronald L.↗

NASA NTRSDate not supplied

Bayesian Model Selection for Reducing Bloat and Overfitting in Genetic Programming for Symbolic Regression

When performing symbolic regression using genetic programming, overfitting and bloat can negatively impact generalizability and interpretability of the resulting equations as well as increase computation times. A Bayesian fitness metric is introduced and its impact on bloat and overfitting during population evolution is studied and compared to common alternatives in the literature. The proposed approach was found to be more robust to noise and data sparsity in numerical experiments, guiding evolution to a level of complexity appropriate to the dataset. Further evolution of the population resulted not in overfitting or bloat, but rather in slight simplifications in model form. The ability to identify an equation of complexity appropriate to the scale of noise in the training data was also demonstrated. In general, the Bayesian model selection algorithm was shown to be an effective means of regularization which resulted in less bloat and overfitting when any amount of noise was present in the training data.

G F Bomarito↗

NASA NTRS1980

Performance considerations of frequency-hopping multiple access

The basic system parameters of a frequency-hopping multiple-access system are investigated. Noncoherent binary FSK and M-ary FSK signal formats are studied in a random-access asynchronous environment. Both slow and fast frequency hopping are considered. Under relatively ideal conditions, the degradation in performance with respect to the number of users is determined. The dependence on performance due to hopping rate and bandwidth constraint is developed. It is shown, for example, that, for fast hopping, the optimum hopping rate is that which spreads the users' power over the entire available bandwidth during each baud time. This agrees with the basic spread spectrum philosophy of making the signal appear white over as wide a bandwidth as possible. The computational results describe the trade-off between the number of tones in M-ary FSK and the number of hops per symbol. Given a specified number of tones in the frequency-hopping system, the results describe the manner in which the system degrades as the number of users is increased.

Weber, C. L.↗

NASA NTRS1983

The effects of cuing in time-shared tasks

The results of two divided-attention experiments involving the editing of route-way-point displays on an avionics computer unit are reported. Two side tasks were required of the subjects, and either no cue, verbal cues appearing on the CRT, or symbolic cues (lights on the keyboard adjacent to keys to be used) were given to facilitate the primary editing task. Forty female and 30 male undergraduates were trained in the separate and combined tasks and divided randomly into groups of 25 for the cuing tests. A second test with three 10-subject groups was conducted at least one month later to investigate the efficacy of cuing for infrequently used procedures. It is found that only symbolic cuing significantly improved primary-task performance, increasing editing accuracy in the repetitive tests and reducing editing time in the delayed tests. Verbal cuing, probably because it requires additional cognitive effort, has no significant beneficial effect. These results are considered important for designing instruments for work environments requiring the performance of concurrent tasks, and as aircraft cockpits.

Chechile, R. A.↗

NASA NTRS2013

Metric Learning to Enhance Hyperspectral Image Segmentation

Unsupervised hyperspectral image segmentation can reveal spatial trends that show the physical structure of the scene to an analyst. They highlight borders and reveal areas of homogeneity and change. Segmentations are independently helpful for object recognition, and assist with automated production of symbolic maps. Additionally, a good segmentation can dramatically reduce the number of effective spectra in an image, enabling analyses that would otherwise be computationally prohibitive. Specifically, using an over-segmentation of the image instead of individual pixels can reduce noise and potentially improve the results of statistical post-analysis. In this innovation, a metric learning approach is presented to improve the performance of unsupervised hyperspectral image segmentation. The prototype demonstrations attempt a superpixel segmentation in which the image is conservatively over-segmented; that is, the single surface features may be split into multiple segments, but each individual segment, or superpixel, is ensured to have homogenous mineralogy.

Thompson, David R.↗

NASA NTRS1986

Computer aided derivation of equations for composite mechanics problems and finite element analyses

Explicit equations are derived for analysis of multilayered fiber composites and for finite element analyses. The equations are obtained using a symbolic program and tested for various composite properties as well as for different fiber orientations. In order to analyze multilayered fiber composite structures, a variable thickness finite element is formulated. Examples of an airfoil geometry, simulated in a form of a cantilevered beam with various fiber orientations are studied.

Sarigul, N.↗

NASA NTRS1988

Research On The CH-47B Helicopter

Report describes equipment added to, and research capabilities of CH-47B helicopter. Programmable symbol generator provides display formats for variety of missions - those of vertical-takeoff-and-landing aircraft and helicopters. Powerful general-purpose flight computer in operation. Computer programmable in high-level languages and supports research more efficiently. Flight-control software developed to improve capability of helicopter to perform simulations in flight.

Hilbert, Kathryn B.↗

NASA NTRS1976

The fast decoding of Reed-Solomon codes using high-radix fermat theoretic transforms

Fourier-like transforms over GF(F sub n), where F sub n = 2(2n) + 1 is a Fermat prime, are applied in decoding Reed-Solomon codes. It is shown that such transforms can be computed using high-radix fast Fourier transform (FFT) algorithms requiring considerably fewer multiplications than the more usual radix 2 FFT algorithm. A special 256-symbol, 16-symbol-error-correcting, Reed-Solomon (RS) code for space communication-link applications can be encoded and decoded using this high-radix FFT algorithm over GF(F sub 3).

Liu, K. Y.↗

NASA NTRS1987

Simulation of an array-based neural net model

Research in cognitive science suggests that much of cognition involves the rapid manipulation of complex data structures. However, it is very unclear how this could be realized in neural networks or connectionist systems. A core question is: how could the interconnectivity of items in an abstract-level data structure be neurally encoded? The answer appeals mainly to positional relationships between activity patterns within neural arrays, rather than directly to neural connections in the traditional way. The new method was initially devised to account for abstract symbolic data structures, but it also supports cognitively useful spatial analogue, image-like representations. As the neural model is based on massive, uniform, parallel computations over 2D arrays, the massively parallel processor is a convenient tool for simulation work, although there are complications in using the machine to the fullest advantage. An MPP Pascal simulation program for a small pilot version of the model is running.

Barnden, John A.↗

NASA NTRS1986

New capabilities and recent research programs of the NASA/Army CH-47B variable-stability helicopter

The CH-47B is the third in a series of variable-stability helicopters developed and operated by NASA since 1952 to investigate helicopter and VTOL handling qualities. Recently, several new capabilities were added to this helicopter to enable it to better support new and evolving research requirements. The installation of a programmable force-feel system for the evaluation pilot's conventional cyclic stick, and a four-axis side-stick controller permit a range of in-flight investigations concerning manipulator characteristics and augmentation system features that had not been possible with earlier NASA research helicopters. A recently installed color electronic display system with a programmable symbol generator will permit the investigation of display formats for a variety of VTOL and helicopter missions. Finally, a powerful new general-purpose flight computer is now in operation. It is programmable in high-level languages and will provide more efficient support of research programs. In addition to these new hardware capabilities, flight-control software has been developed to improve the in-flight simulation capability of the aircraft. A brief description of the CH-47B's variable-stability research equipment is provided, recent research programs are summarized, and some remarks concerning the potential of the helicopter are presented.

Hindson, W. S.↗

NASA NTRS1985

Decluttering methods for high density computer-generated graphic displays

Several decluttering methods were compared with respect to the speed and accuracy of user performance which resulted. The presence of a map background was also manipulated. Partial removal of nonessential graphic features through symbol simplification was as effective a decluttering technique as was total removal of nonessential graphic features. The presence of a map background interacted with decluttering conditions when response time was the dependent measure. Results indicate that the effectiveness of decluttering methods depends upon the degree to which each method makes essential graphic information distinctive from nonessential information. Practical implications are discussed.

Schultz, E. E., Jr.↗

NASA NTRS1980

Automated flow-chart system

Program produces flow chart of any program written in FORTRAN. Each FORTRAN statement is printed with symbol representing actions required during execution. Flow chart is generated on line-printer. This program is in COBOL for batch execution on IBM 370-series computer.

Woodford, W.↗

NASA NTRS1983

Capacity and cutoff rate of (M+1)-ary decision rules for noisy M-ary optical PPM channel

The channel capacity C and the cutoff rate R sub o of two (M + 1)-ary decision rules for noisy M slots/symbol optical pulse position modulation (PPM) with ideal photon counting are computed and compared. Also the values of the optimum thresholds needed to minimize the signal requirements are given. With a minor increase in hardware complexity, the symbol by symbol threshold decision rule is shown to be superior to the slot by slot threshold detection and decision rule in two aspects: first, it saves more than 0.5 dB in signal energy for the very noisy cases of more than one noise photon per slot (for low noise cases it also saves signal energy, but a negligibly small amount). Second, it is more robust to variations in the noise level.

Lee, P. J.↗