Patents by Inventor Xupeng LI

Xupeng LI 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).

  • Patent number: 12252137
    Abstract: The present disclosure relates to vehicle positioning methods, apparatus, controllers, intelligent vehicles, and systems. One example vehicle positioning method includes obtaining a first relative pose between a first vehicle and a help providing object, obtaining a global pose of the help providing object, and calculating a global pose of the first vehicle based on the first relative pose and the global pose.
    Type: Grant
    Filed: July 14, 2022
    Date of Patent: March 18, 2025
    Assignee: Shenzhen Yinwang Intelligent Technologies Co., Ltd.
    Inventors: Yangjie Pan, Weilong Hu, Xupeng Li, Tao Ding
  • Publication number: 20240419808
    Abstract: Mechanisms for verifying software are provided, the mechanisms including: identifying a plurality of layers of code of the software including a lowest layer, a middle layer, and a highest layer; generating a low-level specification and an identical refinement proof for each of the plurality of layers using a hardware processor; generating a high-level specification and a lifting refinement proof for each of the plurality of layers; and verifying the software based on the low-level specifications, the identical refinement proofs, the high-level specifications, and the lifting refinement proofs. In some embodiments, one of the low-level specifications is generated using Fixedpoint construction. In some embodiments, one of the high-level specifications is generated by applying a set of transformation rules to one of the low-level specifications.
    Type: Application
    Filed: June 17, 2024
    Publication date: December 19, 2024
    Inventors: Jason Nieh, Wei Qiang, Xuheng Li, Xupeng Li, Ronghui Gu
  • Publication number: 20240012728
    Abstract: Mechanisms for verifying software on a multi-CPU machine are provided, the mechanisms including: using a hardware processor: reordering, in a shared log, a first local CPU event from a local CPU operating on a shared object to be before at least one first prior oracle query corresponding to a prior event from another CPU based on whether the first local CPU event can be reordered with respect to the prior event without changing the multi-CPU machine's behavior with respect to the shared object; merging first consecutive oracle queries including the at least one first prior oracle query in the shared log; and verifying the software based on the merged first consecutive oracle queries.
    Type: Application
    Filed: July 10, 2023
    Publication date: January 11, 2024
    Inventors: Jason Nieh, Ronghui Gu, Xuheng Li, Xupeng Li
  • Publication number: 20220371602
    Abstract: The present disclosure relates to vehicle positioning methods, apparatus, controllers, intelligent vehicles, and systems. One example vehicle positioning method includes obtaining a first relative pose between a first vehicle and a help providing object, obtaining a global pose of the help providing object, and calculating a global pose of the first vehicle based on the first relative pose and the global pose.
    Type: Application
    Filed: July 14, 2022
    Publication date: November 24, 2022
    Inventors: Yangjie PAN, Weilong HU, Xupeng LI, Tao DING
  • Publication number: 20200409740
    Abstract: Systems comprising: a memory; and a hardware processor and configured to: execute a hypervisor having a first portion and a second portion, wherein the first portion of the hypervisor executes at a first exception level that allows the first portion to access data of a virtual machine in the hardware processor and the memory, and wherein the second portion of the hypervisor executes at a second exception level that prevents the second portion from accessing the data of the virtual machine in the hardware processor and the memory. Methods comprising: executing a first portion of a hypervisor at a first exception level that allows the first portion to access data of a virtual machine in a hardware processor and memory; and executing a second portion of a hypervisor at a second exception level that prevents the second portion from accessing the data in the hardware processor and the memory.
    Type: Application
    Filed: June 29, 2020
    Publication date: December 31, 2020
    Inventors: Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh
  • Publication number: 20200370094
    Abstract: The present invention discloses primers, probes, a kit and a method for detecting Enterocytozoon hepatopenaei (EHP) pathogens of Litopenaeus vannamei. A PCR reaction system adopted in the method includes: a forward primer having a nucleotide sequence as shown in SEQ ID NO: 1, a reverse primer having a nucleotide sequence as shown in SEQ ID NO: 2, a forward primer having a nucleotide sequence as shown in SEQ ID NO: 4, a reverse primer having a nucleotide sequence as shown in SEQ ID NO: 5, a probe having a nucleotide sequence as shown in SEQ ID NO: 3, and a probe having a nucleotide sequence as shown in SEQ ID NO: 6. The method can perform duplex quantitative fluorescence PCR, an internal reference and a sample to be detected are put in the same reaction, thereby eliminating unstable factors of two reactions and improving the reliability of the result.
    Type: Application
    Filed: May 20, 2020
    Publication date: November 26, 2020
    Inventors: Xupeng LI, Jie KONG, Xianhong MENG, Sheng LUAN