SEARCH · Engineering Papers

Results for “CONCURRENT”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

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

At least 1,009 records · Page 56

All sources NASA NTRS DOE OSTI

NASA NTRS1995

A synthetic design environment for ship design

Rapid advances in computer science and information system technology have made possible the creation of synthetic design environments (SDE) which use virtual prototypes to increase the efficiency and agility of the design process. This next generation of computer-based design tools will rely heavily on simulation and advanced visualization techniques to enable integrated product and process teams to concurrently conceptualize, design, and test a product and its fabrication processes. This paper summarizes a successful demonstration of the feasibility of using a simulation based design environment in the shipbuilding industry. As computer science and information science technologies have evolved, there have been many attempts to apply and integrate the new capabilities into systems for the improvement of the process of design. We see the benefits of those efforts in the abundance of highly reliable, technologically complex products and services in the modern marketplace. Furthermore, the computer-based technologies have been so cost effective that the improvements embodied in modern products have been accompanied by lowered costs. Today the state-of-the-art in computerized design has advanced so dramatically that the focus is no longer on merely improving design methodology; rather the goal is to revolutionize the entire process by which complex products are conceived, designed, fabricated, tested, deployed, operated, maintained, refurbished and eventually decommissioned. By concurrently addressing all life-cycle issues, the basic decision making process within an enterprise will be improved dramatically, leading to new levels of quality, innovation, efficiency, and customer responsiveness. By integrating functions and people with an enterprise, such systems will change the fundamental way American industries are organized, creating companies that are more competitive, creative, and productive.

Chipman, Richard R.↗

NASA NTRS1996

Extrinsic germanium photoconductors for far-IR astronomy: Research results and works in progress

Some Ge:Ga and Ge:Sb photoconductor materials and detectors that are currently under development are reported. The best Ge:Ga devices exhibit dark currents of lower than 200 electrons/s, with a concurrent responsivity of 2 A/W and a detective quantum efficiency (DQE) of 5 percent. For higher backgrounds, an operating temperature of 3 K can be used. This increases the DQE to 7 percent and the responsivity to 4.5 A/W. Investigations were initiated into n-type Ge:Sb as an alternative photoconductive material. Two crystals of Ge:Sb were grown and a number of test detectors were fabricated and evaluated. At 2 K, the best device produced dark currents of less than 100 electrons/s with concurrent responsivity of 1 A/W and DQE of 4 percent, and at 3 K, produced currents of 10(exp 5) electrons/s with a DQE of 7 percent and a responsivity of 4 A/W. Using p-type Ge:Ga crystals, two dimensional monolithic photoconductor arrays are being constructed. Future work will focus on measuring pixel-to-pixel homogeneity, cross talk issues, overall sensitivity and suitability for photometric instruments.

Beeman, J. W.↗

NASA NTRS1987

Using Histories to Implement Atomic Objects

In this paper we describe an approach of implementing atomicity. Atomicity requires that computations appear to be all-or-nothing and executed in a serialization order. The approach we describe has three characteristics. First, it utilizes the semantics of an application to improve concurrency. Second, it reduces the complexity of application-dependent synchronization code by analyzing the process of writing it. In fact, the process can be automated with logic programming. Third, our approach hides the protocol used to arrive at a serialization order from the applications. As a result, different protocols can be used without affecting the applications. Our approach uses a history tree abstraction. The history tree captures the ordering relationship among concurrent computations. By determining what types of computations exist in the history tree and their parameters, a computation can determine whether it can proceed.

Ng, Pui↗

NASA NTRS1998

Integrated Task And Data Parallel Programming: Language Design

his research investigates the combination of task and data parallel language constructs within a single programming language. There are an number of applications that exhibit properties which would be well served by such an integrated language. Examples include global climate models, aircraft design problems, and multidisciplinary design optimization problems. Our approach incorporates data parallel language constructs into an existing, object oriented, task parallel language. The language will support creation and manipulation of parallel classes and objects of both types (task parallel and data parallel). Ultimately, the language will allow data parallel and task parallel classes to be used either as building blocks or managers of parallel objects of either type, thus allowing the development of single and multi-paradigm parallel applications. 1995 Research Accomplishments In February I presented a paper at Frontiers '95 describing the design of the data parallel language subset. During the spring I wrote and defended my dissertation proposal. Since that time I have developed a runtime model for the language subset. I have begun implementing the model and hand-coding simple examples which demonstrate the language subset. I have identified an astrophysical fluid flow application which will validate the data parallel language subset. 1996 Research Agenda Milestones for the coming year include implementing a significant portion of the data parallel language subset over the Legion system. Using simple hand-coded methods, I plan to demonstrate (1) concurrent task and data parallel objects and (2) task parallel objects managing both task and data parallel objects. My next steps will focus on constructing a compiler and implementing the fluid flow application with the language. Concurrently, I will conduct a search for a real-world application exhibiting both task and data parallelism within the same program m. Additional 1995 Activities During the fall I collaborated with Andrew Grimshaw and Adam Ferrari to write a book chapter which will be included in Parallel Processing in C++ edited by Gregory Wilson. I also finished two courses, Compilers and Advanced Compilers, in 1995. These courses complete my class requirements at the University of Virginia. I have only my dissertation research and defense to complete.

Grimshaw, Andrew S.↗

NASA NTRS1998

Forced Flow Flame Spreading Test: Preliminary Findings From the USMP-3 Shuttle Mission

The Forced Flow Flame spreading Test (FFFT) is a study of flame spreading over solid fuels in very low-speed air flows. The FFFT experiment is part of research entitled Solid Inflammability Boundary at Low Speeds, (SIBAL) intended for operations on the Space Station. In the FFFT experiment, a series of 15 experiments conducted aboard the space shuttle during the United States Microgravity Payload (USMP-3) mission provided information about the structure and spreading characteristics of flames in low-speed, concurrent flows. The test samples included flat sheets of cellulose and cast cylinders of cellulose, burned in air at velocities of approximately 1 to 8 cm/sec. The test results have been successfully compared to theoretical predictions of the SIBAL program, a fundamentally based numerical simulation of concurrent flow flame spread. Additionally, some guidance for the design characteristics of the SIBAL flight experiment have been obtained including some verification of the theoretical predictions of flame size versus the required size of the SIBAL flow duct, and the effect of the presence of thermocouples in the vicinity of near-limit flames in microgravity.

Sacksteder, Kurt R.↗

NASA NTRS1999

A Practical Approach to Implementing Real-Time Semantics

This paper investigates implementations of process algebras which are suitable for modeling concurrent real-time systems. It suggests an approach for efficiently implementing real-time semantics using dynamic priorities. For this purpose a proces algebra with dynamic priority is defined, whose semantics corresponds one-to-one to traditional real-time semantics. The advantage of the dynamic-priority approach is that it drastically reduces the state-space sizes of the systems in question while preserving all properties of their functional and real-time behavior. The utility of the technique is demonstrated by a case study which deals with the formal modeling and verification of the SCSI-2 bus-protocol. The case study is carried out in the Concurrency Workbench of North Carolina, an automated verification tool in which the process algebra with dynamic priority is implemented. It turns out that the state space of the bus-protocol model is about an order of magnitude smaller than the one resulting from real-time semantics. The accuracy of the model is proved by applying model checking for verifying several mandatory properties of the bus protocol.

Luettgen, Gerald↗

NASA NTRS1998

Integrated Task and Data Parallel Programming

This research investigates the combination of task and data parallel language constructs within a single programming language. There are an number of applications that exhibit properties which would be well served by such an integrated language. Examples include global climate models, aircraft design problems, and multidisciplinary design optimization problems. Our approach incorporates data parallel language constructs into an existing, object oriented, task parallel language. The language will support creation and manipulation of parallel classes and objects of both types (task parallel and data parallel). Ultimately, the language will allow data parallel and task parallel classes to be used either as building blocks or managers of parallel objects of either type, thus allowing the development of single and multi-paradigm parallel applications. 1995 Research Accomplishments In February I presented a paper at Frontiers 1995 describing the design of the data parallel language subset. During the spring I wrote and defended my dissertation proposal. Since that time I have developed a runtime model for the language subset. I have begun implementing the model and hand-coding simple examples which demonstrate the language subset. I have identified an astrophysical fluid flow application which will validate the data parallel language subset. 1996 Research Agenda Milestones for the coming year include implementing a significant portion of the data parallel language subset over the Legion system. Using simple hand-coded methods, I plan to demonstrate (1) concurrent task and data parallel objects and (2) task parallel objects managing both task and data parallel objects. My next steps will focus on constructing a compiler and implementing the fluid flow application with the language. Concurrently, I will conduct a search for a real-world application exhibiting both task and data parallelism within the same program. Additional 1995 Activities During the fall I collaborated with Andrew Grimshaw and Adam Ferrari to write a book chapter which will be included in Parallel Processing in C++ edited by Gregory Wilson. I also finished two courses, Compilers and Advanced Compilers, in 1995. These courses complete my class requirements at the University of Virginia. I have only my dissertation research and defense to complete.

Grimshaw, A. S.↗

NASA NTRS1998

Software Development Technologies for Reactive, Real-Time, and Hybrid Systems: Summary of Research

This research is directed towards the implementation of a comprehensive deductive-algorithmic environment (toolkit) for the development and verification of high assurance reactive systems, especially concurrent, real-time, and hybrid systems. For this, we have designed and implemented the STCP (Stanford Temporal Prover) verification system. Reactive systems have an ongoing interaction with their environment, and their computations are infinite sequences of states. A large number of systems can be seen as reactive systems, including hardware, concurrent programs, network protocols, and embedded systems. Temporal logic provides a convenient language for expressing properties of reactive systems. A temporal verification methodology provides procedures for proving that a given system satisfies a given temporal property. The research covered necessary theoretical foundations as well as implementation and application issues.

Manna, Zohar↗

NASA NTRS1999

A Method for Assessing Material Flammability for Micro-Gravity Environments

On a spacecraft, one of the greatest fears during a mission is the outbreak of a fire. Since spacecraft are enclosed spaces and depend highly on technical electronics, a small fire could cause a large amount of damage. NASA uses upward flame spread as a "worst case scenario" evaluation for materials and the Heat and Visible Smoke Release Rates Test to assess the damage potential of a fire. Details of these tests and the protocols followed are provided by the "Flammability, Odor, Offgassing, and Compatibility Requirements and Test Procedures for Materials in Environments that Support Combustion" document. As pointed by Ohlemiller and Villa, the upward flame spread test does not address the effect of external radiation on ignition and spread. External radiation, as that coming from an overheated electrical component, is a plausible fire scenario in a space facility and could result in a reversal of the flammability rankings derived from the upward flame spread test. The "Upward Flame Propagation Test" has been the subject of strong criticism in the last few years. In many cases, theoretical exercises and experimental results have demonstrated the possibility of a reversal in the material flammability rankings from normal to micro-gravity. Furthermore, the need to incorporate information on the effects of external radiation and opposed flame spread when ranking materials based on their potential to burn in micro-gravity has been emphasized. Experiments conducted in a 2.2 second drop tower with an ethane burner in an air cross flow have emphasized that burning at the trailing edge is deterred in micro-gravity due to the decreased oxygen transport. For very low air flow velocities (U<0.005 m/s) the flame envelopes the burner and a slight increase in velocity results in extinction of the trailing edge (U>0.01 m/s). Only for U>0.l m/s extinction is observed at the leading edge (blow-off). Three dimensional numerical calculations performed for thin cellulose centrally ignited with an axisymmetric source have shown that under the presence of a forced flow slower than 0.035 m/s flames spreads only opposing the flow. Extinction is observed at the trailing edge with no concurrent propagation. Experiments conducted by the same authors at the JAMIC 10 second drop tower verified these calculations. Reducing the oxygen supply to the flame also results in a decrease of the Damk6hler number which might lead to extinction. Greyson et al. and Ferkul conducted experiments in micro-gravity (5 second drop tower) with thin paper and observed that at very low flow velocities concurrent flame spread will stop propagating and the flame will reduce in size and extinguish. They noted that quenching differs significantly from blow-off in that the upstream leading edge will remain anchored to the burn out edge.

Steinhaus, T.↗

NASA NTRS1999

Experimental Verification of Material Flammability in Space

The flammability in microgravity of three US-furnished materials, Delrin, polymethylmethacrylate (PMMA), and high-density polyethylene, was determined using a Russian-developed combustion tunnel on Mir. Four 4.5-mm-diameter cylindrical samples of each plastic were ignited under concurrent airflow (in the direction of flame spread) with velocities from no flow to 8.5 cm/s. The test results identify a limiting air-flow velocity V(sub lim) for each material, below which combustion ceases. Nominal values are V(sub lim) < 0.3 cm/s for Delrin, 0.5 cm/s for PMMA, and 0.3 to 0.5 cm/s for polyethylene. These values are lower than those obtained in prior ground testing. Nevertheless, they demonstrate that flow shutoff is effective for extinguishment in the microgravity environment of spacecraft. Microgravity test results also show that the plastic materials maintain a stable melt ball within the spreading flame zone. In general, as the concurrent flow velocity V decreases, the flame-spread rate V(sub F) decreases, from an average (for all three materials) of V(sub F)= 0.5-0.75 mm/s at V = 8.5 cm/s to V(sub F)= 0.05-0.01 mm/s at V = 0.3-0.5 cm/s. Also, as V decreases, the flames become less visible but expand, increasing the probability of igniting an adjacent surface.

Ivanov, A. V.↗

NASA NTRS1999

NASA Institute for Advanced Concepts

The purpose of NASA Institute for Advanced Concepts (NIAC) is to provide an independent, open forum for the external analysis and definition of space and aeronautics advanced concepts to complement the advanced concepts activities conducted within the NASA Enterprises. The NIAC will issue Calls for Proposals during each year of operation and will select revolutionary advanced concepts for grant or contract awards through a peer review process. Final selection of awards will be with the concurrence of NASA's Chief Technologist. The operation of the NIAC is reviewed biannually by the NIAC Science, Exploration and Technology Council (NSETC) whose members are drawn from the senior levels of industry and universities. The process of defining the technical scope of the initial Call for Proposals was begun with the NIAC "Grand Challenges" workshop conducted on May 21-22, 1998 in Columbia, Maryland. These "Grand Challenges" resulting from this workshop became the essence of the technical scope for the first Phase I Call for Proposals which was released on June 19, 1998 with a due date of July 31, 1998. The first Phase I Call for Proposals attracted 119 proposals. After a thorough peer review, prioritization by NIAC and technical concurrence by NASA, sixteen subgrants were awarded. The second Phase I Call for Proposals was released on November 23, 1998 with a due date of January 31, 1999. Sixty-three (63) proposals were received in response to this Call. On December 2-3, 1998, the NSETC met to review the progress and future plans of the NIAC. The next NSETC meeting is scheduled for August 5-6, 1999. The first Phase II Call for Proposals was released to the current Phase I grantees on February 3,1999 with a due date of May 31, 1999. Plans for the second year of the contract include a continuation of the sequence of Phase I and Phase II Calls for Proposals and hosting the first NIAC Annual Meeting and USRA/NIAC Technical Symposium in NASA HQ.

Cassanova, Robert A.↗

NASA NTRS1999

RXTE Observation of 4U 1630-47 During its 1998 Outburst

During the 1998 outburst of 4U 1630-47 it was extensively observed with the Rossi X-ray Timing Explorer (RXTE). In order to cover the outburst more thoroughly our data (Obs. ID: 30178-0[1-2]- ) were combined with those of Cui et al. (Obs. ID: 30188-02-). These observations were later compared with the complementary observations. Power density and energy spectra have been made for each observation. The data was used to place radio and hard X-ray observations within context. Analysis of SAX (Satellite per Astronomia a raggi X) and BATSE (Burst and Transient Source Experiment) data was also included within the study. The count rate and position in hardness-intensity, color-color diagrams and simple spectral fits are used to track the concurrent spectral changes. The source showed seven distinct types of timing behavior, most of which show differences with the canonical black hole spectral/timing states. In marked contrast to previous outbursts, we find quasi-periodic oscillation (QPO) signals during nearly all stages of the outburst with frequencies between 0.06 Hz and 14 Hz and a remarkable variety of other characteristics. In particular we find large (up to 23% rms) amplitude QPO on the early rise. Later, slow 0.1 Hz semi- regular short (- 5 sec), 9 to 16% deep dips dominate the light curve. At this time there are two QPOS, one stable near 13.5 Hz and the other whose frequency drops from 6-8 Hz to - 4.5 Hz during the dips. BeppoSAX observations during the very late declining phase show 4U 1630-47 in a low state. These results will shortly be published. We are completing a detailed analysis of the energy spectra (in preparation). The QPO/noise properties are being correlated with the concurrent spectral changes. Detailed studies of the QPO are being undertaken using sophisticated timing analysis methods. Finally a comparison with the other outbursts of 1630-47 is being made.

Dieters, Stefan W.↗

NASA NTRS2000

Experience with a Genetic Algorithm Implemented on a Multiprocessor Computer

Numerical experiments were conducted to find out the extent to which a Genetic Algorithm (GA) may benefit from a multiprocessor implementation, considering, on one hand, that analyses of individual designs in a population are independent of each other so that they may be executed concurrently on separate processors, and, on the other hand, that there are some operations in a GA that cannot be so distributed. The algorithm experimented with was based on a gaussian distribution rather than bit exchange in the GA reproductive mechanism, and the test case was a hub frame structure of up to 1080 design variables. The experimentation engaging up to 128 processors confirmed expectations of radical elapsed time reductions comparing to a conventional single processor implementation. It also demonstrated that the time spent in the non-distributable parts of the algorithm and the attendant cross-processor communication may have a very detrimental effect on the efficient utilization of the multiprocessor machine and on the number of processors that can be used effectively in a concurrent manner. Three techniques were devised and tested to mitigate that effect, resulting in efficiency increasing to exceed 99 percent.

Plassman, Gerald E.↗

NASA NTRS2000

Experience with a Genetic Algorithm Implemented on a Multiprocessor Computer

Plassman, Gerald E.↗

NASA NTRS1996

A Model-based Approach to Reactive Self-Configuring Systems

This paper describes Livingstone, an implemented kernel for a self-reconfiguring autonomous system, that is reactive and uses component-based declarative models. The paper presents a formal characterization of the representation formalism used in Livingstone, and reports on our experience with the implementation in a variety of domains. Livingstone's representation formalism achieves broad coverage of hybrid software/hardware systems by coupling the concurrent transition system models underlying concurrent reactive languages with the discrete qualitative representations developed in model-based reasoning. We achieve a reactive system that performs significant deductions in the sense/response loop by drawing on our past experience at building fast prepositional conflict-based algorithms for model-based diagnosis, and by framing a model-based configuration manager as a prepositional, conflict-based feedback controller that generates focused, optimal responses. Livingstone automates all these tasks using a single model and a single core deductive engine, thus making significant progress towards achieving a central goal of model-based reasoning. Livingstone, together with the HSTS planning and scheduling engine and the RAPS executive, has been selected as the core autonomy architecture for Deep Space One, the first spacecraft for NASA's New Millennium program.

Williams, Brian C.↗

NASA NTRS1997

Petaflops Computing: The Key Algorithmic Challenges

The prospect of petaflops-class computers brings to the fore some important algorithmic issues that have been considered in the high performance computing community for several years. Key among them are (1) concurrency (whether the fundamental concurrency of an algorithm is sufficient to keep thousands of processors productively busy); (2) data locality; (3) latency tolerance; and (4) memory and operation count scaling. This introductory presentation will give an overview of these issues.

Bailey, David H.↗

NASA NTRS1998

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.↗

NASA NTRS2002

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↗