The invention provides rechargeable batteries including a solid state electrolyte (SSE) containing an alkali metal disposed between two electrodes. The batteries are volumetrically constrained imparting increased stability under voltage cycling conditions, e.g., through microstructure mechanical constriction on the solid state electrolyte and the electrolyte-electrode interface. These batteries of the invention are advantageous as they may be all-solid-state batteries, e.g., no liquid electrolytes are necessary, and can achieve higher voltages with minimal electrolyte degradation.
Debugging An Executable Control Flow Graph That Specifies Control Flow
- Lexington MA, US Mark Staknis - Concord MA, US Xin Li - Nashua NH, US
International Classification:
G06F 11/36 G06F 11/32
Abstract:
A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed.
Debugging An Executable Control Flow Graph That Specifies Control Flow
- Lexington MA, US Mark Staknis - Concord MA, US Xin Li - Nashua NH, US
International Classification:
G06F 11/36
Abstract:
A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed.
A method, system, and cable for transferring analog audio signals from an analog audio source to an audio sink, where the audio sink has a USB-C connector. The cable is coupled to the audio source and to the USB-C connector of the audio sink. The cable is constructed and arranged to carry audio signals. The audio sink detects the coupling of the cable to the USB-C connector of the audio sink. Responsive to this detecting, the audio sink receives analog audio signals from the audio source over the cable.
- Cambridge MA, US Jinhyuk Lee - Cambridge MA, US Alexander Urban - Somerville MA, US Xin Li - Brookline MA, US Sangtae Kim - Cambridge MA, US Geoffroy Hautier - Brussells, BE
This disclosure provides a positive electrode active lithium-excess metal oxide with composition LiMO(0.6≦y≦0.85 and 0≦x+y≦2) for a lithium secondary battery with a high reversible capacity that is insensitive with respect to cation-disorder. The material exhibits a high capacity without the requirement of overcharge during the first cycles.
- Cambridge MA, US Jinhyuk Lee - Cambridge MA, US Sangtae Kim - Cambridge MA, US Xin Li - Brookline MA, US
Assignee:
Massachusetts Institute of Technology - Cambridge MA
International Classification:
H01M 4/36 H01M 4/485
US Classification:
429217, 4292311, 429231, 2521821
Abstract:
The present disclosure describes, among other things, new layered molybdenum oxides for lithium ion battery cathodes from solid solutions of LiMoOand LiCrO. These materials display high energy density, good rate capability, great safety against oxygen release at charged state due mostly to their low voltage. Therefore, these materials have properties desirable for lithium ion battery cathodes.
- Cambridge MA, US Jinhyuk Lee - Cambridge MA, US Alexander Urban - Somerville MA, US Xin Li - Brookline MA, US Sangtae Kim - Cambridge MA, US Geoffroy Hautier - Brussels, BE
Assignee:
Massachusetts Institute of Technology - Cambridge MA
This disclosure provides a positive electrode active lithium-excess metal oxide with composition LiMO(0.6≦y≦0.85 and 0≦x+y≦2) for a lithium secondary battery with a high reversible capacity that is insensitive with respect to cation-disorder. The material exhibits a high capacity without the requirement of overcharge during the first cycles.