Jin S. Zhang

Learn More
Low frequency electroacupuncture, which is commonly used in pain relief, is known to induce opioid-mediated analgesia. This study examined the contribution of the opioid system in mediating the anti-inflammatory effects of low frequency EA in a standard model of acute inflammation, the carrageenan-induced edema model. Carrageenan was injected in the hind(More)
Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-based method that makes uses of structural analysis, integrated simulation and Boolean satisfiability for fast and scalable detection of classical symmetries of completely-specified(More)
—Simulation and Boolean satisfiability (SAT) checking are common techniques used in logic verification. This paper shows how simulation and satisfiability (S&S) can be tightly integrated to efficiently compute flexibilities in a multilevel Boolean network, including the following: 1) complete " don't cares " (CDCs); 2) sets of pairs of functions to be(More)
In recent years, the notion of symmetry has been extended from classical symmetries to also include constant cofactor symmetries, single variable symmetries and Kronecker symmetries. All these symmetries form a generalized symmetry scheme. Existing methods to detect generalized symmetries require computing the cofactors for each pair of variables to check(More)
Detecting support-reducing bound sets is an important step in Boolean decomposition. It affects both the quality and the runtime of several applications in technology mapping and re-synthesis. This paper presents an efficient heuristic method for detecting support-reducing bound sets using two-cofactor symmetries. Experiments on the MCNC and ITC benchmarks(More)
We propose a frequency-dependent sensitivity model for analog blocks and a noise injection model for digital blocks in application to early design planning of Mixed-Signal System-on-Chips (MS-SOCs). We assume no precise layout information about IP cores is available. We also propose an empirical formula for separation-dependent coupling between large-area(More)
—This paper describes linear cofactor relationships (LCRs), which are defined as the exclusive sums of cofactors with respect to a pair of variables in Boolean functions. These relationships subsume classical symmetries and single-variable symmetries. The paper proposes an efficient algorithm to detect LCRs and discusses their potential applications in(More)
SUMMARY-We evaluated the therapeutic outcome of CT-guided ozone treatment for cervical disc herniation. All 86 patients with cervical spondylosis including myelopathy (37 cases), radiculopathy (30 cases), and sympathetic type (19 cases) were treated with ozone injection under CT guidance. The puncture route was anterolateral from the neck to the disk. A(More)