Search NASA⌕ Search

SEARCH · Search NASA

Results for “intelligent 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.

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

At least 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS1980

The SETI observational plan

The SETI (Search for Extraterrestrial Intelligence) Project's primary thrust is to search the microwave region of the spectrum for signals of extraterrestrial intelligent origin. The project will search a well defined volume of search parameter space using existing antennae and a sophisticated data acquisition and analysis system. Two major components are included, the target survey, which will observe at very high sensitivity all attractive stellar candidates within 75 light years of the Sun, and the sky survey, which will observe the entire celestial sphere at a lower sensitivity.

Berman, A. L.↗
NASA NTRS1977

SETI - A preliminary search for narrowband signals at microwave frequencies

In the search for intelligent signals of extraterrestrial origin, certain forms of signals merit immediate and special attention. Extremely narrowband signals of spectral width similar to our own television transmissions are most favored energetically and least likely to be confused with natural celestial emission. A search of selected stars has been initiated using observational and data processing techniques optimized for the detection of such signals. These techniques allow simultaneous observation of 10 to the 5th to 10 to the 6th channels within the observed spectral range. About two hundred nearby (within 80 LY) solar type stars have been observed at frequencies near the main microwave transitions of the hydroxyl radical. In addition, several molecular (hydroxyl) masers and other non-thermal sources have been observed in this way in order to uncover any possible fine spectral structure of natural origin and to investigate the potential of such an instrument for radioastronomy.

Cuzzi, J. N.↗
NASA NTRS2019

Design and Construction of a NASA Airborne and Field Investigation Inventory

NASA conducts airborne and field investigations that produce a wealth of valuable research data. Unfortunately, this data is often scattered across individual scientist hard drives or NASA Distributed Active Archive Centers and it can be difficult to locate and retrieve. Although satellite data has been successfully consolidated by tools such as EarthData Search, airborne and field investigation data present unique challenges stemming from the variability of temporal, spatial, platform, and instrument metadata. To address these difficulties with data retrieval and metadata variability, the Interagency Implementation and Concepts Team established an Airborne Data Management Group to improve airborne data search, understanding, access, and use. Surveys have been conducted of end users in order to build query lists that will drive the augmentation and standardization of existing metadata. Detailed metadata was then laboriously compiled from present and historic airborne and field investigations to build a database that will enable intelligent data search and retrieval. The inventory structure and function will be described and demonstrated. The purpose of this presentation is to bring awareness to this effort, to highlight and describe the issues and complications in development, and to increase user interest prior to public release in 2020.

Davis, Carson↗
NASA NTRS1976

On the computational cost of approximating and recognizing noise-perturbed straight lines and quadratic arcs in the plane

Recognition of underlying straight lines and quadratic arcs in line drawings, and approximation of very noisy data by such line/curve segments, is addressed as a subproblem of the more general problem of optimum recognition of complicated line/curve drawings. Some specific algorithms are presented with extensions and interpretations for more complicated applications, and a data generation model is developed for the problem. Data are generated as a perturbation of a single underlying straight line or an elliptic or hyperbolic arc. Recursive estimation techniques, minimization of central processing unit time, decision making with controlled error probabilities, and modeling and recognition of pictures consisting of noisy curves are dealt with. Applications envisaged include: picture data compression, contour line representation in maps, intelligent data searches, and ballistic missile decoy tracking.

Cooper, D. B.↗
NASA NTRS1977

Storage and retrieval of mass spectral information

Computer handling of mass spectra serves two main purposes: the interpretation of the occasional, problematic mass spectrum, and the identification of the large number of spectra generated in the gas-chromatographic-mass spectrometric (GC-MS) analysis of complex natural and synthetic mixtures. Methods available fall into the three categories of library search, artificial intelligence, and learning machine. Optional procedures for coding, abbreviating and filtering a library of spectra minimize time and storage requirements. Newer techniques make increasing use of probability and information theory in accessing files of mass spectral information.

Hohn, M. E.↗
NASA NTRS1988

The NASA SETI sky survey - Recent developments

NASA's Search for Extraterrestrial Intelligence (SETI) project utilizes two complimentary search strategies: a sky survey and a targeted search. The SETI team at the Jet Propulsion Laboratory have primary responsibility to develop and carry out the sky survey part of the Microwave Observing Project. The paper describes progress that has been made to develop the major elements of the survey including a two-million channel wideband spectrum analyzer system that is being developed and constructed by JPL for the Deep Space Network. The new system will be a multiuser instrument that will serve as a prototype for the SETI Sky Survey processor. This system will be used to test the signal detection and observational strategies on deep-space network antennas in the near future.

Klein, Michael J.↗
NASA NTRS1989

The NASA SETI sky survey: Recent developments

NASA's Search for Extraterrestrial Intelligence (SETI) project utilizes two complementary search strategies: a sky survey and a targeted search. The SETI team at the Jet Propulsion Laboratory (JPL) in Pasadena, California, has primary responsibility to develop and carry out the sky survey part. Described here is progress that has been made developing the major elements of the survey including a 2-million channel wideband spectrum analyzer system that is being designed and constructed by JPL for the Deep Space Network (DSN). The system will be a multiuser instrument; it will serve as a prototype for the SETI sky survey processor. This prototype system will be used to test the signal detection and observational strategies on DSN antennas in the near future.

Klein, M. J.↗
NASA NTRS1990

The Telecommunications and Data Acquisition Report

Archival reports are given on developments in programs managed by JPL's Office of Telecommunications and Data Acquisition (TDA), including space communications, radio navigation, radio science, ground-based radio and radar astronomy, and the Deep Space Network (DSN) and its associated Ground Communications Facility (GCF) in planning, supporting research and technology, implementation, and operations. Also included is TDA-funded activity at JPL on data and information systems and reimbursable DSN work performed for other space agencies through NASA. In the search for extraterrestrial intelligence (SETI), implementation and operations for searching the microwave spectrum are reported. Use of the Goldstone Solar System Radar for scientific exploration of the planets, their rings and satellites, asteroids, and comets are discussed.

Posner, E. C.↗
NASA NTRS2009

Model Checking - My 27-Year Quest to Overcome the State Explosion Problem

Model Checking is an automatic verification technique for state-transition systems that are finite=state or that have finite-state abstractions. In the early 1980 s in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we proposed that Model Checking could be used for verifying concurrent systems and gave algorithms for this purpose. At roughly the same time, Joseph Sifakis and his student J.P. Queille at the University of Grenoble independently developed a similar technique. Model Checking has been used successfully to reason about computer hardware and communication protocols and is beginning to be used for verifying computer software. Specifications are written in temporal logic, which is particularly valuable for expressing concurrency properties. An intelligent, exhaustive search is used to determine if the specification is true or not. If the specification is not true, the Model Checker will produce a counterexample execution trace that shows why the specification does not hold. This feature is extremely useful for finding obscure errors in complex systems. The main disadvantage of Model Checking is the state-explosion problem, which can occur if the system under verification has many processes or complex data structures. Although the state-explosion problem is inevitable in worst case, over the past 27 years considerable progress has been made on the problem for certain classes of state-transition systems that occur often in practice. In this talk, I will describe what Model Checking is, how it works, and the main techniques that have been developed for combating the state explosion problem.

Clarke, Ed↗
NASA NTRS2022

Run Time Assurance for Electric Vertical Takeoff and Landing Aircraft

NASA is conducting research to demonstrate and evaluate the application of Run Time Assurance (RTA) as a means to assure safety in Electric Vertical Takeoff and Landing (eVTOL) aircraft with highly automated or autonomous flight capability supervised by a single onboard pilot. The work described in this report demonstrates an application of RTA and examines the implications for design and analysis of aircraft functions and systems; aircraft safety hazards; safety assurance; development assurance; and pilot tasks and performance. This research effort also seeks to assess the efficacy of the combined application of traditional Functional Hazard Analysis (FHA) and the more modern System Theoretic Process Analysis (STPA) techniques to perform hazard analyses on aircraft with complex automated and autonomous systems and an onboard pilot. During the research effort we developed architectural designs of two alternate eVTOL aircraft, generally following the process characterized in the SAE standards ARP4754 and ARP4761. The design has focused on the control architectures of these aircraft, which are identical except that one incorporates RTA techniques to reduce the criticality of some key software components. Artifacts of this process include a taxonomy of aircraft-level functions, aircraft-level architecture diagrams, aircraft-level functional hazard assessments (AFHA), function allocations onto aircraft systems and subsystems, functional block diagrams for a select set of control-related functions, and system-level functional hazard assessments (SFHA) for those functions. This project has highlighted the notion that DAL D is something of a sweet spot for low-confidence controllers in an RTA-based design. Among the many activities described in DO-178C, the activities related to requirement verifiability, algorithmic accuracy, and test coverage can be the most challenging for the kinds of advanced control techniques that may be desirable in novel UAM designs, such as adaptive control, machine-learning, artificial intelligence, numerical search, and Monte Carlo based algorithms. Moreover, the standard requires that development teams demonstrate that errors leading to unacceptable failure conditions have been removed from the software. The RTA architecture, which cordons off the low-confidence function, makes it much easier to show this for these kinds of algorithms. With regard to the use of STPA and FHA as complementary hazard analysis techniques, our research effort led us to the conclusion that STPA should be used to derive requirements for hardware and software systems and/or components. Also, STPA is a natural complement to other processes in ARP4754A involving design studies and iteration.

Run-time assurance↗
NASA NTRSDate not supplied

Celestial Mapping System and Digital Lunar Library Initiative

We are preparing to create an interactive, global 3D lunar environment with integrated dataset and AI/ML tools to provide unique value to mission planners, scientists and the entire lunar community. This lunar environment will be based on NASA Ames Celestial Mapping System (CMS) [1] and Digital Lunar Library (DLL) Initiative. CMS provides a 3D virtual Lunar Globe with extensive user friendly tool sets, that include high resolution terrain visualization, elevation profiles, measurement kits, slope analysis, path optimization, line of sight analysis, equipment planning and placement tools and many other functionalities [1]. It has a thick client with less overhead to access hardware resources. This allows features such as terrain profiling and distance calculations to be performed on the client and on the fly. The application is developed to provide situational and domain awareness on the Lunar surface, planning capabilities for equipment placements and traverse path optimization. As data becomes available, CMS has the capabilities to integrate data sets that change dynamically in real-time, which will be useful for monitoring satellites and remotely-sensed data on the Lunar surface. CMS supports importing synthetic features in a variety of 3D, 2D, vector and raster formats. In the future, these capabilities will be enhanced by incorporating AI/ML tools and a plug-in architecture to enable customization by the user groups. With the help of DLL we will be able to : 1) Amplify the value of lunar information with AI-powered data enhancements 2) Acquire and integrate lunar data with AI-assisted georectification and homogenization 3) Analyze lunar data with advanced 3D visualization, intelligent search-by-example 4) Apply lunar data insights to specific use cases with an open plug-in architecture. The CMS-DLL initiative will have several potential use cases for NASA and the lunar community in general, including subsurface lava tube visualization and analysis, soil analysis, in-situ lunar resource visualization and representation on 3D globe, and data analytics for utilization. REFERENCES: [1] https://celestial.arc.nasa.gov/

3D Globe↗
NASA NTRS1986

A SETI experiment

In order to increase the probability of contact in the search for extraterrestrial intelligence (SETI), it has been proposed to search more intensively in certain regions of the electromagnetic spectrum ('the water hole'). The present paper describes a similar narrowing of the search in the time domain. Application of this strategy results in the SETI experiments searching for signals from the Tau Ceti system late in 1986 and early in 1987, and from the Epsilon Eridani system in mid 1988.

Mclaughlin, W. I.↗
NASA NTRS1993

Space biology research development

The purpose of the Search for Extraterrestrial Intelligence (SETI) Institute is to conduct and promote research related activities regarding the search for extraterrestrial life, particularly intelligent life. Such research encompasses the broad discipline of 'Life in the Universe', including all scientific and technological aspects of astronomy and the planetary sciences, chemical evolution, the origin of life, biological evolution, and cultural evolution. The primary purpose was to provide funding for the Principal Investigator to collaborate with the personnel of the SETI Institute and the NASA-Ames Research center in order to plan and develop space biology research on and in connection with Space Station Freedom; to promote cooperation with the international partners in the space station; to conduct a study on the use of biosensors in space biology research and life support system operation; and to promote space biology research through the initiation of an annual publication 'Advances in Space Biology and Medicine'.

Bonting, Sjoerd L.↗
NASA NTRS1991

The Telecommunications and Data Acquisition Report

A compilation is presented of articles on developments in programs managed by JPL's Office of Telecommunications and Data Acquisition. In space communications, radio navigation, radio science, and ground based radio and radar astronomy, activities of the Deep Space Network are reported in planning, in supporting research and technology, in implementation, and in operations. Also included is standards activity at JPL for space data and information systems and reimbursable DSN work performed for other space agencies through NASA. In the search for extraterrestrial intelligence (SETI), implementation and operations are reported for searching the microwave spectrum.

Posner, Edward C.↗
NASA NTRS1993

Extraterrestrial Life

Extraterrestrial Intelligence is intelligent life that developed somewhere other than the earth. Such life has not yet been discovered. However, scientific research, including astronomy, biology, planetary science and studies of fossils here on earth have led many scientists to conclude that such life may exist on planets orbiting at least some of the hundreds of billions of stars in our Milky Way Galaxy. Today, some researchers are trying to find evidence for extraterrestrial intelligence. This effort is often called SETI, which stands for Search for Extraterrestrial Intelligence. SETI researchers decided that looking for evidence of their technology might be the best way to discover other intelligent life in the Galaxy. They decided to use large radio telescopes to search the sky over a wide range of radio frequencies...

Klein, M. J.↗
NASA NTRS1985

SETI - A more eclectic approach

NASA's proposed search for extraterrestrial intelligence (SETI) program is discussed. The receiving antennas and search strategy for SETI are described. The use of a multichannel spectrum analyzer which resolves 8 MHz of spectrum into 8 million individual channels is examined. The CW and pulse detection procedures are analyzed.

Oliver, B. M.↗