Abstract: The present invention provides a high voltage ride-through method for wind power based on coordinated control of energy storage and reactive compensation devices, comprising fault determination based on voltages of grid connection points of wind farms; setting voltage fluctuation thresholds of grid connection points under faults, and determining whether to implement super capacitor, doubly-fed induction generator, and static var generator coordinated control strategies based on voltage fluctuation thresholds of grid connection points of commutation bus voltages under faults; calculating reactive power shortage of grid connection points under faults based on the control strategies; and determining whether the reactive power shortage of grid connection points is within wind farm regulation ranges and implement corresponding control strategies to adjust voltages based on the reactive power shortage; and determining whether to utilize static var generators to compensate reactive power based on reactive power comp

Abstract: A luminescent probe and its preparation method and application are provided. The luminescent probe has a steric hindrance group R1 of aliphatic hydrocarbon structure such as adamantane or norborneol, a detection group R2 of nitrobenzyl and its derivative structure, an electron-withdrawing group R3 containing cyano group and an electron-donating group methoxy group. In the presence of HSA or BSA, the detection group is cut off to form a parent structure that exposes atomic oxygen anions and is activated under external light irradiation, the luminescent probe can be used in solution or cells, when detecting HSA or BSA, the luminescent probe has obvious chemiluminescence characteristics, which can sensitively distinguish HSA and BSA, quantitatively analyze HSA and BSA, and determine the mixing ratio of HSA and BSA at the same time, and the luminescent probe has been successfully used for cell fluorescence imaging.

Abstract: The present invention discloses an assembled bamboo sleeper, which is obtained by using a bamboo unit as a raw material, dried and modified at the temperature of 110-180° C., undergone coating treatment using a dopamine solution, adhesive dipping, curing and solidifying, assembling and gluing, further solidifying, further treatment using a dopamine solution, and anti-mildew and/or anti-corrosion and/or anti-insect treatment, and then fastened. The present invention further provides a preparation method for the foregoing bamboo sleeper. The bamboo sleeper prepared in the present invention is green and environmentally friendly, and applicable for ballasted tracks of railways and urban rail transit systems.

Abstract: A cathode additive, comprising, in percentage by mass, 10% to 40% of carbon-coated lithium manganese iron phosphate and an organic solvent. The carbon-coated lithium manganese iron phosphate is dispersed in the organic solvent, and the median particle diameter of the carbon-coated lithium manganese iron phosphate is 30 nm to 100 nm.

Abstract: A cathode additive, comprising, in percentage by mass, 10% to 40% of carbon-coated lithium manganese iron phosphate and an organic solvent. The carbon-coated lithium manganese iron phosphate is dispersed in the organic solvent, and the median particle diameter of the carbon-coated lithium manganese iron phosphate is 30 nm to 100 nm.

Abstract: An improved method for manufacturing alkaline (e.g., zinc-manganese dioxide) electrochemical cells and a corresponding anode formulation are disclosed. In particular, zinc and a mixture of gelling agents are employed to better control the manufacturing conditions and to improve the overall performance of the resulting battery. The gelling agents are selected to have differences in resistivity, viscosity and polymerization/cross-linking. The zinc may be of any type, as is known in the art.

Abstract: A hand-held power tool is equipped with a dust extraction device which includes a dust box for holding dust. A closing flap is arranged in a tube section which lies in the flow path to the dust box, and this closing flap can be adjusted between the closed position and the open position. The closing flap is pivotably held in the region of the inner wall of the tube section and can be opened in the direction of the dust box. In the closed position, the closing flap bears against a stop which protrudes into the tube section, extends at an angle with respect to the direction of flow through the tube connection piece, and forms a stop line or stop area against which the closing flap correspondingly bears.

Abstract: A hand-held power tool is equipped with a dust extraction device which includes a dust box for holding dust. A closing flap is arranged in a tube section which lies in the flow path to the dust box, and this closing flap can be adjusted between the closed position and the open position. The closing flap is pivotably held in the region of the inner wall of the tube section and can be opened in the direction of the dust box. In the closed position, the closing flap bears against a stop which protrudes into the tube section, extends at an angle with respect to the direction of flow through the tube connection piece, and forms a stop line or stop area against which the closing flap correspondingly bears.

Abstract: A method for symbolic model checking for sequential systems using a combination of state-based and state-less approaches. A state-based method is used to compute frontier states by building transition relations on-the-fly using control flow information of the system, and performing successive image computations until a memory bound is reached, and efficiently storing only the new frontier states as disjunctive partitions of Boolean and Arithmetic expressions. A stateless method is used to check reachability of given goal states from a heuristically chosen set of frontier states until depth/time bound is reached. These two methods are alternated until one of the following occurs: all frontier states are explored, all goal states are reached, all computing resources are exhausted. Even though we do not store the entire reachable state set, we guarantee a complete coverage for terminating programs without the need to compute a fixed-point.

Abstract: A method for symbolic model checking for sequential systems using a combination of state-based and state-less approaches. A state-based method is used to compute frontier states by building transition relations on-the-fly using control flow information of the system, and performing successive image computations until a memory bound is reached, and efficiently storing only the new frontier states as disjunctive partitions of Boolean and Arithmetic expressions. A stateless method is used to check reachability of given goal states from a heuristically chosen set of frontier states until depth/time bound is reached. These two methods are alternated until one of the following occurs: all frontier states are explored, all goal states are reached, all computing resources are exhausted. Even though we do not store the entire reachable state set, we guarantee a complete coverage for terminating programs without the need to compute a fixed-point.

Abstract: The invention relates to a non-invasive method to diagnose the changes of molecular structures of organism tissues from body surface and a dedicated apparatus. The apparatus is comprised of a Fourier Transform infrared spectrometer and a set of additional accessories. Said additional accessories include a mid-IR fiber optics sampling attachment, a fiber coupling part, and an infrared detector part. The detection method is comprised of placing the ATR probe of the dedicated apparatus on the skin surface of a region to be tested, and scanning more than one time in which the resolution of the apparatus is 1-32 cm?1 and the range of the spectrum is 800-4000 cm?1. It is possible to detect changes in molecular structures of living biological tissues in the early stages of cancer, and testees will not feel uncomfortable during testing. The method is easy to operate, quick, accurate, and it doesn't harm the body.

Abstract: The invention relates to a non-invasive method to diagnose the changes of molecular structures of organism tissues from body surface and a dedicated apparatus. The apparatus is comprised of a Fourier Transform infrared spectrometer and a set of additional accessories. Said additional accessories include a mid-IR fiber optics sampling attachment, a fiber coupling part, and an infrared detector part. The detection method is comprised of placing the ATR probe of the dedicated apparatus on the skin surface of a region to be tested, and scanning more than one time in which the resolution of the apparatus is 1-32 cm?1 and the range of the spectrum is 800-4000 cm?1. It is possible to detect changes in molecular structures of living biological tissues in the early stages of cancer, and testees will not feel uncomfortable during testing. The method is easy to operate, quick, accurate, and it doesn't harm the body.

Abstract: The invention encompasses batteries, battery electrodes and methods of forming batteries and battery electrodes. In one aspect, the invention includes a method of forming a battery electrode comprising: a) forming an electrode material mixture, the electrode material mixture comprising electrode active material, a conductive medium, and EPM; and b) curing the electrode material mixture to form an electrode having a thickness of less than 24 mils. In another aspect, the invention includes a battery comprising: a) a first electrode comprising: i) a thickness of less than 24 mils; ii) electrode active material; iii) a conductive medium; and iv) a binder comprising EPM; b) a second electrode; and c) an electrolyte between the first and second electrodes. In yet another aspect, the invention encompasses a battery electrode comprising EPM and a thickness of greater than 0 and less than 24 mils.

Abstract: The invention encompasses battery electrolytes and batteries. In one aspect, the invention encompasses a battery electrolyte which includes the lithium salts, LiN(CF3SO2)2, and LiCF3SO3 in a solvent blend comprising ethylene carbonate, propylene carbonate, and 1,2-dimethoxyethane. In another aspect, the invention encompasses a battery. The battery includes a first electrode, a second electrode, and an electrolyte between the first and second electrodes. The electrolyte comprises these lithium salts in a solvent blend comprising ethylene carbonate, propylene carbonate, and 1,2-dimethoxyethane. In yet another aspect, the invention encompasses another embodiment of a battery. The battery includes a cathode comprising at least one of MnO2 and (CF)x, and an anode comprising lithium. The battery further includes a non-aqueous electrolyte between the cathode and the anode.

Abstract: The invention encompasses batteries, battery electrodes and methods of forming batteries and battery electrodes. In one aspect, the invention includes a method of forming a battery electrode comprising: a) forming an electrode material mix comprising electrode active material, a conductive medium, and polymeric binder materials consisting essentially of PVDF, copolymers of vinylidene fluoride and hexafluoropropylene, or mixtures thereof; b) curing the electrode mix to form a compressible material; and c) compressing the compressible material into an electrode.

Abstract: The method encompasses batteries, battery electrodes and methods of forming batteries and battery electrodes. In one aspect, the invention includes a mixture of PTFE and a compound selected from the group consisting of PVDF, copolymers of vinylidene fluoride and hexafluoropropylene, and mixtures thereof in a cathode binder. In another aspect, the invention includes a battery electrode comprising PTFE and a compound selected from the group consisting of PVDF, copolymers of vinylidene fluoride and hexafluoropropylene, and mixtures thereof. In another aspect, the invention includes a battery comprising: a) a cathode; b) an anode; and c) wherein at least one of the cathode or the anode comprises PTFE and a compound selected from the group consisting of PVDF, copolymers of vinylidene fluoride and hexafluoropropylene, and mixtures thereof.

Abstract: The invention encompasses batteries, battery electrodes and methods of forming batteries and battery electrodes. In one aspect, the invention includes a mixture of PTFE and a compound selected from the group consisting of PVDF, copolymers of vinylidene fluoride and hexafluoropropylene, and mixtures thereof in a cathode binder. In another aspect, the invention includes a battery electrode comprising PTFE and a compound selected from the group consisting of PVDF, copolymers of vinylidene fluoride and hexafluoropropylene, and mixtures thereof. In another aspect, the invention includes a battery comprising: a) a cathode; b) an anode; and c) wherein at least one of the cathode or the anode comprises PTFE and a compound selected from the group consisting of PVDF, copolymers of vinylidene fluoride and hexafluoropropylene, and mixtures thereof.