SEARCH · Engineering Papers

Results for “Search”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 271 records · Page 15

All sources NASA NTRS DOE OSTI

NASA NTRS2004

SPIN or LURCH : a Comparative Assessment of Model Checking and Stochastic Search for Temporal Properties in Procedural Code

The difficulty of how to test large systems, such as the one on board a NASA robotic remote explorer (RRE) vehicle, is fundamentally a search issue: the global state space representing all possible has yet to be solved, even after many decades of work. Randomized algorithms have been known to outperform their deterministic counterparts for search problems representing a wide range of applications. In the case study presented here, the LURCH randomized algorithm proved to be adequate to the task of testing a NASA RRE vehicle. LURCH found all the errors found by an earlier analysis of a more complete method (SPIN). Our empirical results are that LURCH can scale to much larger models than standard model checkers like SMV and SPIN. Further, the LURCH analysis was simpler than the SPIN analysis. The simplicity and scalability of LURCH are two compelling reasons for experimenting further with this tool.

verification↗

NASA NTRS2014

Fixing Dataset Search

Three current search engines are queried for ozone data at the GES DISC. The results range from sub-optimal to counter-intuitive. We propose a method to fix dataset search by implementing a robust relevancy ranking scheme. The relevancy ranking scheme is based on several heuristics culled from more than 20 years of helping users select datasets.

science data↗

NASA NTRS2016

Earthdata Search: The Relevance of Relevance

Through recent usability studies, the issue of relevance became increasingly clear in the Earthdata Search Client. After all, if a user can't find the data they are looking for, nothing else we do matters. This presentation walks through usability testing findings and recent relevance improvements made to the Earthdata Search Client.

search↗

NASA NTRSDate not supplied

Planning and Monitoring for Swarm Search and Service Missions

To transition from control theory to real applications, it is important to study missions such as Swarm Search and Service (SSS) where vehicles are not only required to search an area, but also service all jobs that they find. In SSS missions each type of job requires a group of vehicles to break-off from the swarm for a given amount of time to successfully service it. The required number of vehicles and the service rate are unique to each job type. Once a job has been completed the vehicles are able to return to the swarm for use elsewhere. If not enough vehicles are present in the swarm at the time that the job is identified, that job is dropped without being serviced. Human operators as tasked with effectively planning and managing these complex missions. This work presents a user study that seeks to test the efficacy and ease-of-use of a prediction model known as the Hybrid Model as an aid in planning and monitoring tasks. Results show that the novel computational model aid allows operators to more effectively choose the necessary swarm size to handle expected mission workload, as well as, maintain sufficient situation awareness to evaluate the performance of the swarm during missions.

swarm search and service↗

NASA NTRS2021

Planning and Monitoring Multi-Job Type Swarm Search and Service Missions

To transition from control theory to real applications, it is important to study missions such as Swarm Search and Service (SSS) where vehicles are not only required to search an area, but also service all jobs that they find. In SSS missions, each type of job requires a group of vehicles to break off from the swarm for a given amount of time to service it. The required number of vehicles and the service rate are unique to each job type. Once a job has been completed, the vehicles are able to return to the swarm for use elsewhere. If not, enough vehicles are present in the swarm at the time that the job is identified, that job is dropped without being serviced. In SSS missions that occur in open environments, the arrival rate of jobs varies dynamically as vehicles move in and out of the swarm to service jobs. Human operators are tasked with effectively planning and managing these complex missions. This paper presents a user study that seeks to test the efficacy and ease-of-use of a prediction model known as the Hybrid Model as an aid in planning and monitoring tasks. Results show that the novel computational model aid allows operators to more effectively choose the necessary swarm size to handle expected mission workload, as well as, maintain sufficient situation awareness to evaluate the performance of the swarm during missions.

swarm search and service↗

NASA NTRS1972

Search for magnetic monopoles in the moon

A search was made for the possible existence of magnetic monopoles on the moon using magnetic observations from magnetometer experiments on Explorer 33 and 35. A series of 37 orbital plots were analyzed and it was determined that the net number of magnetic monopoles was less than 1 per 10 to the 7th power cc. This is equivalent to the difference in the number of northern and southern magnetic monopoles within the moon being less than 1 per 10 to the 31st power nucleons. Searches for monopoles from lunar samples have also proven negative.

Schatten, K. H.↗

NASA NTRS1972

Application of multivariable search techniques to structural design optimization

Multivariable optimization techniques are applied to a particular class of minimum weight structural design problems: the design of an axially loaded, pressurized, stiffened cylinder. Minimum weight designs are obtained by a variety of search algorithms: first- and second-order, elemental perturbation, and randomized techniques. An exterior penalty function approach to constrained minimization is employed. Some comparisons are made with solutions obtained by an interior penalty function procedure. In general, it would appear that an interior penalty function approach may not be as well suited to the class of design problems considered as the exterior penalty function approach. It is also shown that a combination of search algorithms will tend to arrive at an extremal design in a more reliable manner than a single algorithm. The effect of incorporating realistic geometrical constraints on stiffener cross-sections is investigated. A limited comparison is made between minimum weight cylinders designed on the basis of a linear stability analysis and cylinders designed on the basis of empirical buckling data. Finally, a technique for locating more than one extremal is demonstrated.

Jones, R. T.↗

NASA NTRS1972

Blade frequency program for nonuniform helicopter rotors, with automated frequency search

A computer program for determining the natural frequencies and normal modes of a lumped parameter model of a rotating, twisted beam, with nonuniform mass and elastic properties was developed. The program is used to solve the conditions existing in a helicopter rotor where the outboard end of the rotor has zero forces and moments. Three frequency search methods have been implemented. Including an automatic search technique, which allows the program to find up to the fifteen lowest natural frequencies without the necessity for input estimates of these frequencies.

Sadler, S. G.↗

NASA NTRS1972

Radio search for the pulsing X-ray source in Hercules.

The region of the celestial sphere near the pulsing X-ray source in Hercules (2U 1705+34) has been searched for radio emission with the NRAO three-element interferometer. The search was conducted during a period when the Hercules source was in its 27-day state of low X-ray luminosity. Four weak radio sources, which may be considered as candidates for the radio counterpart of this X-ray source, were detected.

Doxsey, R.↗

NASA NTRS1973

Accelerating one-dimensional searches.

In the search technique presented, the number of function evaluations is reduced by making use of the derivative of the function. The search method is combined with the variable metric algorithm reported by Davidon (1959) to solve a 17-parameter optimal atmospheric flight of a space shuttle vehicle. In the case of the problem, the proposed method requires one or two function evaluations per iteration less than the standard cubic fit-golden section method.

Johnson, I. L., Jr.↗

NASA NTRS1973

Technology utilization data searches

Technology Use Studies Center activities, functions, and services are reported for this period. Transfers and searches are described. Characteristics of TUSC searches are tabulated.

Gold, C. H.↗

NASA NTRS1974

Search and dissemination in data processing

Manual retrieval methods were used to complete 54 searches of interest for the General Aviation Newsletter. Subjects of search ranged from television transmission to machine tooling, Apollo moon landings, electronic equipment, and aerodynamics studies.

Gold, C. H.↗

NASA NTRS1974

Preliminary performance appraisal of Navy V/STOL transport and search-type airplanes using hydrogen fuel

First-cut estimates are given of the performance advantages of liquid-hydrogen-fueled, ejector wing, V/STOL aircraft designed for shipboard delivery and search-type missions. Results indicate that the use of LH2 could reduce gross weights 30 percent, empty weights 15 percent, and energy consumption 10 percent for a fixed payload and mission. If gross weight is fixed, the delivery range could be increased about 60 percent or the hover time during a search mission doubled. No analysis or discussion of the economic and operational disadvantages is presented.

Strack, W. C.↗

NASA NTRS1974

Study of genetic direct search algorithms for function optimization

The results are presented of a study to determine the performance of genetic direct search algorithms in solving function optimization problems arising in the optimal and adaptive control areas. The findings indicate that: (1) genetic algorithms can outperform standard algorithms in multimodal and/or noisy optimization situations, but suffer from lack of gradient exploitation facilities when gradient information can be utilized to guide the search. (2) For large populations, or low dimensional function spaces, mutation is a sufficient operator. However for small populations or high dimensional functions, crossover applied in about equal frequency with mutation is an optimum combination. (3) Complexity, in terms of storage space and running time, is significantly increased when population size is increased or the inversion operator, or the second level adaptation routine is added to the basic structure.

Zeigler, B. P.↗

NASA NTRS1974

Statistical method for the prediction of matching results in spectral file searching

In file-search techniques, the distribution of mismatches quantitatively measures the fit of a particular unknown against a given library. A simple theoretical method is developed to predict, a priori, this distribution. With this procedure, for any unknown code and library, the mean number of mismatches can be calculated exactly. For a given library and coding scheme, the mismatch distribution for most unknown codes closely follows a common curve which is easily calculated from statistical properties of the library. When this common curve is normalized to a constant mean, the observed matching behavior is well predicted. The theory should permit the user to more clearly assess the effects of errors on file search performance and suggest techniques by which recognition performance may be optimized.

Grotch, S. L.↗

NASA NTRS1976

A global search and rescue concept using synthetic aperture radar and passive user targets

A terrestrial search and rescue concept is defined embodying the use of passive radio-frequency reflectors in conjunction with an orbiting synthetic aperture radar to detect, identify, and locate users. An airborne radar test was conducted to evaluate the basic concept. In this test simple corner-reflector targets were successfully imaged. Results from this investigation were positive and indicate that the concept can be used to investigate new approaches focused on the development of a global search and rescue system.

Sivertson, W. E., Jr.↗

NASA NTRS1975

A random search algorithm for laboratory computers

The small laboratory computer is ideal for experimental control and data acquisition. Postexperimental data processing is often performed on large computers because of the availability of sophisticated programs, but costs and data compatibility are negative factors. Parameter optimization can be accomplished on the small computer, offering ease of programming, data compatibility, and low cost. A previously proposed random-search algorithm ('random creep') was found to be very slow in convergence. A method is proposed (the 'random leap' algorithm) which starts in a global search mode and automatically adjusts step size to speed convergence. A FORTRAN executive program for the random-leap algorithm is presented which calls a user-supplied function subroutine. An example of a function subroutine is given which calculates maximum-likelihood estimates of receiver operating-characteristic parameters from binary response data. Other applications in parameter estimation, generalized least squares, and matrix inversion are discussed.

Curry, R. E.↗

NASA NTRS1975

Magnetic mass spectrometer search at 2750 m. for hypothetical massive particles

A search was conducted for hypothetical singly charged massive particles which might be produced in collisions of very highly energetic cosmic ray particles with nuclei in the upper atmosphere. If such particles have sufficiently long lifetime and small cross section for interaction, they could survive to mountain altitude. A cosmic ray spectrometer consisting of superconducting magnet, wire spark chambers and time-of-flight scintillation counters was used to search for these particles at mountain altitude (2750 m). For any choice of hypothetical mass in the 5 to 10 GeV/c-squared range the upper limit to the vertical intensity of the particle was observed to be less than or roughly equal to 10 to the -6th/sq. cm/s/(GeV/c).

Barber, H. B.↗