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

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↗

Constitutive properties of adult mammalian cardiac muscle cells

BACKGROUND: The purpose of this study was to determine whether changes in the constitutive properties of the cardiac muscle cell play a causative role in the development of diastolic dysfunction. METHODS AND RESULTS: Cardiocytes from normal and pressure-hypertrophied cats were embedded in an agarose gel, placed on a stretching device, and subjected to a change in stress (sigma), and resultant changes in cell strain (epsilon) were measured. These measurements were used to examine the passive elastic spring, viscous damping, and myofilament activation. The passive elastic spring was assessed in protocol A by increasing the sigma on the agarose gel at a constant rate to define the cardiocyte sigma-versus-epsilon relationship. Viscous damping was assessed in protocol B from the loop area between the cardiocyte sigma-versus-epsilon relationship during an increase and then a decrease in sigma. In both protocols, myofilament activation was minimized by a reduction in [Ca2+]i. Myofilament activation effects were assessed in protocol C by defining cardiocyte sigma versus epsilon during an increase in sigma with physiological [Ca2+]i. In protocol A, the cardiocyte sigma-versus-epsilon relationship was similar in normal and hypertrophied cells. In protocol B, the loop area was greater in hypertrophied than normal cardiocytes. In protocol C, the sigma-versus-epsilon relation in hypertrophied cardiocytes was shifted to the left compared with normal cells. CONCLUSIONS: Changes in viscous damping and myofilament activation in combination may cause pressure-hypertrophied cardiocytes to resist changes in shape during diastole and contribute to diastolic dysfunction.

NASA Discipline Cardiopulmonary↗

Mineralization of collagen may occur on fibril surfaces: evidence from conventional and high-voltage electron microscopy and three-dimensional imaging

The interaction between collagen and mineral crystals in the normally calcifying leg tendons from the domestic turkey, Meleagris gallopavo, has been investigated at an ultrastructural level with conventional and high-voltage electron microscopy, computed tomography, and three-dimensional image reconstruction methods. Specimens treated by either aqueous or anhydrous techniques and resin-embedded were appropriately sectioned and regions of early tendon mineralization were photographed. On the basis of individual photomicrographs, stereoscopic pairs of images, and tomographic three-dimensional image reconstructions, platelet-shaped crystals may be demonstrated for the first time in association with the surface of collagen fibrils. Mineral is also observed in closely parallel arrays within collagen hole and overlap zones. The mineral deposition at these spatially distinct locations in the tendon provides insight into possible means by which calcification is mediated by collagen as a fundamental event in skeletal and dental formation among vertebrates.

NASA Discipline Musculoskeletal↗

Monitoring System for Storm Readiness and Recovery of Test Facilities: Integrated System Health Management (ISHM) Approach

Severe weather events are likely occurrences on the Mississippi Gulf Coast. It is important to rapidly diagnose and mitigate the effects of storms on Stennis Space Center's rocket engine test complex to avoid delays to critical test article programs, reduce costs, and maintain safety. An Integrated Systems Health Management (ISHM) approach and technologies are employed to integrate environmental (weather) monitoring, structural modeling, and the suite of available facility instrumentation to provide information for readiness before storms, rapid initial damage assessment to guide mitigation planning, and then support on-going assurance as repairs are effected and finally support recertification. The system is denominated Katrina Storm Monitoring System (KStorMS). Integrated Systems Health Management (ISHM) describes a comprehensive set of capabilities that provide insight into the behavior the health of a system. Knowing the status of a system allows decision makers to effectively plan and execute their mission. For example, early insight into component degradation and impending failures provides more time to develop work around strategies and more effectively plan for maintenance. Failures of system elements generally occur over time. Information extracted from sensor data, combined with system-wide knowledge bases and methods for information extraction and fusion, inference, and decision making, can be used to detect incipient failures. If failures do occur, it is critical to detect and isolate them, and suggest an appropriate course of action. ISHM enables determining the condition (health) of every element in a complex system-of-systems or SoS (detect anomalies, diagnose causes, predict future anomalies), and provide data, information, and knowledge (DIaK) to control systems for safe and effective operation. ISHM capability is achieved by using a wide range of technologies that enable anomaly detection, diagnostics, prognostics, and advise for control: (1) anomaly detection algorithms and strategies, (2) fusion of DIaK for anomaly detection (model-based, numerical, statistical, empirical, expert-based, qualitative, etc.), (3) diagnostics/prognostics strategies and methods, (4) user interface, (5) advanced control strategies, (6) integration architectures/frameworks, (7) embedding of intelligence. Many of these technologies are mature, and they are being used in the KStorMS. The paper will describe the design, implementation, and operation of the KStorMS; and discuss further evolution to support other needs such as condition-based maintenance (CBM).

Figueroa, Fernando↗

Swarm Mentality: Toward Automatic Swarm State Awareness with Runtime Verification

Cyber-Physical Systems (CPSs) already exhibit impressive performance in all areas of human life, and swarms of CPSs promise to increase their capabilities even further. However, to effectively utilize CPS swarms their complexity of operation has to scale sub-linearly with the number of swarm members. Presenting the swarm to an operator as a single entity almost eliminates the additional per-member overhead entirely. To operate a swarm as one entity, and/or to increase the swarm’s autonomy, the operator and the swarm members need to reason and communicate at the same level of abstraction, i.e. the swarm needs a sense of “self.” Therefore, we require the ability to specify whole swarm properties yet monitor them at the member level. We examine one architecture for achieving this awareness by: 1) Defining a taxonomy for comparing techniques that synthesize this belief-state 2) Propose use of the Runtime Verification formal method to fill this role 3) Present preliminary designs for extending and embedding such a system in the Distributed Spacecraft Autonomy architecture to generate per-member monitors from swarm level specification.

Runtime Verification↗

Programming - What is Next?

The paper provides an introduction to the track: “Program- ming - What is Next?”, organized by the authors as part of ISoLA 2021: the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 14 papers were pre- sented in the track, with responses to the question: what are the trends in current more recent programming languages, and what can be expected of future languages?. The track covers such topics as general-purpose programming languages, domain-specific languages, formal methods and modeling languages, textual versus graphical languages, and application programming versus embedded programming.

Steffen, Bernhard↗

Probabilistic finite elements for fracture mechanics

The probabilistic finite element method (PFEM) is developed for probabilistic fracture mechanics (PFM). A finite element which has the near crack-tip singular strain embedded in the element is used. Probabilistic distributions, such as expectation, covariance and correlation stress intensity factors, are calculated for random load, random material and random crack length. The method is computationally quite efficient and can be expected to determine the probability of fracture or reliability.

Besterfield, Glen↗

Deriving the Coronal Magnetic Field Using Parametric Transformation Analysis

When plasma-beta greater than 1 then the gas pressure dominates over the magnetic pressure. This ratio as a function along the coronal magnetic field lines varies from beta greater than 1 in the photosphere at the base of the field lines, to beta much less than 1 in the mid-corona, to beta greater than 1 in the upper corona. Almost all magnetic field extrapolations do not or cannot take into account the full range of beta. They essentially assume beta much less than 1, since the full boundary conditions do not exist in the beta greater than 1 regions. We use a basic parametric representation of the magnetic field lines such that the field lines can be manipulated to match linear features in the EUV and SXR coronal images in a least squares sense. This research employs free-form deformation mathematics to generate the associated coronal magnetic field. In our research program, the complex magnetic field topology uses Parametric Transformation Analysis (PTA) which is a new and innovative method to describe the coronal fields that we are developing. In this technique the field lines can be viewed as being embedded in a plastic medium, the frozen-in-field-line concept. As the medium is deformed the field lines are similarly deformed. However the advantage of the PTA method is that the field line movement represents a transformation of one magnetic field solution into another magnetic field solution. When fully implemented, this method will allow the resulting magnetic field solution to fully match the magnetic field lines with EUV/SXR coronal loops by minimizing the differences in direction and dispersion of a collection of PTA magnetic field lines and observed field lines. The derived magnetic field will then allow beta greater than 1 regions to be included, the electric currents to be calculated, and the Lorentz force to be determined. The advantage of this technique is that the solution is: (1) independent of the upper and side boundary conditions, (2) allows non-vanishing magnetic forces, and (3) provides a global magnetic field solution, which contains high- and low-beta regimes and maximizes the similarity between the field lines structure and all the coronal images of the region. The coronal image analysis is crucial to the investigation and for the first time these images can be exploited to derive the coronal magnetic field in a well-posed mathematical formulation. This program is an outgrowth of an investigation in which an extrapolated potential field was required to be "inflated" in order to have the field lines match the Yohkoh/SXT images. The field lines were radially stretched resulting in a better match to the coronal loops of an active region. The PTA method of radial and non-radial deformations of field lines to provide a match to the EUV/SXR images will be presented.

Gary, G. Allen↗

Load sharing in distributed real-time systems with state-change broadcasts

A decentralized dynamic load-sharing (LS) method based on state-change broadcasts is proposed for a distributed real-time system. Whenever the state of a node changes from underloaded to fully loaded and vice versa, the node broadcasts this change to a set of nodes, called a buddy set, in the system. The performance of the method is evaluated with both analytic modeling and simulation. It is modeled first by an embedded Markov chain for which numerical solutions are derived. The model solutions are then used to calculate the distribution of queue lengths at the nodes and the probability of meeting task deadlines. The analytical results show that buddy sets of 10 nodes outperform those of less than 10 nodes, and the incremental benefit gained from increasing the buddy set size beyond 15 nodes is insignificant. These and other analytical results are verified by simulation. The proposed LS method is shown to meet task deadlines with a very high probability.

Shin, Kang G.↗