Search NASA⌕ Search

SEARCH · Search NASA

Results for “batteries – Li-ion”

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 181 records · Page 10

Nanostructured MnO2-Based Cathodes for Li-Ion/Polymer Cells

Nanostructured MnO2-based cathodes for Li-ion/polymer electrochemical cells have been investigated in a continuing effort to develop safe, high-energy-density, reliable, low-toxicity, rechargeable batteries for a variety of applications in NASA programs and in mass-produced commercial electronic equipment. Whereas the energy densities of state-of-the-art lithium-ion/polymer batteries range from 150 to 175 W h/kg, the goal of this effort is to increase the typical energy density to about 250 W h/kg. It is also expected that an incidental benefit of this effort will be increases in power densities because the distances over which Li ions must diffuse through nanostructured cathode materials are smaller than those through solid bulk cathode materials.

Skandan, Ganesh↗

Electrolytes for Li-Ion Cells in Low Temperature Applications

A number of upcoming NASA missions require energy storage devices which display high energy density and can effectively operate at low temperature. Lithium-ion batteries have been identified as the most promising technology which can meet these stringent requirements.

electrolytes↗

Limitations of Internal Protective Devices in High-Voltage/High-Capacity Batteries Using Lithium-Ion Cylindrical Commercial Cells

Most commercial cylindrical 18650 Lithium-Ion (Li-Ion) cells have two internal protective devices: the Positive Temperature Coefficient (PTC) and the Current Interrupt Device (CID). The PTC protects the cells under external short conditions and the CID protects the cells under overcharge conditions. While proven to be effective at the single cell and small-size battery levels, these devices do not always offer protection when used in high-voltage and high-capacity battery designs.

Limitations of Internal Protective Devices↗

NASA Tech Briefs, March 2010

Topics covered include: Software Tool Integrating Data Flow Diagrams and Petri Nets; Adaptive Nulling for Interferometric Detection of Planets; Reducing the Volume of NASA Earth-Science Data; Reception of Multiple Telemetry Signals via One Dish Antenna; Space-Qualified Traveling-Wave Tube; Smart Power Supply for Battery-Powered Systems; Parallel Processing of Broad-Band PPM Signals; Inexpensive Implementation of Many Strain Gauges; Constant-Differential-Pressure Two-Fluid Accumulator; Inflatable Tubular Structures Rigidized with Foams; Power Generator with Thermo-Differential Modules; Mechanical Extraction of Power From Ocean Currents and Tides; Nitrous Oxide/Paraffin Hybrid Rocket Engines; Optimized Li-Ion Electrolytes Containing Fluorinated Ester Co-Solvents; Probabilistic Multi-Factor Interaction Model for Complex Material Behavior; Foldable Instrumented Bits for Ultrasonic/Sonic Penetrators; Compact Rare Earth Emitter Hollow Cathode; High-Precision Shape Control of In-Space Deployable Large Membrane/Thin-Shell Reflectors; Rapid Active Sampling Package; Miniature Lightweight Ion Pump; Cryogenic Transport of High-Pressure-System Recharge Gas; Water-Vapor Raman Lidar System Reaches Higher Altitude; Compact Ku-Band T/R Module for High-Resolution Radar Imaging of Cold Land Processes; Wide-Field-of-View, High-Resolution, Stereoscopic Imager; Electrical Capacitance Volume Tomography with High-Contrast Dielectrics; Wavefront Control and Image Restoration with Less Computing; Polarization Imaging Apparatus; Stereoscopic Machine-Vision System Using Projected Circles; Metal Vapor Arcing Risk Assessment Tool; Performance Bounds on Two Concatenated, Interleaved Codes; Parameterizing Coefficients of a POD-Based Dynamical System; Confidence-Based Feature Acquisition; Algorithm for Lossless Compression of Calibrated Hyperspectral Imagery; Universal Decoder for PPM of any Order; Algorithm for Stabilizing a POD-Based Dynamical System; Mission Reliability Estimation for Repairable Robot Teams; Processing AIRS Scientific Data Through Level 3; Web-Based Requesting and Scheduling Use of Facilities; AutoGen Version 5.0; Time-Tag Generation Script; PPM Receiver Implemented in Software; Tropospheric Emission Spectrometer Product File Readers; Reporting Differences Between Spacecraft Sequence Files; Coordinating "Execute" Data for ISS and Space Shuttle; Database for Safety-Oriented Tracking of Chemicals; Apparatus for Cold, Pressurized Biogeochemical Experiments; Growing B Lymphocytes in a Three-Dimensional Culture System; Tissue-like 3D Assemblies of Human Broncho-Epithelial Cells; Isolation of Resistance-Bearing Microorganisms; Oscillating Cell Culture Bioreactor; and Liquid Cooling/Warming Garment.

Source record↗

Use of Additives to Improve Performance of Methyl Butyrate-Based Lithium-Ion Electrolytes

This work addresses the need for robust rechargeable batteries that can operate well over a wide temperature range. To this end, a number of electrolyte formulations have been developed that incorporate the use of electrolyte additives to improve the high-temperature resilience, low-temperature power capability, and life characteristics of methyl butyrate-based electrolyte solutions. These electrolyte additives include mono-fluoroethylene carbonate (FEC), lithium oxalate, vinylene carbonate (VC), and lithium bis(oxalato)borate (LiBOB), which have been shown to result in improved high-temperature resilience of all carbonate-based electrolytes. Improved performance has been demonstrated of Li-ion cells with methyl butyrate-based electrolytes, including 1.20M LiPF6 in EC+EMC+MB (20:20:60 v/v %); 1.20M LiPF6 in EC+EMC+MB (20:20:60 v/v %) + 2% FEC; 1.20M LiPF6 in EC+EMC+MB (20:20:60 v/v %) + 4% FEC; 1.20M LiPF6 in EC+EMC+MB (20:20:60 v/v %) + lithium oxalate; 1.20M LiPF6 in EC+EMC+MB (20:20:60 v/v %) + 2% VC; and 1.20M LiPF6 in EC+EMC+MB (20:20:60 v/v %) + 0.10M LiBOB. These electrolytes have been shown to improve performance in MCMB-LiNiCoO2 and graphite-LiNi1/3Co1/3Mn1/3O2 experimental Li-ion cells. A number of LiPF6-based mixed carbonate electrolyte formulations have been developed that contain ester co-solvents, which have been optimized for operation at low temperature, while still providing reasonable performance at high temperature. For example, a number of ester co-solvents were investigated, including methyl propionate (MP), ethyl propionate (EP), methyl butyrate (MB), ethyl butyrate (EB), propyl butyrate (PB), and butyl butyrate (BB) in multi-component electrolytes of the following composition: 1.0M LiPF6 in ethylene carbonate (EC) + ethyl methyl carbonate (EMC) + X (20:60:20 v/v %) [where X = ester co-solvent]. ["Optimized Car bon ate and Ester-Based Li-Ion Electrolytes", NASA Tech Briefs, Vol. 32, No. 4 (April 2008), p. 56.] Focusing upon improved rate capability at low temperatures (i.e., 20 to 40 C), this approach was optimized further, resulting in the development of 1.20M LiPF6 in EC+EMC+MP (20:20:60 v/v %) and 1.20M LiPF6 in EC+EMC+EB (20:20:60 v/v %), which were demonstrated to operate well over a wide temperature range in MCMB-LiNiCoAlO2 and Li4Ti5O12(-)LiNiCoAlO2 prototype cells.

Smart, Marshall C.↗

On-Demand Cell Internal Short Circuit Device

A device implantable in Li-ion cells that can generate a hard internal short circuit on-demand by exposing the cell to 60C has been demonstrated to be valuable for expanding our understanding of cell responses. The device provides a negligible impact to cell performance and enables the instigation of the 4 general categories of cell internal shorts to determine relative severity and cell design susceptibility. Tests with a 18650 cell design indicates that the anode active material short to the aluminum cathode current collector tends to be more catastrophic than the 3 other types of internal shorts. Advanced safety features (such as shutdown separators) to prevent or mitigate the severity of cell internal shorts can be verified with this device. The hard short success rate achieved to date in 18650 cells is about 80%, which is sufficient for using these cells in battery assemblies for field-failure-relevant, cell-cell thermal runaway propagation verification tests

Darcy, Eric↗

Safety and Long-Term Performance of Lithium-ion Pouch Cells

Lithium-ion batteries have the highest energy density of the batteries available in the commercial market today. Although most lithium-ion cell designs use a metal can design, this has changed significantly in recent years. Cell designs are offered in the pouch format as they offer better volumetric and gravimetric energy densities and in some cases, higher tolerance to abuse or off-nominal conditions. In the past decade, several state-of-the-art lithium-ion pouch cell designs have been tested. The pouch cell designs have become more robust in the past two years but there are still a few issues that need to be looked into for optimization. The pouch cells seem to have a tendency to swell when left in storage under ambient conditions. The cells also swell under overvoltage and undervoltage conditions. A significant issue that has been observed is the swelling of the cells under a vacuum condition which could lead to deformation of the cell pouch after this exposure. This last factor would be very critical in the use of these cell designs for space applications as vacuum exposure is used to check for cell and battery leaks before it is flown into space. In rare cases, corrosion of the aluminum layer of the pouches has been observed in stored cells. Pouch material analysis has been carried out in an effort to understand the strength of the pouches and determine if this is a factor in the corrosion as well as unsafe condition of the cells as deformation of the inner layers of the pouch could occur when the cells swell under the various conditions described above. Pouch materials are typically aluminized plastic, made up of a layer of Al sandwiched between one or more layers of polymeric material. Deformations or cell manufacturing processes could lead to a compromise of the inner polymeric layer/s of the pouch leading to the corrosion of the Al layer in the aluminized pouch material. The safety of the pouch cell designs has been determined for cells from various manufacturers. The results are varied and in some cases, unexpected. This paper presents a summary of the tests carried out on a few li-ion pouch cell designs from various cell manufacturers. The data will include performance under different conditions specifically cycling under vacuum conditions with and without restraints as well as safety test data. The presentation will also include detailed analysis of the pouch material for the cells studied.

Jeevarajan, Judith↗

Are Soft Short Tests Good Indicators of Internal Li-ion Cell Defects?

The self discharge test at full state of charge, may not be a good one to detect subtle defects since the li-ion chemistry has the highest self discharge at full state of charge. One should characterize self discharge versus storage time for each cell manufacturer/design to differentiate between normal self discharge and that due to a subtle manufacturing defect. The various soft short test methods indicate that if this test is carried out at full discharge (0% SOC) with all capacity removed (by lowering the current load in a stepwise manner to the same end of discharge voltage), then the cells need to be placed in storage for more than 72 hours to get a good analysis on the presence of subtle defects since it takes more than 72 hours to achieve voltage stabilization. If the cells are to be charged up even to a small percentage (ex. 1%), 72 hours are sufficient to determine issues. However, the pass/fail criteria should be based on a valid OCV decline. Less than 10 mV voltage decline is not a good method to detect subtle defects. As mentioned in the first bullet, self discharge is a competing reaction when a charge is introduced and hence a characterization of the self discharge versus storage time is required to fully correlate voltage decline to a failure due to a subtle defect. Soft short test method cannot be relied on for defect detection because cells with and without voltage decline seemed to have similar defects and characteristics. Screening methods such as internal resistance and capacity as well as a 3-sigma range for OCV, mass and dimensions should be used to screen out outliers. A very critical aspect in the understanding of subtle defects is to carry out destructive analysis of cells from every lot to confirm the quality of production and screen all cells and batteries in a stringent manner to have a high quality set of flight cells. Self Discharge Test: Fully charged cells shall be placed in Open circuit stand for 72 hours (OCV measurement twice a day); continue for total of 14 days with 1 reading per day 2. Soft Short Test 1: Fully charge; cells discharged to manufacturer's end of disch. Voltage (EODV) cutoff at C/5 rate; stand for 30 minutes; discharge with C/500 to the same EODV. stand for another 30 minutes; discharge the cells again using C/1000 current to the same EODV. OCV measurements twice a day for 72 hours and then for total of 14 days (data collection same as in 1.) 3. Soft Short Test 2: Fully charge; cells discharged to the manuf. EODV with a C/13 constant current; provide a 10 hour rest, discharge again to the same EODV with a current of C/250, provide a 10 hour rest, discharge again using a C/250 rate, provide a 24 hour rest, charge using C/250 to 3.15 V (for ~12 hours). OCV measurements twice a day for at 72 hours. (data collection same as in 1.) 4. Soft Short Test 3: Fully charge; cells shall be discharged using C/10 current to manuf. EODV. Allow the cell to remain at Open circuit for 10 seconds. Discharge the cell at C/20 rate to the same EODV, hold open circuit for 24 hours. Discharge the cells at C/200 rate to the same end of voltage cutoff and hold open circuit for 24 hours. Discharge the cells one more time at C/200 rate to the same EODV and hold open circuit for 36 hours. Charge at C/200 rate to 3.15 V and hold for 3 days. Record OCV during the open circuit stand periods every 12 hours and at the beginning and end of the 3 day hold (include the 12 hour OCV recording during this time also). Capacity Cycling: Cells with declining voltages - one cell from each manufacturer chosen for cycling Destructive Physical Analysis (DPA): Cells with and without decline chosen from each lot for DPA.

Jeevarajan, J.↗

Specification For ST-5 Li Ion Battery

This Specification defines the general requirements for rechargeable Space Flight batteries intended for use in the ST-5 program. The battery chemistry chosen for this mission is lithium ion (Li-Ion).

Castell, Karen D.↗

Thermal Imaging of Aerospace Battery Cells

The objective of the research covered by this viewgraph presentation is to understand the thermal characteristics of a cylindrical aerospace battery cell by studying the surface thermal properties. The batteries tested include a nickel hydrogen cell (NiH2), and a lithium-ion cell (Li-ion).

Shue, Jack↗

Improved low temperature performance of lithium ion cells with quaternary carbonate-based electrolytes

In order to enable future missions involving the exploration of the surface of Mars with Landers and Rovers, NASA desires long life, high energy density rechargeable batteries which can operate well at very low temperature (down to 40(deg)C). Lithium-ion technology has been identified as being the most promising chemistry, due to high gravimetric and volumetric energy densities, as well as, long life characteristics. However, the state-of-art (SOA) technology is not sufficient to meet the needs of many applications that require excellent low temperature capabilities. To further improve this technology, work at JF'L has been focused upon developing electrolytes that result in lithium-ion cells with wider temperature ranges of operation. These efforts have led to the identification of a number of ternary and quaternary, all carbonate-based electrolytes that have been demonstrated to result in improved low temperature performance in experimental three-electrode MCMB carbon/LiNio.sCoo.zOz cells. A number of electrochemical characterization techniques were performed on these cells (i.e., Tafel polarization measurements, linear polarization measurements, and electrochemical impedance spectroscopy (EIS)) to further enhance our understanding of the performance limitations at low temperature. The most promising electrolyte formulations, namely 1 .O M LiPF6EC+DEC+DMC+EMC (1 : 1: 1 :2 v/v) and 1 .O M LiPF6 EC+DEC+DMC+EMC (1 : 1 : 1 :3 v/v), were incorporated into SAFT prototype DD-size (9 Ahr) lithium- cells for evaluation. A number of electrical tests were performed on these cells, including rate characterization as a function of temperature, cycle life characterization at different temperatures, as well as, many mission specific characterization test to determine their viability to enable future missions to Mars. Excellent performance was observed with the prototype DD-size cells over a wide temperature range (-50 to 4OoC), with high specific energy being delivered at very low temperatures (i.e, over 95 WHrKg being delivered at 40(deg)C using a C/10 discharge rate).

Li-ion low temperature electrolytes↗

Li-ion cells for terrestrial robots

SAFT prismatic wound 5 Ahr MP series cells were evaluated for potential application in a lithium ion battery designed for Tactical Mobile Robots (TMR). In order to satisfy battery design requirements, a 10 Ahr battery containing two parallel 8-cell strings was proposed. The proposed battery has a weight and volume of approximately 3.2kg and 1.6 liters, respectively. Cell qualification procedures include initial characterization, followed by charge/discharge cycling at 100% DOD with intermittent EIS measurements at various state of charge. Certain cells were also subjected to extreme operational temperatures for worst-case analysis. Excellent specific energy (>130 Whr/kg) was obtained with initial characterization cycles. Even at abusive thermal conditions, the cell capacity fade was less than Ahr after 300 cycles. Rate characterization showed good cell discharge behavior with minimal decrease in capacity. At various state of charge, impedance measurements suggest that the cathode play a more significant role in capacity. At various state of charge impedance measurements suggest that the cathode play a more significant role in capacity fade than the anode.

robots↗

Nanostructured and layered lithium manganese oxide and method of manufacturing the same

Nanostructured and layered lithium manganese oxide powders and methods of producing same. The powders are represented by the chemical formula, LixMn1-yMyO2, where 0.5<x<1.33, 0?y?0.5 and have an average primary particle diameter from 5 nm to 300 nm, preferably between 5 and 100 nm, and M is at least one cation dopant. The powders can be formed into active cathode materials in Li-ion and Li rechargeable batteries.

Singhal, Amit↗

Optimized Li-Ion Electrolytes Containing Fluorinated Ester Co-Solvents

A number of experimental lithium-ion cells, consisting of MCMB (meso-carbon microbeads) carbon anodes and LiNi(0.8)Co(0.2)O2 cathodes, have been fabricated with increased safety and expanded capability. These cells serve to verify and demonstrate the reversibility, low-temperature performance, and electrochemical aspects of each electrode as determined from a number of electrochemical characterization techniques. A number of Li-ion electrolytes possessing fluorinated ester co-solvents, namely trifluoroethyl butyrate (TFEB) and trifluoroethyl propionate (TFEP), were demonstrated to deliver good performance over a wide temperature range in experimental lithium-ion cells. The general approach taken in the development of these electrolyte formulations is to optimize the type and composition of the co-solvents in ternary and quaternary solutions, focusing upon adequate stability [i.e., EC (ethylene carbonate) content needed for anode passivation, and EMC (ethyl methyl carbonate) content needed for lowering the viscosity and widening the temperature range, while still providing good stability], enhancing the inherent safety characteristics (incorporation of fluorinated esters), and widening the temperature range of operation (the use of both fluorinated and non-fluorinated esters). Further - more, the use of electrolyte additives, such as VC (vinylene carbonate) [solid electrolyte interface (SEI) promoter] and DMAc (thermal stabilizing additive), provide enhanced high-temperature life characteristics. Multi-component electrolyte formulations enhance performance over a temperature range of -60 to +60 C. With the need for more safety with the use of these batteries, flammability was a consideration. One of the solvents investigated, TFEB, had the best performance with improved low-temperature capability and high-temperature resilience. This work optimized the use of TFEB as a co-solvent by developing the multi-component electrolytes, which also contain non-halogenated esters, film forming additives, thermal stabilizing additives, and flame retardant additives. Further optimization of these electrolyte formulations is anticipated to yield improved performance. It is also anticipated that much improved performance will be demonstrated once these electrolyte solutions are incorporated into hermetically sealed, large capacity prototype cells, especially if effort is devoted to ensure that all electrolyte components are highly pure.

Prakash, G. K. Surya↗

Lithium-Ion Electrolytes Containing Phosphorous-Based, Flame-Retardant Additives

Future NASA missions aimed at exploring Mars, the Moon, and the outer planets require rechargeable batteries that can operate over a wide temperature range (-60 to +60 C) to satisfy the requirements of various applications. In addition, many of these applications will require improved safety, due to their use by humans. Currently, the state-of-the-art lithium-ion (Li-ion) system has been demonstrated to operate over a wide range of temperatures (-40 to +40 C); however, abuse conditions can often lead to cell rupture and fire. The nature of the electrolyte can greatly affect the propensity of the cell/battery to catch fire, given the flammability of the organic solvents used within. Li-ion electrolytes have been developed that contain a flame-retardant additive in conjunction with fluorinated co-solvents to provide a safe system with a wide operating temperature range. Previous work incorporated fluorinated esters into multi-component electrolyte formulations, which were demonstrated to cover a temperature range from 60 to +60 C. This work was described in Fluoroester Co-Solvents for Low-Temperature Li+ Cells (NPO-44626), NASA Tech Briefs, Vol. 33, No. 9 (September 2009), p. 37; and Optimized Li-Ion Electrolytes Con tain ing Fluorinated Ester Co-Solvents (NPO-45824), NASA Tech Briefs, Vol. 34, No. 3 (March 2010), p. 48. Other previous work improved the safety characteristics of the electrolytes by adding flame-retardant additives such as triphenyl phosphate (TPhPh), tri-butyl phosphate (TBuPh), triethyl phosphate (TEtPh), and bis(2,2,2-trifluoroethyl) methyl phosphonate (TFMPo). The current work involves further investigation of other types of flame-retardant additives, including tris(2,2,2-trifluoroethyl) phosphate, tris(2,2,2-trifluoroethyl) phosphite, triphenylphosphite, diethyl ethylphosphonate, and diethyl phenylphosphonate added to an electrolyte composition intended for wide operating temperatures. In general, many of the formulations investigated in this study displayed good performance over a wide temperature range, good cycle life characteristics, and are expected to have improved safety characteristics, such as low flammability. Of the electrolytes studied, 1.0 M LiPF6 in EC+EMC+DEP (20:75:5 v/v %) and 1.0 M LiPF6 in EC+EMC+DPP (20:75:5 v/v %) displayed the best operation at low temperatures, whereas the electrolyte containing triphenylphosphite displayed the best cycle life performance compared to the baseline solution. It is anticipated that further improvements can be made to the life characteristics with the incorporation of a SET promoters (such as VC, vinylene carbonate), which will likely inhibit the decomposition of the flame-retardant additives.

Smart, Marshall C.↗

NASA Tech Briefs, April 2013

Topics covered include: Fully Integrated, Miniature, High-Frequency Flow Probe Utilizing MEMS Leadless SOI Technology; Nanoscale Surface Plasmonics Sensor With Nanofluidic Control; Advanced Dispersed Fringe Sensing Algorithm for Coarse Phasing Segmented Mirror Telescopes; Neural Network Back-Propagation Algorithm for Sensing Hypergols; Bulk Moisture and Salinity Sensor; Change-Based Satellite Monitoring Using Broad Coverage and Targetable Sensing; Circularly Polarized Microwave Antenna Element with Very Low Off-Axis Cross-Polarization; Ultra-Low Heat-Leak, High-Temperature Superconducting Current Leads for Space Applications; Flash Cracking Reactor for Waste Plastic Processing; An Automated Safe-to-Mate (ASTM) Tester; Wireless Chalcogenide Nanoionic-Based Radio-Frequency Switch; Compute Element and Interface Box for the Hazard Detection System; DOT Transmit Module; Composite Aerogel Multifoil Protective Shielding; Li-Ion Electrolytes with Improved Safety and Tolerance to High-Voltage Systems; Polymer-Reinforced, Non-Brittle, Lightweight Cryogenic Insulation; Controlled, Site-Specific Functionalization of Carbon Nanotubes with Diazonium Salts; Regenerable Sorbent for CO2 Removal; Sprayable Aerogel Bead Compositions With High Shear Flow Resistance and High Thermal Insulation Value; Lexan Linear Shaped Charge Holder with Magnets and Backing Plate; Robotic Ankle for Omnidirectional Rock Anchors; Wind, Wave, and Tidal Energy Without Power Conditioning; An Active Heater Control Concept to Meet IXO Type Mirror Module Thermal-Structural Distortion Requirement; Waterless Clothes-Cleaning Machine; Integrated Electrical Wire Insulation Repair System; LVGEMS Time-of-Flight Mass Spectrometry on Satellites; Surface Inspection Tool for Optical Detection of Surface Defects; Per-Pixel, Dual-Counter Scheme for Optical Communications; Certification-Based Process Analysis; Surface Navigation Using Optimized Waypoints and Particle Swarm Optimization; Smart-Divert Powered Descent Guidance to Avoid the Backshell Landing Dispersion Ellipse; Estimating Foreign-Object-Debris Density from Photogrammetry Data; Adaptive Sampling of Spatiotemporal Phenomena with Optimization Criteria; Building a 2.5D Digital Elevation Model From 2D Imagery; Eyes on the Earth 3D; Target Trailing With Safe Navigation for Maritime Autonomous Surface Vehicles; Adams-Based Rover Terramechanics and Mobility Simulator - ARTEMIS; ISTP CDF Skeleton Editor; Uplink Summary Generator (ULSGEN) Version 1.0; Robotics On-Board Trainer (ROBoT); Software Engineering Tools for Scientific Models; Automatic Data Filter Customization Using a Genetic Algorithm; Tracker Toolkit; Towards Efficient Scientific Data Management Using Cloud Storage; On a Formal Tool for Reasoning About Flight Software Cost Analysis; A Nanostructured Composites Thermal Switch Controls Internal and External Short Circuit in Lithium Ion Batteries; Spacecraft Crew Cabin Condensation Control; and Functional Near-Infrared Spectroscopy Signals Measure Neuronal Activity in the Cortex.

Source record↗