Search NASA⌕ Search

SEARCH · Search NASA

Results for “instance selection”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

LDEF polymeric materials: A summary of Langley characterization

The NASA Long Duration Exposure Facility (LDEF) enabled the exposure of a wide variety of materials to the low earth orbit (LEO) environment. This paper provides a summary of research conducted at the Langley Research Center into the response of selected LDEF polymers to this environment. Materials examined include graphite fiber reinforced epoxy, polysulfone, and additional polyimide matrix composites, films of FEP Teflon, Kapton, several experimental high performance polyimides, and films of more traditional polymers such as poly(vinyl toluene) and polystyrene. Exposure duration was either 10 months or 5.8 years. Flight and control specimens were characterized by a number of analytical techniques including ultraviolet-visible and infrared spectroscopy, thermal analysis, scanning electron and scanning tunneling microscopy, x-ray photoelectron spectroscopy, and, in some instances, selected solution property measurements. Characterized effects were found to be primarily surface phenomena. These effects included atomic oxygen-induced erosion of unprotected surfaces and ultraviolet-induced discoloration and changes in selected molecular level parameters. No gross changes in molecular structure or glass transition temperature were noted. The intent of this characterization is to increase our fundamental knowledge of space environmental effects as an aid in developing new and improved polymers for space application. A secondary objective is to develop benchmarks to enhance our methodology for the ground-based simulation of environmental effects so that polymer performance in space can be more reliably predicted.

Young, Philip R.↗
NASA NTRS1974

Segregation effects during solidification in weightless melts

The generalized problem of determining the temperature and solute concentration profiles during directional solidification of binary alloys with surface evaporation was mathematically formulated. Realistic initial and boundary conditions were defined, and a computer program was developed and checked out. The programs computes the positions of two moving boundaries, evaporation and solidification, and their velocities. Temperature and solute concentration profiles in the semiinfinite material body at selected instances of time are also computed.

Li, C.↗
NASA NTRS2000

Radar Observation of Large Attenuation in Convective Storms: Implications for the Dropsize Distribution

Airborne meteorological radars typically operate at attenuating wavelengths. The path integrated attenuation (PIA) can be estimated using the surface reference technique (SRT). In this method, an initial value is determined for the radar cross section of the earth surface in a rain-free area in relatively close proximity to the rain cloud. During subsequent observations of precipitation any decrease 'in the observed surface cross section from the reference value s assumed to be a result of the two-way attenuation along the propagation path. In this paper we present selected instances of high PIA observed over land by an airborne radar. The observations were taken in Brazil and Florida during TRMM (Tropical Rainfall Measurement Mission) field campaigns. We compared these observations with collocated and nearly simultaneous ground-based radar observations by an S-band radar that is not subject to significant attenuation. In this preliminary evaluation, a systematic difference in the attenuation in the two storms is attributed to a difference in the raindrop size distributions; this is supported by observations of ZDR (differential reflectivity).

Tian, Lin↗
NASA NTRS2016

PAH Spectroscopy: Past, Present and Future

Since their discovery in the 1970's, astronomers, astrophysicists and astrochemists have been intrigued by the nearly ubiquitous unidentified infrared emission (UIR) bands. In the 1980's, investigators determined the most probably source of these emissions was a family of molecules known as Polycyclic Aromatic Hydrocarbons or simply PAHs. In order to better understand these interstellar IR features and utilize them as chemical probes of the cosmos, laboratory spectroscopists have spent the last three decades investigating the spectroscopy of PAHs under astrophysically relevant conditions. This presentation will discuss the similarities and differences in the spectroscopic properties of PAHs as one goes from the Far to Mid to Near infrared wavelength regions and probe the changes observed in PAH spectra as they go from neutral to ionized molecules suspended in an inert gas matrix, to PAHs in a water ice matrix and as a thin film. In selected instances, the experimental results will be compared to theoretical values. The presentation will conclude with a discussion on the future directions of PAH spectroscopy.

spectroscopic properties of PAHs↗
NASA NTRS2004

Selective Reinforcement to Enhance the Structural Performance of Metallic Compression Panels

An experimental and analytical investigation of the influence of selective reinforcement on metallic panels with cutouts was conducted. Selective reinforcement was shown to be a weight effective concept for increasing structural performance of panels with cutouts designed to carry loads into the post-buckled regime. For instance, a selectively reinforced aluminum panel under shear load exhibited a 68 percent increase in specific-buckling load as compared to a geometrically comparable unreinforced aluminum panel. In comparison, a quasi-isotropic carbon-fiber-reinforced-polymer composite panel only produced a 45 percent higher specific-buckling load than the same unreinforced aluminum panel. Selective reinforcement offers the potential to tailor structural response through local strengthening and stiffening the structure for a broad range of structural application.

Farley, Gary L.↗
NASA NTRS1996

Satisfiability Test with Synchronous Simulated Annealing on the Fujitsu AP1000 Massively-Parallel Multiprocessor

Solving the hard Satisfiability Problem is time consuming even for modest-sized problem instances. Solving the Random L-SAT Problem is especially difficult due to the ratio of clauses to variables. This report presents a parallel synchronous simulated annealing method for solving the Random L-SAT Problem on a large-scale distributed-memory multiprocessor. In particular, we use a parallel synchronous simulated annealing procedure, called Generalized Speculative Computation, which guarantees the same decision sequence as sequential simulated annealing. To demonstrate the performance of the parallel method, we have selected problem instances varying in size from 100-variables/425-clauses to 5000-variables/21,250-clauses. Experimental results on the AP1000 multiprocessor indicate that our approach can satisfy 99.9 percent of the clauses while giving almost a 70-fold speedup on 500 processors.

Sohn, Andrew↗
NASA NTRS2007

Corrosive Space Gas Restores Artwork, Promises Myriad Applications

Atomic oxygen's unique characteristic of oxidizing primarily hydrogen, carbon, and hydrocarbon polymers at surface levels has been applied in the restoration of artwork, detection of document forgeries, and removal of bacterial contaminants from surgical implants. The Electro-Physics Branch at Glenn Research Center built on corrosion studies of long-duration coatings for use in space, and applied atomic oxygen's selectivity to instances where elements need to be removed from a surface. Atomic oxygen is able to remove organic compounds high in carbon (mostly soot) from fire-damaged artworks without causing a shift in the paint color. First successfully tested on oil paintings, the team then applied the restoration technique to acrylics, watercolors, and ink. The successful art restoration process was well-publicized, and soon a multinational, nonprofit professional organization dedicated to the art of forensic analysis of documents had successfully applied this process in the field of forgery detection. The gas has biomedical applications as well-Atomic Oxygen technology can be used to decontaminate orthopedic surgical hip and knee implants prior to surgery, and additional collaborative research between the Cleveland Clinic Foundation and the Glenn team shows that this gas's roughening of surfaces improves cell adhesion, which is important for the development of new drugs.

Source record↗
NASA NTRS2019

Optical Flow for Intermediate Frame Interpolation of Multispectral Geostationary Satellite Data

Applications in areas such as weather tracking and modeling, ecosystem monitoring, wildfire detection, and land-cover change are heavily dependent on spatial and temporal resolutions of satellite observations. However, there are typically trade-offs between spatial and temporal resolutions in dataset selection. For instance, geostationary weather tracking satellites are designed to take snapshots many times throughout the day but sensor hardware limits data collection. In this work we tackle this limitation, developing a method for temporal upsampling of multi-spectral satellite imagery using optical flow video interpolation deep convolutional neural networks. The presented model, extends Super SloMo (SSM) from single optical flow estimates to multichannel where flows are computed per band. We apply this technique on 8 multi-spectral bands of NOAA/NASA's GOES-16 mesoscale dataset to temporally enhance full disk hemispheric snapshots from 15 minutes to 1 minute. Through extensive experimentation, we show SSM vastly outperforms the linear interpolation baseline and that multichannel optical flows improves performance on GOES-16. A visual analysis of optical flow vectors clearly identifies hurricanes and large-scale atmospheric dynamics. Furthermore, we discuss challenges and open questions related to optical flow and temporal interpolation of multispectral geostationary satellite imagery.

Optical Flow↗
NASA NTRS1983

Study of LANDSAT-D thematic mapper performance as applied to hydrocarbon exploration

Many scenes of particular interest have a light dusting of snow cover. The possible use of hue-saturation-intensity transformations to reduce the effect of snow cover is being investigated. A tape of the Greeley, Colorado scene was reviewed on the interactive system and image types to be produced (decorrelated 2,3,4; natural color 1,2,3,; hue separation value 5/2,5/7 eigen 1; 4,5,7 in two color combinations) were selected. In several instances, a 1,3,4 combination produces a more useful false color infrared version of TM data than the more common 2,3,4 arrangement, probably because band 1 is less highly correlated with the band 3 and 4 than is band 2. A review of spacecraft performance suggests that the standard corrections applied at GSFC are more complicated than necessary in some areas and insufficient in other cases. The image motion compensation device on the TM works so well that bow-typing effects are very small; there are differences in the radiometry of forward and backward scans that make additional calibration necessary.

Source record↗
NASA NTRS1997

A Disturbance Rejection Approach to Actuator and Sensor Placement

For various reasons as discussed for instance in, the selection of actuator and sensor positions is still ad hoc. This is especially true for flexible structures where many candidate configurations can exist. This study is an attempt to make the selection process more methodical. One approach to actuator and sensor placement is to optimize a closed loop performance metric directly by selecting the actuators, sensors, and controller gains simultaneously. This direct approach makes sense if the desired closed loop performance is well defined. Since the individual actuator and sensor contributions to the closed loop performance metric is complex, the solution strategy usually employs non linear programming with many design and numerical iterations. A second approach is to select actuators and/or sensors based on open loop properties so that closed loop performance is indirectly optimized. Since the individual sensor and actuator contributions to the open loop metric is simple, nonlinear optimization is usually not needed. This approach will suggest efficient actuator and sensor configurations for any type of control law. The method suggested in this study falls into the latter class of approaches.

Lim, K. B.↗
NASA NTRS2007

Salience Assignment for Multiple-Instance Regression

We present a Multiple-Instance Learning (MIL) algorithm for determining the salience of each item in each bag with respect to the bag's real-valued label. We use an alternating-projections constrained optimization approach to simultaneously learn a regression model and estimate all salience values. We evaluate this algorithm on a significant real-world problem, crop yield modeling, and demonstrate that it provides more extensive, intuitive, and stable salience models than Primary-Instance Regression, which selects a single relevant item from each bag.

regression↗
NASA NTRS1989

Avoiding a maneuvering aircraft with TCAS

The present investigation was carried out in NASA's Man-Vehicle Systems Research Facility B 727 simulator because of the need for veridical aircraft response. Pilot performance was measured in testing TCAS II after an avoidance maneuver has been initiated. A proposed change to the system will cause the TCAS II to issue a subsequent maneuver. This maneuver may be an increase in climb or descent rate from 1500 to 2500 ft/min, or a change from a climb to a descent or a descent to a climb. Three questions were addressed: (1) can the pilot detect the change in the maneuver advisory, (2) can the pilot respond promptly and accurately to the new advisory, and (3) can the maneuver be performed in the normal operating envelope of the aircraft. The reaction times found in the study suggest that pilots are able to respond within the two seconds targeted by the TCAS logic. The pilot performance data were used to modify the TCAS II logic to reflect actual pilot performance. This will result in a safe and appropriate maneuver selection in the rare instance when the conflicting aircraft maneuvers, and by doing so invalidates the initial maneuver issued by the collision avoidance system.

Chappell, Sheryl L.↗
NASA NTRS2004

Designing Domain-Specific HUMS Architectures: An Automated Approach

The HUMS automation system automates the design of HUMS architectures. The automated design process involves selection of solutions from a large space of designs as well as pure synthesis of designs. Hence the whole objective is to efficiently search for or synthesize designs or parts of designs in the database and to integrate them to form the entire system design. The automation system adopts two approaches in order to produce the designs: (a) Bottom-up approach and (b) Top down approach. Both the approaches are endowed with a Suite of quantitative and quantitative techniques that enable a) the selection of matching component instances, b) the determination of design parameters, c) the evaluation of candidate designs at component-level and at system-level, d) the performance of cost-benefit analyses, e) the performance of trade-off analyses, etc. In short, the automation system attempts to capitalize on the knowledge developed from years of experience in engineering, system design and operation of the HUMS systems in order to economically produce the most optimal and domain-specific designs.

Mukkamala, Ravi↗
NASA NTRS1992

Machine Learning Techniques in Optimal Design

Many important applications can be formalized as constrained optimization tasks. For example, we are studying the engineering domain of two-dimensional (2-D) structural design. In this task, the goal is to design a structure of minimum weight that bears a set of loads. A solution to a design problem in which there is a single load (L) and two stationary support points (S1 and S2) consists of four members, E1, E2, E3, and E4 that connect the load to the support points is discussed. In principle, optimal solutions to problems of this kind can be found by numerical optimization techniques. However, in practice [Vanderplaats, 1984] these methods are slow and they can produce different local solutions whose quality (ratio to the global optimum) varies with the choice of starting points. Hence, their applicability to real-world problems is severely restricted. To overcome these limitations, we propose to augment numerical optimization by first performing a symbolic compilation stage to produce: (a) objective functions that are faster to evaluate and that depend less on the choice of the starting point and (b) selection rules that associate problem instances to a set of recommended solutions. These goals are accomplished by successive specializations of the problem class and of the associated objective functions. In the end, this process reduces the problem to a collection of independent functions that are fast to evaluate, that can be differentiated symbolically, and that represent smaller regions of the overall search space. However, the specialization process can produce a large number of sub-problems. This is overcome by deriving inductively selection rules which associate problems to small sets of specialized independent sub-problems. Each set of candidate solutions is chosen to minimize a cost function which expresses the tradeoff between the quality of the solution that can be obtained from the sub-problem and the time it takes to produce it. The overall solution to the problem, is then obtained by solving in parallel each of the sub-problems in the set and computing the one with the minimum cost. In addition to speeding up the optimization process, our use of learning methods also relieves the expert from the burden of identifying rules that exactly pinpoint optimal candidate sub-problems. In real engineering tasks it is usually too costly to the engineers to derive such rules. Therefore, this paper also contributes to a further step towards the solution of the knowledge acquisition bottleneck [Feigenbaum, 1977] which has somewhat impaired the construction of rulebased expert systems.

Cerbone, Giuseppe↗
NASA NTRS2013

Granular Media-Based Tunable Passive Vibration Suppressor

and vibration suppression device is composed of statically compressed chains of spherical particles. The device superimposes a combination of dissipative damping and dispersive effects. The dissipative damping resulting from the elastic wave attenuation properties of the bulk material selected for the granular media is independent of particle geometry and periodicity, and can be accordingly designed based on the dissipative (or viscoelastic) properties of the material. For instance, a viscoelastic polymer might be selected where broadband damping is desired. In contrast, the dispersive effects result from the periodic arrangement and geometry of particles composing a linear granular chain. A uniform (monatomic) chain of statically compressed spherical particles will have a low-pass filter effect, with a cutoff frequency tunable as a function of particle mass, elastic modulus, Poisson fs ratio, radius, and static compression. Elastic waves with frequency content above this cutoff frequency will exhibit an exponential decay in amplitude as a function of propagation distance. System design targeting a specific application is conducted using a combination of theoretical, computational, and experimental techniques to appropriately select the particle radii, material (and thus elastic modulus and Poisson fs ratio), and static compression to satisfy estimated requirements derived for shock and/or vibration protection needs under particular operational conditions. The selection of a chain of polymer spheres with an elastic modulus .3 provided the appropriate dispersive filtering effect for that exercise; however, different operational scenarios may require the use of other polymers, metals, ceramics, or a combination thereof, configured as an array of spherical particles. The device is a linear array of spherical particles compressed in a container with a mechanism for attachment to the shock and/or vibration source, and a mechanism for attachment to the article requiring isolation (Figure 1). This configuration is referred to as a single-axis vibration suppressor. This invention also includes further designs for the integration of the single-axis vibration suppressor into a six-degree-of-freedom hexapod "Stewart"mounting configuration (Figure 2). By integrating each singleaxis vibration suppressor into a hexapod formation, a payload will be protected in all six degrees of freedom from shock and/or vibration. Additionally, to further enable the application of this device to multiple operational scenarios, particularly in the case of high loads, the vibration suppressor devices can be used in parallel in any array configuration.

Dillon, Robert P.↗
NASA NTRSDate not supplied

A Verification Framework for Runtime Assurance of Autonomous UAS

Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.

PVS↗
NASA NTRS2017

A Fuzzy Logic Approach for Separation Assurance and Collision Avoidance for Unmanned Aerial Systems

In the coming years, operations in low altitude airspace will vastly increase as the capabilities and applications of small Unmanned Aerial Systems (sUAS) continue to multiply. Therefore, solutions to managing sUAS in highly congested airspace must be explored. In this study, a Fuzzy Logic based approach was used to help mitigate the risk of collisions between aircraft using separation assurance and collision avoidance techniques. The system was evaluated for its effectiveness to mitigate the risk of mid-air collisions between aircraft. This system utilizes only current state information and can resolve potential conflicts without knowledge of intruder intent. The avoidance logic was verified using formal methods and shown to select the correct action in all instances. Additionally, the Fuzzy Logic Controllers were shown to always turn the vehicles in the correct direction. Numerical testing demonstrated that the avoidance system was able to prevent a mid-air collision between two sUAS in all tested cases. Simulations were also performed in a three-dimensional environment with a heterogenous fleet of sUAS performing a variety of realistic missions. Simulations showed that the system was 99.98 effective at preventing mid-air collisions when separation assurance was disabled (unmitigated case) and 100 effective when enabled (mitigated case).

Verification & Validation of a Fuzzy Logic Control↗
NASA NTRS1992

Model-driven mapping onto distributed memory parallel computers

The author addresses the problem of exploiting the parallelism available in a program to efficiently employ the resources of the target machine in the context of building a mapping compiler for a distributed memory parallel machine. He demonstrates the effectiveness of using execution models to select the best mapping technique from among those available for a given program segment on a particular machine. Through analysis of the execution models for several mapping techniques for one class of programs on a linear processor array, it is shown that selecting the best technique for a particular program instance can make a significant difference in performance. On the other hand, the results of benchmarks from a mapping compiler for the Warp systolic array machine show that the execution models considered are accurate enough to select the best mapping technique for a given program.

Sussman, Alan↗