Search NASA⌕ Search

SEARCH · Search NASA

Results for “Concurrent Engineering”

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 415 records · Page 23
All sourcesNASA NTRSDOE OSTI
NASA NTRS2012

NASA's Gravitational-Wave Mission Concept Study

With the conclusion of the NASA/ESA partnership on the Laser interferometer Space Antenna (LISA) Project, NASA initiated a study to explore mission concepts that will accomplish some or all of the LISA science objectives at lower cost. The Gravitational-Wave Mission Concept Study consists of a public Request for Information (RFI), a Core Team of NASA engineers and scientists, a Community Science Team, a Science Task Force, and an open workshop. The RFI yielded 12 mission concepts, 3 instrument concepts and 2 technologies. The responses ranged from concepts that eliminated the drag-free test mass of LISA to concepts that replace the test mass with an atom interferometer. The Core Team reviewed the noise budgets and sensitivity curves, the payload and spacecraft designs and requirements, orbits and trajectories and technical readiness and risk. The Science Task Force assessed the science performance. Three mission concepts have been studied by Team-X, JPL's concurrent design facility, to refine the conceptual design, evaluate key performance parameters, assess risk and estimate cost and schedule. The status of the Study are reported.

Stebbins, Robin↗
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↗
NASA NTRS1991

Development of visual 3D virtual environment for control software

Virtual environments for software visualization may enable complex programs to be created and maintained. A typical application might be for control of regional electric power systems. As these encompass broader computer networks than ever, construction of such systems becomes very difficult. Conventional text-oriented environments are useful in programming individual processors. However, they are obviously insufficient to program a large and complicated system, that includes large numbers of computers connected to each other; such programming is called 'programming in the large.' As a solution for this problem, the authors are developing a graphic programming environment wherein one can visualize complicated software in virtual 3D world. One of the major features of the environment is the 3D representation of concurrent process. 3D representation is used to supply both network-wide interprocess programming capability (capability for 'programming in the large') and real-time programming capability. The authors' idea is to fuse both the block diagram (which is useful to check relationship among large number of processes or processors) and the time chart (which is useful to check precise timing for synchronization) into a single 3D space. The 3D representation gives us a capability for direct and intuitive planning or understanding of complicated relationship among many concurrent processes. To realize the 3D representation, a technology to enable easy handling of virtual 3D object is a definite necessity. Using a stereo display system and a gesture input device (VPL DataGlove), our prototype of the virtual workstation has been implemented. The workstation can supply the 'sensation' of the virtual 3D space to a programmer. Software for the 3D programming environment is implemented on the workstation. According to preliminary assessments, a 50 percent reduction of programming effort is achieved by using the virtual 3D environment. The authors expect that the 3D environment has considerable potential in the field of software engineering.

Hirose, Michitaka↗
NASA NTRS1979

Man-machine analysis of translation and work tasks of Skylab films

An objective approach to determine the concurrent validity of computer-graphic models is real time film analysis. This technique was illustrated through the procedures and results obtained in an evaluation of translation of Skylab mission astronauts. The quantitative analysis was facilitated by the use of an electronic film analyzer, minicomputer, and specifically supportive software. The uses of this technique for human factors research are: (1) validation of theoretical operator models; (2) biokinetic analysis; (3) objective data evaluation; (4) dynamic anthropometry; (5) empirical time-line analysis; and (6) consideration of human variability. Computer assisted techniques for interface design and evaluation have the potential for improving the capability for human factors engineering.

Hosler, W. W.↗
DOE OSTI2025

Enriched immersed finite element and isogeometric analysis: algorithms and data structures

Immersed finite element methods provide a convenient analysis framework for problems involving geometrically complex domains, such as those found in topology optimization and microstructures for engineered materials. However, their implementation remains a major challenge due to, among other things, the need to apply nontrivial stabilization schemes and generate custom quadrature rules. This article introduces the robust and computationally efficient algorithms and data structures comprising an immersed finite element preprocessing framework. The input to the preprocessor consists of a background mesh and one or more geometries defined on its domain. The output is structured into groups of elements with custom quadrature rules formatted such that common finite element assembly routines may be used without or with only minimal modifications. The key to the preprocessing framework is the construction of material topology information, concurrently with the generation of a quadrature rule, which is then used to perform enrichment and generate stabilization rules. While the algorithmic framework applies to a wide range of immersed finite element methods using different types of meshes, integration, and stabilization schemes, the preprocessor is presented within the context of the extended isogeometric analysis. This method utilizes a structured B-spline mesh, a generalized Heaviside enrichment strategy considering the material layout within individual basis functions’ supports, and face-oriented ghost stabilization. Using a set of examples, the effectiveness of the enrichment and stabilization strategies is demonstrated alongside the preprocessor’s robustness in geometric edge cases. Additionally, the performance and parallel scalability of the implementation are evaluated.

Computer implementation↗
NASA NTRS1988

The emergence of multi-user expert systems

There exists a set of problems for which the single user workstation is not a viable solution. In some cases, it may be necessary for the system to support numerous experts working on different aspects of a single logical activity concurrently. In others, the activity may extend over a prolonged period of time during which different experts will work on different phases of the project to produce a single integrated result. Another possibility is that the results produced by the expert system must be continuously available to some group other than that actively exercising the expert system. These are the types of applications which require multiuser expert systems. The nature of NASA tends to produce expert system domains which are inherently multiuser. It is these domains that this new class of expert systems has first been encountered. As expert systems move into the main stream of large scale engineering projects, these encounters will become more frequent. A need for expert system building tools which can accommodate the unique properties of these multiuser domains as they emerge is a problem which needs to be addressed as the current set of tools migrate to time sharing environments, and as new tools are developed.

Freeman, Michael S.↗
NASA NTRS2001

Monitoring Programs Using Rewriting

We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces, The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive in most past applications of LTL, theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications, corresponding to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property end then suggest an optimized algorithm based on transforming LTL formulae. We use the Maude rewriting logic, which turns out to be a good notation and being supported by an efficient rewriting engine for performing these experiments. The work constitutes part of the Java PathExplorer (JPAX) project, the purpose of which is to develop a flexible tool for monitoring Java program executions.

Havelund, Klaus↗
NASA NTRS2007

NASA Hypersonic Propulsion: Overview of Progress from 1995 to 2005

Hypersonic propulsion work supported by the United States National Aeronautics and Space Administration had a primary focus on Space Transportation during the period from 1995 to 2005. The framework for these advances was established by policy and pursued with substantial funding. Many noteworthy advances were made, highlighted by the pinnacle flights of the X-43. This paper reviews and summarizes the programs and accomplishments of this era. The accomplishments are compared to the goals and objectives to lend an overarching perspective to what was achieved. At least dating back to the early days of the Space Shuttle program, NASA has had the objective of reducing the cost of access to space and concurrently improving safety and reliability. National Space Transportation Policy in 1994 coupled with a base of prior programs such as the National Aerospace Plane and the need to look beyond the Space Shuttle program set the stage for NASA to pursue Space Transportation Advances. Programs defined to pursue the advances represented a broad approach addressing classical rocket propulsion as well as airbreathing propulsion in various combinations and forms. The resulting portfolio of activities included systems analysis and design studies, discipline research and technology, component technology development, propulsion system ground test demonstration and flight demonstration. The types of propulsion systems that were pursued by these programs included classical rocket engines, "aerospike" rocket engines, high performance rocket engines, scram jets, rocket based combined cycles, and turbine based combined cycles. Vehicle architectures included single and two stage vehicles. Either single types of propulsion systems or combinations of the basic propulsion types were applied to both single and two stage vehicle design concepts. Some of the propulsion system design concepts were built and tested at full scale, large scale and small scale. Many flight demonstrators were conceptually defined, fewer designed and some built and one flown to demonstrate several technical advancements including propulsion. The X-43 flights were a culmination of these efforts for airbreathing propulsion. During the course of that period, there was a balance of funding and emphasis toward rocket propulsion but still very substantial airbreathing propulsion effort. The broad objectives of these programs were to both advance and test the state of the art so as to provide a basis for options to be pursued for broad space transportation needs, most importantly focused on crew carrying capability. NASA cooperated with the Department of Defense in planning and implementation of these programs to make efficient use of objectives and capabilities where appropriate. Much of the work was conducted in industry and academia as well as Government laboratories. Many test articles and data-bases now exist as a result of this work. At the conclusion of the period, the body of work made it clear that continued research and technology development was warranted, because although not ready for a NASA system development decision, results continued to support the promise of air-breathing propulsion for access to space.

Cikanek, Harry A., III↗
DOE OSTI2025

Chemical Functional Groups Regulate Ion Concentrations and pHs in Nanopores

Understanding ion behaviors in functionalized nanopores is essential to deciphering reactions in both natural and engineered systems, such as sediments, biological ion channels, and membranes. While many efforts have shown the modified ion behaviors in the functionalized nanopores, a direct measurement and analysis to show how chemical functional groups affect ion concentrations in nanopores are critically needed. In this work, we present a plasmonic nanosensor that can measure the local concentrations of protons, anions (phosphate, nitrate, sulfate, and arsenate), and cations (mercury, lead, and copper) in functionalized nanopores, and we compare their concentrations in nanopores with the corresponding bulk concentrations. Notably, chemical functional groups induced ion concentrations differently in nanopores. In pristine nanopores and methyl- and phenyl-functionalized nanopores, we discovered an unexpected concurrence of an enhanced anion concentration and a suppressed cation concentration. In addition, the nanopore pH is dependent on bulk solution compositions and can be lower by 2.5 units, even when the bulk solution is well-buffered. In contrast, for hydrophilic (amine, thiol, and carboxyl) nanopores, pH depended on the p K a of the functional groups, and the heavy metal concentrations depended on chemical interactions with the functional groups. Our findings provide a better understanding of water chemistry in nanopores and can help precisely control ions in nanopores to benefit the design of membrane-based desalination techniques, CO 2 storage, and porous catalysts.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS2001

Testing Linear Temporal Logic Formulae on Finite Execution Traces

We present an algorithm for efficiently testing Linear Temporal Logic (LTL) formulae on finite execution traces. The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive. In most past applications of LTL. theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications. Such tests correspond to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property. We then suggest an optimized algorithm based on transforming LTL formulae. The work is done using the Maude rewriting system. which turns out to provide a perfect notation and an efficient rewriting engine for performing these experiments.

Havelund, Klaus↗
NASA NTRS1992

Controlled ecological life-support system - Use of plants for human life-support in space

Scientists and engineers within NASA are conducting research which will lead to development of advanced life-support systems that utilize higher plants in a unique approach to solving long-term life-support problems in space. This biological solution to life-support, Controlled Ecological Life-Support System (CELSS), is a complex, extensively controlled, bioengineered system that relies on plants to provide the principal elements from gas exchange and food production to potable water reclamation. Research at John F. Kennedy Space Center (KSC) is proceeding with a comprehensive investigation of the individual parts of the CELSS system at a one-person scale in an approach called the Breadboard Project. Concurrently a relatively new NASA sponsored research effort is investigating plant growth and metabolism in microgravity, innovative hydroponic nutrient delivery systems, and use of highly efficient light emitting diodes for artificial plant illumination.

Chamberland, D.↗
NASA NTRS1995

Modeling complex chemical effects in turbulent nonpremixed combustion

Virtually all of the energy derived from the consumption of combustibles occurs in systems which utilize turbulent fluid motion. Since combustion is largely related to the mixing of fluids and mixing processes are orders of magnitude more rapid when enhanced by turbulent motion, efficiency criteria dictate that chemically powered devices necessarily involve fluid turbulence. Where combustion occurs concurrently with mixing at an interface between two reactive fluid bodies, this mode of combustion is called nonpremixed combustion. This is distinct from premixed combustion where flame-fronts propagate into a homogeneous mixture of reactants. These two modes are limiting cases in the range of temporal lag between mixing of reactants and the onset of reaction. Nonpremixed combustion occurs where this lag tends to zero, while premixed combustion occurs where this lag tends to infinity. Many combustion processes are hybrids of these two extremes with finite non-zero lag times. Turbulent nonpremixed combustion is important from a practical standpoint because it occurs in gas fired boilers, furnaces, waste incinerators, diesel engines, gas turbine combustors, and afterburners etc. To a large extent, past development of these practical systems involved an empirical methodology. Presently, efficiency standards and emission regulations are being further tightened (Correa 1993), and empiricism has had to give way to more fundamental research in order to understand and effectively model practical combustion processes (Pope 1991). A key element in effective modeling of turbulent combustion is making use of a sufficiently detailed chemical kinetic mechanism. The prediction of pollutant emission such as oxides of nitrogen (NO(x)) and sulphur (SO(x)) unburned hydrocarbons, and particulates demands the use of detailed chemical mechanisms. It is essential that practical models for turbulent nonpremixed combustion are capable of handling large numbers of 'stiff' chemical species equations.

Smith, Nigel S. A.↗
NASA NTRS2008

Material Density Distribution of Small Debris in Earth Orbit

Over 200 spacecraft and rocket body breakups in Earth orbit have populated that regime with debris fragments in the sub-micron through meter size range. Though the largest debris fragments can cause significant collisional damage to active (operational) spacecraft, these are few and trackable by radar. Fragments on the order of a millimeter to a centimeter in size are as yet untrackable. But this smaller debris can result in damage to critical spacecraft systems and, under the worst conditions, fragmenting collision events. Ongoing research at the NASA Orbital Debris Program Office on the sources of these small fragments has focused on the material components of spacecraft and rocket bodies and on breakup event morphology. This has led to fragment material density estimates, and also the beginnings of shape categorizations. To date the NASA Standard Breakup Model has not considered specific material density distinctions of small debris. The basis of small debris in that model is the fourth hypervelocity impact event of the Satellite Orbital Debris Characterization Impact Test (SOCIT) series. This test targeted a flight-ready, U.S. Transit navigation satellite with a solid aluminum sphere impactor. Results in this event yield characteristic length (size) and area-to-mass distributions of fragments smaller than 10 cm in the NASA model. Recent re-analysis of the SOCIT4 small fragment dataset highlighted the material-specific characteristics of metals and non-metals. Concurrent analysis of Space Shuttle in-situ impact data showed a high percentage of aluminum debris in shuttle orbit regions. Both analyses led to the definition of three main on-orbit debris material density categories -low density (< 2 g/cc), medium density (2 to 6 g/cc), and high density (> 6 g/cc). This report considers the above studies in an explicit extension of the NASA Standard Breakup Model where separate material densities for debris are generated and these debris fragments are propagated in Earth orbit. The near Earth environment is thus parameterized by debris density percentages within subsections of that environment. This model version is used in the upgraded NASA Orbital Debris Engineering Model (ORDEM).

Krisko, P. H.↗
NASA NTRS1989

Mars 94 Mission: Current plans and science

The Soviet Space Program proposes large-scale investigations of Mars as one of the most important trends for the next 10 to 15 years. The objectives include global studies of the surface of Mars, its atmosphere, and the return of soil samples to Earth. The first stage of the program is to be implemented in the mid-90s. It includes measurements from an orbiter and a balloon in the atmosphere and on the surface from a rover as well. This can be done using the high energy upper stage of the launch vehicle. The payload mass could amount to about 1500 to 1700 kg. The capabilities of the Mars Mission in 1994 are discussed. As presently planned, Mars will be studied concurrently with the following facilities: an orbiter with instruments for remote sensing from a polar orbit; a balloon deployed in the Martian atmosphere; a rover on the surface; a network of smaller stations on the surface; a subsatellite; and a device to return a container with photo films of the Martian surface taken with a super high resolution. If the exploration of Mars with the MARS-94 spacecraft begins late in 1994 the American Mars-Observer will still be functioning in the near-Mars orbit. Thus, joint operation of the two satellites becomes possible providing coordinated exploration, the creation of joint data banks, joint data interpretation, and the development of a joint engineering model of Mars for its further exploration. There is an opportunity for experiments and instrumentation on the Soviet missions that address questions of interest to exobiology. American scientists are invited to participate in the upcoming Soviet missions, and lend expertise to further understanding of the relationship between the physical and chemical evolution of the solar system and the appearance of life.

Mukhin, Lev↗
NASA NTRS1972

Simulator evaluation of the flying qualities of externally blown flap and augmentor wing transport configurations

Concurrent simulations of powered-lift STOL transport aircraft having either an externally blown flap configuration or an augmentor wing configuration were conducted. The following types of simulators of varying sophistication were used: (1) a simple fixed-base simulation with a simple visual display, (2) a more complex fixed-base simulation using a realistic transport cockpit and a high-quality visual display, and (3) a six-degree-of-freedom motion simulator that had a realistic transport cockpit and a sophisticated visual display. The unaugmented flying qualities determined from these simulations were rated as unacceptable for both the externally blown flap and augmentor wing configurations. The longitudinal, lateral-directional, and single-engine-failure characteristics were rated satisfactory with extensive augmentation, including pitch and roll command systems, flight-path (or speed) augmentation, turn coordination, and effective yaw damping. However, the flare and landing characteristics from any approach glide-path angle in excess of 4 deg were rated as unsatisfactory but acceptable.

Kier, D. A.↗
NASA NTRS2006

Implementing Distributed Operations: A Comparison of Two Deep Space Missions

Two very different deep space exploration missions--Mars Exploration Rover and Cassini--have made use of distributed operations for their science teams. In the case of MER, the distributed operations capability was implemented only after the prime mission was completed, as the rovers continued to operate well in excess of their expected mission lifetimes; Cassini, designed for a mission of more than ten years, had planned for distributed operations from its inception. The rapid command turnaround timeline of MER, as well as many of the operations features implemented to support it, have proven to be conducive to distributed operations. These features include: a single science team leader during the tactical operations timeline, highly integrated science and engineering teams, processes and file structures designed to permit multiple team members to work in parallel to deliver sequencing products, web-based spacecraft status and planning reports for team-wide access, and near-elimination of paper products from the operations process. Additionally, MER has benefited from the initial co-location of its entire operations team, and from having a single Principal Investigator, while Cassini operations have had to reconcile multiple science teams distributed from before launch. Cassini has faced greater challenges in implementing effective distributed operations. Because extensive early planning is required to capture science opportunities on its tour and because sequence development takes significantly longer than sequence execution, multiple teams are contributing to multiple sequences concurrently. The complexity of integrating inputs from multiple teams is exacerbated by spacecraft operability issues and resource contention among the teams, each of which has their own Principal Investigator. Finally, much of the technology that MER has exploited to facilitate distributed operations was not available when the Cassini ground system was designed, although later adoption of web-based and telecommunication tools has been critical to the success of Cassini operations.

Cassini Mission↗
DOE OSTI2027

Conceptual design of highly-constrained splitters for the FFA@CEBAF energy upgrade study

The Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab is investigating a significant energy upgrade utilizing Fixed-Field Alternating-gradient (FFA) recirculating arcs. This upgrade requires the design of complex horizontal beam splitters to manage up to six concurrent beam passes. This paper presents the conceptual design of these splitters, which are subject to severe physical constraints imposed by the existing accelerator tunnel and multifaceted beam dynamics requirements for matching into the permanent-magnet FFA arcs. The design methodology, centered on multi-pass simulations in the Bmad toolkit, is detailed from the initial geometric layout through the advanced optics matching. Key results include a robust geometric arrangement that fits within the spatial boundaries and the development of multiple, flexible optics matching solutions. Furthermore, the design integrates a viable scheme for extracting high-energy beams for the experimental halls, a critical operational requirement. This work establishes a comprehensive and viable conceptual design, forming a baseline for future engineering and performance optimization studies.

Bodenstein, R.M. [Thomas Jefferson National Accele↗
DOE OSTI2025

Electrical Energy Storage by Poly(ionic Liquids)

Abstract Manipulating van der Waals (vdW) and ionic interactions in polymers enable energy storage and formations of active or passive components of electrical circuits. The energy storage is achieved by electrically activating ion pairs containing polymers, which create ergotropically favorable non‐equilibrium gradient states. Molecular‐level events responsible for this behavior involve concurrent ion pairs' polarization‐depolarization gradients and conformational changes of aliphatic tails that collectively contribute to lowering local disorder states. Manipulating ionic and vdW interactions stabilizes polarized anion‐cation pairs, thus maintaining electrical energy storage for extended periods. These transparent and easily moldable materials require no multilayered assemblies, and their functional features depend upon polarization conditions and ionic‐vdW interactions, making them applicable in energy storage and other devices transcending classical time intricacy limits.

Liu, Jiahui [Department of Materials Science and E↗