Inventor

YANG ZIJIANG

US52 patents

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

YANG ZIJIANG

YANG ZIJIANG

Gear stand

Fishing rod rack

Double rifle bag

Precision rifle case

Wall-mount rifle rack

Handgun case

Rifle case

Rotatable wall-mount rack assembly

Combination panels for horizontal wall mount rack

Horizontal wall mount rack

Oval shaped firearm bag

Pistol rack

LED license plate light housing

Collapsible rifle rack

Folding rifle and pistol rack

Gear stand

M.O.L.L.E. panel

Firearm magazine holder

Firearm case front cover

Oval shaped firearm bag

Oval shaped firearm bag

LED license plate light housing

CHICAGO MERCANTILE EXCHANGE INC

Electric battery recharging unit controlled by a seasonality detection unit of a futures margin modeling system

Futures margin modeling system

Futures margin modeling system

Futures margin modeling system having seasonality detection

Futures margin modeling system having seasonality detection

Futures margin modeling system having seasonality detection

Futures margin modeling system having seasonality detection

NEC LAB AMERICA INC

System and method for modeling, abstraction, and analysis of software

Iterative abstraction using SAT-based BMC with proof analysis

Reachability analysis for program verification

Efficient distributed SAT and SAT-based distributed bounded model checking

Disjunctive image computation for sequential systems

SKYWORKS SOLUTIONS INC

Bidirectional RF coupler with switchable coupled transmission lines for operation over different frequency bands

Radio-frequency switch having improved linearity

Amplitude-phase canceling circuit for switch linearity

Directional coupler with multiple arrangements of termination

Hot switching spur suppression

NEC CORP

SAT-based image computation with application in reachability analysis

Partition-based decision heuristics for SAT and image computation using SAT and BDDs

Efficient approaches for bounded model checking

EOSEN LLC

Pistol rack

Method of attaching a zipper

Securable wall bracket

WANG YI

Beamless mechanic-reversing long stroke pumping unit

Dual horsehead block and tackle pumping unit

NEC USA INC

Dynamic detection and removal of inactive clauses in SAT with application in image computation

CADAMBI SRIHARI

Software verification using range analysis

WANG WEINAN

Rule-based automated return authorization