Search NASA⌕ Search

SEARCH · Search NASA

Results for “concurrent”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

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

At least 37 records · Page 2

Integrated System-Level Optimization for Concurrent Engineering With Parametric Subsystem Modeling

The introduction of concurrent design practices to the aerospace industry has greatly increased the productivity of engineers and teams during design sessions as demonstrated by JPL's Team X. Simultaneously, advances in computing power have given rise to a host of potent numerical optimization methods capable of solving complex multidisciplinary optimization problems containing hundreds of variables, constraints, and governing equations. Unfortunately, such methods are tedious to set up and require significant amounts of time and processor power to execute, thus making them unsuitable for rapid concurrent engineering use. This paper proposes a framework for Integration of System-Level Optimization with Concurrent Engineering (ISLOCE). It uses parametric neural-network approximations of the subsystem models. These approximations are then linked to a system-level optimizer that is capable of reaching a solution quickly due to the reduced complexity of the approximations. The integration structure is described in detail and applied to the multiobjective design of a simplified Space Shuttle external fuel tank model. Further, a comparison is made between the new framework and traditional concurrent engineering (without system optimization) through an experimental trial with two groups of engineers. Each method is evaluated in terms of optimizer accuracy, time to solution, and ease of use. The results suggest that system-level optimization, running as a background process during integrated concurrent engineering sessions, is potentially advantageous as long as it is judiciously implemented.

Schuman, Todd↗

Concurrent Runtime Verification of Data Rich Events

This paper presents the open source runtime verification tool MESA (MEssage-based System Analysis), implemented in Scala, which supports concurrent monitors using the Actor model. Furthermore, the tool supports indexing (slicing) on the data values occurring in data-carrying events, for each individual monitor. The tool is generic in the sense that any monitoring system can be used for creating monitors. In this paper, we use the internal Scala DSL Daut for programming such in data parameterized state machines and temporal logic. To illustrate MESA/Daut, we present a case study that monitors flights from live U.S. airspace data streams, verifying that they conform to planned routes. With base in the case study, we then perform an extensive empirical study of the potential benefits from monitoring slices of a single property in concurrently executing actors. Due to the overhead of scheduling “small” actors (one for each slice or a small number of slices), it is not obvious that concurrent execution of such is beneficial. However, as a main result, we demonstrate that concurrent monitoring of slices to handle data-carrying events can provide considerable speed gains.

finite state machines↗

Pulsed Radiation Therapy With Concurrent Cisplatin Results in Superior Tumor Growth Delay in a Head and Neck Squamous Cell Carcinoma Murine Model

Purpose: To assess the efficacy of 3-week schedules of low-dose pulsed radiation treatment (PRT) and standard radiation therapy (SRT), with concurrent cisplatin (CDDP) in a head and neck squamous cell carcinoma xenograft model. Methods and Materials: Subcutaneous UT-SCC-14 tumors were established in athymic NIH III HO female mice. A total of 30 Gy was administered as 2 Gy/d, 5 d/wk for 3 weeks, either by PRT (10 × 0.2 Gy/d, with a 3-minute break between each 0.2-Gy dose) or SRT (2 Gy/d, uninterrupted delivery) in combination with concurrent 2 mg/kg CDDP 3 times per week in the final 2 weeks of radiation therapy. Treatment-induced growth delays were defined from twice-weekly tumor volume measurements. Tumor hypoxia was assessed by {sup 18}F-fluoromisonidazole positron emission tomography imaging, and calculated maximum standardized uptake values compared with tumor histology. Tumor vessel density and hypoxia were measured by quantitative immunohistochemistry. Normal tissues effects were evaluated in gut and skin. Results: Untreated tumors grew to 1000 mm{sup 3} in 25.4 days (±1.2), compared with delays of 62.3 days (±3.5) for SRT + CDDP and 80.2 days (±5.0) for PRT + CDDP. Time to reach 2× pretreatment volume ranged from 8.2 days (±1.8) for untreated tumors to 67.1 days (±4.7) after PRT + CDDP. Significant differences in tumor growth delay were observed for SRT versus SRT + CDDP (P=.04), PRT versus PRT + CDDP (P=.035), and SRT + CDDP versus PRT + CDDP (P=.033), and for survival between PRT versus PRT + CDDP (P=.017) and SRT + CDDP versus PRT + CDDP (P=.008). Differences in tumor hypoxia were evident by {sup 18}F-fluoromisonidazole positron emission tomography imaging between SRT and PRT (P=.025), although not with concurrent CDDP. Tumor vessel density differed between SRT + CDDP and PRT + CDDP (P=.011). No differences in normal tissue parameters were seen. Conclusions: Concurrent CDDP was more effective in combination PRT than SRT at restricting tumor growth. Significant differences in tumor vascular density were evident between PRT and SRT, suggesting a preservation of vascular network with PRT.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

Continuous Activity Monitoring During Concurrent Chemoradiotherapy

Purpose: To perform a prospective trial testing the feasibility and utility of acquiring activity data as a measure of health status during concurrent chemoradiotherapy. Methods and Materials: Ambulatory patients who were planned for treatment with concurrent chemoradiotherapy with curative intent for cancers of the head and neck, lung, or gastrointestinal tract were provided with activity monitors before treatment initiation. Patients were asked to wear the devices continuously throughout the radiation therapy course. Step count data were downloaded weekly during radiation therapy and 2 and 4 weeks after radiation therapy completion. The primary objective was to demonstrate feasibility, defined as collection of step counts for 80% of the days during study subjects' radiation therapy courses. Secondary objectives included establishing step count as a dynamic predictor of unplanned hospitalization risk. Results: Thirty-eight enrolled patients were treated with concurrent chemoradiotherapy. Primary diagnoses included head and neck cancer (n=11), lung cancer (n=13), and a variety of gastrointestinal cancers (n=14). Step data were collected for 1524 of 1613 days (94%) during patients' radiation therapy courses. Fourteen patients were hospitalized during radiation therapy or within 4 weeks of radiation therapy completion. Cox regression modeling demonstrated a significant association between recent step counts (3-day average) and hospitalization risk, with a 38% reduction in the risk of hospitalization for every 1000 steps taken each day (hazard ratio 0.62, 95% confidence interval 0.46-0.83, P=.002). Inferior quality of life scores and impaired performance status were not associated with increased hospitalization risk. Conclusion: Continuous activity monitoring during concurrent chemoradiotherapy is feasible and well-tolerated. Step counts may serve as powerful, objective, and dynamic indicators of hospitalization risk.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

IL-1β directly inhibits milk lipid production in lactating mammary epithelial cells concurrently with enlargement of cytoplasmic lipid droplets

Highlights: • IL-1β inhibits milk lipid production concurrently with enlargement of lipid droplets. • IL-1β, IL-6, and TNF-α affect milk lipid production in different manners. • IL-1β rapidly induced activation of STAT3 concurrently with inactivation of STAT5. • IL-1β activates the mRNA expression of IL-6 and TNF-α in mammary epithelial cells. Mammary epithelial cells (MECs) in lactating mammary glands produce milk lipid, which provides a large percentage of calories and bioactive lipids for appropriate infant growth. However, secreted milk lipid is often reduced concurrently with increases in IL-1β, IL-6, and TNF-α in mammary glands with mastitis. In this study, we investigated whether those cytokines directly influenced lipid production and secretion. A lactating MEC culture model with high lipid production ability was prepared by culture with oleic acid. TNF-α, IL-1β, and IL-6 differentially affected lipid production and secretion in lactating MECs. In particular, IL-1β treatment significantly reduced amounts of secreted triglycerides by 97% compared with the control concurrently with enlargement of cytoplasmic lipid droplets in MECs. IL-1β also decreased mRNA expression of Fabp3 and Srebp1 and the amount of aquaporin 3, GLUT-1 and adipophilin in the milk lipid production pathway. Furthermore, IL-1β inactivated STAT5 and glucocorticoid signaling to induce milk production in MECs, whereas STAT3 and NFκB signaling was activated. IL-1β induced mRNA expression of IL-6 and TNF-α in MECs. Therefore, we suggest that IL-1β is a key inhibitor of lipid production and secretion in lactating MECs.

60 APPLIED LIFE SCIENCES↗

The Caltech Concurrent Computation Program - Project description

The Caltech Concurrent Computation Program wwhich studies basic issues in computational science is described. The research builds on initial work where novel concurrent hardware, the necessary systems software to use it and twenty significant scientific implementations running on the initial 32, 64, and 128 node hypercube machines have been constructed. A major goal of the program will be to extend this work into new disciplines and more complex algorithms including general packages that decompose arbitrary problems in major application areas. New high-performance concurrent processors with up to 1024-nodes, over a gigabyte of memory and multigigaflop performance are being constructed. The implementations cover a wide range of problems in areas such as high energy and astrophysics, condensed matter, chemical reactions, plasma physics, applied mathematics, geophysics, simulation, CAD for VLSI, graphics and image processing. The products of the research program include the concurrent algorithms, hardware, systems software, and complete program implementations.

Fox, G.↗

Solving Finite-Element Problems on a Concurrent Processor

By use of "conjugate gradients" technique, concurrent efficiency greater than 90 percent. Algorithm applies method of conjugate gradients to iterative solution of finite-element problems on concurrent processor. With algorithm, iteration rates nearly proportional to number of processors. For sufficiently large problems, fraction of proportional speedup achieved, called concurrent efficiency, exceeds 90 percent. Results indicate future application of this and related algorithms to large finite-element problems depend primarily upon applicability of iteratiave techniques, not upon issues of concurrency or efficiency.

Lyzenga, G. A.↗

Multiple arm coordination using concurrent processing

The use of concurrent processing for robot arm coordination is considered, and a hierarchically structured set of routines for the completion of coordinated tasks is discussed. Concurrent programming controls interacting concurrent processes by providing techniques to handle the problems of mutual exclusion, synchronization, and communication. The process is demonstrated for the example of the producer-consumer problem. Software supporting a concurrent environment to control a robotic system is being developed in which parallel rather than sequential thought processes are used.

Basta, Robert A.↗

Solving finite element equations on concurrent computers

This paper discusses the development of a concurrent algorithm for the solution of systems of equations arising in finite element applications. The approach is based on a hybrid of direct elimination method and preconditioned conjugate iteration. Two different preconditioners are used; diagonal scaling and a concurrent implementation of incomplete LU factorization. First, an automatic procedure is used to partition the finite element mesh into sub-structures. The particular mesh partition is chosen to minimize an estimate of the cost for evaluating the solution using this algorithm on a concurrent computer. These procedures are implemented in a finite element program on the JPL/CalTech MARK III hypercube computer. An overview of the structure of this program is presented. The performance of the solution method is demonstrated with the aid of a number of numerical test runs, and its advantages for concurrent implementations are discussed. Efficiency and speed-up factors over sequential machines for the numerical examples are highlighted.

Nour-Omid, B.↗

C formal verification with unix communication and concurrency

The results of a NASA SBIR project are presented in which CSP-Ariel, a verification system for C programs which use Unix system calls for concurrent programming, interprocess communication, and file input and output, was developed. This project builds on ORA's Ariel C verification system by using the system of Hoare's book, Communicating Sequential Processes, to model concurrency and communication. The system runs in ORA's Clio theorem proving environment. The use of CSP to model Unix concurrency and sketch the CSP semantics of a simple concurrent program is outlined. Plans for further development of CSP-Ariel are discussed. This paper is presented in viewgraph form.

Hoover, Doug N.↗

The Concert system - Compiler and runtime technology for efficient concurrent object-oriented programming

Concurrent object-oriented languages, particularly fine-grained approaches, reduce the difficulty of large scale concurrent programming by providing modularity through encapsulation while exposing large degrees of concurrency. Despite these programmability advantages, such languages have historically suffered from poor efficiency. This paper describes the Concert project whose goal is to develop portable, efficient implementations of fine-grained concurrent object-oriented languages. Our approach incorporates aggressive program analysis and program transformation with careful information management at every stage from the compiler to the runtime system. The paper discusses the basic elements of the Concert approach along with a description of the potential payoffs. Initial performance results and specific plans for system development are also detailed.

Chien, Andrew A.↗

Flame spreading over a thin solid in low-speed concurrent flow- Drop tower experimental results and comparison with theory

Flame spread over thin paper samples in low-speed concurrent flow is experimentally investigated in a 5.18 s drop tower. In the experiment, the oxygen molar percentage is varied from 30% down to the flame extinction limits and the forced flow velocity from 5.29 cm/s down to the quenching limits. Motion pictures are taken to observe flame shape, color, size, and spread rates. These quantities are compared with a theoretical model describing concurrent flame spread over thin solids in low-speed flows. The paper also discusses the similarity and difference between concurrent-flow and opposed-flow flame spread in microgravity and between low-speed and high-speed concurrent-flow flame spread. Finally the limitations of using a drop tower for flame spread research is assessed.

Grayson, G. D.↗

Heterogeneous concurrent computing with exportable services

Heterogeneous concurrent computing, based on the traditional process-oriented model, is approaching its functionality and performance limits. An alternative paradigm, based on the concept of services, supporting data driven computation, and built on a lightweight process infrastructure, is proposed to enhance the functional capabilities and the operational efficiency of heterogeneous network-based concurrent computing. TPVM is an experimental prototype system supporting exportable services, thread-based computation, and remote memory operations that is built as an extension of and an enhancement to the PVM concurrent computing system. TPVM offers a significantly different computing paradigm for network-based computing, while maintaining a close resemblance to the conventional PVM model in the interest of compatibility and ease of transition Preliminary experiences have demonstrated that the TPVM framework presents a natural yet powerful concurrent programming interface, while being capable of delivering performance improvements of upto thirty percent.

Sunderam, Vaidy↗

Finite Element Analysis in Concurrent Processing: Computational Issues

The purpose of this research is to investigate the potential application of new methods for solving large-scale static structural problems on concurrent computers. It is well known that traditional single-processor computational speed will be limited by inherent physical limits. The only path to achieve higher computational speeds lies through concurrent processing. Traditional factorization solution methods for sparse matrices are ill suited for concurrent processing because the null entries get filled, leading to high communication and memory requirements. The research reported herein investigates alternatives to factorization that promise a greater potential to achieve high concurrent computing efficiency. Two methods, and their variants, based on direct energy minimization are studied: a) minimization of the strain energy using the displacement method formulation; b) constrained minimization of the complementary strain energy using the force method formulation. Initial results indicated that in the context of the direct energy minimization the displacement formulation experienced convergence and accuracy difficulties while the force formulation showed promising potential.

Sobieszczanski-Sobieski, Jaroslaw↗

Symbolically Modeling Concurrent MCAPI Executions

Improper use of Inter-Process Communication (IPC) within concurrent systems often creates data races which can lead to bugs that are challenging to discover. Techniques that use Satisfiability Modulo Theories (SMT) problems to symbolically model possible executions of concurrent software have recently been proposed for use in the formal verification of software. In this work we describe a new technique for modeling executions of concurrent software that use a message passing API called MCAPI. Our technique uses an execution trace to create an SMT problem that symbolically models all possible concurrent executions and follows the same sequence of conditional branch outcomes as the provided execution trace. We check if there exists a satisfying assignment to the SMT problem with respect to specific safety properties. If such an assignment exists, it provides the conditions that lead to the violation of the property. We show how our method models behaviors of MCAPI applications that are ignored in previously published techniques.

Fischer, Topher↗

Multigrid methods with space–time concurrency

Here, we consider the comparison of multigrid methods for parabolic partial differential equations that allow space–time concurrency. With current trends in computer architectures leading towards systems with more, but not faster, processors, space–time concurrency is crucial for speeding up time-integration simulations. In contrast, traditional time-integration techniques impose serious limitations on parallel performance due to the sequential nature of the time-stepping approach, allowing spatial concurrency only. This paper considers the three basic options of multigrid algorithms on space–time grids that allow parallelism in space and time: coarsening in space and time, semicoarsening in the spatial dimensions, and semicoarsening in the temporal dimension. We develop parallel software and performance models to study the three methods at scales of up to 16K cores and introduce an extension of one of them for handling multistep time integration. We then discuss advantages and disadvantages of the different approaches and their benefit compared to traditional space-parallel algorithms with sequential time stepping on modern architectures.

97 MATHEMATICS AND COMPUTING↗

Fault Detection for Dynamical Systems using Differential Geometric and Concurrent Learning Approach

This paper presents a fault identification and estimation approach that brings together the differential geometric concept of observability codistribution with data driven concurrent learning. In order to identify faults in presence of unknown disturbances, we utilize the differential geometric approach to design a coordinate transformation, to find a subspace in which the effect of disturbances and system faults can be segregated. We then use concurrent learning to estimate magnitude of the constant fault. We illustrate the approach to fault isolation for a linear helicopter dynamics and a spherical pendulum dynamics. We use Lyapunov stability analysis to show that the fault estimate by concurrent learning converges to the actual fault value, and then illustrate the design of a recovery controller.

Fault detection and diagnosis↗

A Phase 2 Trial of Concurrent Chemotherapy and Proton Therapy for Stage III Non-Small Cell Lung Cancer: Results and Reflections Following Early Closure of a Single-Institution Study

Purpose: Proton therapy has been shown to reduce radiation dose to organs at risk (OAR) and could be used to safely escalate the radiation dose. We analyzed outcomes in a group of phase 2 study patients treated with dose-escalated proton therapy with concurrent chemotherapy for stage 3 non-small cell lung cancer (NSCLC). Methods and Materials: From 2009 through 2013, LU02, a phase 2 trial of proton therapy delivering 74 to 80 Gy at 2 Gy/fraction with concurrent chemotherapy for stage 3 NSCLC, was opened to accrual at our institution. Due to slow accrual and competing trials, the study was closed after just 14 patients (stage IIIA, 9 patients; stage IIIB, 5 patients) were accrued over 4 years. During that same time period, 55 additional stage III patients were treated with high-dose proton therapy, including 7 in multi-institutional proton clinical trials, 4 not enrolled due to physician preference, and 44 who were ineligible based on strict entry criteria. An unknown number of patients were ineligible for enrollment due to insurance coverage issues and thus were treated with photon radiation. Median follow-up of surviving patients was 52 months. Results: Two-year overall survival and progression-free survival rates were 57% and 25%, respectively. Median lengths of overall survival and progression-free survival were 33 months and 14 months, respectively. There were no acute grade 3 toxicities related to proton therapy. Late grade 3 gastrointestinal toxicity and pulmonary toxicity each occurred in 1 patient. Conclusions: Dose-escalated proton therapy with concurrent chemotherapy was well tolerated with encouraging results among a small cohort of patients. Unfortunately, single-institution proton studies may be difficult to accrue and consideration for pragmatic and/or multicenter trial design should be considered when developing future proton clinical trials.

62 RADIOLOGY AND NUCLEAR MEDICINE↗