Abstract: An energy storage power supply includes an energy storage inverter and multiple battery modules, and the multiple battery modules are arranged in any horizontal direction and are connected in series and/or in parallel with each other, the energy storage inverter is arranged above any one of the multiple battery modules, and the energy storage inverter is connected in series and/or in parallel with the battery module arranged below the energy storage inverter. The energy storage power supply realizes a conversion between direct current and alternating current by connecting the energy storage inverter and the multiple battery modules in series and/or in parallel with each other, and reduces an overall height of the energy storage power supply by arranging the battery modules and a base in any horizontal direction, which facilitates subsequent overhaul and maintenance.

Abstract: It relates to an apparatus, a device, a method, and a computer program for generating test cases for a verification of hardware instructions of a hardware device in a hypervisor. The apparatus comprises circuitry configured to generate a transition table based on a specification of the hardware device. The transition table comprises a plurality of entries. Each entry represents a change of a state of the hardware device in response to an event. The circuitry is configured to determine entries of the transition table that are equivalent. The circuitry is configured to generate a plurality of test cases based on the entries of the transition table. At least one entry of the transition table is omitted in the generation of the test cases due to being equivalent to another entry of the transition table.

Abstract: A rail vehicle includes a bogie, multiple wheels, a chassis, and a carriage. The wheels are disposed on the bogie. The chassis is disposed on the bogie and connected to the bogie through a first suspension. The carriage is disposed on the chassis and connected to the chassis through a second suspension.

Abstract: Examples relate to an apparatus, a device, a method, and a computer program for generating a test specification for testing software code of a function under test. The apparatus for generating the test specification for testing software code of a function under test comprises circuitry configured to extract a plurality of symbols from the software code of the function under test, generate a plurality of test vectors with corresponding sets of expected results for the function under test based on the plurality of symbols, and generate a test specification based on the plurality of test vectors and the corresponding sets of expected results.

Abstract: A fuse mounting structure and a batter system are provided according to the present application, the fuse mounting structure is used for mounting a fuse to a battery box, and includes a drawer and a fuse base; where the fuse base is mounted in the battery box, and the drawer is used for mounting the fuse; the drawer is provided with a guide device in a sliding fit with the fuse base, so as to guide the drawer to be inserted into the fuse base. According to the fuse mounting structure, the guide device is arranged on the drawer, the guide device guides the drawer with fuse when the drawer enters the fuse base, there is no need to align the plug-in holes, which realizes blind insertion of fuses and reduces the workload of fuse insertion.

Abstract: A fuse mounting structure and a batter system are provided according to the present application, the fuse mounting structure is used for mounting a fuse to a battery box, and includes a drawer and a fuse base; where the fuse base is mounted in the battery box, and the drawer is used for mounting the fuse; the drawer is provided with a guide device in a sliding fit with the fuse base, so as to guide the drawer to be inserted into the fuse base. According to the fuse mounting structure, the guide device is arranged on the drawer, the guide device guides the drawer with fuse when the drawer enters the fuse base, there is no need to align the plug-in holes, which realizes blind insertion of fuses and reduces the workload of fuse insertion.

Abstract: Provided is a composition for detecting a novel coronavirus, influenza A virus and influenza B virus; moreover, also provided are a kit including the composition, an application of the kit, and a method for detecting and typing viruses causing respiratory tract infection.

Abstract: Provided are DDX24 mutations and the use thereof, wherein the mutations include Glu271Lys, Lys11Glu and Arg436His. The mutations, i.e. Glu271Lys, Lys11Glu and Arg436His, of DDX24 gene are significantly associated with the development of blood vessels. It would result in vascular malformations by interfering with DDX24. In addition, the onset of human vascular malformations can be predicted by detecting the SNP sites of DDX24.