Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Matched”

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 649 records · Page 36

Workload-Matched Adaptive Automation Support of Air Traffic Controller Information Processing Stages

Adaptive automation (AA) has been explored as a solution to the problems associated with human-automation interaction in supervisory control environments. However, research has focused on the performance effects of dynamic control allocations of early stage sensory and information acquisition functions. The present research compares the effects of AA to the entire range of information processing stages of human operators, such as air traffic controllers. The results provide evidence that the effectiveness of AA is dependent on the stage of task performance (human-machine system information processing) that is flexibly automated. The results suggest that humans are better able to adapt to AA when applied to lower-level sensory and psychomotor functions, such as information acquisition and action implementation, as compared to AA applied to cognitive (analysis and decision-making) tasks. The results also provide support for the use of AA, as compared to completely manual control. These results are discussed in terms of implications for AA design for aviation.

Kaber, David B.↗

Size distribution of retrovirally marked lineages matches prediction from population measurements of cell cycle behavior

Mechanisms that regulate neuron production in the developing mouse neocortex were examined by using a retroviral lineage marking method to determine the sizes of the lineages remaining in the proliferating population of the ventricular zone during the period of neuron production. The distribution of clade sizes obtained experimentally in four different injection-survival paradigms (E11-E13, E11-E14, E11-E15, and E12-E15) from a total of over 500 labeled lineages was compared with that obtained from three models in which the average behavior of the proliferating population [i.e., the proportion of cells remaining in the proliferative population (P) vs. that exiting the proliferative population (Q)] was quantitatively related to lineage size distribution. In model 1, different proportions of asymmetric, symmetric terminal, and symmetric nonterminal cell divisions coexisted during the entire developmental period. In model 2, the developmental period was divided into two epochs: During the first, asymmetric and symmetric nonterminal cell divisions occurred, but, during the second, asymmetric and symmetric terminal cell divisions occurred. In model 3, the shifts in P and Q are accounted for by changes in the proportions of the two types of symmetric cell divisions without the inclusion of any asymmetric cell divisions. The results obtained from the retroviral experiments were well accounted for by model 1 but not by model 2 or 3. These findings demonstrate that: 1) asymmetric and both types of symmetric cell divisions coexist during the entire period of neurogenesis in the mouse, 2) neuron production is regulated in the proliferative population by the independent decisions of the two daughter cells to reenter S phase, and 3) neurons are produced by both asymmetric and symmetric terminal cell divisions. In addition, the findings mean that cell death and/or tangential movements of cells in the proliferative population occur at only a low rate and that there are no proliferating lineages "reserved" to make particular laminae or cell types. Copyright 2002 Wiley-Liss, Inc.

NASA Discipline Developmental Biology↗

Ventilation-perfusion matching during exercise

In normal subjects, exercise widens the alveolar-arterial PO2 difference (P[A-a]O2) despite a more uniform topographic distribution of ventilation-perfusion (VA/Q) ratios. While part of the increase in P(A-a)O2 (especially during heavy exercise) is due to diffusion limitation, a considerable amount is caused by an increase in VA/Q mismatch as detected by the multiple inert gas elimination technique. Why this occurs is unknown, but circumstantial evidence suggests it may be related to interstitial pulmonary edema rather than to factors dependent on ventilation, airway gas mixing, airway muscle tone, or pulmonary vascular tone. In patients with lung disease, the gas exchange consequences of exercise are variable. Thus, arterial PO2 may increase, remain the same, or fall. In general, patients with advanced chronic obstructive pulmonary disease (COPD) or interstitial fibrosis who exercise show a fall in PO2. This is usually not due to worsening VA/Q relationships but mostly to the well-known fall in mixed venous PO2, which itself results from a relatively smaller increase in cardiac output than VO2. However, in interstitial fibrosis (but not COPD), there is good evidence that a part of the fall in PO2 on exercise is caused by alveolar-capillary diffusion limitation of O2 transport; in COPD (but not interstitial fibrosis), a frequent additional contributing factor to the hypoxemia of exercise is an inadequate ventilatory response, such that minute ventilation does not rise as much as does CO2 production or O2 uptake, causing arterial PCO2 to increase and PO2 to fall.

Non-NASA Center↗

Matching Multistage Schemes to Viscous Flow

Multistage, explicit time stepping can be tailored to accelerate convergence for scalar advection-diffusion problems by using optimized multistage coefficients that vary with the local cell Reynolds number. And, when combined with local preconditioning, variable-coefficient multistage schemes for computational fluid dynamics codes can also provide an order of magnitude faster convergence, relative to standard, fixed-coefficient schemes, for the Navier-Stokes system of equations.

Kleb, William L.↗

Concrete Model Checking with Abstract Matching and Refinement

We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible by definition. The method does not require an abstract transition relation to he generated, but instead executes the concrete transitions while storing abstract versions of the concrete states, as specified by a set of abstraction predicates. For each explored transition. the method checks, with the help of a theorem prover, whether there is any loss of precision introduced by abstraction. The results of these checks are used to decide termination or to refine the abstraction, by generating new abstraction predicates. If the (possibly infinite) concrete system under analysis has a finite bisimulation quotient, then the method is guaranteed to eventually explore an equivalent finite bisimilar structure. We illustrate the application of the approach for checking concurrent programs. We also show how a lightweight variant can be used for efficient software testing.

Pasareanu Corina S.↗

An Astronomical Pattern-Matching Algorithm for Automated Identification of Whale Sharks

The largest shark species alive today, whale sharks (Rhincodon typus) are rare and poorly studied. Directed fisheries, high value in international trade, a highly migratory nature, and generally low abundance make this species vulnerable to exploitation. Mark- and-recapture studies have provided our current understanding of whale shark demographics and life history, but conventional tagging has met with limited success. To aid in conservation and management efforts, and to further our knowledge of whale shark biology, an identification technology that maximizes the scientific value of individual sighting is needed.

Arzoumanian, Z.↗

Matching Vehicle Responses Using the Model-Following Control Method

The Variable Dynamic Testbed Vehicle (VDTV) is presently being developed by the National Highway Traffic Safety Administration (NHTSA). It is being designed to have a steer-by-wire front steering system and an independent rear steering system. These steering systems enable the VDTV to emulate the directional control characteristics of a broad range of passenger vehicles.

Four-wheel-steering model-following control method↗

Synthesis of Speaker Facial Movement to Match Selected Speech Sequences

A system is described which allows for the synthesis of a video sequence of a realistic-appearing talking human head. A phonic based approach is used to describe facial motion; image processing rather than physical modeling techniques are used to create video frames.

phonics speech synthesis imaging image processing ↗

A Match Made in Space

Just before the space shuttle reaches orbit, its three main engines shut down so that it can achieve separation from the massive external tank that provided the fuel required for liftoff and ascent. In jettisoning the external tank, which is completely devoid of fuel at this point in the flight, the space shuttle fires a series of thrusters, separate from its main engines, that gives the orbiter the maneuvering ability necessary to safely steer clear of the descending tank and maintain its intended flight path. These thrusters make up the space shuttle s Reaction Control System. While the space shuttle s main engines only provide thrust in one direction (albeit a very powerful thrust), the Reaction Control System engines allow the vehicle to maneuver in any desired direction (via small amounts of thrust). The resulting rotational maneuvers are known as pitch, roll, and yaw, and are very important in ensuring that the shuttle docks properly when it arrives at the International Space Station and safely reenters the Earth s atmosphere upon leaving. To prevent the highly complex Reaction Control System from malfunctioning during space shuttle flights, and to provide a diagnosis if such a mishap were to occur, NASA turned to a method of artificial intelligence that truly defied the traditional laws of computer science.

Source record↗

Growth and Properties of Lattice Matched GaAsSbN Epilayer on GaAs for Solar Cell Applications

The growth and properties of GaAsSbN single quantum wells (SQWs) are investigated in this work. The heterostructures were grown on GaAs substrates in an elemental solid source molecular beam epitaxy (MBE) system assisted with a RF plasma nitrogen source. A systematic study has been carried out to determine the influence of various growth conditions, such as the growth temperature and the source shutter-opening sequence, on the quality of the grown layers and the incorporation of N and Sb. The effects of ex situ and in situ annealing under As overpressure on the optical properties of the layers have also been investigated. Substrate temperature in the range of 450-470 C was found to be optimum. Simultaneous opening of the source shutters was found to yield sharper QW interfaces. N and Sb incorporations were found to depend strongly upon substrate temperatures and source shutter opening sequences. A significant increase in PL intensity with a narrowing of PL line shape and blue shift in emission energy were observed on annealing the GaAsSbN/GaAs SQW, with in situ annealing under As overpressure providing better results, compared to ex situ annealing.

Bharatan, Sudhakar↗

Blue Marble Matches: Using Earth for Planetary Comparisons

Goal: This activity is designed to introduce students to geologic processes on Earth and model how scientists use Earth to gain a better understanding of other planetary bodies in the solar system. Objectives: Students will: 1. Identify common descriptor characteristics used by scientists to describe geologic features in images. 2. Identify geologic features and how they form on Earth. 3. Create a list of defining/distinguishing characteristics of geologic features 4. Identify geologic features in images of other planetary bodies. 5. List observations and interpretations about planetary body comparisons. 6. Create summary statements about planetary body comparisons.

Graff, Paige Valderrama↗

Template Matching Approach to Signal Prediction

A new approach to signal prediction and prognostic assessment of spacecraft health resolves an inherent difficulty in fusing sensor data with simulated data. This technique builds upon previous work that demonstrated the importance of physics-based transient models to accurate prediction of signal dynamics and system performance. While models can greatly improve predictive accuracy, they are difficult to apply in general because of variations in model type, accuracy, or intended purpose. However, virtually any flight project will have at least some modeling capability at its disposal, whether a full-blown simulation, partial physics models, dynamic look-up tables, a brassboard analogue system, or simple hand-driven calculation by a team of experts. Many models can be used to develop a predict, or an estimate of the next day s or next cycle s behavior, which is typically used for planning purposes. The fidelity of a predict varies from one project to another, depending on the complexity of the simulation (i.e. linearized or full differential equations) and the level of detail in anticipated system operation, but typically any predict cannot be adapted to changing conditions or adjusted spacecraft command execution. Applying a predict blindly, without adapting the predict to current conditions, produces mixed results at best, primarily due to mismatches between assumed execution of spacecraft activities and actual times of execution. This results in the predict becoming useless during periods of complicated behavior, exactly when the predict would be most valuable. Each spacecraft operation tends to show up as a transient in the data, and if the transients are misaligned, using the predict can actually harm forecasting performance. To address this problem, the approach here expresses the predict in terms of a baseline function superposed with one or more transient functions. These transients serve as signal templates, which can be relocated in time and space against the signal background. One then has the ability to reconstruct a signal regardless of the precise timing of the transients. During operation, one applies the actual start times of spacecraft activities as they occur, and produces a reconstructed, accurate predict in real-time. This general approach is valid under two important conditions. First, the transients themselves must be time-invariant. Second, the transients must be reasonably consistent with respect to different operating points. Both of these assumptions are generally valid, but in the case of a complicated system with numerous types of overlapping transients, this approach may not be effective. Fortunately, there tend to be few transients in spacecraft telemetry of sensor quantities or low-level health and status information because these signals rarely reflect multiple different types of operation. Furthermore, if the predict is at least reasonably close to actual operation, the shift either in time, or in the operating point when the transient occurs - is likely to be small. The proposed approach considers three ways to recognize a transient. The first and most reliable is to use a different signal that identifies operating mode - often the transient will be correlated to a change in operating mode, and this change can usually be detected positively from discrete signals in spacecraft telemetry. If there is no useful mode signal, the second option is to identify the transient template by hand, and detect the onset of the transient using a curve-fitting approach. Finally, if one elects not to choose by hand, there is an option for automatic selection. This technique has been applied to sensor data from several JPL missions and industrial applications, demonstrating an improvement in accurate prediction of future behavior and early detection of system problems. This technique is applicable to practically any time-varying, quantitative sensor measurement.

Mackey, Ryan↗