Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “automated reasoning”

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 361 records · Page 20

ES2Vec: Earth Science Metadata Suggestions and Analogical Reasoning

As the volume of text-based Earth science research grows, it is increasingly possible to discover latent relationships in the literature. However, traditional methodologies are restricted by limited computational capabilities and intractable problem spaces. Advancements in natural language processing (NLP) have allowed us to use an extensive Earth science corpus to create a domain-specific word vector model, Es2Vec, which we have used to surface latent relationships between Earth science concepts and generate improved keyword tags. Earth science metadata keyword assignment is a challenging problem. Dataset curators select appropriate keywords from the Global Change Master Directory (GCMD) set of keywords. The keywords an are integral part of the search and discovery of these datasets. Hence, the selection of keywords is crucial to increasing the discoverability of datasets. Utilizing machine learning techniques, we provide users with automated keyword suggestions to complement manual selection. We trained a machine learning model that leverages the semantic embedding ability of Word2Vec models to process abstracts and suggest relevant keywords. A user interface tool we built to assist data curators in the assignment of such keywords is also described.

word vectors↗

Evolutionary Computation for the Identification of Emergent Behavior in Autonomous Systems

Over the past several years the Center for Evolutionary Computation and Automated Design at the Jet Propulsion Laboratory has developed a technique based on Evolutionary Computational Methods (ECM) that allows for the automated optimization of complex computationally modeled systems. An important application of this technique is for the identification of emergent behaviors in autonomous systems. Mobility platforms such as rovers or airborne vehicles are now being designed with autonomous mission controllers that can find trajectories over a solution space that is larger than can reasonably be tested. It is critical to identify control behaviors that are not predicted and can have surprising results (both good and bad). These emergent behaviors need to be identified, characterized and either incorporated into or isolated from the acceptable range of control characteristics. We use cluster analysis of automatically retrieved solutions to identify isolated populations of solutions with divergent behaviors.

Terrile, Richard J.↗

Autonomy for Deep Space Communications and Navigation

In more than 50 years of deep space exploration, the number and complexity of the world’s space missions have continued to increase. This has placed increasing demands on deep space communication and navigation. However, these demands have been met in spite of an essentially level overall budget. One of the reasons for this this has been the continual application of autonomy in various forms. The NASA Deep Space Network’s implementation of “Fol-low the Sun Operations” is a recent example – but certainly not the only one. During this same period, the end-to-end information system has been increasingly automated through the application of packet telemetry and virtual channels. Fully autonomous spacecraft navigation has been demonstrated, and more limited autonomy has been applied to the operational navigation process. This paper will show how autonomy and automation capabilities have been infused into operational deep space mission communication and navigation in both flight and ground systems as appropriate. It will further discuss ongoing work aimed at increasing the level of autonomy in the future, leverag-ing recent research and application of autonomy in everyday life.

Chang, Susan↗

Effects of Transparency on Pilot Trust and Agreement in the Autonomous Constrained Flight Planner

We performed a human-in-the-loop study to explore the role of transparency in engendering trust and reliance within highly automated systems. Specifically, we examined how transparency impacts trust in and reliance upon the Autonomous Constrained Flight Planner (ACFP), a critical automated system being developed as part of NASA's Reduced Crew Operations (RCO) Concept. The ACFP is designed to provide an enhanced ground operator, termed a super dispatcher, with recommended diversions for aircraft when their primary destinations are unavailable. In the current study, 12 commercial transport rated pilots who played the role of super dispatchers were given six time-pressured all land scenarios where they needed to use the ACFP to determine diversions for multiple aircraft. Two factors were manipulated. The primary factor was level of transparency. In low transparency scenarios the pilots were given a recommended airport and runway, plus basic information about the weather conditions, the aircraft types, and the airport and runway characteristics at that and other airports. In moderate transparency scenarios the pilots were also given a risk evaluation for the recommended airport, and for the other airports if they requested it. In the high transparency scenario additional information including the reasoning for the risk evaluations was made available to the pilots. The secondary factor was level of risk, either high or low. For high-risk aircraft, all potential diversions were rated as highly risky, with the ACFP giving the best option for a bad situation. For low-risk aircraft the ACFP found only low-risk options for the pilot. Both subjective and objective measures were collected, including rated trust, whether the pilots checked the validity of the automation recommendation, and whether the pilots eventually flew to the recommended diversion airport. Key results show that: 1) Pilots trust increased with higher levels of transparency, 2) Pilots were more likely to verify ACFPs recommendations with low levels of transparency and when risk was high, 3) Pilots were more likely to explore other options from the ACFP in low transparency conditions and when risk was high, and 4) Pilots decision to accept or reject ACFPs recommendations increased as a function of the transparency in the explanation. The finding that higher levels of transparency was coupled with higher levels of trust, a lower need to verify other options, and higher levels of agreement with ACFP recommendations, confirms the importance of transparency in aiding reliance on automated recommendations. Additional analyses of qualitative data gathered from subjects through surveys and during debriefing interviews also provided the basis for new design recommendations for the ACFP.

trust↗

AI ATAC 1: An Evaluation of Prominent Commercial Malware Detectors

This work presents an evaluation of six prominent commercial endpoint malware detectors, a network malware detector, and a file-conviction algorithm from a cyber technology vendor. The evaluation was administered as the first of the Artificial I ntelligence Applications t o Autonomous Cybersecurity (AI ATAC) prize challenges, funded by / completed in service of the US Navy. The experiment employed 100K files (50/50% benign/malicious) with a stratified distribution of file types, including ~1K zero-day program executables (increasing experiment size two orders of magnitude over previous work). We present an evaluation process of delivering a file to a fresh virtual machine donning the detection technology, waiting 90s to allow static detection, then executing the file and waiting another period for dynamic detection; this allows greater fidelity in the observational data than previous experiments, in particular, resource and time-to-detection statistics. To execute all 800K trials (100K files × 8 tools), a software framework is designed to choreograph the experiment into an automated, time-synced, and reproducible workflow with substantial parallelization. Software with base classes for this framework are provided. A cost-benefit model was configured to integrate the tools’ detection statistics into a comparable quantity by simulating costs of use. This provides a ranking methodology for cyber competitions and a lens for reasoning about the varied statistical results. The results provide insights on state of commercial malware detection.

Bridges, Robert↗

Model-based reasoning in SSF ECLSS

The interacting processes and reconfigurable subsystems of the Space Station Freedom Environmental Control and Life Support System (ECLSS) present a tremendous technical challenge to Freedom's crew and ground support. ECLSS operation and problem analysis is time-consuming for crew members and difficult for current computerized control, monitoring, and diagnostic software. These challenges can be at least partially mitigated by the use of advanced techniques such as Model-Based Reasoning (MBR). This paper will provide an overview of MBR as it is being applied to Space Station Freedom ECLSS. It will report on work being done to produce intelligent systems to help design, control, monitor, and diagnose Freedom's ECLSS. Specifically, work on predictive monitoring, diagnosability, and diagnosis, with emphasis on the automated diagnosis of the regenerative water recovery and air revitalization processes will be discussed.

Miller, J. K.↗

Precipitation links (PrecipLinks) - a prototype directory for precipitation information

This poster describes a web directory of research oriented precipitation links. In this era of sophisticated search engines and web agents, it might seem counterproductive to establish such a directory of links. However, entering precipitation into a search engine like google will yield over one million hits. To further exacerbate this situation many of the returned links are dead, duplicates of other links, incomplete, or only marginally related to research precipitation or even the broader precipitation area. Sometimes connecting the linked URL causes the browser to lose context and not be able to get back to the original page. Even using more sophisticated search engines query parameters or agents while reducing the overall return doesn't eliminate all of the other issues listed. As part of the development of the measurement-based Precipitation Processing System (PPS) that will support Tropical Rainfall Measuring Mission (TRMM) version 7 reprocessing and the Global Precipitation Measurement (GPM) mission a precipitation links (PrecipLinks) facility is being developed. PrecipLinks is intended to share locations of other sites that contain information or data pertaining to precipitation research. Potential contributors can log-on to the PrecipLinks website and register their site for inclusion in the directory. The price for inclusion is the requirement to place a link back to PrecipLinks on the webpage that is registered. This ensures that users will be able to easily get back to PrecipLinks regardless of any context issues that browsers might have. Perhaps more importantly users while visiting one site that they know can be referred to a location that has many others sites with which they might not be familiar. PrecipLinks is designed to have a very flat structure. This poster summarizes these categories (information, data, services) and the reasons for their selection. Providers may register multiple pages to which they wish to direct users. However, each page may be attached to only one of these categories. Each page to which they refer users will also have a return link to PrecipLinks. The poster describes the operation of the system both the automated and the human processes. It also provides images for the various steps in the registration and use.

Velanthapillia, Balendran↗

Residual Strahls in Solar Wind Electron Dropouts: Signatures of Magnetic Connection to the Sun, Disconnection, or Interchange Reconnection?

A recent assessment of suprathermal electron heat flux dropouts (HFDs) in the solar wind eliminated 90% as possible signatures of field lines disconnected from the Sun at both ends (Pagel et al., 2005b). The primary reason for elimination was the presence of a residual field-aligned strahl presumably signaling field lines connected to the Sun. Using high-time-resolution data from the Wind spacecraft, this paper tests whether the residual strahls were an artifact of averaging over pitch angle distributions (PADs) with and without strahls. An automated search for PADs without strahls (flat PADs) yields an occurrence rate of only 14% within HFDs, but a detailed case study shows that these flat PADs are imbedded within intervals of nearly flat PADs, that is, PADS with residual strahls that cannot be artifacts of averaging. An attractive alternative is that the residual strahls result from intermixing of originally back-scattered fluxes (haloes) of unequal intensities on field lines that have either disconnected or interchange reconnected at the Sun. A reevaluation of reported streaming of higher-energy electrons in HFDs suggests a similar cause. While the high-time-resolution data show high variability of PAD profiles within HFDs, this paper reopens the possibility that a substantial fraction signal disconnection or interchange reconnection. Estimated occurrence rates of fields having undergone these processes based upon published HFD rates are of the same order of magnitude as the surprisingly low values of 1-5% recently predicted by a model of a balanced heliospheric flux budget (Owens and Crooker, 2007).

Crooker, N. U.↗

An airfoil design method for viscous flows

An airfoil design procedure is described that has been incorporated into an existing two-dimensional Navier-Stokes airfoil analysis method. The resulting design method, an iterative procedure based on a residual-correction algorithm, permits the automated design of airfoil sections with prescribed surface pressure distributions. This paper describes the inverse design method and the technique used to specify target pressure distributions. An example airfoil design problem is described to demonstrate application of the inverse design procedure. It shows that this inverse design method develops useful airfoil configurations with a reasonable expenditure of computer resources.

Malone, J. B.↗

Automated screening of propulsion system test data by neural networks, phase 1

The evaluation of propulsion system test and flight performance data involves reviewing an extremely large volume of sensor data generated by each test. An automated system that screens large volumes of data and identifies propulsion system parameters which appear unusual or anomalous will increase the productivity of data analysis. Data analysts may then focus on a smaller subset of anomalous data for further evaluation of propulsion system tests. Such an automated data screening system would give NASA the benefit of a reduction in the manpower and time required to complete a propulsion system data evaluation. A phase 1 effort to develop a prototype data screening system is reported. Neural networks will detect anomalies based on nominal propulsion system data only. It appears that a reasonable goal for an operational system would be to screen out 95 pct. of the nominal data, leaving less than 5 pct. needing further analysis by human experts.

Hoyt, W. Andes↗

Definition of mutually optimum NDI and proof test criteria for 2219 aluminum pressure vessels. Volume 3: Applications to rail defect evaluation

The technique for inspection of railroad rails containing transverse fissure defects was discussed. Both pulse-echo and pitch-catch inspection techniques were used. The pulse-echo technique results suggest that a multiple-scan approach using varying angles of inclination, three-surface scanning, and dual-direction traversing may offer promise of characterization of transverse defects. Because each scan is likely to produce a reflection indicating only a portion of the defect, summing of the individual reflections must be used to obtain a reasonably complete characterization of the defect. The ability of the collimated pitch-catch technique to detect relatively small amounts of flaw growth was shown. The method has a problem in characterizing the portions of the defect near the top surface or web intersection. The work performed was a preliminary evaluation of the prospects for automated mapping of rail flaws.

Schwartzberg, F. R.↗

The roughness of the Martian surface: A scale dependent model

In the coming decade, several lander missions to Mars are planned (e.g., MESUR Pathfinder, MESUR). One of the dangers facing planners of these missions is the rough topography observed at both Viking Lander sites. Both landing sites are ubiquitously covered with meter-scale boulders. Objects of this size pose obvious threats to soft landers, especially at Mars where the distance from Earth causes prohibitive time lags between the transmission of commands and feedback from the spacecraft. An obvious solution is to scout for a 'smooth' site prior to the landing. However, the best resolutions realizable on current and future missions (i.e., Mars Observer) are on the order of several meters. Even at this scale, boulders of 1-2 meters in size are unresolvable. Additionally, the amount of time and spacecraft resources required to search even a small area of the planet are unrealistic given other mission objectives. An alternative is to determine the 'roughness' of the surface at a subpixel scale using bidirectional reflectance observations. Much larger areas of the planet can be searched, and much of the search can easily be automated. The morphology of the martian plains observed by the Viking Landers is physically simple. The surface is covered with a layer (approximately flat lying) of aeolian sediment from which numerous outcrops of bedrock and boulders protrude. This morphology, while simple, will be difficult to characterize from orbit using traditional bidirectional reflectance models for two reasons. First, modeling the surface as facets with Gaussian or exponential slope distributions is not realistic given the morphology described above. Second, the roughness parameter is an 'average' of the roughness at scales ranging from the wavelength of light being scattered to the pixel size of the observation. Thus, there is no definite scale of roughness that can be extracted from the Hapke roughness parameter. Using the concepts of geometric and boolean models developed by several workers, we have developed a model for the bidirectional reflectance of a surface morphology comparable to that observed at the Viking Lander sites.

Shepard, M. K.↗

Going Up. A GPS Receiver Adapts to Space

Current plans for the space station call for the GPS receiver to be installed on the U.S. lab module of the station in early 2001 (ISS Assembly Flight SA), followed by the attachment of the antenna array in late 2001 (Flight 8A). At that point the U.S. ISS guidance and control system will be operational. The flight of SIGI on the space station represents a "coming of age" for GPS technology on spacecraft. For at least a decade, the promise of using GPS receivers to automate spacecraft operations, simplify satellite design, and reduce mission costs has enticed satellite designers. Integration of this technology onto spacecraft has been slower than some originally anticipated. However, given the complexity of the GPS sensor, and the importance of the functions it performs, its incorporation into mainstream satellite design has probably occurred at a very reasonable pace. Going from providing experimental payloads on small, unmanned satellites to performing critical operational functions on manned vehicles has been a major evolution. If all goes as planned in the next few months, GPS receivers will soon provide those critical functions on one of the most complex spacecraft in history, the International Space Station.

Lightsey, E. Glenn↗

Integrated Formulation of Beacon-Based Exception Analysis for Multimissions

Further work on beacon-based exception analysis for multimissions (BEAM), a method of real-time, automated diagnosis of a complex electromechanical systems, has greatly expanded its capability and suitability of application. This expanded formulation, which fully integrates physical models and symbolic analysis, is described. The new formulation of BEAM expands upon previous advanced techniques for analysis of signal data, utilizing mathematical modeling of the system physics, and expert-system reasoning,

Mackey, Ryan↗

Bit-Serial Adder Based on Quantum Dots

A proposed integrated circuit based on quantum-dot cellular automata (QCA) would function as a bit-serial adder. This circuit would serve as a prototype building block for demonstrating the feasibility of quantum-dots computing and for the further development of increasingly complex and increasingly capable quantum-dots computing circuits. QCA-based bit-serial adders would be especially useful in that they would enable the development of highly parallel and systolic processors for implementing fast Fourier, cosine, Hartley, and wavelet transforms. The proposed circuit would complement the QCA-based circuits described in "Implementing Permutation Matrices by Use of Quantum Dots" (NPO-20801), NASA Tech Briefs, Vol. 25, No. 10 (October 2001), page 42 and "Compact Interconnection Networks Based on Quantum Dots" (NPO-20855), which appears elsewhere in this issue. Those articles described the limitations of very-large-scale-integrated (VLSI) circuitry and the major potential advantage afforded by QCA. To recapitulate: In a VLSI circuit, signal paths that are required not to interact with each other must not cross in the same plane. In contrast, for reasons too complex to describe in the limited space available for this article, suitably designed and operated QCA-based signal paths that are required not to interact with each other can nevertheless be allowed to cross each other in the same plane without adverse effect. In principle, this characteristic could be exploited to design compact, coplanar, simple (relative to VLSI) QCA-based networks to implement complex, advanced interconnection schemes. To enable a meaningful description of the proposed bit-serial adder, it is necessary to further recapitulate the description of a quantum-dot cellular automation from the first-mentioned prior article: A quantum-dot cellular automaton contains four quantum dots positioned at the corners of a square cell. The cell contains two extra mobile electrons that can tunnel (in the quantum-mechanical sense) between neighboring dots within the cell. The Coulomb repulsion between the two electrons tends to make them occupy antipodal dots in the cell. For an isolated cell, there are two energetically equivalent arrangements (denoted polarization states) of the extra electrons. The cell polarization is used to encode binary information. Because the polarization of a nonisolated cell depends on Coulomb-repulsion interactions with neighboring cells, universal logic gates and binary wires could be constructed, in principle, by arraying QCA of suitable design in suitable patterns. Again, for reasons too complex to describe here, in order to ensure accuracy and timeliness of the output of a QCA array, it is necessary to resort to an adiabatic switching scheme in which the QCA array is divided into subarrays, each controlled by a different phase of a multiphase clock signal. In this scheme, each subarray is given time to perform its computation, then its state is frozen by raising its inter-dot potential barriers and its output is fed as the input to the successor subarray. The successor subarray is kept in an unpolarized state so it does not influence the calculation of preceding subarray. Such a clocking scheme is consistent with pipeline computation in the sense that each different subarray can perform a different part of an overall computation. In other words, QCA arrays are inherently suitable for pipeline and, moreover, systolic computations. This sequential or pipeline aspect of QCA would be utilized in the proposed bit-serial adders.

Fijany, Amir↗

Autonomous satellite command and control: A comparison with other military systems

Existing satellite concepts of operation depend on readily available experts and are extremely manpower intensive. Areas of expertise required include mission planning, mission data interpretation, telemetry monitoring, and anomaly resolution. The concepts of operation have envolved to their current state in part because space systems have tended to be treated more as research and development assets rather than as operational assets. These methods of satellite command and control will be inadequate in the future because of the availability, survivability, and capability of human experts. Because space systems have extremely high reliability and limited access, they offer challenges not found in other military systems. Thus, automation techniques used elsewhere are not necessarily applicable to space systems. A program to make satellites much more autonomous has been developed, using a variety of advanced software techniques. The problem the program is addressing, some possible solutions, the goals of the Rome Air Development Center (RADC) program, the rationale as to why the goals are reasonable, and the current program status are discussed. Also presented are some of the concepts used in the program and how they differ from more traditional approaches.

Kruchten, Robert J.↗

A rose by any other name: Certification seen as process rather than content

Green (1990) believes that the two main factors safeguarding flying from human error are both related to certification and regulation. First is the increasingly proceduralized nature of flying whereby as much as possible is reduced to a rule-based activity. Second is the emphasis placed upon training and competency checking of aircrew in simulators and in the air, both generally and for all particular types of aircraft flown. This leaves, believes Green, other human factors that are relatively unaddressed as yet and which can give rise to human reliability problems. These include: hardware factors and especially pilot/co-pilot relationships; and system factors including fatigue and cost/safety trade-offs. He also, importantly, identifies problems with the integration of the 'electronic crew member' following increased automation. Human reliability failures with artificial intelligence and automation, due to over-reliance on the system fail-safe mechanisms, or to operator under- confidence in the integrity or self-regulating capacity of the system, or to out-of-loop effects, are widely accepted as being due to deficiencies in plant design, planning, management and maintenance more than to 'operator error' - Reason's (1990) latent error or organization pathogens argument. Reliability failures in complex systems are well enough documented to give cause for concern and at least promote a debate on the merits of a full certification program. The purpose of this short paper is to seek out and explore what is valuable in certification, at the least to show that the benefits outweigh the disadvantages and at best to identify positive outcomes perhaps not obtainable in other ways. On both sides of the debate on certification there is general agreement on the need for a better human factors perspective and effort in complex aviation systems design. What is at issue is how this is to be promoted. It is incumbent upon opponents of certification to say how else such promotion be enabled. This is an exploratory and philosophical review, not a focused and specific one, and it will draw upon much that is not firmly in the domain of complex aviation systems.

Wilson, John R.↗

Tool for Analysis and Reduction of Scientific Data

The Automated Scheduling and Planning Environment (ASPEN) computer program has been updated to version 3.0. ASPEN as a whole (up to version 2.0) has been summarized, and selected aspects of ASPEN have been discussed in several previous NASA Tech Briefs articles. Restated briefly, ASPEN is a modular, reconfigurable, application software framework for solving batch problems that involve reasoning about time, activities, states, and resources. Applications of ASPEN can include planning spacecraft missions, scheduling of personnel, and managing supply chains, inventories, and production lines. ASPEN 3.0 can be customized for a wide range of applications and for a variety of computing environments that include various central processing units and randomaccess memories. Domain-specific reasoning modules (e.g., modules for determining orbits for spacecraft) can easily be plugged into ASPEN 3.0. Improvements over other, similar software that have been incorporated into ASPEN 3.0 include a provision for more expressive time-line values, new parsing capabilities afforded by an ASPEN language based on Extensible Markup Language, improved search capabilities, and improved interfaces to other, utility-type software (notably including MATLAB).

James, Mark↗