SEARCH · Search NASA

Results for “concurrent programs”

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 289 records · Page 16

All sources NASA NTRS DOE OSTI

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 NTRS2022

Wilson Corners Solid Waste Management Unit (SWMU) 001: 2021 Annual Long-Term Monitoring Report, Kennedy Space Center, Florida

This report presents a summary of the long-term monitoring (LTM) activities that occurred in 2021 at Wilson Corners, Solid Waste Management Unit (SWMU) 001, at Kennedy Space Center (KSC), Florida. The site is monitored under KSC’s Resource Conservation and Recovery Act (RCRA) Corrective Action Program. Adaptive site management is being utilized through ongoing assessment, design, and interim measures (IM). Annual LTM of the groundwater is also being conducted at the site. This approach also meets the requirements of Chapter 62-780, Florida Administrative Code (F.A.C.). The goal of LTM at this site is threefold: to determine groundwater flow characteristics, monitor the downgradient concentration trends, and monitor select locations internal to the groundwater plume. Every 5 years, upgradient and side-gradient monitoring wells are sampled to verify delineation. The last time this was performed was in 2015. The sampling of these wells in 2020 was replaced with the direct push technology (DPT) investigations completed in October 2020 and April 2021. This DPT groundwater data was presented in an Advance Data Package (ADP) in September 2021 and discussed in the Implementation Work Plan (IWP) dated November 2021 for installation of an air sparge (AS) system. Based on results from groundwater sampling activities performed during the previous reporting period, including the 2020 and 2021 DPT groundwater sampling, it was determined that the LTM sampling plan was no longer meeting the goal of LTM because delineation was not verified. The 2021 LTM sampling plan was modified to include the sampling of monitoring wells located around the perimeter of the low concentration plume (LCP); the area with concentrations of contaminants of concern [COCs] greater than Groundwater Cleanup Target Levels [GCTLs]), and sampling of 10 monitoring wells proposed for installation (April 2021 KSC Remediation Team (KSCRT) Meeting, Decision 2104-D32). The modified LTM plan received team consensus at the September 2021 KSCRT Meeting (Decision Number 2109-D03), and sampling of the existing monitoring wells was completed in December 2021. The proposed monitoring wells are planned for installation in late 2022, concurrent with ongoing IM construction activities. December 2021 LTM data was presented at the May 2022 KSCRT Meeting, and activities are summarized in this report. The activities presented in this report include the December 2021 groundwater gauging of 42 monitoring wells and sampling of 44 monitoring wells. During the December 2021 event, the low flow sampling method was used, and samples were analyzed for a select list of volatile organic compounds (VOCs), including 1,1,2-trichloro-1,2,2-trifluoroethane (Freon 113). The following conclusions can be made based on the 2021 LTM results: - In December 2021, groundwater flow for the site was generally to the west at all intervals. This is generally consistent with historical observations at the site, with the exception of a southwest and southeast flow component observed at 34 to 48 feet below land surface (bls). - The vertical extent of VOCs was historically delineated by monitoring wells screened greater than 48 feet bls. The results from the two vertical extent monitoring wells, WILC-MW0078 (screened 65 to 70 feet bls) and WILC-MW0130 (screened 56 to 66 feet bls) that were sampled during the 2021 LTM indicate that groundwater vinyl chloride (VC) concentrations in both wells were greater than the GCTL. The Remediation Team has previously agreed to delay deeper DPT investigations in this area to prevent the creation of additional pathways for vertical migration. - The LCP continues to extend both horizontally, predominantly to the west, and vertically beyond the current monitoring well network, with some retraction observed to the southeast. Evaluation of this data combined with data from the 2020 and 2021 DPT sampling event indicate that the LCP encompasses an estimated 20.7 acres based on an expanded sampling area, as compared to the 2020 LCP footprint of 17.0 acres. - Freon 113 was not detected above GCTLs during the 2021 LTM event. Based on groundwater sampling activities performed in 2021, including April 2021 DPT groundwater sampling, the following recommendations are provided: - Perform the next LTM sampling event, targeted to occur in 2023, concurrently with the IM baseline sampling prior to AS system installation; - Include sampling from nine monitoring wells that are planned to be installed in late 2022, concurrent with upcoming IM construction activities. Installation of one deep vertical well, screened 70 to 80 feet bls, will be delayed to prevent the creation of an additional pathway for vertical migration; - Continue to sample under the modified annual LTM plan as presented in Table 4-1 concurrently with IM baseline sampling; and - Once the AS system install and start-up is complete, select monitoring wells from the LTM program will transition into the performance monitoring plan, and LTM will be temporarily discontinued. Performance monitoring will be performed quarterly, and the monitoring well network will be evaluated following the first performance monitoring sampling event.

long-term monitoring (LTM)↗

NASA NTRSDate not supplied

A New Concurrent Engineering Tool for the New Mission Design Center at NASA Ames Research Center

The NASA Ames Mission Design Center (MDC) has undergone a significant transformation process in recent years, culminating in becoming a true Concurrent Engineering Center. The underlying goal of this transformation is to better serve the Ames PI community in a cost-effective and rapidly-responsive way, providing quality products pivotal to the decision-making proposal strategy of our center. The four pillars of the change focus on four areas: personnel, physical places, tools, and training. Personnel: the MDC switched from using a dedicated pool of engineers—mostly entry-level career—for a matrixed approach with more experienced Subject Matter Experts, usually involved in spaceflight projects. These SMEs get detailed to the MDC for the duration of the study on a part-time or full-time basis. Physical places: The physical aspect pertains mostly to the layout of the new Engineering building and the dedicated concurrent engineering layout to foster collaboration. The current plan includes a dedicated space for concurrent engineering sessions as well as dedicated project rooms for concept studies. Tool: the MDC team is developing a new in-house concurrent engineering tool to facilitate concurrent engineering sessions. The team leveraged the many lessons learned and insight gained from using the current concurrent engineering tool, in use since 2007. SMEs have been involved throughout its design and development, ensuring accuracy and providing validity to the implementation approach. This new tool is database-driven and allows a team to work concurrently on the same model of a mission concept. “Workspaces” are provided for each of the traditional spacecraft mission design disciplines, including cost accounting and systems engineering. There are multiple tiers of fidelity available within each workspace, which can be completed parametrically or independently from the other disciplines as needed or synchronously with the other disciplines. A “commit” step synchronizes a workspace with the mission database and identifies any potential conflicts, along with the user who entered the conflicting data. A Mission Summary workspace enables a Study Lead to run an effective CE session, displaying key graphics, workspace status information, and technical and monetary budget information. This new CE tool will be undergoing Beta Testing with its primary user base and a limited Parts database in the summer of 2020. The team plans to release the first fully operational version in December 2020. Training: working in early concept development and maturation for a space mission requires a unique mindset and being comfortable with uncertainties in an environment where requirements are not yet fully developed, and where changes and trade-offs happen at a high tempo. The MDC started a weekly training program to ensure a common knowledge base on how do develop and mature early concept studies, as well as how to operate in a concurrent engineering environment. In conclusion, the MDC transformation will provide the overall PI community focused on cost-effective small satellite scientific missions with a powerful tool to address and mature early concepts more effectively and efficiently.

David Mauro↗

NASA NTRS1979

A project to investigate mechanisms and methodologies for the design and construction of communicating concurrent processes in real-time environments

Research undertaken in 1979 into effective and appropriate mechanisms to aid in the design and construction of software for use in the flight research programs undertaken by NASA is presented.

Campbell, R. H.↗

NASA NTRS1990

Artificial Intelligence (AI) Based Tactical Guidance for Fighter Aircraft

A research program investigating the use of Artificial Intelligence (AI) techniques to aid in the development of a Tactical Decision Generator (TDG) for Within Visual Range (WVR) air combat engagements is discussed. The application of AI programming and problem solving methods in the development and implementation of the Computerized Logic For Air-to-Air Warfare Simulations (CLAWS), a second generation TDG, is presented. The Knowledge-Based Systems used by CLAWS to aid in the tactical decision-making process are outlined in detail, and the results of tests to evaluate the performance of CLAWS versus a baseline TDG developed in FORTRAN to run in real-time in the Langley Differential Maneuvering Simulator (DMS), are presented. To date, these test results have shown significant performance gains with respect to the TDG baseline in one-versus-one air combat engagements, and the AI-based TDG software has proven to be much easier to modify and maintain than the baseline FORTRAN TDG programs. Alternate computing environments and programming approaches, including the use of parallel algorithms and heterogeneous computer networks are discussed, and the design and performance of a prototype concurrent TDG system are presented.

McManus, John W.↗

NASA NTRS2008

Concept of Operations Visualization in Support of Ares I Production

Boeing was selected in 2007 to manufacture Ares I Upper Stage and Instrument Unit according to NASA's design which would require the use of the latest manufacturing and integration processes to meet NASA budget and schedule targets. Past production experience has established that the majority of the life cycle cost is established during the initial design process. Concept of Operations (CONOPs) visualizations/simulations help to reduce life cycle cost during the early design stage. Production and operation visualizations can reduce tooling, factory capacity, safety, and build process risks while spreading program support across government, academic, media and public constituencies. The NASA/Boeing production visualization (DELMIA; Digital Enterprise Lean Manufacturing Interactive Application) promotes timely, concurrent and collaborative producibility analysis (Boeing)while supporting Upper Stage Design Cycles (NASA). The DELMIA CONOPs visualization reduced overall Upper Stage production flow time at the manufacturing facility by over 100 man-days to 312.5 man-days and helped to identify technical access issues. The NASA/Boeing Interactive Concept of Operations (ICON) provides interactive access to Ares using real mission parameters, allows users to configure the mission which encourages ownership and identifies areas for improvement, allows mission operations or spacecraft detail to be added as needed, and provides an effective, low coast advocacy, outreach and education tool.

Chilton, James H.↗

NASA NTRS2012

Pressure Ratio to Thermal Environments

A pressure ratio to thermal environments (PRatTlE.pl) program is a Perl language code that estimates heating at requested body point locations by scaling the heating at a reference location times a pressure ratio factor. The pressure ratio factor is the ratio of the local pressure at the reference point and the requested point from CFD (computational fluid dynamics) solutions. This innovation provides pressure ratio-based thermal environments in an automated and traceable method. Previously, the pressure ratio methodology was implemented via a Microsoft Excel spreadsheet and macro scripts. PRatTlE is able to calculate heating environments for 150 body points in less than two minutes. PRatTlE is coded in Perl programming language, is command-line-driven, and has been successfully executed on both the HP and Linux platforms. It supports multiple concurrent runs. PRatTlE contains error trapping and input file format verification, which allows clear visibility into the input data structure and intermediate calculations.

Lopez, Pedro↗

NASA NTRS1990

Concurrent Image Processing Executive (CIPE). Volume 1: Design overview

The design and implementation of a Concurrent Image Processing Executive (CIPE), which is intended to become the support system software for a prototype high performance science analysis workstation are described. The target machine for this software is a JPL/Caltech Mark 3fp Hypercube hosted by either a MASSCOMP 5600 or a Sun-3, Sun-4 workstation; however, the design will accommodate other concurrent machines of similar architecture, i.e., local memory, multiple-instruction-multiple-data (MIMD) machines. The CIPE system provides both a multimode user interface and an applications programmer interface, and has been designed around four loosely coupled modules: user interface, host-resident executive, hypercube-resident executive, and application functions. The loose coupling between modules allows modification of a particular module without significantly affecting the other modules in the system. In order to enhance hypercube memory utilization and to allow expansion of image processing capabilities, a specialized program management method, incremental loading, was devised. To minimize data transfer between host and hypercube, a data management method which distributes, redistributes, and tracks data set information was implemented. The data management also allows data sharing among application programs. The CIPE software architecture provides a flexible environment for scientific analysis of complex remote sensing image data, such as planetary data and imaging spectrometry, utilizing state-of-the-art concurrent computation capabilities.

Lee, Meemong↗

NASA NTRS1990

Computer Program Re-layers Engineering Drawings

RULCHK computer program aids in structuring layers of information pertaining to part or assembly designed with software described in article "Software for Drawing Design Details Concurrently" (MFS-28444). Checks and optionally updates structure of layers for part. Enables designer to construct model and annotate its documentation without burden of manually layering part to conform to standards at design time.

Crosby, Dewey C., III↗

NASA NTRS1998

Achieving High Performance on the i860 Microprocessor

The i860 is a high performance microprocessor used in the Intel Touchstone project. This paper proposes a paradigm for programming the i860 that is modelled on the vector instructions of the Cray computers. Fortran callable assembler subroutines were written that mimic the concurrent vector instructions of the Cray. Cache takes the place of vector registers. Using this paradigm we have achieved twice the performance of compiled code on a traditional solve.

Lee, King↗

NASA NTRS2018

Concurrent Multidisciplinary Preliminary Assessment of Space Systems (COMPASS) Final Report: Advanced Long-Life Lander Investigating the Venus Environment (ALIVE)

spacecraft↗

NASA NTRS2012

Advanced Lithium Ion Venus Explorer (ALIVE)

The COncurrent Multidisciplinary Preliminary Assessment of Space Systems (COMPASS) Team partnered with the Applied Research Laboratory to perform a NASA Innovative Advanced Concepts (NIAC) Program study to evaluate chemical based power systems for keeping a Venus lander alive (power and cooling) and functional for a period of days. The mission class targeted was either a Discovery ($500M) or New Frontiers ($750M to $780M) class mission. Historic Soviet Venus landers have only lasted on the order of 2 hours in the extreme Venus environment:temperatures of 460 degrees Centigrade and pressures of 93 bar. Longer duration missions have been studied using plutonium powered systems to operate and cool landers for up to a year. However, the plutonium load is very large. This NIAC study sought to still provide power and cooling but without the plutonium. Batteries are far too heavy but a system which uses the atmosphere (primarily carbon dioxide) and on on-board fuel to power a power generation and cooling system was sought. The resuling design was the Advanced Long-Life Lander Investigating the Venus Environment (ALIVE) Spacecraft (S/C) which burns lithium (Li) with the CO2 atmosphere to heat a Duplex Stirling to power and cool the lander for a 5-day duration (until the Li is exhausted). While it does not last years a chemical powered system surviving days eliminates the cost associated with utilizing a flyby relay S/C and allows a continuous low data rate direct to earth (DTE) link in this instance from the Ovda Regio of Venus. The five-day collection time provided by the chemical power systems also enables science personnel on earth to interact and retarget science - something not possible with an approximately 2-hour spacecraft lifetime. It also allows for contingency operations directed by the ground (reduced risk). The science package was based on that envisioned by the Venus Intrepid Tessera Lander (VITaL) Decadal Survey Study. The Li Burner within the long duration power system creates approximately 14000 W of heat. This 1300 degree Centigrade heat using Li in the bottom "ballast" tank is melted to liquid by the Venus temperature, drawn into a furnace by a wick and burned with atmospheric CO2. The Li carbonate exhaust is liquid at 1300 degrees Centigrade and being denser than Li drains into the the Li tank and solidifies. Since the exhaust product is a dense liquid no "chimney" is required which conserves the heat for the stirling power convertor. The Duplex Stirling provides about 300 W of power and removes about 300 W of heat from the avionics and heat that leaks into the 1-bar-insulated payload pressure vessel kept at 25 degrees Centigrade. The Na K radiator is run to the top of the drag flap.The ALIVE vehicle is carried to Venus via an Atlas 411 launch vehicle (LV) with a C3 of 7 km2/s2. An Aeroshell, derived from the Genesis mission, enables a direct entry into the atmosphere of Venus (-10 degrees Centigrade, 40 g max) and 6 m/s for landing (44 g) using a drag ring. For surface science and communication, a 100 WRF (WebEx Recording Format), X-Band 0.6-meter pointable DTE (Direct-to-Earth) antenna provides 2 kbps (kilobits per second) to DSN (Deep-Space Network) 34-meter antenna clusters.Table 1.1 summarizes the top-level details of each subsystem that was incorporated into the design. Cost estimates of the ALIVE mission show it at approximately $760M which puts it into the New Frontiers class.The ALIVE landed duration is only limited by the amount of Li which can be carried by the lander. Further studies are needed to investigate how additional mass can be carried, perhaps by a larger launcher and larger aeroshell.

Exploration↗

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 subsystem 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. Satisfactory convergence and favorable agreement with the benchmark results were observed. Modularity of the method is intended to fit the human organization and map well on the computing technology of concurrent processing.

Sobieszczanski-Sobieski, Jaroslaw↗

NASA NTRS1989

File concepts for parallel I/O

The subject of input/output (I/O) was often neglected in the design of parallel computer systems, although for many problems I/O rates will limit the speedup attainable. The I/O problem is addressed by considering the role of files in parallel systems. The notion of parallel files is introduced. Parallel files provide for concurrent access by multiple processes, and utilize parallelism in the I/O system to improve performance. Parallel files can also be used conventionally by sequential programs. A set of standard parallel file organizations is proposed, organizations are suggested, using multiple storage devices. Problem areas are also identified and discussed.

Crockett, Thomas W.↗

NASA NTRS1989

File concepts for parallel I/O

The subject of input/output (I/O) was often been neglected in the design of parallel computer systems, although for many problems I/O rates will limit the speedup attainable. The I/O problem is addressed by considering the role of files in parallel systems. The notion of parallel files is introduced. Parallel files provide for concurrent access by multiple processes, and utilize parallelism in the I/O system to improve performance. Parallel files can also be used conventionally by sequential programs. A set of standard parallel file organizations is proposed, based on common data partitioning techniques. Implementation strategies for the proposed organizations are suggested, using multiple storage devices. Problem areas are also identified and discussed.

Crockett, Thomas W.↗

NASA NTRS2001

Multidisciplinary Concurrent Design Optimization via the Internet

A methodology is presented which uses commercial design and analysis software and the Internet to perform concurrent multidisciplinary optimization. The methodology provides a means to develop multidisciplinary designs without requiring that all software be accessible from the same local network. The procedures are amenable to design and development teams whose members, expertise and respective software are not geographically located together. This methodology facilitates multidisciplinary teams working concurrently on a design problem of common interest. Partition of design software to different machines allows each constituent software to be used on the machine that provides the most economy and efficiency. The methodology is demonstrated on the concurrent design of a spacecraft structure and attitude control system. Results are compared to those derived from performing the design with an autonomous FORTRAN program.

Woodard, Stanley E.↗

NASA NTRS2003

High-Frequency Testing of Composite Fan Vanes With Erosion-Resistant Coating Conducted

The mechanical integrity of hard, erosion-resistant coatings were tested using the Structural Dynamics Laboratory at the NASA Glenn Research Center. Under the guidance of Structural Mechanics and Dynamics Branch personnel, fixturing and test procedures were developed at Glenn to simulate engine vibratory conditions on coated polymer-matrix- composite bypass vanes using a slip table in the Structural Dynamics Laboratory. Results from the high-frequency mechanical bench testing, along with concurrent erosion testing of coupons and vanes, provided sufficient confidence to engine-endurance test similarly coated vane segments. The knowledge gained from this program will be applied to the development of oxidation- and erosion-resistant coatings for polymer matrix composite blades and vanes in future advanced turbine engines. Fan bypass vanes from the AE3007 (Rolls Royce America, Indianapolis, IN) gas turbine engine were coated by Engelhard (Windsor, CT) with compliant bond coatings and hard ceramic coatings. The coatings were developed collaboratively by Glenn and Allison Advanced Development Corporation (AADC)/Rolls Royce America through research sponsored by the High-Temperature Engine Materials Technology Project (HITEMP) and the Higher Operating Temperature Propulsion Components (HOTPC) project. High-cycle fatigue was performed through high-frequency vibratory testing on a shaker table. Vane resonant frequency modes were surveyed from 50 to 3000 Hz at input loads from 1g to 55g on both uncoated production vanes and vanes with the erosion-resistant coating. Vanes were instrumented with both lightweight accelerometers and strain gauges to establish resonance, mode shape, and strain amplitudes. Two high-frequency dwell conditions were chosen to excite two strain levels: one approaching the vane's maximum allowable design strain and another near the expected maximum strain during engine operation. Six specimens were tested per dwell condition. Pretest and posttest inspections were performed optically at up to 60 magnification and using a fluorescent-dye penetrant. Accumulation of 10 million cycles at a strain amplitude of two to three times that expected in the engine (approximately 670 Hz and 20g) led to the development of multiple cracks in the coating that were only detectable using fluorescent-dye penetrant inspection. Cracks were prevalent on the trailing edge and on the convex side of the midsection. No cracking or spalling was evident using standard optical inspection at up to 60 magnification. Further inspection may reveal whether these fine cracks penetrated the coating or were strictly on the surface. The dwell condition that simulated actual engine conditions produced no obvious surface flaws even after up to 80 million cycles had been accumulated at strain amplitudes produced at approximately 1500 Hz and 45g.

Bowman, Cheryl L.↗

NASA NTRS2015

A Tool for Intersecting Context-Free Grammars and Its Applications

This paper describes a tool for intersecting context-free grammars. Since this problem is undecidable the tool follows a refinement-based approach and implements a novel refinement which is complete for regularly separable grammars. We show its effectiveness for safety verification of recursive multi-threaded programs.

Context Free Grammar↗