Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Practical Application”

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 1,099 records · Page 61

Materials Characterization Techniques Lecture Series: X-Ray Diffraction, A Summary of LANL's Materials Capabilities in MPA-11 [Slides]

This presentation provides an overview on X-Ray Diffraction (XRD) to cover background, fundamentals, limitations, best practices, applications, analysis, software, and resources. To summarize: XRD is a great tool for characterizing solid crystalline samples. X-Rays are E-Mag radiation and generate diffraction profiles based on the phase of the sample. Diffraction patterns are unique to the phase of the sample. Powder diffraction gives us better diffraction profiles. We can obtain both qualitative and quantitative data. Analysis requires us to know a little about our sample and a lot about our diffractometer.

36 MATERIALS SCIENCE↗

Analysis of Space-Conditioning Loads in Commercial Buildings

Space conditioning end-uses, which include heating, cooling, and ventilation, represent a significant fraction of commercial building energy use, with a wide variety of heating and cooling technology options available in the market. In the interest of improving the overall efficiency of heating, ventilation and air-conditioning (HVAC) technologies, governments, utilities and private sector entities have implemented a variety of market transformation policies that aim to influence consumer purchase decisions. To evaluate the costs and benefits of such programs, analysts typically postulate a hypothetical default equipment choice, and compare it to one that provides comparable service with lower energy and/or power use. The corresponding reduced operating cost provides a benefit that offsets the potential higher cost of improved efficiency. Typically, life-cycle cost or cash-flow analyses are used to quantify the net economic benefit. These analyses require the capability to assess how a given equipment design would perform across a broad range of characteristics, both of the building and of the local weather. While these assessments can be performed using customized building simulations, it is generally not practical to develop and validate detailed building simulation code to cover all the potential variations of equipment design and installation. An alternative, and somewhat simpler, approach is to solely use detailed building simulations to generate time series of heating and cooling loads in commercial buildings. These loads can then be used as input to more detailed, stand-alone engineering models that simulate HVAC system performance under different equipment designs. This approach was used to evaluate a range of high-efficiency commercial packaged air conditioner design options for the Department of Energy’s Appliance and Equipment Standards Program (DOE-EERE 2015). While there may be some loss of precision relative to full simulation, the accuracy of this approach is sufficient for practical applications of cost-benefit analysis. This report describes the development of a database of commercial building heating and cooling loads, generated using the EnergyPlus software package, a whole building energy use model supported by the Department of Energy (DOE-EERE 2020a). EnergyPlus takes as input a set of configuration files that describe the building itself (size, zoning, envelope characteristics, etc.) and the various systems within it (HVAC, lighting, water heating, etc.). This analysis uses a publicly available collection of commercial reference buildings (CRB), comprised of sixteen building types and three vintages (DOE-EERE 2020b; Deru et al 2011). Each building is simulated in eighteen different locations, covering a wide range of climatic conditions. The prototype building description files assign the type of HVAC equipment used, and capacities across climate zones.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Preliminary Study on TRISO Fuel Cross Section Generation

Cross section self-shielding methodologies for TRISO fuel were assessed to provide accurate multigroup cross sections for a high-fidelity reactor physics code so that the code is able to accurately model and simulate advanced reactors with TRISO fuel. Initially, the two existing methodologies (the SCALE method and the Sanchez-Pomraning method) were studied and implemented to MC2-3 for detailed performance tests. Additionally, a new spatial self-shielding method, named the iterative local spatial self-shielding (ILSS) method, for particulate fuels was developed based on the disadvantage factor and implemented to MC2-3 as well. The new method approximately accounts for the effect of randomly distributed particles on the particle shadowing effect using a homogenized compact region surrounding a particle of interest at the center. The self-shielded cross sections of the particle at the center are determined iteratively since the cross sections of the homogenized compact region are calculated using them. For the energy range above 100 keV where the fuel-to-moderator ratio is more important than the random distribution of particles, a single particle unit-cell model is used by preserving the average amount of moderator per fuel particle in the system. The three self-shielding methods implemented in MC2-3 were tested using numerical benchmark problems made based on fuel compact problems of a prismatic-type very high temperature reactor. Test results indicated that the ILSS method produced slightly better results than the SCALE and Sanchez-Pomraning methods, compared to the Serpent-2 Monte Carlo results obtained with 25 independent random particle configurations. The SCALE and Sanchez-Pomraning methods tend to underestimate the heterogeneity effect by 150 and 100 pcm, respectively, while the new ILSS method overestimates the heterogeneity effect by 70 pcm. In future, the new self-shielding method will be extended to perform pebble calculations and compare results with those from the SCALE and Sanchez-Pomraning methods. Furthermore, the new method will be optimized for practical applications to on-the-fly resonance treatment for lattice or whole-core calculations for advanced reactors.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Roundtable on Foundational Science for Carbon-Neutral Hydrogen Technologies (Technology Status Document)

This document summarizes the status of carbon-neutral hydrogen production, storage and transport, and utilization. The state of the art in the implementation, limitations, and challenges of these technologies are summarized. Sources of hydrogen are broadly categorized as hydrcoarbons or water and the processes used to convert these sources to hydrogen as catalytic, thermochemical, or electrochemical. Catalytic steam methane reforming of methane is the dominant process today. Other processes have smaller production volumes and the technology is less mature, but are being deployed at increasing rates, most notably water electrolyzers for hydrogen fueling stations. Efficient transport and storage of hydrogen is one of the major challenges facing a hydrogen-based energy economy. This arises in part from its low volumetric energy density necessitating very high pressures or cryogenic temperatures to store sufficient amounts for practical applications. High-pressure compressed hydrogen cylinders are the incumbent hydrogen storage technology for applications such as light-duty fuel cell electric vehicles, for example. The storage of hydrogen in materials or in chemicals is being pursued to address the issues associated with compression, such as parasitic energy loss and weight, size, and cost of storage containers. The complex nature of the chemical and physical processes involved in the uptake, storage, and release of hydrogen has slowed the discovery of suitable hydrogen storage materials. Both small and large-scale storage face the challenge of embrittlement of the storage media by hydrogen. There is a myriad of uses of hydrogen offering the promises of improving the efficiency of various applications and reducing or eliminating CO 2 emissions. These range from direct electrochemical conversion to electricity to power vehicles and grid-level stationary applications to combustion to production of chemicals and commodities. One of the most impactful applications in terms of reduction of CO 2 emissions is fuel cell passenger vehicles and heavy-duty vehicles such as class 8 trucks. The challenges facing widespread deployment of fuel cells, beyond the major hurdle of the lack of a hydrogen distribution infrastructure, are cost and durability, primarily related to the precious metal cathode catalyst and its durability. The other uses of hydrogen from conversion to hydrocarbons, polymer upcycling, and upgrading of bio-oils are at varying stages of maturity and also face fundamental challenges associated with catalytic processes and materials.

08 HYDROGEN↗

International Radiological/Nuclear Training for Emergency Response - Major Public Events Virtual Workshop: Radiation Detection and Emergency Response Equipment (Day 2) [Slides]

The objective of this presentation is to familiarize participants with the different types of radiation detection systems and their practical applications for radiological emergency response. The specific goals are for participants to: (1) Understand the Three Step Process for Radiological Response of (i) Search and/or Survey, (ii) Radioisotope Identification, and (iii) Source Recovery, (2) Recognize the types of radiation detection equipment and their applications, and (3) View examples of common radiation detection instrumentation with operational videos.

61 RADIATION PROTECTION AND DOSIMETRY↗

Plasma Mirrors For High Power Lasers: A new approach for high repetition rates combined with realistic PIC simulations

We describe a research program to develop high quality plasma mirrors for use with high repetition rate, high power laser facilities to greatly facilitate experiments in high energy density physics, particularly when using solid density targets. A system delivering ultrathin, free standing liquid crystal films that could handle PW class laser pulses was developed that preserved the laser beam image quality and improved pulse contrast by over two orders of magnitude. The pulse contrast improvement was measured using a high dynamic range cross-correlation. The system operated at a repetition rate of several PMs formed in situ per minute. Extension to 1 Hz repetition rates should be possible. As a practical application, a PM system was used to separate laser accelerated electrons from the ultrashort pulse drive laser so that the electron beam emittance could be directly measured. The 20 nm thick PMs did not contribute significantly to emittance degradation. It was also demonstrated that the films could operate in the difficult plasma and laser environment present for GeV laser based electron acceleration. PM operation is still not well understood and much work with PMs is done empirically. Accordingly, we also demonstrated a particle-in-cell based simulation technique that would model PM operation, tracking the PM operation from cold, neutral atoms to a hot dense plasma by accounting for multiphoton ionization, plasma collisionality, and the dynamically changing index of refraction. Simulations in 3D were compared to a 2D based approach that was comparable. Finally, we developed a simpler model that can predict the intensity at which a plasma mirror will have its peak reflectivity.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Synergy of Graphene Nanoribbons and Graphene Sheets for High-Rate Lithium-Sulfur Batteries

According to the increasing demands for shortening the battery charging time, high current rate (C-rate) performances become more significant in practical applications. With a higher theoretical capacity, lithium-sulfur batteries are treated as promising candidates for the next-generation batteries. In this work, the utilization of graphene nanoribbons (GNRs) exhibits the benefits in conductivity and other electrochemical performances, especially for high-rate applications. With air-controlled electrospray as the method, carbon encapsulated sulfur particles, poly(acrylic acid), reduced graphene oxide (rGO) sheets, and GNRs are mixed and directly deposited onto the carbon coated aluminum collector, to employ as the cathode. The scanning electron microscopy (SEM) imaging exhibits that the two-dimensional structure of GNRs helps construct inter-connected networks. This improved structure of cathode can increase the electroconductivity, confirmed by the electrochemical impedance spectroscopy (EIS), and modify the porosity, indicated through pore size distribution profiles. In this way, the polysulfides can be more efficiently trapped and utilized, realizing the promising behavior with faster charge transfer. In terms of the cycling performance at 0.2 C, the batteries with GNRs can perform 18% higher in capacity than those without GNRs, without decreasing the charge retention. According to the rate-capability tests, systems with GNRs can achieve enhanced performance compared to batteries with precursor carbon nanotubes (CNTs), especially at high C-rates. At 2 C, with 80 wt % of graphene-based materials as GNRs, batteries can achieve an increase in capacity by 78% and 41% compared with systems without GNRs and those with CNTs, respectively. Accordingly, the results testify the synergy of GNRs and rGO sheets in Li-S batteries.

25 ENERGY STORAGE↗

Atomic-Scale Surface Studies of Bulk Metallic Glasses. Final Report

Bulk metallic glasses (BMGs) are of both scientific and technological interest because the absence of periodic atomic arrangements provides them with unique physical, chemical, and mechanical properties. Their high strength, superior elasticity, and an ability to be easily formed into virtually unlimited shapes with feature sizes from centimeters to Angstroms by blow molding and thermoplastic forming makes them an attractive choice for more and more practical applications and products. Due to their complex internal structure, however, experiments that yield insight into their exact atomic arrangements have been scarce. As a result, glass physics is one of the last remaining unexplored fields of materials science despite the scientific and technological importance of glasses in our daily lives, and the question how to characterize and control matter away from equilibrium, as glasses are, was listed as one of five Grand Challenges in a recent DoE report. The main reason for the slow progress in glass physics is the lack of experimental tools that enable access to atomic-scale structural and behavioral information for disordered materials. Such atomic-scale knowledge is mandatory to establish structure-property relationships that ultimately could allow to custom-design alloys featuring specific desired characteristics. With no such relationships available, theory development in glass remains basic and the few that exist are often untested. The aim of this research was to enable progress in our understanding of BMGs by developing a new approach that will allow a meaningful application of local surface science methods to specially prepared BMG samples to obtain a wealth of quantitative information on their atomic arrangements. Key was the availability of specially prepared samples whose surfaces feature large atomically flat terraces despite being entirely amorphous, which we have produced from a Pt 57.5 Cu 14.7 Ni 5.3 P 22.5 alloy (‘Pt-BMG’) both under ambient conditions as well as in ultrahigh vacuum using a unique setup that has been specially developed within this grant. Our approach starts with the in-situ preparation of oxide crystals that are terminated by large terraces, from which exact mirror images out of BMG will be produced using thermoplastic forming (TPF); for the research within this grant, we have successfully used (001)-oriented SrTiO 3 single crystal surfaces as well as (100)-, (110)-, and (111)-oriented single crystals made from LaAlO 3 . Since the resulting BMG replicas display all features of the original crystal with sub-Angstrom fidelity, thereby mimicking the original crystal’s termination by atomically flat terraces without being crystalline themselves, they are ideally suited for further investigation. The following atomic-scale local studies were then carried within this proposal: (i) high-resolution surface imaging and local spectroscopy using scanning probe microscopy, which showed disordered atom-like features and revealed changes in the gradient of the local surface potential on a 1-2 nm length scale; (ii) characterization of atomic-scale plastic flow with affected volumes as low as 1000 atoms, which showed local hardness near or above the theoretically predicted maximum and, once plastic deformation was initiated, homogeneous flow of the atoms involved; (iii) characterization of surface relaxation processes and the onset of crystallization induced by annealing, which showed that upon heating over the material’s glass transition temperature, the surface rearranges and relaxes towards a more stable, denser packed glass, which increases on-terrace surface roughness, while surface tension smoothens step edges; and (iv) studies that investigate the dependence of the material’s mechanical properties and structure on processing parameters, revealing that relaxed glasses get denser, harder, and more elastic. In combination, this information allows to combine structural models with mechanical properties and preparation history, thereby facilitating the development of preparation-structure-property relationships for metallic glasses. With the availability of such information, bulk metallic glasses can be further optimized to be used in more and more applications in industry.

36 MATERIALS SCIENCE↗

A Higher Order, Stable Partitioned Scheme for Fluid-Structure Interaction Problems

Although still a very active area of research with many open questions, there exist highly-accurate and efficient algorithms for numerically estimating solutions to the equations of fluid motion. Similarly, great strides have been made in numerically modeling the motion of solids. However, there exist many practical applications where one must solve both fluid and structure in tandem. There is a gap in the literature for high order unconditionally stable partitioned algorithms for problems of this type. We investigate a new partitioned scheme which shows promise in filling this gap. We use a finite-element-based model with an added mass approach on problems coupling the Euler beam equation with the incompressible Navier-Stokes equations.

97 MATHEMATICS AND COMPUTING↗

Ionization-Based Optical Structures for the Control of Short-Pulse Lasers (Abbreviated LDRD Report)

The intensity of light from the highest-power lasers is limited by the size of the optics required to amplify, compress, transport, and focus a laser beam. Indeed, optics damage puts strict constraints on the laser energy density that solid optics can sustain; this leads to enormous optics sizes and limits the maximum intensity that these lasers can achieve. In this project we investigated new types of diffractive optics based on mixtures of neutral gas and plasmas. The basic idea is to interfere laser beams in a gas near the ionization threshold, so that plasma is created in the constructive interference regions (i.e., the “bright” fringes of the interference pattern) while the destructive interference regions remain a neutral gas. The resulting refractive index modulation, due to the different indices in gas vs. plasma, effectively turns such structures into diffractive optics elements. We proposed several new types of optics based on this general concept: i) reflection gratings, which can act as mirrors of “pulse cleaners” to eliminate laser pre-pulse; ii) transmission gratings, as part of a new type of pulse compression scheme with the potential to achieve laser intensities orders of magnitude above what is currently feasible using solid-state optics; and iii) holographic lenses, to focus high-power lasers. We conducted laboratory experiments which demonstrated high efficiency reflection gratings, paving the way for practical applications of our new concepts.

47 OTHER INSTRUMENTATION↗

Durable Super-Repellant Materials for Stretchable and Flexible Personal Protective Equipment

The goal of this report is to summarize findings from development of new flexible protective coatings with superhydrophobic properties. For many practical applications, the durability of such coatings must far exceed what it currently possible. We aimed to develop coatings that can be integrated into personal protective equipment to provide an additional barrier that can shed and reduce the spread of infectious liquids. The COVID-19 pandemic has revealed the importance of PPE for frontline healthcare workers. Developing durable protective coatings could have both immediate impacts during the pandemic and long-term benefits in multiple industries.

36 MATERIALS SCIENCE↗

Increased Reliability for Near-Term Quantum Computers via Low-Level Control (CRADA Final Report)

This project helped narrow the gap between near-term hardware and practical applications of quantum computing through the development and implementation of optimized compilation and error mitigation techniques. These advances were enabled by low-level control available on the Advanced Quantum Testbed, and led to methods that characterized and improved the platform’s performance on quantum algorithms. Results of this work were published in the scientific literature and used to inform internal software development of partner Super.tech.

97 MATHEMATICS AND COMPUTING↗

Basic Research Needs in Quantum Computing and Networking

Employing quantum mechanical resources in computing, information processing, and networking opens the door to potential exponential advantages over classical counterparts. However, quantifying and realizing such advantages poses extensive scientific and engineering challenges. Department of Energy (DOE) investments have driven steady progress in addressing such challenges. Recently developed quantum algorithms offer asymptotic exponential advantages in speed or accuracy for fundamental scientific problems. These problems include simulating physical systems, solving systems of linear equations, differential equations, and optimization problems. Empirical demonstrations on nascent quantum hardware suggest better performance on contrived computational tasks than classical analogs. However, the requirements for a quantum computer or network to demonstrate an end-to-end rigorously quantifiable performance improvement over classical analogs remains a grand challenge, especially for problems of practical value. In particular, what will be required for quantum technology to ultimately exhibit scalable, rigorous, and transformative performance advantages for practical applications? In July 2023, DOE’s Advanced Scientific Computing Research program in the Office of Science convened the Workshop on Basic Research Needs in Quantum Computing and Networking, where major opportunities and grand challenges were identified. The following five priority research directions (PRDs) were identified as a result of the workshop.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

LA100 Equity Strategies. Chapter 2: Procedural Justice

The LA100 Equity Strategies project synthesizes community guidance with robust research, modeling, and analysis to identify strategy options that can increase equitable outcomes in Los Angeles' clean energy transition. Grounded in the analysis of past and ongoing energy inequities and engagement with underserved communities, the project presents community-guided and community-tailored strategies that aim to operationalize recognition and procedural justice. This chapter focuses on procedural justice, examining priorities identified during the community engagement portion of the LA100 Equity Strategies project. This process, and our approach to partnering with community-based organizations (CBOs) and the communities they serve, was developed from the baseline analysis in Chapter 1, which centers on recognition justice, examining past and current inequities in LA. Recognition, procedural, and distributional justice are the three tenets of energy justice around which the LA100 Equity Strategies project is organized. Procedural justice prioritizes fair, equitable, and inclusive participation in the decision-making process. This tenet's practical application entails who is invited and able to participate, whose voices are considered as decisions are made, the co-development of procedures to inform this deliberative process, and who has access to formal measures of regulation and accountability. Engaging with Angelenos to examine the causes of inequities and identify impact areas and priorities that center community experiences, values, and goals represents a first step in developing energy equity strategies for the Los Angeles Department of Water and Power (LADWP) to achieve distributional justice - the just and equitable distribution of energy benefits and burdens in LA's energy transition. Equity, as community members insisted, is about making - and following through with - a commitment to prioritize historically underserved and overburdened communities. Community engagement is a principal method for operationalizing this commitment, guiding our analytic approach and potential equity strategies. Using procedural justice as an analytical tool, this chapter presents the LA100 Equity Strategies approach to community engagement from 2021 to 2023 and the results of this process in relation to community-identified barriers and burdens impacting procedural justice outcomes. We analyze the procedural elements of reaching the equity goals Angelenos set to inform future LADWP decision-making and program development.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

A New Vehicle-to-Vehicle Communication Technology Based on Binary Light Code

The proliferation of Connected and Autonomous Vehicles (CAVs) has necessitated the development of efficient, reliable communication methods between vehicles and their surroundings. This study presents a novel methodology, the VECTOR system, that addresses this need by converting dynamic vehicle data into a binary code and displaying it on an LED panel. The system involves a three-step process of data collection, polynomial fitting of velocity data, and encoding the polynomial parameters into binary form using a Cyclic Redundancy Check (CRC). The study also explores the practical application of this system by conducting experiments with modified Lincoln MKZ hybrids, demonstrating the feasibility and efficiency of this approach. The paper presents both the methodology and results of these experiments, further expanding upon the potential applications and implications for CAV technology. By comparing the final accuracy, we find this approach can achieve 80% of the original velocity data.

Ma, Ke↗

Commentary: Duckweeds as model organisms for metabolic studies

Duckweeds have many practical applications, for example in human nutrition, as animal feed, in the production of bioplastics or vaccines, and phytoremediation (Acosta et al., 2021). Under most conditions, they reproduce asexually which provides genetically uniform material with predictable patterns of growth that make them ideal as sentinel organisms for phytotoxicity testing (Park et al., 2021). Asexual growth also results in high biomass production which makes duckweeds promising candidates as biofuel feedstocks (Acosta et al., 2021; Liang et al., 2023). In addition, duckweed species like Lemna minor and Spirodela polyrhiza are also reemerging as model organisms in plant biology as high-quality full genome assemblies and other genomic resources become available (Chang et al., 2016; Acosta et al., 2021). We argue that duckweed species are particularly of interest for the study of primary plant metabolism. Primary metabolism concerns the part of metabolism that is directly involved in the growth and development of plants, and which tends to be highly conserved among plant species. What makes duckweeds particularly attractive is that when grown on liquid media more precise control of physiological conditions can be attained relative to growth of plants in soil. Also, due to their relatively simple anatomical structure and asexual reproduction of fronds by budding, precise characterization of the physiological state under study is possible through one simple metric, i.e., the specific growth rate (rate of dry weight increase per existing dry weight), which can be incorporated relatively easily into metabolic models. This is not possible for land plants, such as Arabidopsis, because over the course of their life cycle, they go through multiple growth stages and phases of anatomical differentiation, which are much more complex to quantify. Furthermore, duckweeds can grow on organic substrates under heterotrophic or photomixotrophic conditions that facilitate isotope tracer studies. For example, in a previous study on duckweed by one of the authors, Lemna gibba (L). was grown on glucose with a position-specific 13 C-label that can be detected and resolved by Mass Spectrometry or Nuclear Magnetic Resonance spectrometry. Using this approach, the 13 C-label was traced into biomass compounds formed from glucose, particularly isoprenoid compounds. Some of the resulting labeling patterns were in apparent disagreement with predictions based on known metabolic pathways for the biosynthesis of isopentenyl pyrophosphate, the universal building block for isoprenoids, (Lichtenthaler et al., 1997). From this data it was deduced that isoprenoid compounds such as carotenoids and isoprenoid chains of phytol and plastoquinone, synthesized in the chloroplast, are produced via a previously unreported plant metabolic pathway, now known as the methylerythitol/deoxyxylulose-5-phosphate pathway (Lichtenthaler et al., 1997).

59 BASIC BIOLOGICAL SCIENCES↗

Fundamentals of Scalable Nanoparticle Assembly in Engineering Polymres

Systematically improving the properties of polymer nanocomposites is contingent on effectively controlling nanoparticle (NP) dispersion; further, it is necessary to attain this at scale if these methods are to impact practical applications. While most past work has focused on amorphous polymers, ≈ 70% of all polymers sold annually are semicrystalline. Inspired by this apparent disconnect, our work in the current DOE funded grant and this renewal proposal employs a novel handle, polymer crystallization, to organize NPs into the various amorphous zones of the lamellar semicrystalline morphology (interlamellar, interfibrillar and interspherulitic domains) of stereoregular polymers. We hypothesize that the isothermal crystallization rate of a polymer host, G, and NP diffusivity, are the two relevant control parameters in this context. In the case where the NPs are miscible in the melt, they remain spatially well-dispersed when the polymer is crystallized at a rate that is fast relative to NP diffusion. In contrast, monolayer-thick NP sheets with intersheet spacing of ~10-100nm form in slowly crystallized samples. This sheet stacking is remarkably similar to that seen in natural materials, e.g., Nacre. There is also ordering of the NPs at the larger interfibrillar scale. Importantly, the relative fraction of engulfed, interlamellar and interfibrillar NPs is determined by G. Further, the modulus of these materials can increase by a factor of 2-3 due to the organization state of the NPs, while leaving fracture toughness unaffected. We have established the broad applicability of this approach in two polymers, polyethylene (PE) and polyethyleneoxide (PEO). To achieve this goal we developed a method for grafting long PE chains from NPs with controlled graft density and molecular weight, giving us the ability to tailor their dispersion in the PE melt prior to crystallization. In this renewal proposal, we will develop the fundamental, quantitative understanding that will allow us to independently tailor polymer crystallization rate, NP diffusivity and NP agglomeration state in semicrystalline polymers so as to facilely control NP ordering and hence properties. A program that tightly integrates experiment and theory is proposed, and a key outcome of this research will be a three-dimensional design map for different regimes of NP organization (and hence properties) that can be achieved by polymer crystallization. A second independent outcome is the role of directional solidification and how it competes with the rates of polymer crystallization and NP mobility to affect the organization of the NP.

36 MATERIALS SCIENCE↗

Real-Time Protocol Engineering with the B Language

It is an invariant that critical cyberphysical systems should not fail. Mission assurance requires systems to behave with predictability, especially in their ability to satisfy real-time constraints. The NIST standard for Engineering Trustworthy Secure Systems, National Institute of Standards and Technology (NIST) Special Publication (SP) 800-160v1r1 states that formal methods are the highest level for meeting assurance requirements. There is a tension between the formal method software development process (Figure 1), which does not introduce time specificity until the latter stages of the development process (concrete model), and the need to gain confidence that time constraints will be satisfied. This paper formalizes the practical application of temporal entities e.g. Propositional Temporal Logic (PTL), Temporal Logic of Actions Plus (TLA+), etc. to critical systems.

97 MATHEMATICS AND COMPUTING↗