Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “experimental algorithms”

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 271 records · Page 15

Direct solar-pumped iodine laser amplifier

A XeCl laser pumped iodine laser oscillator was developed which will be incorporated into the Master Oscillator Power Amplifier (MOPA) system. The developed XeCl laser produces output energy of about 60 mJ per pulse. The pulse duration was about 10 nsec. The kinetic model for the solar-pumped laser was refined and the algorithm for the calculation of a set of rate equations was improved to increase the accuracy and the efficiency of the calculation. The improved algorithm was applied to explain the existing experimental data taken from a flashlamp pumped iodine laser for three kinds of lasants, i-C3F7I, n-C4F9I, and t-C4F9I. Various solid laser materials were evaluated for solar-pumping. The materials studied were Nd:YAG, Nd:YLF, and Cr:Nd:GSGG crystals. The slope efficiency of 0.17 percent was measured for the Nd:YLF near the threshold pump intensity which was 211 solar constants (29W/sq cm). The threshold pump intensity of the Nd:YAG was measured to be 236 solar constants (32W/sq cm) and the near-threshold slope efficiency was 0.12 percent. True CW laser operation of Cr:Nd:GSGG was possible only at pump intensities less than or equal to 1,500 solar constants (203 W/sq cm). This fact was attributed to the high thermal focusing effect of the Cr:Nd:GSGG rod.

Han, Kwang S.↗

A description of the research for period 3 of a research program on the planning and control for space robotic manipulators

The objective of this research program is to develop control techniques to enable future space robotic systems to meet their mission objectives. This report covers our work during the past year, 1 Feb. 1991 - 31 Jan. 1992 in this three-year research program (1 Aug. 1990 - 31 Jul. 1993). During this past year, we have made very significant progress in our theoretical and analytical work on algorithm development, our simulation studies, and our experimental investigation. This progress is summarized.

Dubowsky, Steven↗

A linear programming approach to characterizing norm bounded uncertainty from experimental data

The linear programming spectral overbounding and factorization (LPSOF) algorithm, an algorithm for finding a minimum phase transfer function of specified order whose magnitude tightly overbounds a specified nonparametric function of frequency, is introduced. This method has direct application to transforming nonparametric uncertainty bounds (available from system identification experiments) into parametric representations required for modern robust control design software (i.e., a minimum-phase transfer function multiplied by a norm-bounded perturbation).

Scheid, R. E.↗

A theoretical and experimental investigation of impact control for manipulators

This article describes a simple control strategy for stable hardon-hard contact of a manipulator with the environment. The strategy is motivated by recognition of the equivalence of proportional gain explicit force control and impedance control. It is shown that negative proportional force gains, or impedance mass ratios less than unity, can equivalently provide excellent impact response without bouncing. This result is indicated by an analysis performed with an experimentally determined arm/sensor/environment model. The results are corroborated by experimental data from implementation of the control algorithms on the CMU DD Arm II system. The results confirm that manipulator impact against a stiff environment without bouncing can be readily handled by this novel control strategy.

Volpe, Richard↗

A force-controllable macro-micro manipulator and its application to medical robots

This paper describes an 8-degrees-of-freedom macro-micro robot. This robot is capable of performing tasks that require accurate force control, such as polishing, finishing, grinding, deburring, and cleaning. The design of the macro-micro mechanism, the control algorithms, and the hardware/software implementation of the algorithms are described in this paper. Initial experimental results are reported. In addition, this paper includes a discussion of medical surgery and the role that force control may play. We introduce a new class of robotic systems collectively called Robotic Enhancement Technology (RET). RET systems introduce the combination of robotic manipulation with human control to perform manipulation tasks beyond the individual capability of either human or machine. The RET class of robotic systems offers new challenges in mechanism design, control-law development, and man/machine interface design. We believe force-controllable mechanisms such as the macro-micro structure we have developed are a necessary part of RET. Work in progress in the area of RET systems and their application to minimally invasive surgery is presented, along with future research directions.

Marzwell, Neville I.↗

Regular Topologies for Gigabit Wide-Area Networks

In general terms, this project aimed at the analysis and design of techniques for very high-speed networking. The formal objectives of the project were to: (1) Identify switch and network technologies for wide-area networks that interconnect a large number of users and can provide individual data paths at gigabit/s rates; (2) Quantitatively evaluate and compare existing and proposed architectures and protocols, identify their strength and growth potentials, and ascertain the compatibility of competing technologies; and (3) Propose new approaches to existing architectures and protocols, and identify opportunities for research to overcome deficiencies and enhance performance. The project was organized into two parts: 1. The design, analysis, and specification of techniques and protocols for very-high-speed network environments. In this part, SRI has focused on several key high-speed networking areas, including Forward Error Control (FEC) for high-speed networks in which data distortion is the result of packet loss, and the distribution of broadband, real-time traffic in multiple user sessions. 2. Congestion Avoidance Testbed Experiment (CATE). This part of the project was done within the framework of the DARTnet experimental T1 national network. The aim of the work was to advance the state of the art in benchmarking DARTnet's performance and traffic control by developing support tools for network experimentation, by designing benchmarks that allow various algorithms to be meaningfully compared, and by investigating new queueing techniques that better satisfy the needs of best-effort and reserved-resource traffic. This document is the final technical report describing the results obtained by SRI under this project. The report consists of three volumes: Volume 1 contains a technical description of the network techniques developed by SRI in the areas of FEC and multicast of real-time traffic. Volume 2 describes the work performed under CATE. Volume 3 contains the source code of all software developed under CATE.

Shacham, Nachum↗

A Parallel Genetic Algorithm for Automated Electronic Circuit Design

Parallelized versions of genetic algorithms (GAs) are popular primarily for three reasons: the GA is an inherently parallel algorithm, typical GA applications are very compute intensive, and powerful computing platforms, especially Beowulf-style computing clusters, are becoming more affordable and easier to implement. In addition, the low communication bandwidth required allows the use of inexpensive networking hardware such as standard office ethernet. In this paper we describe a parallel GA and its use in automated high-level circuit design. Genetic algorithms are a type of trial-and-error search technique that are guided by principles of Darwinian evolution. Just as the genetic material of two living organisms can intermix to produce offspring that are better adapted to their environment, GAs expose genetic material, frequently strings of 1s and Os, to the forces of artificial evolution: selection, mutation, recombination, etc. GAs start with a pool of randomly-generated candidate solutions which are then tested and scored with respect to their utility. Solutions are then bred by probabilistically selecting high quality parents and recombining their genetic representations to produce offspring solutions. Offspring are typically subjected to a small amount of random mutation. After a pool of offspring is produced, this process iterates until a satisfactory solution is found or an iteration limit is reached. Genetic algorithms have been applied to a wide variety of problems in many fields, including chemistry, biology, and many engineering disciplines. There are many styles of parallelism used in implementing parallel GAs. One such method is called the master-slave or processor farm approach. In this technique, slave nodes are used solely to compute fitness evaluations (the most time consuming part). The master processor collects fitness scores from the nodes and performs the genetic operators (selection, reproduction, variation, etc.). Because of dependency issues in the GA, it is possible to have idle processors. However, as long as the load at each processing node is similar, the processors are kept busy nearly all of the time. In applying GAs to circuit design, a suitable genetic representation 'is that of a circuit-construction program. We discuss one such circuit-construction programming language and show how evolution can generate useful analog circuit designs. This language has the desirable property that virtually all sets of combinations of primitives result in valid circuit graphs. Our system allows circuit size (number of devices), circuit topology, and device values to be evolved. Using a parallel genetic algorithm and circuit simulation software, we present experimental results as applied to three analog filter and two amplifier design tasks. For example, a figure shows an 85 dB amplifier design evolved by our system, and another figure shows the performance of that circuit (gain and frequency response). In all tasks, our system is able to generate circuits that achieve the target specifications.

Long, Jason D.↗

Improvements in Electron-Probe Microanalysis: Applications to Terrestrial, Extraterrestrial, and Space-Grown Materials

Improvement in the accuracy of electron-probe microanalysis (EPMA) has been accomplished by critical assessment of standards, correction algorithms, and mass absorption coefficient data sets. Experimental measurement of relative x-ray intensities at multiple accelerating potential highlights errors in the absorption coefficient. The factor method has been applied to the evaluation of systematic errors in the analysis of semiconductor and silicate minds. Accurate EPMA of Martian soil stimulant is necessary in studies that build on Martian rover data in anticipation of missions to Mars.

Carpenter, Paul↗

Parallel DSMC Solution of Three-Dimensional Flow Over a Finite Flat Plate

This paper describes a parallel implementation of the direct simulation Monte Carlo (DSMC) method. Runtime library support is used for scheduling and execution of communication between nodes, and domain decomposition is performed dynamically to maintain a good load balance. Performance tests are conducted using the code to evaluate various remapping and remapping-interval policies, and it is shown that a one-dimensional chain-partitioning method works best for the problems considered. The parallel code is then used to simulate the Mach 20 nitrogen flow over a finite-thickness flat plate. It is shown that the parallel algorithm produces results which compare well with experimental data. Moreover, it yields significantly faster execution times than the scalar code, as well as very good load-balance characteristics.

Nance, Robert P.↗

Single Axis Flywheel IPACS @1300W, 0.8 N-m

NASA Glenn Research Center is developing flywheels for space systems. A single axis laboratory version of an integrated power and attitude control (IPACs) system has been experimentally demonstrated. This is a significant step on the road to a flight qualified three axes IPACS system. The presentation outlines the flywheel development process at NASA GRC, the experimental hardware and approach, the IPACS control algorithm that was formulated and the results of the test program and then proposes a direction for future work. GRC has made progress on flywheel module design in terms of specific energy density and capability through a design and test program resulting in three flywheel module designs. Two of the flywheels are used in the 1D-IPACS experiment with loads and power sources to simulate a satellite power system. The system response is measured in three power modes: charge, discharge, and charge reduction while simultaneously producing a net output torque which could be used for attitude control. Finally, recommendations are made for steps that should be taken to evolve from this laboratory demonstration to a flight like system.

Jansen, Ralph↗

Zernike Wavefront Sensor (ZWFS) Development for Low Order Wavefront Sensing (LOWFS)

ZWFS is known to be photon noise optimal for measuring low order aberrations. Recently, ZWFS was selected as the baseline LOWFS technology on WFIRST for its sensitivity, accuracy, and its ease of integration with the starlight rejection mask. In this paper, we present the development of ZWFS sensor, including the algorithm description, sensitivity analysis, and some early experimental model validation results from a fabricated ZWFS phase mask on a stand-alone LOWFS testbed.

Zernike phase contrast↗

First-Order Runtime Verification using BDDs

Runtime Verification (RV) expedites the analyses of execution traces for detecting system errors and for statistical and quality analysis. Having started modestly, with checking temporal properties that are based on propositional (yes/no) values, the current practice of RV often involves properties that are parametrized by the data observed in the input trace. The specifications are based on various formalisms, such as automata, temporal logics, rule systems, and stream processing. Checking execution traces that are data intensive against a specification that imposes strong dependencies between the data, poses a nontrivial challenges; in particular if runtime verification has to be performed online, while many events that carry data appear within small time proximities. Towards achieving this goal, it was recently suggested to represent relations over the observed data values, based on BDDs, where data elements are enumerated and then converted into bit vectors. This representation provided a very simple and natural extension of an RV algorithm from propositional to first-order LTL, but more importantly, was shown to contribute to the memory compactness and to the speed, as was demonstrated using a corresponding implementation. We extend here the capabilities of BDD-based RV with the ability to express timing constraints, where the monitored events include (integer) clock values. We show how to efficiently operate on BDDs that represent both relations on (enumerations of) values and time dependencies, as required by the addition of the time constraints. We demonstrate our algorithm with an efficient implementation and provide experimental results.

Peled, Doron↗

A simple parallel prefix algorithm for compact finite-difference schemes

A compact scheme is a discretization scheme that is advantageous in obtaining highly accurate solutions. However, the resulting systems from compact schemes are tridiagonal systems that are difficult to solve efficiently on parallel computers. Considering the almost symmetric Toeplitz structure, a parallel algorithm, simple parallel prefix (SPP), is proposed. The SPP algorithm requires less memory than the conventional LU decomposition and is highly efficient on parallel machines. It consists of a prefix communication pattern and AXPY operations. Both the computation and the communication can be truncated without degrading the accuracy when the system is diagonally dominant. A formal accuracy study was conducted to provide a simple truncation formula. Experimental results were measured on a MasPar MP-1 SIMD machine and on a Cray 2 vector machine. Experimental results show that the simple parallel prefix algorithm is a good algorithm for the compact scheme on high-performance computers.

Sun, Xian-He↗

A Parallel Prefix Algorithm for Almost Toeplitz Tridiagonal Systems

A compact scheme is a discretization scheme that is advantageous in obtaining highly accurate solutions. However, the resulting systems from compact schemes are tridiagonal systems that are difficult to solve efficiently on parallel computers. Considering the almost symmetric Toeplitz structure, a parallel algorithm, simple parallel prefix (SPP), is proposed. The SPP algorithm requires less memory than the conventional LU decomposition and is efficient on parallel machines. It consists of a prefix communication pattern and AXPY operations. Both the computation and the communication can be truncated without degrading the accuracy when the system is diagonally dominant. A formal accuracy study has been conducted to provide a simple truncation formula. Experimental results have been measured on a MasPar MP-1 SIMD machine and on a Cray 2 vector machine. Experimental results show that the simple parallel prefix algorithm is a good algorithm for symmetric, almost symmetric Toeplitz tridiagonal systems and for the compact scheme on high-performance computers.

Sun, Xian-He↗

Computer architecture for efficient algorithmic executions in real-time systems: New technology for avionics systems and advanced space vehicles

Improvements and advances in the development of computer architecture now provide innovative technology for the recasting of traditional sequential solutions into high-performance, low-cost, parallel system to increase system performance. Research conducted in development of specialized computer architecture for the algorithmic execution of an avionics system, guidance and control problem in real time is described. A comprehensive treatment of both the hardware and software structures of a customized computer which performs real-time computation of guidance commands with updated estimates of target motion and time-to-go is presented. An optimal, real-time allocation algorithm was developed which maps the algorithmic tasks onto the processing elements. This allocation is based on the critical path analysis. The final stage is the design and development of the hardware structures suitable for the efficient execution of the allocated task graph. The processing element is designed for rapid execution of the allocated tasks. Fault tolerance is a key feature of the overall architecture. Parallel numerical integration techniques, tasks definitions, and allocation algorithms are discussed. The parallel implementation is analytically verified and the experimental results are presented. The design of the data-driven computer architecture, customized for the execution of the particular algorithm, is discussed.

Carroll, Chester C.↗

Improving the Effectiveness of Integral Property Calculation in a CSG Solid Modeling System by Exploiting Predictability

Integral property calculation is an important application for solid modeling systems. Algorithms for computing integral properties for various solid representation schemes are fairly well known. It is important to deigners and users of solid modeling systems to understand the behavior of such algorithms. Specifically the trade-off between execution time and accuracy is critical to effective use of integral property calculation. The average behavior of two algorithms for Constructive Solid Geometry (CSG) representations is investigated. Experimental results from the PADL-2 solid modeling system show that coarse decompositions can be used to predict execution time and error estimates for finer decompositions. Exploiting this predictability allow effective use of the algorithms in a solid modeling system.

Clark, A. L.↗

Using the boundary-layer equations in three-dimensional viscous flow simulation

A simple and computationally efficient algorithm for solving the unsteady three dimensional boundary layer equations in a time accurate or relaxation mode is presented. The algorithm is used to compute the separated flow over a 6:1 ellipsoid at angle of attack and the transonic flow over a finite wing with shock induced separation. These results are compared to available experimental data. A method of using the boundary layer algorithm to accelerate a Navier-Stokes computation is also presented. Example computations indicate that a boundary layer algorithm can be used to improve both the accuracy and efficiency of a Navier-Stokes algorithm.

Vandalsem, William R.↗

Application of unsymmetric block Lanczos vectors in system identification

This paper demonstrates a new system identification approach of using Lanczos coordinates in place of modal coordinates. Identified experimental Lanczos vectors can be directly used in many structural dynamics analysis applications. A multi-input, multi-output frequency-domain technique was used to extract system matrices and an unsymmetric block Lanczos algorithm was used to reduce the order of the experimental model. A cantilever beam example showed promising results, indicating that a new system identification approach using Lanczos coordinates is worthy of further study.

Kim, H. M., Jr.↗