Patents by Inventor Shaoxin Wang

Shaoxin Wang has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • INTERLOCKING DATA SAFE CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR
    Publication number: 20240220392
    Abstract: An interlocking data safe conversion method for formal verification and a translator. Two translators with same functions are developed by adopting different programming methods and programming languages. An input file of each of the translators at least comprises an interlocking information table in interlocking data, a device interface information table, a station yard description data and interlocking Boolean logic data. Consistency of output files of the two translators is compared to realize detection process failure.
    Type: Application
    Filed: September 11, 2021
    Publication date: July 4, 2024
    Inventors: Min WEI, Yanqin WANG, Mingyao ZHANG, Shaoxin WANG, Fan YANG, Xiao LUI, Cheng ZHANG, Wenyan ZHANG
  • Ce-based composite oxide catalyst, preparation method and application thereof
    Patent number: 9498770
    Abstract: Disclosed is a Ce-based composite oxide catalyst for selective catalytic reducing nitrogen oxides with ammonia, which comprises Ce oxide and at least one oxide of transition metal except Ce. The Ce-based composite oxide catalyst is prepared by a simple method which uses non-toxic and harmless raw materials, and it has the following advantages: high catalytic activity, and excellent selectivity for generating nitrogen etc. The catalyst can be applied in catalytic cleaning plant for nitrogen oxides from mobile and stationary sources.
    Type: Grant
    Filed: November 9, 2011
    Date of Patent: November 22, 2016
    Assignee: Research Center for Eco-Environmental Sciences, Chinese Academy of Sciences
    Inventors: Hong He, Wenpo Shan, Fudong Liu, Xiaoyan Shi, Changbin Zhang, Shaoxin Wang
  • Ce-BASED COMPOSITE OXIDE CATALYST, PREPARATION METHOD AND APPLICATION THEREOF
    Publication number: 20130202513
    Abstract: Disclosed is a Ce-based composite oxide catalyst for selective catalytic reducing nitrogen oxides with ammonia, which comprises Ce oxide and at least one oxide of transition metal except Ce. The Ce-based composite oxide catalyst is prepared by a simple method which uses non-toxic and harmless raw materials, and it has the following advantages: high catalytic activity, and excellent selectivity for generating nitrogen etc. The catalyst can be applied in catalytic cleaning plant for nitrogen oxides from mobile and stationary sources.
    Type: Application
    Filed: November 9, 2011
    Publication date: August 8, 2013
    Applicant: Research Center For Eco-Environmental Sciences Chinese Academy of Sciences
    Inventors: Hong He, Wenpo Shan, Fudong Liu, Xiaoyan Shi, Changbin Zhang, Shaoxin Wang