Abstract: The present invention discloses a catalytic hydrogenation method for carbon nine resin, comprising the following steps: 1) adding a Pt—W—Y/?-Al2O3 catalyst in the first half of a fixed bed, adding a Pd—Zr—Nd/?-Al2O3 catalyst in the second half of the fixed bed, and feeding hydrogen for reduction; and 2) catalytic hydrogenating the pretreated carbon nine resin in the fixed bed. In the present invention, different catalysts capable of reacting under the same catalytic conditions are added in the first and second halves of the fixed bed, and the two different catalysts play different roles, and can be active and complementary to each other under the same conditions. The synergistic effect of the two catalysts plays a good catalytic role. Moreover, the production process is simplified, and the production cost is saved.

Abstract: An air guide ring for an air conditioner outdoor unit is provided. The air guide ring includes an air guide ring body. An air guide channel is defined in the air guide ring body. The air guide ring body includes a first limiting portion and a second limiting portion. The first limiting portion and the second limiting portion are configured to fit with a fixing member of the air conditioner outdoor unit and to implement bi-directional limiting, so as to prevent inward contraction deformation and outward expansion deformation of the air guide ring body from occurring.

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.