Search NASA⌕ Search

SEARCH · Search NASA

Results for “concurrency”

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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Control-structure-thermal interactions in analysis of lunar telescopes

The lunar telescope project was an excellent model for the CSTI study because a telescope is a very sensitive instrument, and thermal expansion or mechanical vibration of the mirror assemblies will rapidly degrade the resolution of the device. Consequently, the interactions are strongly coupled. The lunar surface experiences very large temperature variations that range from approximately -180 C to over 100 C. Although the optical assemblies of the telescopes will be well insulated, the temperature of the mirrors will inevitably fluctuate in a similar cycle, but of much smaller magnitude. In order to obtain images of high quality and clarity, allowable thermal deformations of any point on a mirror must be less than 1 micron. Initial estimates indicate that this corresponds to a temperature variation of much less than 1 deg through the thickness of the mirror. Therefore, a lunar telescope design will most probably include active thermal control, a means of controlling the shape of the mirrors, or a combination of both systems. Historically, the design of a complex vehicle was primarily a sequential process in which the basic structure was defined without concurrent detailed analyses or other subsystems. The basic configuration was then passed to the different teams responsible for each subsystem, and their task was to produce a workable solution without requiring major alterations to any principal components or subsystems. Consequently, the final design of the vehicle was not always the most efficient, owing to the fact that each subsystem design was partially constrained by the previous work. This procedure was necessary at the time because the analysis process was extremely time-consuming and had to be started over with each significant alteration of the vehicle. With recent advances in the power and capacity of small computers, and the parallel development of powerful software in structural, thermal, and control system analysis, it is now possible to produce very detailed analyses of intermediate designs in a much shorter period of time. The subsystems can thus be designed concurrently, and alterations in the overall design can be quickly adopted into each analysis; the design becomes an iterative process in which it is much easier to experiment with new ideas, configurations, and components. Concurrent engineering has the potential to produce efficient, highly capable designs because the effect of one subystem on another can be assessed in much more detail at a very early point in the program. The research program consisted of several tasks: scale a prototype telescope assembly to a 1 m aperture, develop a model of the telescope assembly by using finite element (FEM) codes that are available on site, determine structural deflections of the mirror surfaces due to the temperature variations, develop a prototype control system to maintain the proper shape of the optical elements, and most important of all, demonstrate the concurrent engineering approach with this example. In addition, the software used for the finite element models and thermal analysis was relatively new within the Program Development Office and had yet to be applied to systems this large or complex; understanding the software and modifying it for use with this project was also required. The I-DEAS software by Structural Dynamics Research Corporation (SDRC) was used to build the finite element models, and TMG developed by Maya Heat Transfer Technologies, Ltd. (which runs as an I-DEAS module) was used for the thermal model calculations. All control system development was accomplished with MATRIX(sub X) by Integrated Systems, Inc.

Thompson, Roger C.↗
NASA NTRS1994

VLSI neuroprocessors

Electronic and optoelectronic hardware implementations of highly parallel computing architectures address several ill-defined and/or computation-intensive problems not easily solved by conventional computing techniques. The concurrent processing architectures developed are derived from a variety of advanced computing paradigms including neural network models, fuzzy logic, and cellular automata. Hardware implementation technologies range from state-of-the-art digital/analog custom-VLSI to advanced optoelectronic devices such as computer-generated holograms and e-beam fabricated Dammann gratings. JPL's concurrent processing devices group has developed a broad technology base in hardware implementable parallel algorithms, low-power and high-speed VLSI designs and building block VLSI chips, leading to application-specific high-performance embeddable processors. Application areas include high throughput map-data classification using feedforward neural networks, terrain based tactical movement planner using cellular automata, resource optimization (weapon-target assignment) using a multidimensional feedback network with lateral inhibition, and classification of rocks using an inner-product scheme on thematic mapper data. In addition to addressing specific functional needs of DOD and NASA, the JPL-developed concurrent processing device technology is also being customized for a variety of commercial applications (in collaboration with industrial partners), and is being transferred to U.S. industries. This viewgraph p resentation focuses on two application-specific processors which solve the computation intensive tasks of resource allocation (weapon-target assignment) and terrain based tactical movement planning using two extremely different topologies. Resource allocation is implemented as an asynchronous analog competitive assignment architecture inspired by the Hopfield network. Hardware realization leads to a two to four order of magnitude speed-up over conventional techniques and enables multiple assignments, (many to many), not achievable with standard statistical approaches. Tactical movement planning (finding the best path from A to B) is accomplished with a digital two-dimensional concurrent processor array. By exploiting the natural parallel decomposition of the problem in silicon, a four order of magnitude speed-up over optimized software approaches has been demonstrated.

Kemeny, Sabrina E.↗
NASA NTRS1997

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints

We examine a class of hybrid systems which we call Composite Hybrid Machines (CHM's) that consists of the concurrent (and partially synchronized) operation of Elementary Hybrid Machines (EHM's). Legal behavior, specified by a set of illegal configurations that the CHM may not enter, is to be achieved by the concurrent operation of the CHM with a suitably designed legal controller. In the present paper we focus on the problem of synthesizing a legal controller, whenever such a controller exists. More specifically, we address the problem of synthesizing the minimally restrictive legal controller. A controller is minimally restrictive if, when composed to operate concurrently with another legal controller, it will never interfere with the operation of the other controller and, therefore, can be composed to operate concurrently with any other controller that may be designed to achieve liveness specifications or optimality requirements without the need to reinvestigate or reverify legality of the composite controller. We confine our attention to a special class of CHM's where system dynamics is rate-limited and legal guards are conjunctions or disjunctions of atomic formulas in the dynamic variables (of the type x less than or equal to x(sub 0), or x greater than or equal to x(sub 0)). We present an algorithm for synthesis of the minimally restrictive legal controller. We demonstrate our approach by synthesizing a minimally restrictive controller for a steam boiler (the verification of which recently received a great deal of attention).

Heymann, Michael↗
NASA NTRS1997

Electronic Design Automation: Integrating the Design and Manufacturing Functions

As the complexity of electronic systems grows, the traditional design practice, a sequential process, is replaced by concurrent design methodologies. A major advantage of concurrent design is that the feedback from software and manufacturing engineers can be easily incorporated into the design. The implementation of concurrent engineering methodologies is greatly facilitated by employing the latest Electronic Design Automation (EDA) tools. These tools offer integrated simulation of the electrical, mechanical, and manufacturing functions and support virtual prototyping, rapid prototyping, and hardware-software co-design. This report presents recommendations for enhancing the electronic design and manufacturing capabilities and procedures at JSC based on a concurrent design methodology that employs EDA tools.

Bachnak, Rafic↗
NASA NTRS1997

An Adaptive Flow Solver for Air-Borne Vehicles Undergoing Time-Dependent Motions/Deformations

This report describes a concurrent Euler flow solver for flows around complex 3-D bodies. The solver is based on a cell-centered finite volume methodology on 3-D unstructured tetrahedral grids. In this algorithm, spatial discretization for the inviscid convective term is accomplished using an upwind scheme. A localized reconstruction is done for flow variables which is second order accurate. Evolution in time is accomplished using an explicit three-stage Runge-Kutta method which has second order temporal accuracy. This is adapted for concurrent execution using another proven methodology based on concurrent graph abstraction. This solver operates on heterogeneous network architectures. These architectures may include a broad variety of UNIX workstations and PCs running Windows NT, symmetric multiprocessors and distributed-memory multi-computers. The unstructured grid is generated using commercial grid generation tools. The grid is automatically partitioned using a concurrent algorithm based on heat diffusion. This results in memory requirements that are inversely proportional to the number of processors. The solver uses automatic granularity control and resource management techniques both to balance load and communication requirements, and deal with differing memory constraints. These ideas are again based on heat diffusion. Results are subsequently combined for visualization and analysis using commercial CFD tools. Flow simulation results are demonstrated for a constant section wing at subsonic, transonic, and a supersonic case. These results are compared with experimental data and numerical results of other researchers. Performance results are under way for a variety of network topologies.

Singh, Jatinder↗
NASA NTRS1997

Hierarchical Modeling and Robust Synthesis for the Preliminary Design of Large Scale Complex Systems

Large-scale complex systems are characterized by multiple interacting subsystems and the analysis of multiple disciplines. The design and development of such systems inevitably requires the resolution of multiple conflicting objectives. The size of complex systems, however, prohibits the development of comprehensive system models, and thus these systems must be partitioned into their constituent parts. Because simultaneous solution of individual subsystem models is often not manageable iteration is inevitable and often excessive. In this dissertation these issues are addressed through the development of a method for hierarchical robust preliminary design exploration to facilitate concurrent system and subsystem design exploration, for the concurrent generation of robust system and subsystem specifications for the preliminary design of multi-level, multi-objective, large-scale complex systems. This method is developed through the integration and expansion of current design techniques: Hierarchical partitioning and modeling techniques for partitioning large-scale complex systems into more tractable parts, and allowing integration of subproblems for system synthesis; Statistical experimentation and approximation techniques for increasing both the efficiency and the comprehensiveness of preliminary design exploration; and Noise modeling techniques for implementing robust preliminary design when approximate models are employed. Hierarchical partitioning and modeling techniques including intermediate responses, linking variables, and compatibility constraints are incorporated within a hierarchical compromise decision support problem formulation for synthesizing subproblem solutions for a partitioned system. Experimentation and approximation techniques are employed for concurrent investigations and modeling of partitioned subproblems. A modified composite experiment is introduced for fitting better predictive models across the ranges of the factors, and an approach for constructing partitioned response surfaces is developed to reduce the computational expense of experimentation for fitting models in a large number of factors. Noise modeling techniques are compared and recommendations are offered for the implementation of robust design when approximate models are sought. These techniques, approaches, and recommendations are incorporated within the method developed for hierarchical robust preliminary design exploration. This method as well as the associated approaches are illustrated through their application to the preliminary design of a commercial turbofan turbine propulsion system. The case study is developed in collaboration with Allison Engine Company, Rolls Royce Aerospace, and is based on the Allison AE3007 existing engine designed for midsize commercial, regional business jets. For this case study, the turbofan system-level problem is partitioned into engine cycle design and configuration design and a compressor modules integrated for more detailed subsystem-level design exploration, improving system evaluation. The fan and low pressure turbine subsystems are also modeled, but in less detail. Given the defined partitioning, these subproblems are investigated independently and concurrently, and response surface models are constructed to approximate the responses of each. These response models are then incorporated within a commercial turbofan hierarchical compromise decision support problem formulation. Five design scenarios are investigated, and robust solutions are identified. The method and solutions identified are verified by comparison with the AE3007 engine. The solutions obtained are similar to the AE3007 cycle and configuration, but are better with respect to many of the requirements.

Koch, Patrick N.↗
NASA NTRS2000

Formal Analysis of the Remote Agent Before and After Flight

This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software. The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not have been found through testing. This effort required a substantial manual modeling effort involving both abstraction and translation from the prototype LISP code to the PROMELA language used by SPIN. This experience and others led to research to address the gap between formal method tools and the development cycle used by software developers. The Java PathFinder tool which directly translates from Java to PROMELA was developed as part of this research, as well as automatic abstraction tools. In 1999 the flight software flew on a space mission, and a deadlock occurred in a sibling subsystem to the one which was the focus of the first verification effort. A second quick-response "cleanroom" verification effort found the concurrency error in a short amount of time. The error was isomorphic to one of the concurrency errors found during the first verification effort. The paper demonstrates that formal methods tools can find concurrency errors that indeed lead to loss of spacecraft functions, even for the complex software required for autonomy. Second, it describes progress in automatic translation and abstraction that eventually will enable formal methods tools to be inserted directly into the aerospace software development cycle.

Havelund, Klaus↗
NASA NTRS2000

Evaluation of Methods for Multidisciplinary Design Optimization (MDO)

A new MDO method, BLISS, and two different variants of the method, BLISS/RS and BLISS/S, have been implemented using iSIGHT's scripting language and evaluated in this report on multidisciplinary problems. All of these methods are based on decomposing a modular system optimization system into several subtasks optimization, that may be executed concurrently, and the system optimization that coordinates the subtasks optimization. The BLISS method and its variants are well suited for exploiting the concurrent processing capabilities in a multiprocessor machine. Several steps, including the local sensitivity analysis, local optimization, response surfaces construction and updates are all ideally suited for concurrent processing. Needless to mention, such algorithms that can effectively exploit the concurrent processing capabilities of the compute servers will be a key requirement for solving large-scale industrial design problems, such as the automotive vehicle problem detailed in Section 3.4.

Kodiyalam, Srinivas↗
NASA NTRS1994

Wire Insulation Flammability Experiment: USML-1 One Year Post Mission Summary

Herein we report the results from the Wire Insulation Flammability (WIF) Experiment performed in the Glovebox Facility on the USML-1 mission. This experiment explored various aspects of electrically induced fire scenarios in a reduced gravity environment. Under quiescent microgravity conditions, heat and mass transfer are dominated by diffusive and radiative transport; while in normal-gravity buoyancy induced convection often dominates. Of considerable scientific and practical interest is the intermediate situation of combustion occurring in the presence of imposed gas flows, with lower characteristic velocities than those induced by buoyancy in noma1 gravity. Two distinct cases naturally arise: flow direction opposed to, or concurrent with, the flame spread direction. Two tests of each kind were conducted in the WIF experiment, providing the first controlled demonstration of flame spreading in forced convection ever conducted in space. Four test modules were flown. The wire insulation, 1.5 mm in diameter, was polyethylene, extruded onto nichrome wire. Temperatures of the wh3 cores and insulation heated in quiescent and flowing environments were measured. Video and still-camera images of the samples, burning in air flowing at approximately 10 cm/sec, were recorded to obtain flame characteristics including spread rate, structure and temperature. Flame spread rates in concurrent flow were approximately twice those in opposed flow. In concurrent and opposed flow regimes, the spreading flames stabilized around a bead of molten insulation material, within which bubble nucleation was observed. An ignition attempt without flow mated a quiescent cloud of vaporized fuel which ignited dramatically yet failed to sustain normal flame spread. Finally, all tests produced substantial soot agglomerates, particularly the concurrent flow tests; and the collected soot has a morphology very distinct from soot formed in normal gravity flames. Several unexpected and unique microgravity combustion phenomena were observed.

Greenberg, Paul S.↗
NASA NTRS2015

Update of Bisphosphonate Flight Experiment

Elevated bone resorption is a hallmark of human spaceflight and bed rest indicating that elevated remodeling is a major factor in the etiology of space flight bone loss. In a collaborative effort between the NASA and JAXA space agencies, we are testing whether an antiresorptive drug would provide additional benefit to in-flight exercise to ameliorate bone loss and hypercalciuria during long-duration spaceflight. Measurements of bone loss include DXA, QCT, pQCT, urinary and blood biomarkers. We have completed analysis of R+1year data from 7 crewmembers treated with alendronate during flight, as well as immediate post flight (R+<2wks) data from 6 of 10 concurrent controls without treatment. The treated astronauts used the Advanced Resistive Exercise Device (ARED) during their missions. The purpose of this report is twofold: 1) to report the results of inflight, post flight and one year post flight bone measures compared with available controls with and without the use of ARED; and 2) to discuss preliminary data on concurrent controls. The figure below compares the BMD changes in ISS crewmembers exercising with and without the current ARED protocol and the alendronate treated crewmembers also using the ARED. This shows that the use of ARED prevents about half the bone loss seen in early ISS crewmembers and that the addition of an antiresorptive provides additional benefit. Resorption markers and urinary Ca excretion are not impacted by exercise alone but are significantly reduced with antiresorptive treatment. Bone measures for treated subjects, 1 year after return from space remain at or near baseline. DXA data for the 6 concurrent controls using the ARED device are similar to DXA data shown in the figure below. QCT data for these six indicate that the integral data are consistent with the DXA data, i.e., comparing the two control groups suggests significant but incomplete improvement in maintaining BMD using the ARED protocol. Biochemical data of the concurrent control group await sample return and analysis. The preliminary conclusion is that an antiresorptive may be an effective adjunct to exercise during long-duration spaceflight.

LeBlanc, A.↗
NASA NTRS2014

An Approach for the Long-Term 30-m Land Surface Snow-Free Albedo Retrieval from Historic Landsat Surface Reflectance and MODIS-based A Priori Anisotropy Knowledge

Land surface albedo has been recognized by the Global Terrestrial Observing System (GTOS) as an essential climate variable crucial for accurate modeling and monitoring of the Earth's radiative budget. While global climate studies can leverage albedo datasets from MODIS, VIIRS, and other coarse-resolution sensors, many applications in heterogeneous environments can benefit from higher-resolution albedo products derived from Landsat. We previously developed a "MODIS-concurrent" approach for the 30-meter albedo estimation which relied on combining post-2000 Landsat data with MODIS Bidirectional Reflectance Distribution Function (BRDF) information. Here we present a "pre-MODIS era" approach to extend 30-m surface albedo generation in time back to the 1980s, through an a priori anisotropy Look-Up Table (LUT) built up from the high quality MCD43A BRDF estimates over representative homogenous regions. Each entry in the LUT reflects a unique combination of land cover, seasonality, terrain information, disturbance age and type, and Landsat optical spectral bands. An initial conceptual LUT was created for the Pacific Northwest (PNW) of the United States and provides BRDF shapes estimated from MODIS observations for undisturbed and disturbed surface types (including recovery trajectories of burned areas and non-fire disturbances). By accepting the assumption of a generally invariant BRDF shape for similar land surface structures as a priori information, spectral white-sky and black-sky albedos are derived through albedo-to-nadir reflectance ratios as a bridge between the Landsat and MODIS scale. A further narrow-to-broadband conversion based on radiative transfer simulations is adopted to produce broadband albedos at visible, near infrared, and shortwave regimes.We evaluate the accuracy of resultant Landsat albedo using available field measurements at forested AmeriFlux stations in the PNW region, and examine the consistency of the surface albedo generated by this approach respectively with that from the "concurrent" approach and the coincident MODIS operational surface albedo products. Using the tower measurements as reference, the derived Landsat 30-m snow-free shortwave broadband albedo yields an absolute accuracy of 0.02 with a root mean square error less than 0.016 and a bias of no more than 0.007. A further cross-comparison over individual scenes shows that the retrieved white sky shortwave albedo from the "pre-MODIS era" LUT approach is highly consistent (R(exp 2) = 0.988, the scene-averaged low RMSE = 0.009 and bias = −0.005) with that generated by the earlier "concurrent" approach. The Landsat albedo also exhibits more detailed landscape texture and a wider dynamic range of albedo values than the coincident 500-m MODIS operational products (MCD43A3), especially in the heterogeneous regions. Collectively, the "pre-MODIS" LUT and "concurrent" approaches provide a practical way to retrieve long-term Landsat albedo from the historic Landsat archives as far back as the 1980s, as well as the current Landsat-8 mission, and thus support investigations into the evolution of the albedo of terrestrial biomes at fine resolution.

Albedo algorithm↗
NASA NTRS2019

Vicarious Calibration of GOCI for the SeaDAS Ocean Color Retrieval

A key on-orbit calibration step for satellite remote sensing of ocean color is the vicarious calibration. This establishes the final gains for each spectral band on the sensor that minimize bias in the retrieved ocean color signal. The vicarious calibration is specific to the instrument and the atmospheric correction algorithm. The vicarious calibration gains for the Geostationary Ocean Color Imager (GOCI) are presented here, which were derived to optimize the performance ofNASA's standard atmospheric correction algorithm as implemented in the l2gen code and distributed through the SeaDAS open-source software package. Following NASA's protocols, the near-infrared(NIR) bands were calibrated first, and the visible bands were then calibrated relative to this fixed NIR calibration. The gain for the 745-nm NIR band was derived using a fixed aerosol model, which waschosen based on the Angstrom Coefficients derived from MODIS onAqua (MODISA). For the vicarious gains of the visible bands, twosources for the target water-leaving radiances were tested: matchupsfrom MODISA and climatological data from SeaWiFS. A validation analysis using AERONET-OC data shows an improvement in sensor performance when compared with results using the current vicarious gains and results using no vicarious calibration. Good agreement was found in vicarious gains derived using both concurrent MODISA and climatological SeaWiFS as vicarious calibration data sources. These results support the use of a concurrent sensor for the vicarious calibration when in situ data are not available and demonstrate that using climatology from a well-calibrated sensor like SeaWiFSfor the vicarious calibration is a valid alternative when it is not possible to use a concurrent sensor or in situ data. We recommend using the gains derived from concurrent GOCI matchups with MODISA for GOCI processing in SeaDAS/l2gen.

Concha, Javier↗
NASA NTRS2020

Actor-based Runtime Verification with MESA

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.

Mehlitz, Peter↗
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 NTRS2010

Identification and Classification of Common Risks in Space Science Missions

Due to the highly constrained schedules and budgets that NASA missions must contend with, the identification and management of cost, schedule and risks in the earliest stages of the lifecycle is critical. At the Jet Propulsion Laboratory (JPL) it is the concurrent engineering teams that first address these items in a systematic manner. Foremost of these concurrent engineering teams is Team X. Started in 1995, Team X has carried out over 1000 studies, dramatically reducing the time and cost involved, and has been the model for other concurrent engineering teams both within NASA and throughout the larger aerospace community. The ability to do integrated risk identification and assessment was first introduced into Team X in 2001. Since that time the mission risks identified in each study have been kept in a database. In this paper we will describe how the Team X risk process is evolving highlighting the strengths and weaknesses of the different approaches. The paper will especially focus on the identification and classification of common risks that have arisen during Team X studies of space based science missions.

Risk Identification↗
NASA NTRSDate not supplied

MESA: Scalable Runtime Verification Tool Using Actors

This work presents our runtime verification approach implemented by the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in linear temporal logic and finite state machines.We employ the actor programing model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper also presents a case study where MESA is used to monitor flights in National Airspace System of United States using live air traffic data stream. The case study which motivated this work in the first place shows that our approach is effective.We also perform empirical study by conducting experiments using monitoring systems with different numbers of concurrent monitors and different layers of indexing.This paper describes our experiments, evaluates our results,and discusses challenges faced during the study. The evaluation shows our approach is scalable.

runtime verification, concurrency, actor programin↗
NASA NTRS2022

2020 I.F._Wickizer_New CE Tool for MDC_Final Report

Our team surveyed available products and found no readily-available/U.S. commercial or Agency products which supported our envisioned workflow for the Mission Design Center and the concurrent engineering (CE) process we use. Therefore, we sought to create our own CE tool. Changes in agency policy during the performance period allowed us to shift direction and instead adapt our previous legacy tool (Atlas) to include the collaboration features we sorely needed. Atlas relied upon databases for its back-end data management. Poseidon, the work proposed under this effort, was also intended to leverage from that previous back end (in part). However, in May 2021, EUSO announced that “SBU/CUI Information Can Now Be Shared/Stored Within O365 Without Encryption.” Consequently, we made the decision to use O365 in place of our back end. This change provides for version history, collaborative simultaneous editing, and other collaboration tools agency-wide that were previously unavailable with the old database architecture. The new Atlas O365 has more flexibility and capability for users. It’s now easier for users to switch between using the tool for concurrent engineering and individual subsystem engineering. A version was delivered for concurrent engineering of small satellite missions; so far, it has been used successfully on the Aeolus MDC study. Atlas O365 will facilitate the design and assessment of Small Satellite Missions at low Concept Maturity Level at Ames. Feasibility assessments on mission concepts still at a low CML permit strategic planning and decision-making efforts at the center level about which concepts should be pursued and proposed.

concurrent engineering↗
NASA NTRS1975

Secondary task for full flight simulation incorporating tasks that commonly cause pilot error: Time estimation

The task of time estimation, an activity occasionally performed by pilots during actual flight, was investigated with the objective of providing human factors investigators with an unobtrusive and minimally loading additional task that is sensitive to differences in flying conditions and flight instrumentation associated with the main task of piloting an aircraft simulator. Previous research indicated that the duration and consistency of time estimates is associated with the cognitive, perceptual, and motor loads imposed by concurrent simple tasks. The relationships between the length and variability of time estimates and concurrent task variables under a more complex situation involving simulated flight were clarified. The wrap-around effect with respect to baseline duration, a consequence of mode switching at intermediate levels of concurrent task distraction, should contribute substantially to estimate variability and have a complex effect on the shape of the resulting distribution of estimates.

Rosch, E.↗