SEARCH · Search NASA
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.
This is a tutorial article about language and architecture approaches for highly concurrent computer systems based on the functional style of programming. The discussion concentrates on the basic aspects of functional languages, and sequencing models such as data-flow, demand-driven and reduction which are essential at the machine organization level. Several examples of highly concurrent machines are described.
The overall objective of this program was the development of control algorithms that allow the concurrent operation of slewing, pointing, vibration, and shape control subsystems. This objective is important for near-term space surveillance missions that require the rapid retargeting and precise pointing of large flexible satellites. The success of these missions requires the design and concurrent operation of the various interacting control subsystems. There were two phases conducted: phase 1 was mathematical model development, and phase 2 was control development. The program is detailed and major conclusions given.
The conference presents papers on parallel architectures and the programming environment, parallel numerical algorithms, structural mechanics applications, and fluid dynamics applications. Topics include concurrent computer architecture, the state-of-the-art in highly parallel computer systems, supercomputer programming environments, uniquely parallel algorithms, the parallel solution of nonlinear elliptic equations, highly parallel banded systems solvers, and optimal mapping of irregular finite element domains to parallel processors. Consideration is also given to parallel processing in finite element structural analysis, heirarchical parallelism in a finite element CFD algorithm, and a parallelized elliptic solver for reacting flows.
This work presents a runtime verification approach implemented in the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in data parameterized temporal logic and state machines. The tool is implemented as an internal Scala DSL. We employ the actor programming model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper presents a case study in which MESA is used to effectively monitor a large number of flights from live US airspace data streams. We also perform an empirical study by conducting experiments using monitoring systems with different num- bers of concurrent monitors and different layers of indexing on the data contained in events. The paper describes the experiments, evaluates the results, and discusses challenges faced during the study. The evaluation shows the value of combining concurrency with indexing to handle data rich events.
The Space Launch Initiative (SLI), managed by the Second Generation Reusable Launch Vehicle (2ndGen RLV) Program, was established to examine the possibility of revolutionizing space launch capabilities, define conceptual architectures, and concurrently identify the advanced technologies required to support a next-generation system. Initial Program funds have been allocated to design, evaluate, and formulate realistic plans leading to a 2nd Gen RLV full-scale development (FSD) decision by 2006. Program goals are to reduce both risk and cost for accessing the limitless opportunities afforded outside Earth's atmosphere fo civil, defense, and commercial enterprises. A 2nd Gen RLV architecture includes a reusable Earth-to-orbit launch vehicle, an on-orbit transport and return vehicle, ground and flight operations, mission planning, and both on-orbit and on-the-ground support infrastructures All segments of the architecture must advance in step with development of the RLV if a next-generation system is to be fully operational early next decade. However, experience shows that propulsion is the single largest contributor to unreliability during ascent, requires the largest expenditure of time for maintenance, and takes a long time to develop; therefore, propulsion is the key to meeting safety, reliability, and cost goals. For these reasons, propulsion is SLI's top technology investment area.
NASA and its international partners will increasingly depend on software-based systems to implement advanced functions for future space missions, such as Martian rovers that autonomously navigate long distances exploring geographic features formed by surface water early in the planet's history. The software-based functions for these missions will need to be robust and highly reliable, raising significant challenges in the context of recent Mars mission failures attributed to software faults. After reviewing these challenges, this paper describes tools that have been developed at NASA Ames that could contribute to meeting these challenges; 1) Program synthesis tools based on automated inference that generate documentation for manual review and annotations for automated certification. 2) Model-checking tools for concurrent object-oriented software that achieve memorability through synergy with program abstraction and static analysis tools.
PRICE H was introduced into the JPL cost estimation tool set circa 2003. It became more available at JPL when IPAO funded the NASA-wide site license for all NASA centers. PRICE H was mainly used as one of the cost tools to validate proposal grassroots cost estimates. Program offices at JPL view PRICE H as an additional crosscheck to Team X (JPL Concurrent Engineering Design Center) estimates. PRICE H became widely accepted ca, 2007 at JPL when the program offices moved away from grassroots cost estimation for Step 1 proposals. PRICE H is now one of the key cost tools used for cost validation, cost trades, and independent cost estimates.
Techniques are discussed for the implementation and improvement of vectorization and concurrency in nonlinear explicit structural finite element codes. In explicit integration methods, the computation of the element internal force vector consumes the bulk of the computer time. The program can be efficiently vectorized by subdividing the elements into blocks and executing all computations in vector mode. The structuring of elements into blocks also provides a convenient way to implement concurrency by creating tasks which can be assigned to available processors for evaluation. The techniques were implemented in a 3-D nonlinear program with one-point quadrature shell elements. Concurrency and vectorization were first implemented in a single time step version of the program. Techniques were developed to minimize processor idle time and to select the optimal vector length. A comparison of run times between the program executed in scalar, serial mode and the fully vectorized code executed concurrently using eight processors shows speed-ups of over 25. Conjugate gradient methods for solving nonlinear algebraic equations are also readily adapted to a parallel environment. A new technique for improving convergence properties of conjugate gradients in nonlinear problems is developed in conjunction with other techniques such as diagonal scaling. A significant reduction in the number of iterations required for convergence is shown for a statically loaded rigid bar suspended by three equally spaced springs.
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.
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.
An econometric model was developed that can be used to predict demand and supply figures for crystals over a time horizon roughly concurrent with that of NASA's Space Shuttle Program - that is, 1975 through 1990. The model includes an equation to predict the impact on investment in the crystal-growing industry. Actually, two models are presented. The first is a theoretical model which follows rather strictly the standard theoretical economic concepts involved in supply and demand analysis, and a modified version of the model was developed which, though not quite as theoretically sound, was testable utilizing existing data sources.
The feasibility study has shown that a dump/fill type torque converter has excellent potential for the convertible fan/shaft engine. The torque converter space requirement permits internal housing within the normal flow path of a turbofan engine at acceptable engine weight. The unit permits operating the engine in the turboshaft mode by decoupling the fan. To convert to turbofan mode, the torque converter overdrive capability bring the fan speed up to the power turbine speed to permit engagement of a mechanical lockup device when the shaft speed are synchronized. The conversion to turbofan mode can be made without drop of power turbine speed in less than 10 sec. Total thrust delivered to the aircraft by the proprotor, fan, and engine during tansient can be controlled to prevent loss of air speed or altitude. Heat rejection to the oil is low, and additional oil cooling capacity is not required. The turbofan engine aerodynamic design is basically uncompromised by convertibility and allows proper fan design for quiet and efficient cruise operation. Although the results of the feasibility study are exceedingly encouraging, it must be noted that they are based on extrapolation of limited existing data on torque converters. A component test program with three trial torque converter designs and concurrent computer modeling for fluid flow, stress, and dynamics, updated with test results from each unit, is recommended.
The Ada programming language provides a means of specifying logical concurrency by using multitasking. Extending the Ada multitasking concurrency mechanism into a physically concurrent distributed environment which imposes its own requirements can lead to incompatibilities. These problems are discussed. Using distributed Ada for a target system may be appropriate, but when using the Ada language in a host environment, a multiprocessing model may be more suitable than retargeting an Ada compiler for the distributed environment. The tradeoffs between multitasking on distributed targets and multiprocessing on distributed hosts are discussed. Comparisons of the multitasking and multiprocessing models indicate different areas of application.
We report the results of a UBVRI photometric monitoring campaign for three classical T Tauri stars (AA Tau, DN Tau, and UX Tau A) and two weak emission line T Tauri stars (Lk Ca 4 and Lk Ca 7). Observations were obtained at three sites during a core observing period spanning UT 1985 October 14 through UT 1985 December 25, with additional observations continuing until UT 1986 April 6. Concurrent spectrophotometric observations were obtained for all main program stars except Lk Ca 7 and additionally for T Tau, RW Aur, and RY Tau. Periodic photometric variability, assumed to be the stars' rotation periods, were found for AA Tau, DN Tau, Lk Ca 4, and Lk Ca 7, respectively, as 8.2, 6.3, 3.4, and 5.7 days. Several U-filter flares were observed for Lk Ca 4 and Lk Ca 7, which are strongly concentrated toward phases of minimum light. Correlations are found between H-alpha line strengths and V magnitudes for AA Tau and RY Tau. An analysis of absolute color variations of classical T Tauri stars confirms that hot spots are the predominant cause of these stars' variability. Our overall results are consistent with earlier findings that long-lived cool spots are responsible for most of the variability found for weak-emission T Tauri stars, while temporal hot spots are primarily responsible for the observed variability found in classical T Tauri stars.
The Vehicle Control Systems Team at Marshall Space Flight Center, Structures and Dynamics Laboratory, Guidance and Control Systems Division is designing, under a cooperative agreement with Lockheed Martin Skunkworks, the Ascent, Transition, and Entry flight attitude control systems for the X-33 experimental vehicle. Test flights, while suborbital, will achieve sufficient altitudes and Mach numbers to test Single Stage To Orbit, Reusable Launch Vehicle technologies. Ascent flight control phase, the focus of this paper, begins at liftoff and ends at linear aerospike main engine cutoff (MECO). The X-33 attitude control system design is confronted by a myriad of design challenges: a short design cycle, the X-33 incremental test philosophy, the concurrent design philosophy chosen for the X-33 program, and the fact that the attitude control system design is, as usual, closely linked to many other subsystems and must deal with constraints and requirements from these subsystems. Additionally, however, and of special interest, the use of the linear aerospike engine is a departure from the gimbaled engines traditionally used for thrust vector control (TVC) in launch vehicles and poses certain design challenges. This paper discusses the unique problem of designing the X-33 attitude control system with the linear aerospike engine, requirements development, modeling and analyses that verify the design.
The Colorado School of Mines (CSM) was awarded a project under the Moon to Mars eXploration Systems and Habitation (M2M X-Hab) Academic Innovation Challenge on June 10, 2021 for the proposed Planetary Resource & In-Situ Material Habitat Outfitting for Space Exploration (PRISM-HOUSE) lunar habitat system. The project deliverables have been executed concurrently with coursework in the CSM Space Resources program, specifically for the Space Resources Project I & II classes. A team was established in the fall semester of 2021 and a Systems Engineering process was followed to brainstorm initial concepts, determine objectives, flow down top-level requirements, and identify areas for which the project could best further the understanding of the overall system through targeted detailed design and design evaluation testing. This report summarizes the overall project, as well as specific work completed in the spring semester of 2022. PRISM-HOUSE is a lunar habitat system that is deployed on the lunar surface robotically and supports safe, long-term human occupancy while maximizing the use of in-situ resources and minimizing the mass of supplies and equipment that must be delivered from Earth. In this report, the team provides an overview and description of the objectives, the system, and how the current design was selected from various alternatives, as well as the resulting products of systems engineering tasks such as product and specification trees and flow-down requirements. A review of current risks and planned mitigation are reviewed. Four key PRISM-HOUSE systems are explored: the inflatable Habitat, External Structures & Environmental Protection (ESEP), Human Interior Goods (HIG), and ECLSS & Remote Outfitting (E&RO); for each, the team provides a detailed system description and an overview of analyses performed supporting final design, followed by a review of each Design Evaluation Test (DET) performed and resulting conclusions. The report closes with a suggestion of next steps.
At the request of NASA’s Space Communication and Navigation (SCaN) program, the Glenn Research Center’s (GRC) Compass concurrent engineering team developed a conceptual design of a Lunar Surface Relay- Mobile (LSR-M) system to provide a variety of surface and relay communication links in support of future Artemis sorties. The team determined that a mobile asset, with its ability to relocate to support a variety of surface sites and leverage more hospitable winter locations on the lunar south pole, would be of particular use in the architecture. Following the design of a solar array and battery powered baseline case, a quick look design further investigated adding a multi-mission radioisotope thermoelectric generator (MMRTG) to the system to reduce battery requirements to survive the lunar night and remove the need to relocate to favorable night locations during the lunar winter.
In the Advanced Adiabatic Development program, the following technology were identified as critical: piston development for oil-less, adiabatic engine; positive displacement compounding and charge system; experimental evaluation of the preheat concept; combustion system with positive ignition assist; and ceramic manufacturing technology. Of these five areas, ceramic manufacturing technology is the pacing item, and is already being addressed by several organizations. Therefore the four remaining areas need immediate attention. Since the lead time involved in engine development and production is long, this technology development should be done concurrently with the AAD engine development. A four year program is outlined which will simultaneously study these first four areas. This program requires two test rigs; one single cylinder adiabatic engine; and one multicylinder adiabatic turbocompound engine.