Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “concurrent engineering”

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

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

At least 559 records · Page 31

Perspectives of automotive battery R&D in China, Germany, Japan, and the USA

Lithium(-ion) batteries are and will be the battery technology of choice for a wide range of applications - including electric vehicles - for several years to come. Nonetheless, to foster the transition from combustion engine vehicles to a fully electrified transportation, further progress is needed. In this regard, the annual International Conference on Advanced Lithium Batteries for Automobile Applications (ABAA) targets the intensive exchange of the involved industrial and research entities to jointly ensure the further progress of this technology. During the past meeting, ABAA-10, held in October 2017 in Chicago, IL, USA, representatives of China, Germany, Japan, and the USA provided a comprehensive overview of the current and future battery R&D activities in their countries, depicting a highly insightful survey about partially concurrent, partially complementary research and funding strategies. Here, the given presentations are provided in the Supplementary Material for this Special Perspective, while this perspective paper may serve as brief introduction to the general development in the field concerning the overall EV sales and common considerations regarding future material developments.

25 ENERGY STORAGE↗

Impact of Pore Fluid Chemistry on Fine-Grained Sediment Fabric and Compressibility

Fines, defined here as grains or particles, less than 75µm in diameter, exist nearly ubiquitously in natural sediment, even those classified as coarse. Macroscopic sediment properties, such as compressibility, which relates applied effective stress to the resulting sediment deformation, depend on the fabric of fines. Unlike coarse grains, fines have sizes and masses small enough to be more strongly influenced by electrical interparticle forces than by gravity. These electrical forces acting through pore fluids are influenced by pore-fluid chemistry changes. Macroscopic property dependence on pore-fluid chemistry must be accounted for in sediment studies involving subsurface flow and sediment stability analyses, as well as in engineered flow situations such as groundwater pollutant remediation, hydrocarbon migration or other energy resource extraction applications. This study demonstrates how the liquid-limit-based electrical sensitivity index can be used to predict sediment compressibility changes due to pore-fluid chemistry changes. Laboratory tests of electrical sensitivity, sedimentation and compressibility illustrate mechanisms linking micro- and macro-scale processes for selected pure, endmember fines. In conclusion, a specific application considered here is methane extraction via depressurization of gas hydrate-bearing sediment, which causes a dramatic pore-water salinity drop concurrent with sediment being compressed by the imposed effective stress increase.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Structural Design Exploration of an Electric Powered Multi-Propulsor Wing Configuration

Advancements in aircraft electric propulsion may enable an expanded operational envelope for electrically powered vehicles compared to their internal combustion engine counterparts. High aspect ratio wings provide additional lift and drag reduction for a proposed multi-propulsor design, however, the challenge is to reduce the weight of wing structures while maintaining adequate structural and aeroelastic margins. Design exploration using a conventional design-and-build philosophy coupled with a finite element method (FEM)-based design of experiments (DOE) strategy are presented to examine high aspect ratio wing structures that have spanwise distributed electric motors. Multiple leading-edge-mounted engine masses presented a challenge to design a wing within acceptable limits for dynamic and aeroelastic stability. Because the first four primary bending eigenmodes of the proposed wing structure are very sensitive to outboard motor placement, safety-of-flight requirements drove the need for multiple spars, rib attachments, and outboard structural reinforcements in the design. Global aeroelasticity became an increasingly important design constraint during the on-going design process, with outboard motor pod flutter ultimately becoming a primary design constraint. Designers successively generated models to examine stress, dynamics, and aeroelasticity concurrently. This research specifically addressed satisfying multi-disciplinary design criteria to generate fluid-structure interaction solution sets, and produced high aspect ratio primary structure designs for the NASA Scalable Convergent Electric Propulsion Technology and Operations Research (SCEPTOR) project in the Aeronautic Research Mission Directorate at NASA. In this paper, a dynamics-driven, quasi-inverse design methodology is presented to address aerodynamic performance goals and structural challenges encountered for the SCEPTOR demonstrator vehicle. These results are compared with a traditional computer aided design based approach.

Moore, James B.↗

Mission Control Center/Building 30. Historical Documentation

As part of this nation-wide study, in September 2006, historical survey and evaluation of NASA-owned and managed facilities was conducted by NASA's Lyndon B. Johnson Space Center (JSC) in Houston, Texas. The results of this study are presented in a report entitled, Survey and Evaluation of NASA-owned Historic Facilities and Properties in the Context of the U.S. Space Shuttle Program, Lyndon B. Johnson Space Center, Houston, Texas, prepared in November 2007 by NASA JSC s contractor, Archaeological Consultants, Inc. As a result of this survey, the Mission Control Center (Building 30) was determined eligible for listing in the NRHP, with concurrence by the Texas State Historic Preservation Officer (SHPO). The survey concluded that Building 30 is eligible for the NRHP under Criteria A and C in the context of the U.S. Space Shuttle Program (1969-2010). Because it has achieved significance within the past 50 years, Criteria Consideration G applies. It should be noted that the Mission Control Center was designated a National Historic Landmark in 1985 for its role in the Apollo 11 Lunar Landing. At the time of this documentation, Building 30 was still used to support the SSP as an engineering research facility, which is also sometimes used for astronaut training. This documentation package precedes any undertaking as defined by Section 106 of the NHPA, as amended, and implemented in 36 CFR Part 800, as NASA JSC has decided to proactively pursue efforts to mitigate the potential adverse affects of any future modifications to the facility. It includes a historical summary of the Space Shuttle program; the history of JSC in relation to the SSP; a narrative of the history of Building 30 and how it supported the SSP; and a physical description of the structure. In addition, photographs documenting the construction and historical use of Building 30 in support of the SSP, as well as photographs of the facility documenting the existing conditions, special technological features, and engineering details, are included. A contact sheet printed on archival paper, and an electronic copy of the work product on CD, are also provided.

Source record↗

Report of the Panel on Guidance, Navigation, and Control

Guidance, navigation, and control (GNC) systems have historically been vital to improving operational capability of aircraft. The development of autopilots and electronic navigation systems has greatly aided the crew in flying precise routes in all weather conditions while at the same time reducing pilot workload. Advances in high-integrity onboard computing and electronics technology have resulted in a significant increase in the capability of these subsystems to perform more reliably, efficiently, and safely. Onboard computing and control system capability has provided new design approaches for the aircraft designer. By using automatic control systems to stabilize the aircraft, the designer can relax certain conventional aerodynamic stability requirements and achieve aircraft performance benefits. Thus, modern fighter aircraft are designed with low levels, or in fact, negative levels of longitudinal static stability to boost maneuvering capability and cruise performance, relying on the use of full-time, full-authority automatic stability augmentation systems to stabilize the aircraft. During the next 20 years, GNC systems will become a driving force in aircraft design. Instead of making separately designed major aircraft systems work together, the designer will exploit the interaction and integration of aerodynamic, structural, and propulsion system controls to provide a better aircraft. The benefits of such integrated designs have been demonstrated already. Integrated digital control of the engine inlet and autopilot systems on a NASA YF-12 research aircraft resulted in a range increase of 7 percent. A civil transport derivative using extensions on each wing and an active control system to minimize the requirement for structural modifications achieved significant cruise performance improvements. These are first-generation applications of advanced GNC systems. More significant benefits are achievable by the year 2000. Complete integration of aerodynamic, propulsion and structural controls, and mission avionics will provide dramatically better aircraft performance, new capability (low observability, supermaneuverability) and/or improved mission effectiveness. This requires a concurrent, multidisciplinary design approach early in the design stage. The role of advanced GNC systems in future aircraft is not an option.

Fraser, Donald C.↗

Strategy for Developing Technologies for Megawatt-class Nuclear Electric Propulsion Systems

In late fiscal year 2020, the Space Nuclear Propulsion (SNP) project began the process of formulating an investment strategy to support development of the technologies required for a high-power (megawatt-class) nuclear electric propulsion (NEP) system capable of performing human-scale missions. This activity was initiated concurrent with several high-level studies and assessments were either under way or had just concluded. Studies of human-scale Mars missions have been performed several times over the past two decades. One of the most recent studies examined opposition-class human Mars missions to occur in the late 2030s timeframe [1,2]. The mission architecture assumed a hybrid NEP/chem-propelled vehicle that used a high specific impulse (Isp) NEP-system and a liquid oxygen (LOx)-liquid methane high thrust chemical stage (two 110 kN (25 klbf) thrust, 365 s Isp engines) for maneuvers performed to enter and exit gravity wells. Trajectory analyses performed in this study showed that such a mission could be performed with 2-4 MWe directed into the electric propulsion system (operating for 20,000+ hours), with the large range representing different opposition-class Mars mission opportunities and permutations on the trajectory design, concept of operations, and technology choices. In 2020, the NASA Engineering and Safety Center (NESC) performed a study to evaluate the maturity of the different technologies required for nuclear propulsion systems [3]. The executive summary of this report provided the following top-level conclusions: • “The majority of critical technologies for… NEP/Chem… systems are relatively immature” • “TRLs [technology readiness levels] in the literature are often overestimated” • “The majority of critical technologies… for NEP/Chem… systems are at a relatively high level of advancement degree of difficulty (AD2 > 4) for maturation, requiring a dual development approach” • “The proper assessment of baseline TRL and AD2 values and the estimation of requirements and resources required for advancement have been consistent issues for NEP,” • “Non-advocate reviews should occur at the start of a technology program and at all key milestones.” In 2021, the National Academies of Science, Engineering, and Medicine (NASEM) issued a separate report [4] identifying the “primary technical and programmatic challenges, merits, and risks for maturing space nuclear propulsion technologies of interest to a future human Mars exploration mission.” That work contained several important findings, including: • “Developing a MWe-class NEP system for the baseline mission would require increasing power by orders of magnitude relative to NEP system flight- or ground-based technology demonstrations completed to date.” • “Subscale in-space flight testing of NEP systems cannot address many of the risks and potential failure modes associated with the baseline mission NEP system. With sufficient M&S [modeling & simulation] and ground testing, including modular subsystem tests at full scale and power, flight qualification requirements can be met by the cargo missions that will precede the first crewed mission to Mars. Fully integrated ground testing may not be required.” • “As a result of low and intermittent investment over the past several decades, it is unclear if even an aggressive program would be able to develop an NEP system capable of executing the baseline mission in 2039.” These efforts motivated the SNP project to investigate the technologies available for a megawatt-class high power nuclear electric propulsion system. That system is illustrated schematically in Figure 1 and is comprised of five separate top-level critical technology elements (CTEs). 1. Nuclear Reactor – Thermal power source for the system, utilizing high-assay low enriched uranium (HALEU) as the nuclear fuel. Reactor radiation shielding is also included in this CTE. 2. Power Conversion – Operates as a thermodynamic cycle, accepting nuclear reactor thermal power as an input and converting it to mechanical power. 3. Power Management and Distribution (PMAD) – Accepts as an input mechanical power from the power conversion system, which is used to generate electrical power. The PMAD system also distributes the generated electrical power to all other parts of the spacecraft, including the high-power EP system. The PMAD system may also perform duties such as isolation, fault detection, and power transformation/rectification for different spacecraft systems, including the thrusters. 4. Electric Propulsion (EP) – Accepts as an input electrical power, which is used to accelerate a propellant to high speeds to produce thrust. This system includes the power processing unit (PPU), which converts the power it receives to the correct current and voltage required by the thrusters, and the propellant storage and feed systems, which contain and meter the flow of propellant to the thrusters. 5. Thermal Management (Radiators/Heat Rejection) – The cold side of the thermodynamic power conversion cycle, accepts thermal power from the power conversion system and radiatively rejects that heat to space. In this paper, we describe the SNP project formulation and investment strategy that aims to accomplish the research and development required to advance the technology readiness for each CTE. The strategy relies heavily upon experimental testing supported by modeling and simulation to yield realistic assessments of the technologies, which in turn will be used to inform future NEP system-level design decisions and any potential technology downselects.

Kurt A Polzin↗

Predictive multiscale modeling for Unidirectional Carbon Fiber Reinforced Polymers

This paper presents a predictive multiscale modeling scheme for Unidirectional (UD) Carbon Fiber Reinforced Polymers (CFRP). A bottom-up modeling procedure is discussed for predicting the performance of UD structures. UD material responses are computed from high fidelity Representative Volume Elements (RVEs). A data-driven Reduced Order Modeling approach compresses RVEs into Reduced Order Models so material responses can be computed in a concurrent fashion along with the structural level simulation. The approach presented in this paper is validated against experimental data and is believed to provide design guidance for future fiber reinforced polymers development.

36 MATERIALS SCIENCE↗

Risk-Informed Safety Margins Characterization (RISMC) Pathway Technical Program Plan

Safety is central to the design, licensing, operation, and economics of nuclear power plants (NPPs). As the current Light Water Reactor (LWR) NPPs age beyond 60 years, there are possibilities for increased frequency of systems, structures, and components (SSCs) degradations or failures that initiate safety-significant events, reduce existing accident mitigation capabilities, or create new failure modes. Plant designers commonly “over-design” portions of NPPs and provide robustness in the form of redundant and diverse engineered safety features to ensure that, even in the case of well-beyond design basis scenarios, public health and safety will be protected with a very high degree of assurance. This form of defense-in-depth is a reasoned response to uncertainties and is often referred to generically as “safety margin.” Historically, specific safety margin provisions have been formulated, primarily based on “engineering judgment.” The ability to better characterize (i.e., describe and quantify) safety margin is important to improved decision making about LWR design and long-term operation. A systematic approach to characterizing safety margins and the subsequent risk informed margins management options represents a vital input to the licensee and regulatory analysis and decision making that will be involved. In addition, as research and development (R&D) in the LWRS Program and other collaborative efforts yield new data and improved scientific understanding of physical processes that govern the aging and degradation of plant SSCs (and concurrently support technological advances in nuclear reactor fuels and plant instrumentation and control systems), needs and opportunities to better optimize plant safety, economics, and performance will become known. The purpose of the Risk-Informed Safety Margins Characterization (RISMC) Pathway R&D is to support plant decisions for risk-informed margins management with the aim to improve economics, reliability, and sustain safety of current NPPs over periods of extended plant operations. The goals of the RISMC Pathway are twofold: (1) develop and demonstrate a risk-assessment method that is coupled to safety margin quantification that can be used by NPP decision makers as part of risk-informed margin management strategies; (2) create an advanced RISMC Toolkit that enables more accurate representation of NPP safety margins. The methods and tools provided by RISMC are essential to a comprehensive and integrated risk-informed margin management approach that supports effective preservation of margin for both active and passive SSCs.

97 MATHEMATICS AND COMPUTING↗

Fully Autonomous Multiplet Event Detection: Application to Local-Distance Monitoring of Blood Falls Seismicity

We apply a fully autonomous icequake detection methodology to a single day of high-sample rate (200 Hz) seismic network data recorded from the terminus of Taylor Glacier, ANT that temporally coincided with a brine release episode near Blood Falls (May 13, 2014). We demonstrate a statistically validated procedure to assemble waveforms triggered by icequakes into populations of clusters linked by intra-event waveform similarity. Our processing methodology implements a noise-adaptive power detector coupled with a complete-linkage clustering algorithm and noise-adaptive correlation detector. This detector-chain reveals a population of 20 multiplet sequences that includes ~150 icequakes and produces zero false alarms on the concurrent, diurnally variable noise. Our results are very promising for identifying changes in background seismicity associated with the presence or absence of brine release episodes. We thereby suggest that our methodology could be applied to longer time periods to establish a brine-release monitoring program for Blood Falls that is based on icequake detections.

42 ENGINEERING↗

AMELIA CESTOL Test: Acoustic Characteristics of Circulation Control Wing with Leading- and Trailing-Edge Slot Blowing

The AMELIA Cruise-Efficient Short Take-off and Landing (CESTOL) configuration concept was developed to meet future requirements of reduced field length, noise, and fuel burn by researchers at Cal Poly, San Luis Obispo and Georgia Tech Research Institute under sponsorship by the NASA Fundamental Aeronautics Program (FAP), Subsonic Fixed Wing Project. The novel configuration includes leading- and trailing-edge circulation control wing (CCW), over-wing podded turbine propulsion simulation (TPS). Extensive aerodynamic measurements of forces, surfaces pressures, and wing surface skin friction measurements were recently measured over a wide range of test conditions in the Arnold Engineering Development Center(AEDC) National Full-Scale Aerodynamics Complex (NFAC) 40- by 80-Ft Wind Tunnel. Acoustic measurements of the model were also acquired for each configuration with 7 fixed microphones on a line under the left wing, and with a 48-element, 40-inch diameter phased microphone array under the right wing. This presentation will discuss acoustic characteristics of the CCW system for a variety of tunnel speeds (0 to 120 kts), model configurations (leading edge(LE) and/or trailing-edge(TE) slot blowing, and orientations (incidence and yaw) based on acoustic measurements acquired concurrently with the aerodynamic measurements. The flow coefficient, Cmu= mVSLOT/qSW varied from 0 to 0.88 at 40 kts, and from 0 to 0.15 at 120 kts. Here m is the slot mass flow rate, VSLOT is the slot exit velocity, q is dynamic pressure, and SW is wing surface area. Directivities at selected 1/3 octave bands will be compared with comparable measurements of a 2-D wing at GTRI, as will as microphone array near-field measurements of the right wing at maximum flow rate. The presentation will include discussion of acoustic sensor calibrations as well as characterization of the wind tunnel background noise environment.

Horne, William C.↗

Operator Informational Needs for Multiple Autonomous Small Vehicles

With the anticipated explosion of small unmanned aerial vehicles, it is highly likely that operators will be controlling fleets of autonomous vehicles. To fulfill the promise of autonomy, vehicle operators will not be concerned with manual control of the vehicle; instead, they will deal with the overall mission. Furthermore, the one operator to many vehicles is becoming a constant meme with various industries including package delivery, search and rescue, and utility companies. In order for an operator to concurrently control several vehicles, his station must look and behave very differently than the current ground control station instantiations. Furthermore, the vehicle will have to be much more autonomous, especially during non-normal operations, in order to accommodate the knowledge deficit or the information overload of the operator in charge of several vehicles. The expected usage increase of small drones requires presenting the operational information generated by a fleet of heterogeneous autonomous agents to an operator. NASA Langley Research Center's Autonomy Incubator has brought together researchers in various disciplines including controls, trajectory planning, systems engineering, and human factors to develop an integrated system to study autonomy issues. The initial human factors effort is focusing on mission displays that would give an operator the overall status of all autonomous agents involved in the current mission. This paper will discuss the specifics of the mission displays for operators controlling several vehicles.

Trujillo, Anna C.↗

Scalable domain decomposition solvers for stochastic PDEs in high performance computing

Stochastic spectral finite element models of practical engineering systems may involve solutions of linear systems or linearized systems for non-linear problems with billions of unknowns. For stochastic modeling, it is therefore essential to design robust, parallel and scalable algorithms that can efficiently utilize high-performance computing to tackle such large-scale systems. Domain decomposition based iterative solvers can handle such systems. And though these algorithms exhibit excellent scalabilities, significant algorithmic and implementational challenges exist to extend them to solve extreme-scale stochastic systems using emerging computing platforms. Intrusive polynomial chaos expansion based domain decomposition algorithms are extended here to concurrently handle high resolution in both spatial and stochastic domains using an in-house implementation. Sparse iterative solvers with efficient preconditioners are employed to solve the resulting global and subdomain level local systems through multi-level iterative solvers. We also use parallel sparse matrix–vector operations to reduce the floating-point operations and memory requirements. Numerical and parallel scalabilities of these algorithms are presented for the diffusion equation having spatially varying diffusion coefficient modeled by a non-Gaussian stochastic process. Scalability of the solvers with respect to the number of random variables is also investigated.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA's Space Launch System Moves into Testing and Integration

NASA's Space Launch System (SLS) has moved from design and manufacturing into testing and integration for its first flight as early as December 2019. In 2017, the NASA/industry team completed manufacturing of all major structural elements for the launch vehicle for Exploration Mission-I (EM-1 ). That work included shipping the first major flight hardware element to the launch site. The team processed all four RS-25 engines for stage integration, cast all 10 booster flight motor segments, and manufactured all five major sections of the core stage. The program also completed major structural work on the B-2 test stand at Stennis Space Center, which will be used for the core stage "green run" test; delivered the core stage and engine simulators used for training; and much of the transportation equipment for the core stage. Engineers completed structural testing on the upper stage/payload section of the vehicle as well as the engine section test article. In 2018, the program will deliver the Orion Stage Adapter (OSA) to Exploration Ground Systems (EGS) at KSC and send the test articles for the core stage liquid hydrogen tank, liquid oxygen tank, and intertank to NASA's Marshall Space Flight center for structural testing. Additionally, workers will begin the challenging process of integrating the major sections of the 212-foot EM-1 core stage. This work is focused on the initial Block 1 variant of SLS, capable of launching more than 70 metric tons (t) to low Earth orbit (LEO). However, work concurrently is underway on the Block lB variant, which will enable 105 t to LEO and more than 37t to trans-lunar injection (TLI). Block lB will be the workhorse vehicle of NASA's lunar exploration plans. As the needs of the nation's deep space exploration program grow, SLS performance is designed to evolve to a payload mass of 130 t to LEO and up to 45t to TLI. The advantages of this mass - as well as volume- are critical to the entire exploration architecture for deep space exploration. They translate to greater capability, greater infrastructure and operational simplicity, less overall mission risk, and opportunities to accomplish unprecedented exploration and discovery. This paper will discuss SLS progress to date and planned future work.

Honeycutt, John↗

Computer Science Research Needs for Parallel Discrete Event Simulation (PDES)

Historically, scientific computing efforts have demonstrated the clear need for, and effective use of, supercomputing with traditional time-stepped simulations. Nevertheless, there are several areas in the mission spaces of the U.S. Department of Energy and other agencies waiting to tap advanced computing research using a different, discrete event style of modeling, simulation, and analysis. These span a wide spectrum of applications including energy grid resilience, urban planning and policy, transportation science, building technologies, emergency response and planning, environmental impact analysis, computational epidemiology, Internet communications, cyber security, and cyber-physical systems, to name only a few. Even within traditional scientific applications, the role of discrete event modes of execution is increasing in the form of new event-based mathematical solvers such as quantized state integration methods and discrete-continuous hybrid system solvers. Co-design of advanced supercomputing hardware systems is another area that exploits discrete event simulation at its core for effective analyses. Complex systems, entity behaviors and interconnections play a significant role in all these applications, which are mapped to large-scale models with discrete event formulations. To make advancements in all the aforementioned scientific areas, many technical aspects need to be more thoroughly studied and deeply understood in parallel discrete event simulation (PDES). The unique dynamics inherent in a discrete event modeling approach, by their very nature, intersect and influence the entire stack of the computing system, including (a) the unique nature of the instruction sets exercised in PDES workloads without a predominance of high-precision floating point operations, (b) virtual time-constrained multi-threaded execution of many logical processes per processor, (c) extremely variable and difficult to predict network traffic characteristics, (d) interfaces and inter-dependencies with machine learning and artificial intelligence codes at higher software layers, and (e) highly challenging load balancing needs, especially in effectively accounting for accelerated/extremely heterogeneous computing in current and future high-performance computing systems. Efficient and accurate parallel execution of PDES workloads is also dominated by challenges in dealing with their asynchronous concurrency fundamentally present at the model level. Conservative synchronization, optimistic/speculative synchronization, and their hybrid schemes open new questions in fundamental computer science with respect to reversibility of computation and prediction (lookahead) of behaviors inherent within model codes. On the implementation front, there are relatively few scalable, general-purpose parallel discrete event simulators in the world, and even fewer have been studied on emerging hardware platforms. To enable scientific advances using PDES, the research needs in computer science must also be pursued and met in the intersection of the algorithmic and hardware-aware aspects of scalable PDES engines. This report is aimed at capturing a computer science-oriented view of this important area of research in PDES, presenting a sample of important applications with their inherent discrete event technology elements. Needs are outlined in core areas of parallel discrete event research as well as cross-cutting directions in computer science research that positively impact scientific advancements across several important application areas. A selection of priority research opportunities in advanced computing for PDES is identified to serve as reference for key research topics and their order of importance for scientific advancements.

97 MATHEMATICS AND COMPUTING↗

NASA's Gravitational-Wave Mission Concept Study

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

Stebbins, Robin↗

CILogon: A federated X.509 certification authority for cyberinfrastructure logon

SUMMARY CILogon provides a federated X.509 certification authority for secure access to cyberinfrastructure such as the Extreme Science and Engineering Discovery Environment. CILogon relies on federated authentication (Security Assertion Markup Language (OASIS, Burlington, MA (USA)) and OpenID) for determining user identities when issuing certificates. Federated authentication enables users to obtain certificates using existing identities (university, Google, etc.). Federated authentication also enables CILogon to serve a national‐scale user community without requiring a large network of registration authorities performing manual user identification. CILogon supports multiple levels of assurance and custom interfaces for specific user communities. In this article, we introduce the CILogon service and describe experiences and lessons learned from the first 3 years of operation. © 2014 The Authors. Concurrency and Computation: Practice and Experience published by John Wiley & Sons Ltd.

Basney, Jim↗

An Overview of the Runtime Verification Tool Java PathExplorer

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.

Havelund, Klaus↗

Modeling Mesoscale Processes of Scalable Synthesis Final Scientific/Technical Report

This is the final scientific and technical report for this award. Molecular dynamics (MD) is a powerful tool to study biomolecules at the nanoscale. One of its main limitations however is that such simulations typically require a timestep of 1 femtosecond while reactions and conformational changes typically happen on the time scale of 1 microsecond or more. This discrepancy severely restricts the impact of this method. We have developed a series of algorithms to mitigate this problem and allow predicting long-time scale events using much shorter simulations. The method is based on the concurrent adaptive sampling method. It consists in using probabilistic weights for trajectories and biasing the sampling such that rare but important trajectories, e.g., those that go over energy barriers and lead to relevant conformational changes in the molecule, are observed with much higher frequency that in a standard MD simulation. We will demonstrate below that this approach has been very successful. In collaboration with Jay Grate at PNNL we have applied this novel method to the study the triazine polymers, which can be con gured using different types of side chains in order to adopt different 3-dimensional structures. We have found novel stable con- formations and have analyzed the impact of side chain modifcations on the native folded shape of the polymer. Direct MD simulations would have been untractable for this problem. The method of replica exchange was also used successfully to calculate free energy profiles, in particular for cis-trans torsional angle changes with high energy barriers. Studying molecules at the atomistic scale is essential to design new molecules in chemical engineering, such as the triazine polymers developed by Grate, in material science to study the strength of metals for examples (e.g., dislocation dynamics), or in biochemistry to understand how proteins fold and how they interact with ligands (a key step in designing drugs). Although new hardware makes these simulations increasingly faster (e.g., GPU, Anton from DE Shaw Research), new algorithms are key to making these methods more tractable and increase their impact. At this point, because of limitations in modeling, one of the main techniques for advancing science remains to a large extent numerous and costly experiments. For exam- ple, when designing drug, where multiple variants must be screened, the ability to run tests on a computer rather than experimentally testing with high throughput methods thousands of compounds would represent a signi cant advance with broad benefits for the public at large.

36 MATERIALS SCIENCE↗