Abstract: Disclosed herein is a solid-state battery with a solid electrolyte that includes the compound (NaxLi3-x)(3-y)/3Y1-yZryCl6, where x is equal to or greater than 0 and less than 3 and where y is greater than 0 and less than 1. Where x=1 and y=0.75, the compound is Na0.75 Li1.5Y0.25Zr0.75Cl6. The solid-state battery can be configured as a lithium-ion battery, a sodium-ion battery, or a hybrid battery that uses both lithium ions and sodium ions as charge carriers.

Abstract: Disclosed herein is the compound (NaxLi3-x)(3-y)/3Y1-yZryCl6, where x is greater than 0 and less than 3 and where y is greater than 0 and less than 1. Where x=1 and y=0.75, the compound is Na0.75Li1.5Y0.25Zr0.75Cl6. The compound is usable as an effective solid electrolyte for a solid-state battery. The solid electrolyte can utilize lithium ions and/or sodium ions as charge carriers.

Abstract: Examples are disclosed that relate to forming embeddings comprising vector representations of chemical structures, and performing chemical similarity searches. One example provides a method of forming a vector database using a pre-trained neural network, the method comprising inputting labeled training data into the pre-trained neural network configured to form embeddings of chemical structures, the labeled training data comprising structural information and a value of a property for each chemical object in a first set of chemical objects. The method further comprises fine-tuning the pre-trained neural network and forming the vector database by inputting a reference dataset into the fine-tuned neural network to generate embeddings of chemical structures, the reference dataset comprising structural information for each chemical object in a second set of chemical objects.

Abstract: Diesel fuel compositions, include both fully formulated fuel compositions and paraffinic compositions, are disclosed made from a carbon source gas, such as carbon dioxide, and a reduction gas, such as hydrogen gas. Also disclosed are methods and systems of making diesel fuel compositions from carbon dioxide.

Abstract: A dynamic catalytic conversion reactor having a plurality of operating zones is disclosed that adjusts operation based on incoming hydrogen from a fluctuating renewable energy source. The dynamic reactor is configured to turn on and off supply of feed gas to certain zones based on hydrogen supply, and maintains catalyst activity within all operating and idle zones by applying one of a number of gas flow options through the idle zones. Methods and systems of using the dynamic reactor are also disclosed.

Abstract: Examples are disclosed that relate to materials discovery using machine learning models. One example provides a method enacted on a computing system. The method comprises receiving a query comprising one or more of element information and material property information, and, based on the query, retrieving material data from a materials information database. The material data comprises structural information for each material within a set of materials matching the query, the set comprising one or more materials, and for one or more materials in the set of materials, one or more predicted material properties determined using one or more trained machine learning models. The method further comprises outputting the material data.

Abstract: Provided herein are systems and methods for converting carbon dioxide into ethanol and/or light olefins, such as ethylene and propylene. The systems and methods may be utilized to increase the yield of diverse and usable products by converting an otherwise undesirable light hydrocarbon stream, e.g., from a process for converting carbon dioxide to fuel.

Abstract: Provided herein are systems and methods for converting CO2 and a reduction gas such as H2 or a hydrocarbon to mixtures of paraffins and aromatics suitable for use as aviation fuel.

Abstract: An electronic apparatus with a two-way cable connection construction is provided. The electronic apparatus includes a casing kit and an electronic device. The casing kit includes a casing, a main circuit board and an auxiliary circuit board. The main circuit board and the auxiliary circuit board are disposed inside the casing. The auxiliary circuit board and the main circuit board are electrically connected to each other and non-coplanar with each other. When the electronic device is inserted into a mounting slot of the casing along a first direction, a mating electrical connector of the electronic device is connected to a first electrical connector of the auxiliary circuit board. When the electronic device is inserted into the mounting slot of the casing along a second direction opposite to the first direction, the mating electrical connector of the electronic device is connected to a second electrical connector of the auxiliary circuit board.

Abstract: A dynamic catalytic conversion reactor having a plurality of operating zones is disclosed that adjusts operation based on incoming hydrogen from a fluctuating renewable energy source. The dynamic reactor is configured to turn on and off supply of feed gas to certain zones based on hydrogen supply, and maintains catalyst activity within all operating and idle zones by applying one of a number of gas flow options through the idle zones. Methods and systems of using the dynamic reactor are also disclosed.

Abstract: Examples are disclosed that relate to forming embeddings comprising vector representations of chemical structures, and performing chemical similarity searches based on embeddings. One example provides a method comprising receiving a query comprising chemical structure information for a target chemical object, and, based on the query, inputting the chemical structure information into a trained neural network configured to form embeddings of chemical structures. The method further comprises receiving an embedding for the target chemical object from the trained neural network, the embedding comprising a vector representation of the target chemical object, based at least on a similarity score between the embedding for the target chemical object and each of one or more embeddings stored in a vector database, retrieving query results from the vector database, the query results comprising a set of embeddings and metadata for a corresponding set of chemical objects, and outputting the query results.

Abstract: Techniques are directed to migrating a virtual machine. Such techniques involve acquiring a source operation status of a virtual machine on a source-type datastore. Such techniques further involve determining a plurality of candidate migration actions for migrating the virtual machine from the source-type datastore to various types of datastores respectively. Such techniques further involve determining a plurality of action scores based on the source operation status and the plurality of candidate migration actions. Such techniques further involve selecting a target action based on the plurality of action scores. Such techniques further involve migrating the virtual machine from the source-type datastore to a target-type datastore indicated by the target action by performing the target action.

Abstract: Techniques are directed to wear leveling. Such techniques involve: determining, at least based on the type information of each redundant array of independent disks (RAID) group in a plurality of RAID groups, the write loss of each of the RAID groups. Such techniques further involve: determining the wear status of each of the RAID groups according to the status information and write loss of each of the RAID groups. Such techniques further involve: transferring at least a portion of data and/or a write task of a first RAID group to a second RAID group based on the write loss and the wear status of each of the RAID groups. With such wear leveling techniques, wear caused by write tasks can be evenly distributed among the RAID groups, so that the degree of wear among the RAID groups is more leveled.

Abstract: Techniques for generating a test case involve: acquiring a first set of coding sequences representing a first set of test cases selected from a test case set for product testing. A test element in a test case of the test case set is coded based on the position of the test element in the element hierarchy of the test case set. The techniques further involve: generating a second set of coding sequences by performing a random variation related to at least one test element with respect to the first set of coding sequences; and generating a second set of test cases based on the second set of coding sequences. Accordingly, product testing and development may be automated, and the case set may change dynamically in a way that is adapted to product development while significantly reducing the overhead of designing and reviewing test cases throughout the product life cycle.

Abstract: Embodiments of the present disclosure provide a method, an electronic device, and a computer program product for backing up data. The method may include acquiring a system state of a storage system according to a data backup task. The method further includes generating, by a reinforcement learning model, a plurality of candidate backup policies based on the system state. The method further includes determining a plurality of reward values for the plurality of candidate backup policies based on amounts of resources occupied by an IO task in a plurality of time periods corresponding to the data backup task. The method further includes selecting a target backup policy based on the plurality of reward values. The method further includes performing the data backup task using the target backup policy.

Abstract: A vehicle brake system (10), a vehicle, and a control method are provided. The brake system (10) includes a main brake module (110) and a redundant brake module (120). When the main brake module (110) works normally and communication between the two modules (110 and 120) is normal, the main brake module (110) may detect a status of an electronic handbrake switch (130), control a first caliper actuator based on the status, and send a first control signal generated based on the status to the redundant brake module (120). The redundant brake module (120) may control a second caliper actuator based on the first control signal. When the main brake module (110) or the communication between the two modules (110 and 120) is abnormal, the redundant brake module (120) may detect the status of the electronic handbrake switch (130), and control the second caliper actuator based on the status.

Abstract: An integrated circuit includes a substrate, a transistor over the substrate, a first inter-metal dielectric (IMD) layer over the transistor, a metal via in the first IMD layer, a first 2-D material layer cupping an underside of the metal via, a second IMD layer over the metal via, a metal line in the second IMD layer, and a second 2-D material layer cupping an underside of the metal line. The second 2-D material layer span across the metal via and the first 2-D material layer.

Abstract: An apparatus comprises a processing device configured to maintain, for a storage system implementing a mapped redundant array of independent disks (RAID) configuration including disk groups providing RAID groups comprising data and hot spare extents, a shared pool of hot spare extents comprising first and second sets of hot spare extents from first and second ones of the disk groups. The processing device is further configured to detect failure of a disk in the first disk group, to determine whether available ones of the first set of hot spare extents provide sufficient storage capacity for rebuilding the failed disk and, responsive to determining that available ones of the first set of hot spare extents do not provide sufficient storage capacity for rebuilding the failed disk, to rebuild the failed disk utilizing one or more of the second set of hot spare extents in the shared pool of hot spare extents.

Abstract: A dynamic catalytic conversion reactor having a plurality of operating zones is disclosed that adjusts operation based on incoming hydrogen from a fluctuating renewable energy source. The dynamic reactor is configured to turn on and off supply of feed gas to certain zones based on hydrogen supply, and maintains catalyst activity within all operating and idle zones by applying one of a number of gas flow options through the idle zones. Methods and systems of using the dynamic reactor are also disclosed.

Abstract: A method includes: determining, in response to a failure of a disk where a RAID extent (RE) in a storage system is located, a first disk set based on a predetermined range and the failed disk, wherein the first disk set comprises a plurality of disks within the predetermined range that are associated with the RE; determining a second disk set for rebuilding data located on the failed disk based on other disks in the first disk set than the plurality of disks that are associated with the RE; determining scores for disks in the second disk set based on disk correlations, RE spans, and weights of the plurality of disks in the second disk set; determining a target disk among the plurality of disks in the second disk set based on the plurality of scores; and rebuilding the data located on the failed disk on the target disk.