Inventor

LI GUODONG

CN56 patents

⚠️ This page may combine multiple inventors who share the name “LI GUODONG”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

LI GUODONG

LI GUODONG

Symbolic execution and test generation for GPU programs

Software architecture for validating C++ programs using symbolic execution

Lossless path reduction for efficient symbolic execution and automatic test generation

Device for controlling electric automobile

Electric-vehicle control device

Optimizing libraries for validating C++ programs using symbolic execution

Symbolic execution and automatic test case generation for JavaScript programs

Method and apparatus for accessing heterogeneous networks via wireless local area network

System and method for providing high availability for distributed application

Satisfiability checking

FUJITSU LTD

Symbolic execution with automatic abstractions

Event sequence construction of event-driven software by combinational computations

Mixed numeric and string constraint analysis

Event-driven software testing

Parameterized states in symbolic execution for software testing

CONTEMPORARY AMPEREX TECHNOLOGY CO LTD

Clamping apparatus and transport device

Baking apparatus for secondary battery

Current collector production apparatus

Welding device and processing apparatus for secondary battery current collector

SYNOPSYS INC

System and methods for model-based analysis of software

Systems and methods for adaptive analysis of software

Systems and methods for analyzing software using queries

Systems and methods for incremental analysis of software

ELECTRIC POWER SCIENCE & RES INSTITUTE OF STATE GRID TIANJIN ELECTRIC POWER COMPANY

Method and system for evaluating an operation of a distribution network

Control method and system for distribution network with distributed mobile energy storage systems

Distribution transformer terminal and method for monitoring a state of a distribution transformer court device

Method and device for identifying distribution network topology error

CA INC

Systems and methods for directory snapshot

Multiple instance database auto-configuration for high availability

UNIV NORTHEASTERN

Intensified neutral loss tags and use thereof in mass spectrometry

Intensified neutral loss tags and use thereof in mass spectrometry

ARIAGEN INC

Aryl hydrocarbon receptor modulators

Efficient and scalable synthesis of 2-(1′h-indole-3′-carbonyl)-thiazole-4-carboxylic acid methyl ester and its structural analogs

UNIV SHANDONG JIAOTONG

Color change block with detection feedback as well as spraying equipment

Gripper mechanism

UNIV SHANDONG

Shield tunnel segment structure and construction method thereof

High-strength concrete and preparation method thereof

FUJISTU LTD

Abstract symbolic execution for scaling symbolic execution generation and automatic test generation

GHOSH INDRADEEP

Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver

NTN TOYO BEARING CO LTD

Control device for electric vehicle

ITAKURA YOSHINORI

Motor drive assembly for a vehicle and a motor vehicle

UNIV LELAND STANFORD JUNIOR

Membrane-free Zn/MnO2 flow battery for large-scale energy storage

DOLBY LABORATORIES LICENSING CORP

Mitigation of inaccurate echo prediction

HUANG QINGSHAN

Group of synthetic antimicrobial peptides

UNIV TAIYUAN SCIENCE & TECH

Fatigue bending and folding test device for ultra-thin metal strip

BOE TECHNOLOGY GROUP CO LTD

Detection device, substrate holder and method for detecting position of substrate on substrate holder

QUALCOMM INC

DMRS enhancement for higher order MU-MIMO

UNIV MACAU

Methods of using metal complexes to promote wound healing

STATE GRID SHANXI ELECTRIC POWER RES INSTITUTE

Method and device for evaluating long-term operation of transformer oil pump

STATE GRID TIANJIN ELECTRIC POWER CO

Method for real-time scheduling of multi-energy complementary micro-grids based on rollout algorithm