Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “life cycle”

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 865 records · Page 48

Integrated Sustainable Product Design With Warranty and End-of-Use Considerations

The concept of integrated sustainable product design has recently emerged, aiming to incorporate downstream life cycle performance into the initial product design to enhance sustainability. Various sustainable product design tools based on life cycle assessment or quality function deployment have been established while the impact of reliability on circular practices has received limited attention. Recognizing the critical role of product reliability in post-design performance, this paper develops a product design optimization model that considers the warranty performance and the effect of end-of-use options. The model takes into account the effect of uncertain operating conditions on product reliability. Two optimization goals including the minimization of expected unit life cycle cost and environmental impact are achieved by the model. To demonstrate the benefits of the integrated approach, the model is applied to an electric motor design problem. The results highlight that integrating end-of-use options in the early design phase leads to adjustments in component selection and reliability design. Moreover, the circular utilization of used products enables cost savings throughout the product’s life cycle and contributes to environmental impact reduction. Finally, the study analyzes the effects of operating conditions, warranty policies, and take-back prices for used products on design decisions, providing valuable insights for product designers.

Integrated design↗

Unpacking Modeling Analysis for the Circular Economy

This session will cover: (1) How models simulate material recovery, recycling, product life cycles and waste management. (2) Using life cycle analysis (LCA) to measure environmental impacts across product life cycles and guide decision-making. (3) Optimizing resource use, reducing energy consumption and minimizing waste in recycling systems. (4) Evaluating EPR and other interventions through scenario analysis to make informed decisions.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Small Reactors in Microgrids: Technology Modeling and Selection (Net-Zero Microgrid Program Project Report)

This report demonstrates the capabilities of the net-zero microgrid (NZM) Xendee platform for modeling an SR module with electricity, heat extraction and thermal storage in microgrids configurations. The model effectively captures the most important technical and economic considerations for SR technology specific analysis: cost and operational characteristics of SR technology and financial costs and incentives. The model can analyze multiple scenarios to establish metrics for cost-competitive and zero-carbon microgrids connected to the grid or completely isolated. The model is fully integrated within the Xendee platform for modeling and analysis of clean energy microgrids with storage and generation from renewable energy sources. The model captures the capabilities, constraints, and nuances of SR by incorporating parameters related to plant economics, design efficiency and performance, plant operation and component and fuel lifespan. The cost and operational parameters modeled in the SR module are specific to the technology selected for integration in the microgrid. Cost parameters recognize advanced nuclear technology for modular production and installation based on economies of scale from factory manufacture and related commissioning, and cost reduction through technology maturation—first-of-a-kind (FOAK) and nth-of-a-Kind (NOAK). The cost parameters include installation, operations and maintenance (O&M), fuel refueling cycle, and reactor life. Installation cost reflects economies of scale due to unit sizing at scale and colocation. O&M economies of scale for both fixed- and variable-cost fuel life-cycle costs are incurred at every refueling interval, with separate front- and back-end fuel costs, as well as waste-handling and disposition costs. This report investigates key characteristics of different SR technologies suitable for microgrid applications, including design principles, sizing, coolant properties, temperature ratings, fuel structures, and life-cycle considerations. This also includes fuel technologies applicable to these SR systems, alongside strategies for nuclear-waste and spent-fuel management and approaches to address safety, security, and proliferation challenges. Four primary groups of SR technologies are examined: water-cooled, liquid-metal-cooled, high-temperature gas-cooled, and molten-salt-cooled systems. In this report, an initial guideline for technology selection is established, aligning the characteristics of the technologies with the requirements of microgrids. The selection of technology in a microgrid is influenced by various factors, including financial capacity, location and accessibility, demand type and characteristics, reliability and resilience requirements, area constraints, and the lifespan of the microgrid. The types of electrical and non-electrical applications within the microgrid also play a significant role in technology selection. The characteristics of SRs, such as their smaller size, modularity, transportability, long refueling interval, improved safety features, ability to operate in autonomous or semi-autonomous mode, and provision of high-grade heat, are particularly appealing for microgrids. Furthermore, a list of considerations for implementing SRs in microgrids is outlined. The SR model is created to be continuously improved with the acquisition of actual data on investment and operational costs, experience with supply chains, production at scale, and field deployments. In the near term, performance data on applications in microgrids will become available from lessons learned from laboratory tests, such as those planned for the Microreactor Applications Research Validation and Evaluation Project (MARVEL), led by Idaho National Laboratory (INL). The SR model incorporates scenario data and known SR design specifications, enabling technoeconomic analysis for SR deployment in microgrids. It specifically considers the distinctive attributes of SRs as generators in technoeconomic studies. SRs can be modeled and analyzed with generation from renewable-energy sources, energy storage, and flexible loads over a range of functionality and applications. This offers a comprehensive tool for feasibility studies, scenario development, and sensitivity analysis for “what-if” consideration of any range of assumptions about SRs in microgrids and other aggregations of distributed-energy resources, including virtual power plants.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

NASA Lewis advanced IPV nickel-hydrogen technology

Individual pressure vessel (IPV) nickel-hydrogen technology was advanced at NASA Lewis and under Lewis contracts. Some of the advancements are as follows: to use 26 percent potassium hydroxide electrolyte to improve cycle life and performance, to modify the state of the art cell design to eliminate identified failure modes and further improve cycle life, and to develop a lightweight nickel electrode to reduce battery mass, hence reduce launch and/or increase satellite payload. A breakthrough in the LEO cycle life of individual pressure vessel nickel-hydrogen battery cells was reported. The cycle life of boiler plate cells containing 26 percent KOH electrolyte was about 40,000 accelerated LEO cycles at 80 percent DOD compared to 3,500 cycles for cells containing 31 percent KOH. Results of the boiler plate cell tests have been validated at NWSC, Crane, Indiana. Forty-eight ampere-hour flight cells containing 26 and 31 percent KOH have undergone real time LEO cycle life testing at an 80 percent DOD, 10 C. The three cells containing 26 percent KOH failed on the average at cycle 19,500. The three cells containing 31 percent KOH failed on the average at cycle 6,400. Validation testing of NASA Lewis 125 Ah advanced design IPV nickel-hydrogen flight cells is also being conducted at NWSC, Crane, Indiana under a NASA Lewis contract. This consists of characterization, storage, and cycle life testing. There was no capacity degradation after 52 days of storage with the cells in the discharged state, on open circuit, 0 C, and a hydrogen pressure of 14.5 psia. The catalyzed wall wick cells have been cycled for over 22,694 cycles with no cell failures in the continuing test. All three of the non-catalyzed wall wick cells failed (cycles 9,588; 13,900; and 20,575). Cycle life test results of the Fibrex nickel electrode has demonstrated the feasibility of an improved nickel electrode giving a higher specific energy nickel-hydrogen cell. A nickel-hydrogen boiler plate cell using an 80 mil thick, 90 percent porous Fibrex nickel electrode has been cycled for 10,000 cycles at 40 percent DOD.

Smithrick, John J.↗

Demographic Microsimulator for Integrated Urban Systems: Adapting Panel Survey of Income Dynamics to Capture the Continuum of Life

Agent-based models (ABMs) in transportation modeling simulate activity and travel decisions at the disaggregate level of households and individuals. To do this, ABMs require detailed and realistic information on agents’ socioeconomic and demographic characteristics. Various synthetic population generators have been proposed to address this need. However, most of those currently in practice are cross-sectional in nature and do not account for the dynamics within households and individuals as they progress through life events over time. This is a major shortcoming, as literature has shown that transportation decisions are affected by the transition between and co-occurrence of life cycle events. While some demographic evolution simulators have been proposed to address this issue, they are developed using cross-sectional data and capture only a small set of life cycle events and their interdependence. Addressing these drawbacks, we propose a demographic microsimulator (DEMOS) that captures the “continuum of life” by considering a range of household- and individual-level life cycle events. DEMOS is developed using the Panel Survey of Income Dynamics, one of the world’s longest-running longitudinal surveys. The DEMOS submodels consider key life cycle events that are influenced by agents’ demographic variables. DEMOS is applied to evolve the population of the San Francisco Bay Area over a 9-year horizon. Results demonstrate how DEMOS generates life trajectories and how DEMOS outputs match the observed demographic trends. DEMOS is expected to enable longitudinal analysis in the context of ABMs and expand ABMs analyses relating to dynamic processes such as household-level vehicle transactions.

Demographic evolution↗

Interface Design for High‐Performance All‐Solid‐State Lithium Batteries

All‐solid‐state batteries suffer from high interface resistance and lithium dendrite growth leading to low Li plating/stripping Coulombic efficiency (CE) of <90% and low critical current density at high capacity. Here, in this work, both challenges are simultaneously addressed and the Li plating/stripping CE is significantly increased to 99.6% at 0.2 mA cm −2 /0.2 mAh cm −2 , and critical current density (CCD) of > 3.0 mA cm −2 /3.0 mAh cm −2 by inserting a mixed ionic‐electronic conductive (MIEC) and lithiophobic LiF‐C‐Li 3 N‐Bi nanocomposite interlayer between Li 6 PS 5 Cl electrolyte and Li anode. The highly lithiophobic LiF‐C‐Li 3 N‐Bi interlayer with high ionic conductivity (10 −5 S cm −1 ) and low electronic conductivity (3.4×10 −7 S cm −1 ) enables Li to plate on the current collector (CC) surface rather than on Li 6 PS 5 Cl surface avoiding Li 6 PS 5 Cl electrolyte reduction. During initial Li plating on CC, Li penetrates into porous LiF‐C‐Li 3 N‐Bi interlayer and lithiates Bi nanoparticles into Li 3 Bi. The lithiophilic Li 3 Bi and Li 3 N nanoparticles in LiF‐C‐Li 3 N‐Li 3 Bi sub‐interlayer will move to CC along with plated Li, forming LiF‐C/Li 3 N‐Li 3 Bi lithiophobic/lithiophilic sublayer during the following Li stripping. This interlayer enables Co 0.1 Fe 0.9 S 2 /Li 6 PS 5 Cl/Li cell with an areal capacity of 1.4 mAh cm −2 to achieve a cycle life of >850 cycles at 150 mA g −1 . The lithiophobic/lithiophilic interlayer enables solid‐state metal batteries to simultaneously achieve high energy and long cycle life.

25 ENERGY STORAGE↗

Environmental and economic optima of solar home systems design: A combined LCA and LCC approach

Here, we compare the economic and environmental optimal design of Solar Home Systems (SHSs) and explore the role of economic incentives (such as tariffs and technology costs) in approximating the two optima. To achieve that, we present a methodology for the environmental and economic evaluation of grid-connected SHSs: user-scale electric systems involving a photovoltaic (PV) power system and a battery energy storage system. The proposed methodology is based on a mixed integer linear programming (MILP) optimization, life cycle assessment and life cycle costing. This methodological framework is applied to a case study involving a typical SHS installation in Italy. The results of the environmental optimal design brought to the evaluation of a 3.25 kW PV assisted by 8.66 kWh of nickel cobalt manganese batteries, whereas the costs of the SHS are minimized by a small PV system (less than 1 kW). Results underline that the environmental optimal configurations rely on battery technologies, which entails a significant cost compared to the grid connection. In contrast, the economic optimal design solutions is less impactful than the grid mix both from an environmental and economic points of view. Thanks to a reduction of batteries and PV costs, the environmental impact of the economic optimal design is expected to decrease in the future.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

From Sodium–Oxygen to Sodium–Air Battery: Enabled by Sodium Peroxide Dihydrate

Metal-air batteries have attracted extensive research interests due to their high theoretical energy density. However, most of the previous studies were limited by applying pure oxygen in the cathode, sacrificing the gravimetric and volumetric energy density. Here, we develop a real sodium-"air" battery, in which the rechargeability of the battery relies on the reversible reaction of the formation of sodium peroxide dihydrate (Na 2 O 2 ∙ 2H 2 O). After an oxygen evolution reaction catalyst is applied, the charge overpotential is largely reduced to achieve a high energy efficiency. The sodium-air batteries deliver high areal capacity of 4.2 mAh.cm -2 and have a decent cycle life of 100 cycles. The oxygen crossover effect is largely suppressed by replacing the oxygen with air, whereas the dense solid electrolyte interphase formed on the sodium anode further prolongs the cycle life.

25 ENERGY STORAGE↗

Accelerated test modeling

Cycle life regression model, cycle life prediction model, and acceleration factors are discussed. A method was presented to: (1) select a mathematical model; (2) determine model coefficients using accelerated test data; (3) test model fit of the accelerated test data; and (4) predict normal packs.

Schwartz, D.↗

Analysis of a fuel cell on-site integrated energy system for a residential complex

The energy use and costs of the on-site integrated energy system (OS/IES) which provides electric power from an on-site power plant and recovers heat that would normally be rejected to the environment is compared to a conventional system purchasing electricity from a utility and a phosphoric acid fuel cell powered system. The analysis showed that for a 500-unit apartment complex a fuel OS/IES would be about 10% more energy conservative in terms of total coal consumption than a diesel OS/IES system or a conventional system. The fuel cell OS/IES capital costs could be 30 to 55% greater than the diesel OS/IES capital costs for the same life cycle costs. The life cycle cost of a fuel cell OS/IES would be lower than that for a conventional system as long as the cost of electricity is greater than $0.05 to $0.065/kWh. An analysis of several parametric combinations of fuel cell power plant and state-of-art energy recovery systems and annual fuel requirement calculations for four locations were made. It was shown that OS/IES component choices are a major factor in fuel consumption, with the least efficient system using 25% more fuel than the most efficient. Central air conditioning and heat pumps result in minimum fuel consumption while individual air conditioning units increase it, and in general the fuel cell of highest electrical efficiency has the lowest fuel consumption.

Simons, S. N.↗

Validation test of advanced technology for IPV nickel-hydrogen flight cells: Update

Individual pressure vessel (IPV) nickel-hydrogen technology was advanced at NASA Lewis and under Lewis contracts with the intention of improving cycle life and performance. One advancement was to use 26 percent potassium hydroxide (KOH) electrolyte to improve cycle life. Another advancement was to modify the state-of-the-art cell design to eliminate identified failure modes. The modified design is referred to as the advanced design. A breakthrough in the low-earth-orbit (LEO) cycle life of IPV nickel-hydrogen cells has been previously reported. The cycle life of boiler plate cells containing 26 percent KOH electrolyte was about 40,000 LEO cycles compared to 3,500 cycles for cells containing 31 percent KOH. The boiler plate test results are in the process of being validated using flight hardware and real time LEO testing at the Naval Weapons Support Center (NWSC), Crane, Indiana under a NASA Lewis Contract. An advanced 125 Ah IPV nickel-hydrogen cell was designed. The primary function of the advanced cell is to store and deliver energy for long-term, LEO spacecraft missions. The new features of this design are: (1) use of 26 percent rather than 31 percent KOH electrolyte; (2) use of a patented catalyzed wall wick; (3) use of serrated-edge separators to facilitate gaseous oxygen and hydrogen flow within the cell, while still maintaining physical contact with the wall wick for electrolyte management; and (4) use of a floating rather than a fixed stack (state-of-the-art) to accommodate nickel electrode expansion due to charge/discharge cycling. The significant improvements resulting from these innovations are: extended cycle life; enhanced thermal, electrolyte, and oxygen management; and accommodation of nickel electrode expansion. The advanced cell design is in the process of being validated using real time LEO cycle life testing of NWSC, Crane, Indiana. An update of validation test results confirming this technology is presented.

Smithrick, John J.↗

Insights on sources and formation mechanisms of liquid-bearing clouds over MOSAiC examined from a Lagrangian framework

Understanding Arctic stratiform liquid-bearing cloud life cycles and properly representing these life cycles in models is crucial for evaluations of cloud feedbacks as well as the faithfulness of climate projections for this rapidly warming region. Examination of cloud life cycles typically requires analyses of cloud evolution and origins on short time scales, on the order of hours to several days. Measurements from the recent Multidisciplinary drifting Observatory for the Study of Arctic Climate (MOSAiC) expedition provide a unique view of the current state of the central Arctic over an annual cycle. Here, we use the MOSAiC radiosonde measurements to detect liquid-bearing cloud layers over full atmospheric columns and to examine the cloud-generating air masses’ properties. We perform 5-day (120 h) back-trajectory calculations for every detected cloud and cluster them using a unique set of variables extracted from these trajectories informed by ERA5 reanalysis data. This clustering method enables us to separate between the air mass source regions such as ice-covered Arctic and midlatitude open water. We find that moisture intrusions into the central Arctic typically result in multilayer liquid-bearing cloud structures and that more than half of multilayer profiles include overlying liquid-bearing clouds originating in different types of air masses. Finally, we conclude that Arctic cloud formation via prolonged radiative cooling of elevated stable subsaturated air masses circulating over the Arctic can occur frequently (up to 20% of detected clouds in the sounding data set) and may lead to a significant impact of ensuing clouds on the surface energy budget, including net surface warming in some cases.

54 ENVIRONMENTAL SCIENCES↗

UBW (USLCI-Brightway2) [SWR-25-169]

Life cycle inventory (LCI) data are critical for robust life cycle assessment (LCA), yet many widely used datasets such as the U.S. Life Cycle Inventory (USLCI) are not natively compatible with advanced modeling frameworks like Brightway2. This work presents an automated pipeline to transform USLCI data into a fully functional Brightway2 project. The workflow performs systematic data cleaning, resolves duplicate process and exchange identifiers, and applies allocation to multi-output processes. Technosphere and biosphere flows are harmonized through unit conversions and a bridge mapping to the biosphere3 database, with comprehensive logging of missing flows and cutoff issues. The resulting Brightway2 database is validated using matrix diagnostics to ensure consistency of the technosphere, and is benchmarked via life cycle impact assessment (LCIA) methods such as ReCiPe and IPCC GWP. Outputs include reproducible CSV exports of corrected processes, elementary flows, characterization factors, and LCIA results, alongside backup utilities for project sharing. This pipeline lowers barriers for integrating USLCI data into open-source LCA workflows, enabling reproducible, validated LCA inventories within the Brightway 2 framework.

Ghosh, Tapajyoti [National Laboratory of the Rocki↗

NASA Human Spaceflight Scenarios - Do All Our Models Still Say No?

Historically, NASA human spaceflight planning has included healthy doses of life cycle cost analysis. Planners put projects and their cost estimates in a budget context. Estimated costs became expected budgets. Regardless, real budgets rarely matched expectations. So plans would come and go as NASA canceled projects. New projects would arise and the cycle would begin again. Repeatedly, NASA schedule and performance ambitions come up against costs growing at double-digit rates while budgets barely rise a couple of percent a year. Significant skepticism greets proposed NASA programs at birth, as cost estimates for new projects are traditionally very high, and worse, far off the mark for those carried forward. In this environment the current "capability driven framework" for NASA human spaceflight evolved, where long term life cycle cost analysis are even viewed as possibly counter-productive. Here, a space exploration project, for example the Space Launch System, focuses on immediate goals. A life cycle is that of a project, not a program, and for only that span of time to a near term milestone like a first test launch. Unfortunately, attempting to avoid some pitfalls in long-term life cycle cost analysis breeds others. Government audits have noted that limiting the scope of cost analysis "does not provide the transparency necessary to assess long-term affordability" making it difficult to understand if NASA "is progressing in a cost-effective and affordable manner." Even in this short-term framework, NASA realizes the importance of long-term considerations, that it must "maximize the efficiency and sustainability of the Exploration Systems development programs", that this is "critical to free resources for re-investment...such as other required deep space exploration capabilities." Assuming the value of long-term life cycle cost analysis, where due diligence meets reconnaissance, and accepting past shortcomings, the work here approaches life cycle cost analysis for human spaceflight differently. 1) If costs have traditionally been so high that adding them up is discouraging, are there any new facts on the ground offering paths to significantly lower costs? 2) If NASA's spaceflight budget and process is an over-arching constraint, with its planning limitations favoring short-term outlooks, is there a way to step outside the budget box? 3) If life cycle answers have historically been too uncertain to be useful, is there a process where stakeholders gain valuable insights merely from emphasizing a common understanding around questions? We analyze the potential life cycle cost of assorted NASA human spaceflight architectures - an architecture as a sum of individual systems, working together. With the prior questions of high costs, limited budgets and uncertainties in mind, public private partnerships are central in these architectures. The cost data for current commercial public private partnerships is encouraging, as are cost estimates for future partnership approaches beyond low Earth orbit. Private capital, directly or indirectly, an ingredient of public private partnerships, may be a significant factor in finding a path around the limits of the NASA spaceflight budget. Also, understanding and reviewing the pros, cons and uncertainties of assorted architectures can assist in developing a common understanding around key questions as important if not more so than the numbers and answers. Lastly, a scenario planning technique is briefly explored that can mature a common understanding about the agencies situation at hand and how diverse stakeholders can go forward together. Scenario planning, rather than focusing on answers, places emphasis on stakeholders developing a common understanding about the future. Putting aside costs, this is especially true of questions about sustainability and growth, results, benefits and expectations. While efficiency exercises or analysis look to reduce resources in one place to apply them elsewhere, moving around slices in a pie, scenario planning can get at the heart of the matter, growing the pie, transforming it, and making the pieces relevant. Especially important is the question of sustainability for different scenarios in the broad sense of the word - not just the narrow ability to survive or continue, but also the ability to adapt, prosper and grow.

space systems life cycle costs↗

Shifting agricultural practices to produce sustainable, low carbon intensity feedstocks for biofuel production

The carbon intensity (CI) of biofuel's well-to-pump life cycle is calculated by life cycle analysis (LCA) to account for the energy/material inputs of the feedstock production and fuel conversion stages and the associated greenhouse gas (GHG) emissions during these stages. The LCA is used by the California Air Resources Board's Low Carbon Fuel Standard (LCFS) program to calculate CI and monetary credits are issued based on the difference between a given fuel's CI and a reference fuel's CI. Through the Tier 2 certification program under which individual fuel production facilities can submit their own CIs with their facility input data, the LCFS has driven innovative technologies to biofuel conversion facilities, resulting in substantial reductions in GHG emissions as compared to the baseline gasoline or diesel. A similar approach can be taken to allow feedstock petition in the LCFS so that lower-CI feedstock can be rewarded. Here we examined the potential for various agronomic practices to improve the GHG profiles of corn ethanol by performing feedstock-level CI analysis for the Midwestern United States. Our system boundary covers GHG emissions from the cradle-to-farm-gate activities (i.e. farm input manufacturing and feedstock production), along with the potential impacts of soil organic carbon change during feedstock production. We conducted scenario-based CI analysis of ethanol, coupled with regionalized inventory data, for various farming practices to manage corn fields, and identified key parameters affecting cradle-to-farm-gate GHG emissions. The results demonstrate large spatial variations in CI of ethanol due to farm input use and land management practices. In particular, adopting conservation tillage, reducing nitrogen fertilizer use, and implementing cover crops has the potential to reduce GHG emissions per unit corn produced when compared to a baseline scenario of corn–soybean rotation. This work shows a large potential emission offset opportunity by allowing feedstock producers a path to Tier 2 petitions that reward low-CI feedstocks and further reduce biofuels' CI. The prevalence of significant acreage that has not been optimized for CI suggests that policy changes that incentivize optimization of this parameter could provide significant additionality over current trends in farm efficiency and adoption of conservation practice.

09 BIOMASS FUELS↗

Advanced hydrogen/oxygen thrust chamber design analysis

The results are reported of the advanced hydrogen/oxygen thrust chamber design analysis program. The primary objectives of this program were to: (1) provide an in-depth analytical investigation to develop thrust chamber cooling and fatigue life limitations of an advanced, high pressure, high performance H2/O2 engine design of 20,000-pounds (88960.0 N) thrust; and (2) integrate the existing heat transfer analysis, thermal fatigue and stress aspects for advanced chambers into a comprehensive computer program. Thrust chamber designs and analyses were performed to evaluate various combustor materials, coolant passage configurations (tubes and channels), and cooling circuits to define the nominal 1900 psia (1.31 x 10 to the 7th power N/sq m) chamber pressure, 300-cycle life thrust chamber. The cycle life capability of the selected configuration was then determined for three duty cycles. Also the influence of cycle life and chamber pressure on thrust chamber design was investigated by varying in cycle life requirements at the nominal chamber pressure and by varying the chamber pressure at the nominal cycle life requirement.

Shoji, J. M.↗

Advances In Li-TiS2 Cell Techno1ogy

JPL is involved in a NASA sponsored program to develop ambient temperature secondary Lithium - Titanium Disulfide Cells for future space missions. After several years of research on various lithium systems, the Li-TiS2 system was selected for development in view of its practically realizable high specific energy. In the last two years, the efforts were focused on improving the cycle life of the system and optimizing the cell design. A number of approaches, such as the use of mixed solvent electrolytes, the use of alternate anode materials, the operation of cells at low temperature, and the cycling of cells under optimized voltage limits, are examined to improve cycle life performance of this system. Cycling studies in small 150 mAh cell have identified 1.5 M LiAsF6/2-MeTHF, 1.5 M LiAsF6/EC+2-eTHF, and 1.5 M LiAsF6/THF+2-MeTHF+2-MeF as promising electrolytes for Li-TiS2 cells. Li-Al and Li-C were selected for further assessment as candidate anode materials after a detailed theoretical and experimental evaluation. Cycling of the cells at low temperature did not result in improving the cycle life of the cells. Charge and discharge voltage limits were found to have significant influence on the cycle life of the cells activated with 1.5 M LiAsF6/THF+2-MeTHF+2-MeF electrolyte. The influence of design variables, such as ratio of electrode capacity, quantity of electrolyte, pack tightness, cell configuration, etc., on the cycle life performance are being examined as a part of the design optimization study. Spiral-wound 1 Ah cells fabricated for the design studies have completed more than 500 cycles at 50% DOD. This paper summarizes the advances made in the Li-TiS2 technology at JPL since 1989.

Surampudi, S.↗

Requirements engineering and program synthesis: Mutually exclusive or synergistic?

There has often been a clash within the formal methods community between early life-cycle proponents such as the requirements engineering community and late life-cycle proponents such as the program synthesis community. This talk will first characterize these positions and their underlying assumptions, and then expose a common set of problems and approaches. The talk will then propose an integrated life-cycle framework, and expound on its potential benefits. Technical challenges to achieving this integrated life-cycle framework will be described, as well as some preliminary work towards that goal.

Program synthesis↗