Search NASA⌕ Search

SEARCH · Search NASA

Results for “find”

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 37 records · Page 2

Finding maximum on an array processor with a global bus

The problem of finding the maximum of a set of values stored one/processor on an n x n array of processors is analyzed. The array has a time-shared global bus in addition to conventional processor-processor links. A two-phase algorithm for finding the maximum is presented that uses conventional links during the first phase and the global bus during the second. This algorithm is faster than algorithms that use either only the global bus or only the conventional links. Two types of interconnection patterns (the eighth nearest neighbor and the fourth nearest neighbor) are analyzed. In both cases it is shown that the time required to find the maximum using the two-phase algorithm is 0(n to the 2/3-power) assuming the propagation speed of the global bus to be a constant independent of the size of the array. In the case where the propagation speed is logarithmic in the number of processors, the time to find the maximum is 0(/n-squared log n/1/3), for both types of arrays. Extensions to q-dimensional arrays show that the two-phase algorithm is superior for any fixed value of q.

Bokhari, S. H.↗

FINDS: A fault inferring nonlinear detection system programmers manual, version 3.0

Detailed software documentation of the digital computer program FINDS (Fault Inferring Nonlinear Detection System) Version 3.0 is provided. FINDS is a highly modular and extensible computer program designed to monitor and detect sensor failures, while at the same time providing reliable state estimates. In this version of the program the FINDS methodology is used to detect, isolate, and compensate for failures in simulated avionics sensors used by the Advanced Transport Operating Systems (ATOPS) Transport System Research Vehicle (TSRV) in a Microwave Landing System (MLS) environment. It is intended that this report serve as a programmers guide to aid in the maintenance, modification, and revision of the FINDS software.

Lancraft, R. E.↗

Plausible Explanations for Trends in Project Programmatic Findings

This paper investigates several published hypotheses to determine which might explain the observed cyclic pattern in programmatic findings by independent review teams over a ten-year period. The data does not neatly support any of the intra-project theories considered; however, something is obviously triggering these findings. A closer examination of the narratives associated with the programmatic findings did reveal consistency. The recurring themes that appeared with more numerous findings were unclear roles and staffing problems. Other explanations, external to the project teams, were also explored and the data supported a distributed political influence on project performance.

Parsons, Vickie S.↗

An Integrated Centroid Finding and Particle Overlap Decomposition Algorithm for Stereo Imaging Velocimetry

An integrated algorithm for decomposing overlapping particle images (multi-particle objects) along with determining each object s constituent particle centroid(s) has been developed using image analysis techniques. The centroid finding algorithm uses a modified eight-direction search method for finding the perimeter of any enclosed object. The centroid is calculated using the intensity-weighted center of mass of the object. The overlap decomposition algorithm further analyzes the object data and breaks it down into its constituent particle centroid(s). This is accomplished with an artificial neural network, feature based technique and provides an efficient way of decomposing overlapping particles. Combining the centroid finding and overlap decomposition routines into a single algorithm allows us to accurately predict the error associated with finding the centroid(s) of particles in our experiments. This algorithm has been tested using real, simulated, and synthetic data and the results are presented and discussed.

McDowell, Mark↗

Automatically Finding the Control Variables for Complex System Behavior

Testing large-scale systems is expensive in terms of both time and money. Running simulations early in the process is a proven method of finding the design faults likely to lead to critical system failures, but determining the exact cause of those errors is still time-consuming and requires access to a limited number of domain experts. It is desirable to find an automated method that explores the large number of combinations and is able to isolate likely fault points. Treatment learning is a subset of minimal contrast-set learning that, rather than classifying data into distinct categories, focuses on finding the unique factors that lead to a particular classification. That is, they find the smallest change to the data that causes the largest change in the class distribution. These treatments, when imposed, are able to identify the factors most likely to cause a mission-critical failure. The goal of this research is to comparatively assess treatment learning against state-of-the-art numerical optimization techniques. To achieve this, this paper benchmarks the TAR3 and TAR4.1 treatment learners against optimization techniques across three complex systems, including two projects from the Robust Software Engineering (RSE) group within the National Aeronautics and Space Administration (NASA) Ames Research Center. The results clearly show that treatment learning is both faster and more accurate than traditional optimization methods.

Gay, Gregory↗

The Gemini Planet-Finding Campaign: The Frequency of Giant Planets Around Debris Disk Stars

We have completed a high-contrast direct imaging survey for giant planets around 57 debris disk stars as part of the Gemini NICI Planet-Finding Campaign. We achieved median H-band contrasts of 12.4 mag at 0farcs5 and 14.1 mag at 1'' separation. Follow-up observations of the 66 candidates with projected separation <500 AU show that all of them are background objects. To establish statistical constraints on the underlying giant planet population based on our imaging data, we have developed a new Bayesian formalism that incorporates (1) non-detections, (2) single-epoch candidates, (3) astrometric and (4) photometric information, and (5) the possibility of multiple planets per star to constrain the planet population. Our formalism allows us to include in our analysis the previously known β Pictoris and the HR 8799 planets. Our results show at 95% confidence that <13% of debris disk stars have a ≥5 M Jup planet beyond 80 AU, and <21% of debris disk stars have a ≥3 M Jup planet outside of 40 AU, based on hot-start evolutionary models. We model the population of directly imaged planets as d(sq.)N/dMda ∝ m(sub α) a(sup β), where m is planet mass and a is orbital semi-major axis (with a maximum value of a(sub max)). We find that β < -0.8 and/or α > 1.7. Likewise, we find that β < -0.8 and/or a(sub max) < 200 AU. For the case where the planet frequency rises sharply with mass (α > 1.7), this occurs because all the planets detected to date have masses above 5 M(sub Jup), but planets of lower mass could easily have been detected by our search. If we ignore the β Pic and HR 8799 planets (should they belong to a rare and distinct group), we find that <20% of debris disk stars have a ≥3 M(sub Jup) planet beyond 10 AU, and β < -0.8 and/or α < -1.5. Likewise, β < -0.8 and/or a(sub max) < 125 AU. Our Bayesian constraints are not strong enough to reveal any dependence of the planet frequency on stellar host mass. Studies of transition disks have suggested that about 20% of stars are undergoing planet formation; our non-detections at large separations show that planets with orbital separation >40 AU and planet masses >3 M(sub Jup) do not carve the central holes in these disks.

Bayesian formalism↗

Automatically Finding Ship-Tracks to Enable Large-Scale Analysis of Aerosol-Cloud Interactions

Ship tracks appear as long winding linear features in satellite images and are produced by aerosols from ship exhausts changing low cloud properties. They are one of the best examples of aerosol‐cloud interaction experiments. However, manually finding ship tracks from satellite data on a large scale is prohibitively costly while a large number of samples are required to improve our understanding. Here we train a deep neural network to automate finding ship tracks. The neural network model generalizes well as it not only finds ship tracks labeled by human experts but also detects those that are occasionally missed by humans. It finds more ship tracks than all previous studies combined and produces a map of ship track distributions off the California coast that matches well with known shipping traffic. Our technique will enable studying aerosol effects on low clouds using ship tracks on a large scale, which will potentially narrow the uncertainty of the aerosol‐cloud interactions.

aerosol cloud interactions↗

Adaptive Stress Testing: Using Reinforcement Learning to Find Failures in Safety-Critical Systems

Emerging applications in artificial intelligence, such as driverless cars and autonomous aircraft promise to be more efficient, cheaper to operate, and always available. However, ensuring the safety of these systems remains a major challenge to their certification and adoption. These autonomous systems are expected to routinely make safety-critical decisions where failures can have serious consequences including loss of life and property. Testing and validation techniques aim to identify and diagnose potential failures before the system is deployed. However, finding failure scenarios in autonomous systems can be very challenging due to high-dimensional and continuous state spaces, interaction with large environments over many time steps, and the rarity of failures. This talk presents Adaptive Stress Testing (AST), a simulation-based testing framework for finding the most likely path to a failure event of a safety-critical system. The key idea of AST is that stress testing can be formulated as a Partially Observable Markov Decision Process (POMDP), which enables reinforcement learning techniques to be used for finding failure events. Reinforcement learning algorithms can efficiently explore the search space and have been shown to scale to very large systems. We present applications of AST to find failures in various safety-critical systems including the aircraft collision avoidance systems, autonomous cars, and small unmanned aerial vehicles.

autonomous vehicles↗

Finding the Pareto front for high-entropy-alloy catalysts

Finding catalysts that have both high activity and high stability presents a long-standing challenge. Since optimizing activity and stability are conflicting objectives, the best one can do is find the Pareto front that yields optimal tradeoffs between these features. On the Pareto front, there is a trade-off where a portion of catalytic activity must be sacrificed to gain further stability and vice versa . Here, we provide a method to optimize the front by designing a multi-objective genetic algorithm that combines machine learning, graph neural network calculations, and density functional calculations. The application considered is the oxygen evolution reaction catalyzed by high-entropy alloys. We find that the Pareto front generally contains alloys with diverse elements, but that enhancing stability inevitably inflicts a toll on activity. We compare the general conclusions of our work to a survey of 545 experiments.

Zhang, Chengyi [Univ. of Auckland (New Zealand)]↗

A Bayesian approach to strong lens finding in the era of wide-area surveys

ABSTRACT The arrival of the Vera C. Rubin Observatory’s Legacy Survey of Space and Time (LSST), Euclid-Wide and Roman wide-area sensitive surveys will herald a new era in strong lens science in which the number of strong lenses known is expected to rise from $\mathcal {O}(10^3)$ to $\mathcal {O}(10^5)$. However, current lens-finding methods still require time-consuming follow-up visual inspection by strong lens experts to remove false positives which is only set to increase with these surveys. In this work, we demonstrate a range of methods to produce calibrated probabilities to help determine the veracity of any given lens candidate. To do this we use the classifications from citizen science and multiple neural networks for galaxies selected from the Hyper Suprime-Cam survey. Our methodology is not restricted to particular classifier types and could be applied to any strong lens classifier which produces quantitative scores. Using these calibrated probabilities, we generate an ensemble classifier, combining citizen science, and neural network lens finders. We find such an ensemble can provide improved classification over the individual classifiers. We find a false-positive rate of 10−3 can be achieved with a completeness of 46 per cent, compared to 34 per cent for the best individual classifier. Given the large number of galaxy–galaxy strong lenses anticipated in LSST, such improvement would still produce significant numbers of false positives, in which case using calibrated probabilities will be essential for population analysis of large populations of lenses and to help prioritize candidates for follow-up.

79 ASTRONOMY AND ASTROPHYSICS↗

Testing the Jump Finding Code for NEXUS Qubit Analysis

We evaluate a new jump finding code to test the efficiency of this code in finding jumps of all sizes and understand how noise is mistaken for jumps and vice versa. We look at two parameters that impact the efficiency of the code. The two parameters, the jump threshold and smoothing, are then optimized to find the most efficient combination with the highest fraction of true positives and true negatives.

Wagner, Grace↗

Replication Package for "Union-Find and Usability: A Case Study and Analysis of Rust Formal Verifier

This replication package is a case study on automated deductive verification for Rust for practical programs. It is a companion artifact to a corresponding usability study on verification titled "Union-Find and Usability: A Case Study and Analysis of Rust Formal Verifiers". It seeks to answer the question "Can Rust developers today use Rust verifiers to verify their code?". To answer this question, the study contrasts the verification experience of two mature Rust verifiers, Creusot and Prusti, by using the tools to develop a verified implementation of union-find in Rust. The union-find implementation is based on real-world code as used in the popular egg E-graph library. The artifact consists of two different verified libraries, one using Creusot and one using Prusti. The libraries have similar Rust interfaces and high-level proofs but differ in their details: Creusot and Prusti have different annotation languages and support different proof styles. Each implementation can be verified with its respective tool and compiles as a traditional Rust development.

Sarracino, John↗

Direction-finding measurements of type III radio bursts out of the ecliptic plane

A series of two-dimensional direction-finding measurements for three type III solar radio bursts is presented which is based on spin-modulation measurements from two satellites (IMP 8 and Hawkeye I) whose spin axes were nearly perpendicular to each other. The two-dimensional direction-finding technique is combined with a model of the solar-wind plasma density in order to provide determinations of type III source locations out of the ecliptic plane as well as information on the three-dimensional structure of the solar magnetic field at radial distances of 0.2 to 1.0 AU from the sun. The direction-finding technique is described in detail, characteristics of the bursts observed by the two satellites are summarized, and the solar-wind model is outlined. The results show that the source locations follow an Archimedean spiral when projected onto the ecliptic plane but usually follow a constant heliocentric latitude perpendicular to that plane. It is also found that measured source sizes are a factor of two larger than the angular sizes of previously reported solar-flare electron emissions, that the spin-modulation factor tends to be largest near the beginning of a type III event, and that the arrival direction of the radiation varies systematically during an event.

Baumback, M. M.↗

Social survey findings on en route noise annoyance issues

Most surveys of residents' reactions to aircraft noise were conducted in the vicinity of airports. The findings in those surveys have supported planning and regulatory actions for the airport noise environment. Now, however, aircraft noise planning and regulations are being considered for a new environment, the en route environment. As policy makers search for bases for public policy in these new noise environments, it is appropriate to ask whether the same scientific evidence which supports airport noise policy can also support en route noise policy. Several aspects of that question are considered. An introduction establishes the scope of the present study and examines alternative study methodologies. Next, the selected study methodology is described and important assumptions are listed. The body of the paper then consists of the findings on en route issues. The final section presents findings on relevant research methods and considers priorities for further research.

Fields, James M.↗

The Lagrangian multiplier method of finding upper and lower limits to critical stresses of clamped plates

The theory of Lagrangian multipliers is applied to the problem of finding both upper and lower limits to the true compressive buckling stress of a clamped rectangular plate. The upper and lower limits thus bracket the true stress, which cannot be exactly found by the differential-equation approach. The procedure for obtaining the upper limit, which is believed to be new, presents certain advantages over the classical Rayleigh-Ritz method of finding upper limits. The theory of the lower-limit procedure has been given by Trefftz, but, in the present application, the method differs from that of Trefftz in a way that makes it inherently more quickly convergent. It is expected that in other buckling problems and in some vibration problems the Lagrangian multiplier method of finding upper and lower limits may be advantageously applied to the calculation of buckling stresses and natural frequencies.

Budiansky, Bernard↗

The Lagrangian Multiplier Method of Finding Upper and Lower Limits to Critical Stresses of Clamped Plates

The theory of Lagrangian multipliers is applied to the problem of finding both upper and lower limits to the true compressive buckling stress of a clamped rectangular plate. The upper and lower limits thus bracket the truss, which cannot be exactly found by the differential-equation approach. The procedure for obtaining the upper limit, which is believed to be new, presents certain advantages over the classical Raleigh-Rite method of finding upper limits. The theory of the lower-limit procedure has been given by Trefftz but, in the present application, the method differs from that of Trefftz in a way that makes it inherently more quickly convergent. It is expected that in other buckling problems and in some vibration problems problems the Lagrangian multiplier method finding upper and lower limits may be advantageously applied to the calculation of buckling stresses and natural frequencies.

Budiansky, Bernard↗

Finding Every Root of a Broad Class of Real, Continuous Functions in a Given Interval

One of the most pervasive needs within the Deep Space Network (DSN) Metric Prediction Generator (MPG) view period event generation is that of finding solutions to given occurrence conditions. While the general form of an equation expresses equivalence between its left-hand and right-hand expressions, the traditional treatment of the subject subtracts the two sides, leaving an expression of the form Integral of(x) = 0. Values of the independent variable x satisfying this condition are roots, or solutions. Generally speaking, there may be no solutions, a unique solution, multiple solutions, or a continuum of solutions to a given equation. In particular, all view period events are modeled as zero crossings of various metrics; for example, the time at which the elevation of a spacecraft reaches its maximum value, as viewed from a Deep Space Station (DSS), is found by locating that point at which the derivative of the elevation function becomes zero. Moreover, each event type may have several occurrences within a given time interval of interest. For example, a spacecraft in a low Moon orbit will experience several possible occultations per day, each of which must be located in time. The MPG is charged with finding all specified event occurrences that take place within a given time interval (or pass ), without any special clues from operators as to when they may occur, for the entire spectrum of missions undertaken by the DSN. For each event type, the event metric function is a known form that can be computed for any instant within the interval. A method has been created for a mathematical root finder to be capable of finding all roots of an arbitrary continuous function, within a given interval, to be subject to very lenient, parameterized assumptions. One assumption is that adjacent roots are separated at least by a given amount, xGuard. Any point whose function value is less than ef in magnitude is considered to be a root, and the function values at distances xGuard away from a root are larger than ef, unless there is another root located in this vicinity. A root is considered found if, during iteration, two root candidates differ by less than a pre-specified ex, and the optimum cubic polynomial matching the function at the end and at two interval points (that is within a relative error fraction L at its midpoint) is reliable in indicating whether the function has extrema within the interval. The robustness of this method depends solely on choosing these four parameters that control the search. The roots of discontinuous functions were also found, but at degraded performance.

Tausworthe, Robert C.↗

Planetary Science Technology Infusion Study: Findings and Recommendations Status

The Planetary Science Division (PSD) within the National Aeronautics and Space Administrations (NASA) Science Mission Directorate (SMD) at NASA Headquarters sought to understand how to better realize a scientific return on spacecraft system technology investments currently being funded. In order to achieve this objective, a team at NASA Glenn Research Center was tasked with surveying the science and mission communities to collect their insight on technology infusion and additionally sought inputs from industry, universities, and other organizations involved with proposing for future PSD missions. This survey was undertaken by issuing a Request for Information (RFI) activity that requested input from the proposing community on present technology infusion efforts. The Technology Infusion Study was initiated in March 2013 with the release of the RFI request. The evaluation team compiled and assessed this input in order to provide PSD with recommendations on how to effectively infuse new spacecraft systems technologies that it develops into future competed missions enabling increased scientific discoveries, lower mission cost, or both. This team is comprised of personnel from the Radioisotope Power Systems (RPS) Program and the In-Space Propulsion Technology (ISPT) Program staff.The RFI survey covered two aspects of technology infusion: 1) General Insight, including: their assessment of barriers to technology infusion as related to infusion approach; technology readiness; information and documentation products; communication; integration considerations; interaction with technology development areas; cost-capped mission areas; risk considerations; system level impacts and implementation; and mission pull. 2) Specific technologies from the most recent PSD Announcements of Opportunities (AOs): The Advanced Stirling Radioisotope Generator (ASRG), aerocapture and aeroshell hardware technologies, the NASA Evolutionary Xenon Thruster (NEXT) ion propulsion system, and the Advanced Materials Bi-propellant Rocket (AMBR) engine.This report will present the teams Findings from the RFI inputs and the recommendations that arose from these findings. Methodologies on the findings and recommendations development are discussed.

technology infusion↗