Search NASA⌕ Search

SEARCH · Search NASA

Results for “embedded methods”

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 361 records · Page 20

Smart materials and structures

Embedded optical fibers allow not only the cure-monitoring and in-service lifetime measurements of composite materials, but the NDE of material damage and degradation with aging. The capabilities of such damage-detection systems have been extended to allow the quantitative determination of 2D strain in materials by several different methods, including the interferometric and the numerical. It remains to be seen, what effect the embedded fibers have on the strength of the 'smart' materials created through their incorporation.

Rogowski, Robert S.↗

Workflow Agents vs. Expert Systems: Problem Solving Methods in Work Systems Design

During the 1980s, a community of artificial intelligence researchers became interested in formalizing problem solving methods as part of an effort called "second generation expert systems" (2nd GES). How do the motivations and results of this research relate to building tools for the workplace today? We provide an historical review of how the theory of expertise has developed, a progress report on a tool for designing and implementing model-based automation (Brahms), and a concrete example how we apply 2nd GES concepts today in an agent-based system for space flight operations (OCAMS). Brahms incorporates an ontology for modeling work practices, what people are doing in the course of a day, characterized as "activities." OCAMS was developed using a simulation-to-implementation methodology, in which a prototype tool was embedded in a simulation of future work practices. OCAMS uses model-based methods to interactively plan its actions and keep track of the work to be done. The problem solving methods of practice are interactive, employing reasoning for and through action in the real world. Analogously, it is as if a medical expert system were charged not just with interpreting culture results, but actually interacting with a patient. Our perspective shifts from building a "problem solving" (expert) system to building an actor in the world. The reusable components in work system designs include entire "problem solvers" (e.g., a planning subsystem), interoperability frameworks, and workflow agents that use and revise models dynamically in a network of people and tools. Consequently, the research focus shifts so "problem solving methods" include ways of knowing that models do not fit the world, and ways of interacting with other agents and people to gain or verify information and (ultimately) adapt rules and procedures to resolve problematic situations.

Clancey, William J.↗

Generating Euler Diagrams Through Combinatorial Optimization

Abstract Can a given set system be drawn as an Euler diagram? We present the first method that correctly decides this question for arbitrary set systems if the Euler diagram is required to represent each set with a single connected region. If the answer is yes, our method constructs an Euler diagram. If the answer is no, our method yields an Euler diagram for a simplified version of the set system, where a minimum number of set elements have been removed. Further, we integrate known wellformedness criteria for Euler diagrams as additional optimization objectives into our method. Our focus lies on the computation of a planar graph that is embedded in the plane to serve as the dual graph of the Euler diagram. Since even a basic version of this problem is known to be NP‐hard, we choose an approach based on integer linear programming (ILP), which allows us to compute optimal solutions with existing mathematical solvers. For this, we draw upon previous research on computing planar supports of hypergraphs and adapt existing ILP building blocks for contiguity‐constrained spatial unit allocation and the maximum planar subgraph problem. To generate Euler diagrams for large set systems, for which the proposed simplification through element removal becomes indispensable, we also present an efficient heuristic. We report on experiments with data from MovieDB and Twitter. Over all examples, including 850 non‐trivial instances, our exact optimization method failed only for one set system to find a solution without removing a set element. However, with the removal of only a few set elements, the Euler diagrams can be substantially improved with respect to our wellformedness criteria.

Computer Science↗

Method and Apparatus for Reading Two Dimensional Identification Symbols Using Radar Techniques

A method and apparatus are provided for sensing two-dimensional identification marks provided on a substrate or embedded within a substrate below a surface of the substrate. Micropower impulse radar is used to transmit a high risetime, short duration pulse to a focussed radar target area of the substrate having the two dimensional identification marks. The method further includes the steps of listening for radar echoes returned from the identification marks during a short listening period window occurring a predetermined time after transmission of the radar pulse. If radar echoes are detected, an image processing step is carried out. If no radar echoes are detected, the method further includes sequentially transmitting further high risetime, short duration pulses, and listening for radar echoes from each of said further pulses after different elapsed times for each of the further pulses until radar echoes are detected. When radar echoes are detected, data based on the detected echoes is processed to produce an image of the identification marks.

Harry F Schramm Jr.↗

A Hybrid Boundary Element-Finite Volume Method for Unsteady Transonic Airfoil Flows

A hybrid boundary element finite volume method for unsteady transonic flow computation has been developed. In this method, the unsteady Euler equations in a moving frame of reference are solved in a small embedded domain (inner domain) around the airfoil using an implicit finite volume scheme. The unsteady full-potential equation, written in the same frame of reference and in the form of the Poisson equation. is solved in the outer domain using the integral equation boundary element method to provide the boundary conditions for the inner Euler domain. The solution procedure is a time-accurate stepping procedure, where the outer boundary conditions for the inner domain are updated using the integral equation -- boundary element solution over the outer domain. The method is applied to unsteady transonic flows around the NACA0012 airfoil undergoing pitching oscillation and ramp motion. The results are compared with those of an implicit Euler equation solver, which is used throughout a large computational domain, and experimental data.

Hu, Hong↗

Waveguide including a conductive channel embedded in a substrate and with vias connected to an antenna and a circuit component

Waveguides and methods for manufacturing a waveguide that include forming a first channel in a first layer of dielectric material, the first channel comprising one or more walls; forming a second channel in a second layer of dielectric material, the second channel comprising one or more walls; depositing electrically conductive material on the one or more walls of the first channel; depositing electrically conductive material on the one or more walls of the second channel; arranging the first layer adjacent to the second layer to form a stack with the first channel axially aligned with and facing the second channel; and heating the stack so that the conductive material on the one or more walls of the first channel and the conductive material on the one or more walls of the second channel connect to form the waveguide.

Krueger, Daniel Scott↗

High speed flow past wings

The analytical solution to the transonic small perturbation equation which describes steady compressible flow past finite wings at subsonic speeds can be expressed as a nonlinear integral equation with the perturbation velocity potential as the unknown function. This known formulation is substituted by a system of nonlinear algebraic equations to which various methods are applicable for its solution. Due to the presence of mathematical discontinuities in the flow solutions, however, a main computational difficulty was to ensure uniqueness of the solutions when local velocities on the wing exceeded the speed of sound. For continuous solutions this was achieved by embedding the algebraic system in an one-parameter operator homotopy in order to apply the method of parametric differentiation. The solution to the initial system of equations appears then as a solution to a Cauchy problem where the initial condition is related to the accompanying incompressible flow solution. In using this technique, however, a continuous dependence of the solution development on the initial data is lost when the solution reaches the minimum bifurcation point. A steepest descent iteration technique was therefore, added to the computational scheme for the calculation of discontinuous flow solutions. Results for purely subsonic flows and supersonic flows with and without compression shocks are given and compared with other available theoretical solutions.

Norstrud, H.↗

Applications of the Hybrid Theory to the Scattering of Electrons from HE+ and Li++ and Resonances in these Systems

Applications of the hybrid theory to the scattering of electrons from Ile+ and Li++ and resonances in these systems, A. K. Bhatia, NASA/Goddard Space Flight Center- The Hybrid theory of electron-hydrogen elastic scattering [I] is applied to the S-wave scattering of electrons from He+ and Li++. In this method, both short-range and long-range correlations are included in the Schrodinger equation at the same time. Phase shifts obtained in this calculation have rigorous lower bounds to the exact phase shifts and they are compared with those obtained using the Feshbach projection operator formalism [2], the close-coupling approach [3], and Harris-Nesbet method [4]. The agreement among all the calculations is very good. These systems have doubly-excited or Feshbach resonances embedded in the continuum. The resonance parameters for the lowest ' S resonances in He and Li+ are calculated and they are compared with the results obtained using the Feshbach projection operator formalism [5,6]. It is concluded that accurate resonance parameters can be obtained by the present method, which has the advantage of including corrections due to neighboring resonances and the continuum in which these resonances are embedded.

Bhatia, Anand K.↗

Application of High-Dimensional Fuzzy K-Means Cluster Analysis to CALIOP/CALIPSO Version 4.1 Cloud-Aerosol Discrimination

This study applies fuzzy k-means (FKM) cluster analyses to a subset of the parameters reported in the CALIPSO lidar level 2 data products in order to classify the layers detected as either clouds or aerosols. The results obtained are used to assess the reliability of the cloud–aerosol discrimination (CAD) scores reported in the version 4.1 release of the CALIPSO data products. FKM is an unsupervised learning algorithm, whereas the CALIPSO operational CAD algorithm (COCA) takes a highly supervised approach. Despite these substantial computational and architectural differences, our statistical analyses show that the FKM classifications agree with the COCA classifications for more than 94 % of the cases in the troposphere. This high degree of similarity is achieved because the lidar-measured signatures of the majority of the clouds and the aerosols are naturally distinct, and hence objective methods can independently and effectively separate the two classes in most cases. Classification differences most often occur in complex scenes (e.g., evaporating water cloud filaments embedded in dense aerosol) or when observing diffuse features that occur only intermittently (e.g., volcanic ash in the tropical tropopause layer). The two methods examined in this study establish overall classification correctness boundaries due to their differing algorithm uncertainties. In addition to comparing the outputs from the two algorithms, analysis of sampling, data training, performance measurements, fuzzy linear discriminants, defuzzification, error propagation, and key parameters in feature type discrimination with the FKM method are further discussed in order to better understand the utility and limits of the application of clustering algorithms to space lidar measurements. In general, we find that both FKM and COCA classification uncertainties are only minimally affected by noise in the CALIPSO measurements, though both algorithms can be challenged by especially complex scenes containing mixtures of discrete layer types. Our analysis results show that attenuated backscatter and color ratio are the driving factors that separate water clouds from aerosols; backscatter intensity, depolarization, and mid-layer altitude are most useful in discriminating between aerosols and ice clouds; and the joint distribution of backscatter intensity and depolarization ratio is critically important for distinguishing ice clouds from water clouds.

Zeng, Shan↗

Theoretical study of stress concentrations at circular holes and inclusions in strain hardening materials.

Nonlinear boundary value problems of an infinite elastic-plastic plate with a circular hole subjected to pure tension and pure shear at infinity are solved by a method involving Fourier series and finite difference. On the basis of these solutions, the validity of Neuber's relationship between the stress and strain concentration factors for the plane stress problems is examined and a generalized Stowell formula for the stress concentration factor is proposed for problems in which the applied loading may be pure shear as well as pure tension and, furthermore, other stress states. By the same method of solution, the stress distributions around a rigid circular cylindrical inclusion embedded in an infinite rigid-plastic matrix subjected to uniform transverse pure shear and tension are obtained.

Huang, W. C.↗

Radar observations at 3.5 and 12.6 cm wavelength of asteroid 433 Eros

A study of the asteroid 433 Eros using 3.5 and 12.6 cm radar waves indicates that the surface is very much rougher than any planetary or lunar surface observed by this method. A surface completely covered with sharp edges, pits, subsurface holes, or embedded chunks with scale sizes on the order of our wavelengths seems to be indicated. A model based on a rough rotating triaxial ellipsoid having radii in the rotation equator of 18.6 and 7.9 km agrees well with our data, although a strong wobble in the apparent center frequency of the spectra as rotation progresses indicates that one side may be more reflective than the other, or more likely, that the projected axis of rotation does not equally divide the projected area.

Jurgens, R. F.↗

Applications of remote sensing to geobotanical prospecting for non-renewable resources

Airborne sensors used in the remote detection of geobotanical anomalies are able to locate mineral deposits. Geobotanical stress is manifested in increased visible spectrum reflectance due to a decrease in chlorophyll content which induces chlorosis. The effectiveness of this method is, however, restricted to soils in which plant root structures are embedded in bedrock-derived soils to a depth sufficient for the production of heavy metal stress. It is noted that Landsat remote sensors are inherently better suited to the detection of overall plant density or biomass changes relating to zones of mineralization.

Birnie, R. W.↗

An Euler analysis of leading-edge vortex flows on a forebody-strake at supersonic speeds

The flowfield, surface pressure, and integrated forces and moments for a fighter-type forebody with sharp leading-edge strakes have been obtained by numerical solution of the Euler equations. The method is found to correctly predict the leading-edge vortices and embedded shocks which arise at higher angles of attack. Results are presented for the effects of crossflow grid density, artificial viscosity, angle of attack, streamwise station, and camber on the flow characteristics.

Rose, O. J.↗

Redundancy management for efficient fault recovery in NASA's distributed computing system

The management of redundancy in computer systems was studied and guidelines were provided for the development of NASA's fault-tolerant distributed systems. Fault recovery and reconfiguration mechanisms were examined. A theoretical foundation was laid for redundancy management by efficient reconfiguration methods and algorithmic diversity. Algorithms were developed to optimize the resources for embedding of computational graphs of tasks in the system architecture and reconfiguration of these tasks after a failure has occurred. The computational structure represented by a path and the complete binary tree was considered and the mesh and hypercube architectures were targeted for their embeddings. The innovative concept of Hybrid Algorithm Technique was introduced. This new technique provides a mechanism for obtaining fault tolerance while exhibiting improved performance.

Malek, Miroslaw↗

Propagation of high frequency jet noise using geometric acoustics

Spherical directivity of noise radiated from a convecting quadrupole source embedded in an arbitrary spreading jet is obtained by ray-tracing methods of geometrical acoustics. The six propagation equations are solved in their general form in a rectangular coordinate system. The noise directivity in the far field is calculated by applying an iteration scheme that finds the required radiation angles at the source resulting in propagation through a given observer point. Factors influencing the zone of silence are investigated. The caustics of geometrical acoustics and the exact locations where it forms is demonstrated by studying the variation in ray tube area obtained from transport equation. For a ring source convecting along the center-axis of an axisymmetric jet, the polar directivity of the radiated noise is obtained by an integration with respect to azimuthal directivity of compact quadrupole sources distributed on the ring. The Doppler factor is shown to vary slightly from point to point on the ring. Finally the scaling of the directivity pattern with power -3 of Doppler factor is investigated and compared with experimental data.

Khavaran, A.↗

Propagation of high frequency jet noise using geometric acoustics

Spherical directivity of noise radiated from a convecting quadrupole source embedded in an arbitrary spreading jet is obtained by ray-tracing methods of geometrical acoustics. The six propagation equations are solved in their general form in a rectangular coordinate system. The noise directivity in the far field is calculated by applying an iteration scheme that finds the required radiation angles at the source resulting in propagation through a given observer point. Factors influencing the zone of silence are investigated. The caustics of geometrical acoustics and the exact locations where it forms is demonstrated by studying the variation in ray tube area obtained from transport equation. For a ring source convecting along the center-axis of an axisymmetric jet, the polar directivity of the radiated noise is obtained by an integration with respect to azimuthal directivity of compact quadrupole sources distributed on the ring. The Doppler factor is shown to vary slightly from point to point on the ring. Finally the scaling of the directivity pattern with power -3 of Doppler factor is investigated and compared with experimental data.

Khavaran, A.↗

Design of a cooperative problem-solving system for en-route flight planning: An empirical evaluation

Both optimization techniques and expert systems technologies are popular approaches for developing tools to assist in complex problem-solving tasks. Because of the underlying complexity of many such tasks, however, the models of the world implicitly or explicitly embedded in such tools are often incomplete and the problem-solving methods fallible. The result can be 'brittleness' in situations that were not anticipated by the system designers. To deal with this weakness, it has been suggested that 'cooperative' rather than 'automated' problem-solving systems be designed. Such cooperative systems are proposed to explicitly enhance the collaboration of the person (or a group of people) and the computer system. This study evaluates the impact of alternative design concepts on the performance of 30 airline pilots interacting with such a cooperative system designed to support en-route flight planning. The results clearly demonstrate that different system design concepts can strongly influence the cognitive processes and resultant performances of users. Based on think-aloud protocols, cognitive models are proposed to account for how features of the computer system interacted with specific types of scenarios to influence exploration and decision making by the pilots. The results are then used to develop recommendations for guiding the design of cooperative systems.

Layton, Charles↗

Design of a cooperative problem-solving system for en-route flight planning: An empirical evaluation

Both optimization techniques and expert systems technologies are popular approaches for developing tools to assist in complex problem-solving tasks. Because of the underlying complexity of many such tasks, however, the models of the world implicitly or explicitly embedded in such tools are often incomplete and the problem-solving methods fallible. The result can be 'brittleness' in situations that were not anticipated by the system designers. To deal with this weakness, it has been suggested that 'cooperative' rather than 'automated' problem-solving systems be designed. Such cooperative systems are proposed to explicitly enhance the collaboration of the person (or a group of people) and the computer system. This study evaluates the impact of alternative design concepts on the performance of 30 airline pilots interacting with such a cooperative system designed to support enroute flight planning. The results clearly demonstrate that different system design concepts can strongly influence the cognitive processes and resultant performances of users. Based on think-aloud protocols, cognitive models are proposed to account for how features of the computer system interacted with specific types of scenarios to influence exploration and decision making by the pilots. The results are then used to develop recommendations for guiding the design of cooperative systems.

Layton, Charles↗