Search NASA⌕ Search

SEARCH · Search NASA

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.

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

At least 523 records · Page 29
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

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↗
NASA NTRS1998

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↗
NASA NTRS2001

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↗
NASA NTRS1998

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↗
NASA NTRS2004

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↗
NASA NTRS2004

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

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

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

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

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

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

Monitoring Eruptive Activity at Mount St. Helens with TIR Image Data

Thermal infrared (TIR) data from the MASTER airborne imaging spectrometer were acquired over Mount St. Helens in Sept and Oct, 2004, before and after the onset of recent eruptive activity. Pre-eruption data showed no measurable increase in surface temperatures before the first phreatic eruption on Oct 1. MASTER data acquired during the initial eruptive episode on Oct 14 showed maximum temperatures of similar to approximately 330 C and TIR data acquired concurrently from a Forward Looking Infrared (FLIR) camera showed maximum temperatures similar to approximately 675 C, in narrow (approximately 1-m) fractures of molten rock on a new resurgent dome. MASTER and FLIR thermal flux calculations indicated a radiative cooling rate of approximately 714 J/m(exp 2)/s over the new dome, corresponding to a radiant power of approximately 24 MW. MASTER data indicated the new dome was dacitic in composition, and digital elevation data derived from LIDAR acquired concurrently with MASTER showed that the dome growth correlated with the areas of elevated temperatures. Low SO2 concentrations in the plume combined with sub-optimal viewing conditions prohibited quantitative measurement of plume SO2. The results demonstrate that airborne TIR data can provide information on the temperature of both the surface and plume and the composition of new lava during eruptive episodes. Given sufficient resources, the airborne instrumentation could be deployed rapidly to a newly-awakening volcano and provide a means for remote volcano monitoring.

thermal emissions↗
NASA NTRS2007

Model Checker for Java Programs

Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.

Visser, Willem↗
NASA NTRS2009

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

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

Clarke, Ed↗
NASA NTRS2010

Multipoint Geospace Science in 3D: The Paired Ionosphere-Thermosphere Orbiters(PITO) Mission

The science enabled by the Paired Ionosphere-Thermosphere Orbiters (PITO) mission is described and discussed. PITO has been designed to provide the concurrent, three-dimensional, multipoint measurements needed to advance geospace science while staying within a stringent resource envelope. The mission utilizes a pair of orbiting vehicles in eccentric, high-inclination, coplanar orbits. The orbits have arguments of perigee that differ by 180 degrees and are phased such that one vehicle is at perigee (~200 km) while the second is at apogee (~2000 km). Half an orbit later, the vehicles switch positions. Three complementary types of measurements exploit this scenario: local, in-situ measurements on both satellites, two-dimensional imaging from the higher satellite, and vertical sounders. The main idea is that two-dimensional context information for the low-altitude measurements is obtained by the high altitude imagers, while information on the third dimension is provided by vertical profiling. Such an observation system is capable of providing elements of global coverage, regional coverage, and concurrent coverage in three dimensions. Science goals are presented, as are the results of a detailed implementation plan, including several trade studies on key elements of the mission. The conclusion is that the mission would enable significant new understanding of the ionosphere-thermosphere system within a resource envelope that is consistent with that of NASA's Medium Explorer (MIDEX) line of science missions.

Clemmons, J.↗
NASA NTRS2004

Activity-Centric Approach to Distributed Programming

The first phase of an effort to develop a NASA version of the Cybele software system has been completed. To give meaning to even a highly abbreviated summary of the modifications to be embodied in the NASA version, it is necessary to present the following background information on Cybele: Cybele is a proprietary software infrastructure for use by programmers in developing agent-based application programs [complex application programs that contain autonomous, interacting components (agents)]. Cybele provides support for event handling from multiple sources, multithreading, concurrency control, migration, and load balancing. A Cybele agent follows a programming paradigm, called activity-centric programming, that enables an abstraction over system-level thread mechanisms. Activity centric programming relieves application programmers of the complex tasks of thread management, concurrency control, and event management. In order to provide such functionality, activity-centric programming demands support of other layers of software. This concludes the background information. In the first phase of the present development, a new architecture for Cybele was defined. In this architecture, Cybele follows a modular service-based approach to coupling of the programming and service layers of software architecture. In a service-based approach, the functionalities supported by activity-centric programming are apportioned, according to their characteristics, among several groups called services. A well-defined interface among all such services serves as a path that facilitates the maintenance and enhancement of such services without adverse effect on the whole software framework. The activity-centric application-program interface (API) is part of a kernel. The kernel API calls the services by use of their published interface. This approach makes it possible for any application code written exclusively under the API to be portable for any configuration of Cybele.

Levy, Renato↗
NASA NTRS2003

Update on Integrated Optical Design Analyzer

Updated information on the Integrated Optical Design Analyzer (IODA) computer program has become available. IODA was described in Software for Multidisciplinary Concurrent Optical Design (MFS-31452), NASA Tech Briefs, Vol. 25, No. 10 (October 2001), page 8a. To recapitulate: IODA facilitates multidisciplinary concurrent engineering of highly precise optical instruments. The architecture of IODA was developed by reviewing design processes and software in an effort to automate design procedures. IODA significantly reduces design iteration cycle time and eliminates many potential sources of error. IODA integrates the modeling efforts of a team of experts in different disciplines (e.g., optics, structural analysis, and heat transfer) working at different locations and provides seamless fusion of data among thermal, structural, and optical models used to design an instrument. IODA is compatible with data files generated by the NASTRAN structural-analysis program and the Code V (Registered Trademark) optical-analysis program, and can be used to couple analyses performed by these two programs. IODA supports multiple-load-case analysis for quickly accomplishing trade studies. IODA can also model the transient response of an instrument under the influence of dynamic loads and disturbances.

Moore, James D., Jr.↗
NASA NTRS2011

Next Generation X-Ray Optics: High-Resolution, Light-Weight, and Low-Cost

X-ray telescopes are essential to the future of x-ray astronomy. This paper describes a comprehensive program to advance the technology for x-ray telescopes well beyond the state of the art represented by the three currently operating missions: Chandra, XMM-Newton , and Suzaku . This program will address the three key issues in making an x-ray telescope: (I) angular resolution, (2) effective area per unit mass, and (3) cost per unit effective area. The objectives of this technology program are (1) in the near term, to enable Explorer-class x-ray missions and an IXO type mission, and (2) in the long term, to enable a flagship x-ray mission with sub-arcsecond angular resolution and multi-square-meter effective area, at an affordable cost. We pursue two approaches concurrently, emphasizing the first approach in the near term (2-5 years) and the second in the long term (4-10 years). The first approach is precision slumping of borosilicate glass sheets. By design and choice at the outset, this technique makes lightweight and low-cost mirrors. The development program will continue to improve angular resolution, to enable the production of 5-arcsecond x-ray telescopes, to support Explorer-class missions and one or more missions to supersede the original IXO mission. The second approach is precision polishing and light-weighting of single-crystal silicon mirrors. This approach benefits from two recent commercial developments: (1) the inexpensive and abundant availability of large blocks of mono crystalline silicon, and (2) revolutionary advances in deterministic, precision polishing of mirrors. By design and choice at the outset, this technique is capable of producing lightweight mirrors with sub-arcsecond angular resolution. The development program will increase the efficiency and reduce the cost of the polishing and the lightweighting processes, to enable the production of lightweight sub-arcsecond x-ray telescopes. Concurrent with the fabrication of lightweight mirror segments is the continued development and perfection of alignment and integration techniques, for incorporating individual mirror segments into a precision mirror assembly. Recently, we have been developing a technique called edge-bonding, which has achieved an accuracy to enable 10- arcsecond x-ray telescopes. Currently, we are investigating and improving the long-term alignment stability of so-bonded mirrors. Next, we shall refine this process to enable 5-arsecond x-ray telescopes. This technology development program includes all elements to demonstrate progress toward TRL-6: metrology; x-ray performance tests; coupled structural, thermal, and optical performance analysis, and environmental testing.

Zhang, William W.↗