Search NASA⌕ Search

SEARCH · Search NASA

Results for “concurrency”

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 469 records · Page 26

Cockpit Interruptions and Distractions: Effective Management Requires a Careful Balancing Act

Managing several tasks concurrently is an everyday part of cockpit operations. For the most part, crews handle concurrent task demands efficiently, yet crew preoccupation with one task to the detriment of performing other tasks is one of the more common forms of error in the cockpit. Most pilots are familiar with the December 1972 L1011 crash that occurred when the crew became preoccupied with a landing gear light malfunction and failed to notice that someone had inadvertently bumped off the autopilot. More recently a DC-9 landed gear-up in Houston when the crew, preoccupied with an stabilized approach, failed to recognize that the gear was not down because they had not switched the hydraulic pumps to high. We have recently started a research project to study why crews are vulnerable to these sorts of errors. As part of that project we reviewed NTSB reports of accidents attributed to crew error; we concluded that nearly half of these accidents involved lapses of attention associated with interruptions, distractions, or preoccupation with one task to the exclusion of another task. We have also analyzed 107 ASRS reports involving competing tasks; we present here some of our conclusions from those ASRS reports. These 107 reports involved 21 different types of routine tasks crews neglected at a critical moment while attending to another task. Sixty-nine percent of the neglected tasks involved either failure to monitor the current status or position of the aircraft or failure to monitor the actions of the pilot flying or taxiing. Thirty-four different types of competing activities distracted or preoccupied the pilots. Ninety percent of these competing activities fell into one of four broad categories: communication (e.g., discussion among crew or radio communication), heads-down work (e.g., programming the FMS or reviewing approach plates), responding to abnormals, or searching for VMC traffic. We will discuss examples of each of these four categories and suggest things crews can do to reduce their vulnerability to these and similar situations.

Dismukes, R. K.↗

An Overview of the Runtime Verification Tool Java PathExplorer

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.

Havelund, Klaus↗

Generalized Symbolic Execution for Model Checking and Testing

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

Khurshid, Sarfraz↗

An Analysis of Gravity-Field Estimation Based on Intersatellite Dual-1-Way Biased Ranging

The GRACE (Gravity Recovery And Climate Experiment) mission is designed to make global, highly accurate measurements of the Earth's gravity field with high spatial resolution. Ancillary GPS occultation measurements are also to be carried out for atmospheric monitoring. In the dual-1-way biased ranging of this mission, the range between two satellites separated by 100 to 200 km in nearly polar, coplanar, circular orbits, is measured to very high precision, to within an additive constant, through the exchange of K- and Ka-band sinusoidal signals. Such biased ranging data, along with GPS L-band range and phase data, can be processed and fit over successive multiday intervals to obtain accurate estimates of the Earth's gravity field. This report approximately models and analyzes this process, from the generation of the RF signals at the two satellites through the extraction of the geopotential. The steps include generation of the transmitted signals, processing the received signals to extract high-rate baseband phase, carrying out a dual-1-way combination of baseband phase to extract high-rate biased range for each band, combining K- and Ka-band ranges to correct for the ionosphere effect, and processing the resulting high-rate biased range values to extract three types of reduced-rate observables: biased range, range rate and range acceleration. The version of dual-1-way biased ranging developed by this report improves upon previous versions in a number of ways: highly accurate satellite-timetag corrections derived from concurrent GPS data, better baseband phase extraction using highly digital processing, highly accurate USO-rate calibration derived from concurrent GPS data, an improved method for extracting high-rate biased range from baseband phase, improved filtering for extracting reduced- rate observables from high-rate biased range, and parallel extraction of three observable types.

SINUSOIDAL SIGNALS↗

Geodata Modeling and Query in Geographic Information Systems

Geographic information systems (GIS) deal with collecting, modeling, man- aging, analyzing, and integrating spatial (locational) and non-spatial (attribute) data required for geographic applications. Examples of spatial data are digital maps, administrative boundaries, road networks, and those of non-spatial data are census counts, land elevations and soil characteristics. GIS shares common areas with a number of other disciplines such as computer- aided design, computer cartography, database management, and remote sensing. None of these disciplines however, can by themselves fully meet the requirements of a GIS application. Examples of such requirements include: the ability to use locational data to produce high quality plots, perform complex operations such as network analysis, enable spatial searching and overlay operations, support spatial analysis and modeling, and provide data management functions such as efficient storage, retrieval, and modification of large datasets; independence, integrity, and security of data; and concurrent access to multiple users. It is on the data management issues that we devote our discussions in this monograph. Traditionally, database management technology have been developed for business applications. Such applications require, among other things, capturing the data requirements of high-level business functions and developing machine- level implementations; supporting multiple views of data and yet providing integration that would minimize redundancy and maintain data integrity and security; providing a high-level language for data definition and manipulation; allowing concurrent access to multiple users; and processing user transactions in an efficient manner. The demands on database management systems have been for speed, reliability, efficiency, cost effectiveness, and user-friendliness. Significant progress have been made in all of these areas over the last two decades to the point that many generalized database platforms are now available for developing data intensive applications that run in real-time. While continuous improvement is still being made at a very fast-paced and competitive rate, new application areas such as computer aided design, image processing, VLSI design, and GIS have been identified by many as the next generation of database applications. These new application areas pose serious challenges to the currently available database technology. At the core of these challenges is the nature of data that is manipulated. In traditional database applications, the database objects do not have any spatial dimension, and as such, can be thought of as point data in a multi-dimensional space. For example, each instance of an entity EMPLOYEE will have a unique value corresponding to every attribute such as employee id, employee name, employee address and so on. Thus, every Employee instance can be thought of as a point in a multi-dimensional space where each dimension is represented by an attribute. Furthermore, all operations on such data are one-dimensional. Thus, users may retrieve all entities satisfying one or more constraints. Examples of such constraints include employees with addresses in a certain area code, or salaries within a certain range. Even though constraints can be specified on multiple attributes (dimensions), the search for such data is essentially orthogonal across these dimensions.

Adam, Nabil↗

Upward And Downward Flame Spreading And Extinction In Partial Gravity Environments

The premise of this research effort has been to begin exploring the gap in the literature between studies of material flammability and flame spread phenomena in normal-gravity and those conducted in the microgravity environment, with or without forced flows. From a fundamental point of view, flame spreading in upward (concurrent) buoyant flow is considerably different from concurrent forced flow. The flow accelerates throughout the length of the buoyant flame bringing the streamlines and the flame closer to the fuel surface and strengthening the interaction between the flame and fuel. Forced flows are diverted around the flame and away from the fuel surface, except where the flow might be constrained by a finite duct. The differences may be most clearly felt as the atmospheric conditions, viz. pressure or oxygen content, approach the flammability limit. From a more practical point of view, flame spreading and material flammability behavior have not been studied under the partial gravity conditions that are the natural state in space exploration destinations such as the Moon and Mars. This effort constitutes the beginning of the research needed to engineer fire safety provisions for such future missions. In this program we have performed partial-gravity experiments (from 0.1 to 1 g/g(sub Earth)) considering both upward and downward flame spread over thin solid fuels aboard the NASA KC-135 aircraft. In those tests, the atmospheric pressure and the fuel sample width were varied. Steady flame spread rates and approximate extinction boundaries were determined. Flame images were recorded using video cameras and two-dimensional fuel surface temperature distributions were determined using an IR camera. These results are available, and complement our earlier work in downward spread in partial gravity varying oxygen content. In conjunction with the experiment, three-dimensional models of flame spreading in buoyant flow have been developed. Some of the computed results on upward spreading have been presented. A derivative three-dimensional model of downward spreading has been developed. It is currently being used to evaluate the standard limiting oxygen index (LOI) measuring device and its potential performance in different gravity levels.

Sacksteder, Kurt R.↗

Caspase inhibitors promote vestibular hair cell survival and function after aminoglycoside treatment in vivo

The sensory hair cells of the inner ear undergo apoptosis after acoustic trauma or aminoglycoside antibiotic treatment, causing permanent auditory and vestibular deficits in humans. Previous studies have demonstrated a role for caspase activation in hair cell death and ototoxic injury that can be reduced by concurrent treatment with caspase inhibitors in vitro. In this study, we examined the protective effects of caspase inhibition on hair cell death in vivo after systemic injections of aminoglycosides. In one series of experiments, chickens were implanted with osmotic pumps that administrated the pan-caspase inhibitor z-Val-Ala-Asp(Ome)-fluoromethylketone (zVAD) into inner ear fluids. One day after the surgery, the animals received a 5 d course of treatment with streptomycin, a vestibulotoxic aminoglycoside. Direct infusion of zVAD into the vestibule significantly increased hair cell survival after streptomycin treatment. A second series of experiments determined whether rescued hair cells could function as sensory receptors. Animals treated with streptomycin displayed vestibular system impairment as measured by a greatly reduced vestibulo-ocular response (VOR). In contrast, animals that received concurrent systemic administration of zVAD with streptomycin had both significantly greater hair cell survival and significantly increased VOR responses, as compared with animals treated with streptomycin alone. These findings suggest that inhibiting the activation of caspases promotes the survival of hair cells and protects against vestibular function deficits after aminoglycoside treatment.

NASA Discipline Neuroscience↗

Luminescence and ESR studies of relationships between O(-)-centres and structural iron in natural and synthetically hydrated kaolinites

Luminescence, induced by dehydration and by wetting with hydrazine and unsymmetrically substituted hydrazine, and related ESR spectra have been observed from several kaolinites, synthetically hydrated kaolinites, and metahalloysites. The amine-wetting luminescence results suggest that intercalation, not a chemiluminescence reaction, is the luminescence trigger. Correlation between hydration-induced luminescence and g = 2 ESR signals associated with O(-)-centres in several natural halloysites, and concurrent diminution of the intensity of both these signal types as a function of aging in two 8.4 angstroms synthetically hydrated, kaolinites, confirm a previously-reported relationship between the luminescence induced by dehydration and in the presence of O(-)-centres (holes, i.e., electron vacancies) in the tetrahedral sheet. Furthermore, the ESR spectra of the 8.4 angstroms hydrate showed a concurrent change in the line shape of the g = 4 signal from a shape usually associated with structural Fe in an ordered kaolinite, to a simpler one typically observed in more disordered kaolinite, halloysite, and montmorillonite. Either structural Fe centres and the O(-)-centres interact, or both are subject to factors previously associated with degree of order. The results question the long-term stability of the 8.4 angstroms hydrate, although XRD does not indicate interlayer collapse over this period. Complex inter-relationships are shown between intercalation, stored energy, structural Fe, and the degree of hydration which may be reflected in catalytic as well as spectroscopic properties of the clays.

NASA Center ARC↗

Bi-Level Integrated System Synthesis (BLISS)

BLISS is a method for optimization of engineering systems by decomposition. It separates the system level optimization, having a relatively small number of design variables, from the potentially numerous sub-system optimizations that may each have a large number of local design variables. The subsystem optimizations are autonomous and may be conducted concurrently. Subsystem and system optimizations alternate, linked by sensitivity data, producing a design improvement in each iteration. Starting from a best guess initial design, the method improves that design in iterative cycles, each cycle comprised of two steps. In step one, the system level variables are frozen and the improvement is achieved by separate, concurrent, and autonomous optimizations in the local variable subdomains. In step two, further improvement is sought in the space of the system level variables. Optimum sensitivity data link the second step to the first. The method prototype was implemented using MATLAB and iSIGHT programming software and tested on a simplified, conceptual level supersonic business jet design, and a detailed design of an electronic device.

Sobieszczanski-Sobieski, Jaroslaw↗

Grasping objects by their handles: a necessary interaction between cognition and action

Research has illustrated dissociations between "cognitive" and "action" systems, suggesting that different representations may underlie phenomenal experience and visuomotor behavior. However, these systems also interact. The present studies show a necessary interaction when semantic processing of an object is required for an appropriate action. Experiment 1 demonstrated that a semantic task interfered with grasping objects appropriately by their handles, but a visuospatial task did not. Experiment 2 assessed performance on a visuomotor task that had no semantic component and showed a reversal of the effects of the concurrent tasks. In Experiment 3, variations on concurrent word tasks suggested that retrieval of semantic information was necessary for appropriate grasping. In all, without semantic processing, the visuomotor system can direct the effective grasp of an object, but not in a manner that is appropriate for its use.

NASA Center ARC↗

2-deoxy-D-glucose-induced metabolic stress enhances resistance to Listeria monocytogenes infection in mice

Exposure to different forms of psychological and physiological stress can elicit a host stress response, which alters normal parameters of neuroendocrine homeostasis. The present study evaluated the influence of the metabolic stressor 2-deoxy-D-glucose (2-DG; a glucose analog, which when administered to rodents, induces acute periods of metabolic stress) on the capacity of mice to resist infection with the facultative intracellular bacterial pathogen Listeria monocytogenes. Female BDF1 mice were injected with 2-DG (500 mg/kg b. wt.) once every 48 h prior to, concurrent with, or after the onset of a sublethal dose of virulent L. monocytogenes. Kinetics of bacterial growth in mice were not altered if 2-DG was applied concurrently or after the start of the infection. In contrast, mice exposed to 2-DG prior to infection demonstrated an enhanced resistance to the listeria challenge. The enhanced bacterial clearance in vivo could not be explained by 2-DG exerting a toxic effect on the listeria, based on the results of two experiments. First, 2-DG did not inhibit listeria replication in trypticase soy broth. Second, replication of L. monocytogenes was not inhibited in bone marrow-derived macrophage cultures exposed to 2-DG. Production of neopterin and lysozyme, indicators of macrophage activation, were enhanced following exposure to 2-DG, which correlated with the increased resistance to L. monocytogenes. These results support the contention that the host response to 2-DG-induced metabolic stress can influence the capacity of the immune system to resist infection by certain classes of microbial pathogens.

Non-NASA Center↗

Transitioning from Software Requirements Models to Design Models

The Scenario Creation and Simulation Process (SCASP) includes the following steps: 1) Write Requirements; 2) Write Use Cases; 3) Prioritize Use Cases; 4) Write Nominal Scenarios; 5) Identify Relationships; 6) Refine/Generalize Scenarios; 7) Transform to State Machines. SCASP provides thorough simulation of use cases before design/implementation, resulting in: 1) Reduced cost; 2) Fewer misunderstandings; 3) Reuse of executable form of use cases. SCASP gives systematic guidelines on how to 1) Separate concerns in use case descriptions; 2) Elicit non-nominal scenarios (alternatives, exceptions, concurrent scenarios, etc.); 3) Transform those scenarios automatically into a set of concurrent state machines; 4) Execute those state machines, i.e., scenario simulation.

Whittle, Jon↗

Advanced Technology Lifecycle Analysis System (ATLAS)

Developing credible mass and cost estimates for space exploration and development architectures require multidisciplinary analysis based on physics calculations, and parametric estimates derived from historical systems. Within the National Aeronautics and Space Administration (NASA), concurrent engineering environment (CEE) activities integrate discipline oriented analysis tools through a computer network and accumulate the results of a multidisciplinary analysis team via a centralized database or spreadsheet Each minute of a design and analysis study within a concurrent engineering environment is expensive due the size of the team and supporting equipment The Advanced Technology Lifecycle Analysis System (ATLAS) reduces the cost of architecture analysis by capturing the knowledge of discipline experts into system oriented spreadsheet models. A framework with a user interface presents a library of system models to an architecture analyst. The analyst selects models of launchers, in-space transportation systems, and excursion vehicles, as well as space and surface infrastructure such as propellant depots, habitats, and solar power satellites. After assembling the architecture from the selected models, the analyst can create a campaign comprised of missions spanning several years. The ATLAS controller passes analyst specified parameters to the models and data among the models. An integrator workbook calls a history based parametric analysis cost model to determine the costs. Also, the integrator estimates the flight rates, launched masses, and architecture benefits over the years of the campaign. An accumulator workbook presents the analytical results in a series of bar graphs. In no way does ATLAS compete with a CEE; instead, ATLAS complements a CEE by ensuring that the time of the experts is well spent Using ATLAS, an architecture analyst can perform technology sensitivity analysis, study many scenarios, and see the impact of design decisions. When the analyst is satisfied with the system configurations, technology portfolios, and deployment strategies, he or she can present the concepts to a team, which will conduct a detailed, discipline-oriented analysis within a CEE. An analog to this approach is the music industry where a songwriter creates the lyrics and music before entering a recording studio.

O'Neil, Daniel A.↗

General Multimechanism Reversible-Irreversible Time-Dependent Constitutive Deformation Model Being Developed

Since most advanced material systems (for example metallic-, polymer-, and ceramic-based systems) being currently researched and evaluated are for high-temperature airframe and propulsion system applications, the required constitutive models must account for both reversible and irreversible time-dependent deformations. Furthermore, since an integral part of continuum-based computational methodologies (be they microscale- or macroscale-based) is an accurate and computationally efficient constitutive model to describe the deformation behavior of the materials of interest, extensive research efforts have been made over the years on the phenomenological representations of constitutive material behavior in the inelastic analysis of structures. From a more recent and comprehensive perspective, the NASA Glenn Research Center in conjunction with the University of Akron has emphasized concurrently addressing three important and related areas: that is, 1) Mathematical formulation; 2) Algorithmic developments for updating (integrating) the external (e.g., stress) and internal state variables; 3) Parameter estimation for characterizing the model. This concurrent perspective to constitutive modeling has enabled the overcoming of the two major obstacles to fully utilizing these sophisticated time-dependent (hereditary) constitutive models in practical engineering analysis. These obstacles are: 1) Lack of efficient and robust integration algorithms; 2) Difficulties associated with characterizing the large number of required material parameters, particularly when many of these parameters lack obvious or direct physical interpretations.

Saleeb, A. F.↗

The Small Aircraft Transportation System (SATS), Higher Volume Operations (HVO) Off-Nominal Operations

The ability to conduct concurrent, multiple aircraft operations in poor weather, at virtually any airport, offers an important opportunity for a significant increase in the rate of flight operations, a major improvement in passenger convenience, and the potential to foster growth of charter operations at small airports. The Small Aircraft Transportation System, (SATS) Higher Volume Operations (HVO) concept is designed to increase traffic flow at any of the 3400 nonradar, non-towered airports in the United States where operations are currently restricted to one-in/one-out procedural separation during Instrument Meteorological Conditions (IMC). The concept's key feature is pilots maintain their own separation from other aircraft using procedures, aircraft flight data sent via air-to-air datalink, cockpit displays, and on-board software. This is done within the Self-Controlled Area (SCA), an area of flight operations established during poor visibility or low ceilings around an airport without Air Traffic Control (ATC) services. The research described in this paper expands the HVO concept to include most off-nominal situations that could be expected to occur in a future SATS environment. The situations were categorized into routine off-nominal operations, procedural deviations, equipment malfunctions, and aircraft emergencies. The combination of normal and off-nominal HVO procedures provides evidence for an operational concept that is safe, requires little ground infrastructure, and enables concurrent flight operations in poor weather.

Baxley, B.↗

Considerations in the Integration of Small Aircraft Transportation System Higher Volume Operations (SATSHVO) in the National Airspace System (NAS)

The Small Aircraft Transportation System Higher Volume Operations (SATS HVO) concept holds the promise for increased efficiency and throughput at many of the nations under-used airports. This concept allows for concurrent operations at uncontrolled airports that under today s procedures are restricted to one arrival or one departure operation at a time, when current-day IFR separation standards are applied. To allow for concurrent operations, SATS HVO proposes several fundamental changes to today's system. These changes include: creation of dedicated airspace, development of new procedures and communications (phraseologies), and assignment of roles and responsibilities for pilots and controllers, among others. These changes would affect operations on the airborne side (pilot) as well as the groundside (controller and air traffic flow process). The focus of this paper is to discuss some of the issues and potential problems that have been considered in the development of the SATS HVO concept, in particular from the ground side perspective. Reasonable solutions to the issues raised here have been proposed by the SATS HVO team, and are discussed in this paper.

Lohr, Gary W.↗

Simulink-Based Simulation Architecture for Evaluating Controls for Aerospace Vehicles (SAREC-ASV)

The Simulation Architecture for Evaluating Controls for Aerospace Vehicles (SAREC-ASV) is a Simulink-based approach to providing an engineering quality desktop simulation capability for finding trim solutions, extracting linear models for vehicle analysis and control law development, and generating open-loop and closed-loop time history responses for control system evaluation. It represents a useful level of maturity rather than a finished product. The layout is hierarchical and supports concurrent component development and validation, with support from the Concurrent Versions System (CVS) software management tool. Real Time Workshop (RTW) is used to generate pre-compiled code for substantial component modules, and templates permit switching seamlessly between original Simulink and code compiled for various platforms. Two previous limitations are addressed. Turn around time for incorporating tabular model components was improved through auto-generation of required Simulink diagrams based on data received in XML format. The layout was modified to exploit a Simulink "compile once, evaluate multiple times" capability for zero elapsed time for use in trimming and linearizing. Trim is achieved through a Graphical User Interface (GUI) with a narrow, script definable interface to the vehicle model which facilitates incorporating new models.

Christhilf, David m.↗

System Software Framework for System of Systems Avionics

Project Constellation implements NASA's vision for space exploration to expand human presence in our solar system. The engineering focus of this project is developing a system of systems architecture. This architecture allows for the incremental development of the overall program. Systems can be built and connected in a "Lego style" manner to generate configurations supporting various mission objectives. The development of the avionics or control systems of such a massive project will result in concurrent engineering. Also, each system will have software and the need to communicate with other (possibly heterogeneous) systems. Fortunately, this design problem has already been solved during the creation and evolution of systems such as the Internet and the Department of Defense's successful effort to standardize distributed simulation (now IEEE 1516). The solution relies on the use of a standard layered software framework and a communication protocol. A standard framework and communication protocol is suggested for the development and maintenance of Project Constellation systems. The ARINC 653 standard is a great start for such a common software framework. This paper proposes a common system software framework that uses the Real Time Publish/Subscribe protocol for framework-to-framework communication to extend ARINC 653. It is highly recommended that such a framework be established before development. This is important for the success of concurrent engineering. The framework provides an infrastructure for general system services and is designed for flexibility to support a spiral development effort.

Ferguson, Roscoe C.↗