公开(公告)号：US07434184B2

公开(公告)日：2008-10-07

申请号：US11450701

申请日：2006-06-09

申请人： Zhe Li

发明人： Zhe Li

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： This method uses 2 copies of the design under test. These 2 copies use different values (including primary inputs and initial states) to feed the supposedly irrelevant logic while using the same (or consistent as desired) values to feed the feature being verified. Symbolic method is used to efficiently determine whether the feature being verified behaves identically (or consistently as expected) in the 2 copies for all possible cases in the supposedly irrelevant logic.

摘要翻译： 该方法使用2份被测设计。 这两个副本使用不同的值（包括主要输入和初始状态）来提供所谓的无关逻辑，同时使用相同的（或一致的）值来馈送被验证的功能。 符号方法用于有效地确定被验证的特征是否与所谓的无关逻辑中的所有可能情况的2个拷贝中的行为相同（或一致地预期）。

公开(公告)号：US20080116548A1

公开(公告)日：2008-05-22

申请号：US11863259

申请日：2007-09-28

申请人： Zhe Li ,  Ying-Wei Jiang ,  Guo-Ping Lu

发明人： Zhe Li ,  Ying-Wei Jiang ,  Guo-Ping Lu

IPC分类号： H01L23/495 ,  B23K31/02

CPC分类号： B23K20/004 ,  H01L23/495 ,  H01L24/45 ,  H01L24/48 ,  H01L24/78 ,  H01L24/85 ,  H01L2224/45015 ,  H01L2224/45124 ,  H01L2224/45139 ,  H01L2224/45144 ,  H01L2224/45147 ,  H01L2224/45164 ,  H01L2224/45169 ,  H01L2224/4554 ,  H01L2224/45669 ,  H01L2224/48247 ,  H01L2224/48455 ,  H01L2224/48456 ,  H01L2224/4846 ,  H01L2224/4847 ,  H01L2224/48599 ,  H01L2224/48699 ,  H01L2224/78301 ,  H01L2224/78302 ,  H01L2224/78306 ,  H01L2224/78309 ,  H01L2224/8518 ,  H01L2224/85201 ,  H01L2224/85205 ,  H01L2924/00011 ,  H01L2924/00014 ,  H01L2924/01012 ,  H01L2924/01013 ,  H01L2924/01014 ,  H01L2924/0102 ,  H01L2924/01029 ,  H01L2924/01033 ,  H01L2924/01046 ,  H01L2924/01047 ,  H01L2924/01074 ,  H01L2924/01078 ,  H01L2924/01079 ,  H01L2924/01082 ,  H01L2924/014 ,  H01L2924/20752 ,  H01L2924/20753 ,  H01L2924/20754 ,  H01L2924/20755 ,  H01L2924/01004 ,  H01L2924/00 ,  H01L2924/2075 ,  H01L2924/013 ,  H01L2924/00013 ,  H01L2924/01049 ,  H01L2924/01006 ,  H01L2224/85399 ,  H01L2224/05599 ,  H01L2224/43848

摘要： In a semiconductor package having a plurality of wire bond interconnections between a semiconductor chip and a chip carrier, a wire bond (20) including a first stitch bond (22) formed at a first location (24) on a bonding site (26), and a second stitch bond (40) formed at a second location (42) on the bonding site (26) such that the second bond (40) forms two crescent shaped areas (48, 50) and overlaps the first bond (22).

摘要翻译： 在半导体芯片和芯片载体之间具有多个引线接合互连的半导体封装中，包括形成在焊接部位（26）上的第一位置（24）处的第一针脚结（22）的引线接合（20） 以及形成在所述接合位置（26）上的第二位置（42）处的第二缝合接合（40），使得所述第二接合（40）形成两个新月形区域（48,50）并与所述第一接合部（22）重叠。

公开(公告)号：US07361764B2

公开(公告)日：2008-04-22

申请号：US11364872

申请日：2006-02-27

申请人： William D. Arnold ,  Pierre Bounaud ,  Andreas Gosberg ,  Zhe Li ,  Ian McDonald ,  Ruo W. Steensma ,  Mark E. Wilson

发明人： William D. Arnold ,  Pierre Bounaud ,  Andreas Gosberg ,  Zhe Li ,  Ian McDonald ,  Ruo W. Steensma ,  Mark E. Wilson

IPC分类号： C07D471/02

CPC分类号： C07D471/04

摘要： The present invention provides novel pyrrolo-pyridine kinase modulators and methods of using the novel pyrrolo-pyridine kinase modulators to treat diseases mediated by kinase activity.

摘要翻译： 本发明提供新颖的吡咯并 - 吡啶激酶调节剂和使用新型吡咯并 - 吡啶激酶调节剂治疗由激酶活性介导的疾病的方法。

公开(公告)号：US06548521B1

公开(公告)日：2003-04-15

申请号：US09628080

申请日：2000-07-28

申请人： Fred Ehrenkranz Cohen ,  James Hobson McKerrow ,  Christine Sun Ring ,  Philip Jon Rosenthal ,  George Lommel Kenyon ,  Zhe Li

发明人： Fred Ehrenkranz Cohen ,  James Hobson McKerrow ,  Christine Sun Ring ,  Philip Jon Rosenthal ,  George Lommel Kenyon ,  Zhe Li

IPC分类号： A61K31404

CPC分类号： A61K31/472 ,  A61K31/12 ,  A61K31/135 ,  A61K31/136 ,  A61K31/165 ,  A61K31/17 ,  A61K31/195 ,  A61K31/34 ,  A61K31/35 ,  A61K31/36 ,  A61K31/365 ,  A61K31/40 ,  A61K31/415 ,  A61K31/4164 ,  A61K31/4178 ,  A61K31/44 ,  A61K31/4402 ,  A61K31/4406 ,  A61K31/47 ,  A61K31/50 ,  A61K31/505 ,  A61K31/60 ,  Y02A50/409 ,  Y02A50/411 ,  Y02A50/414 ,  Y02A50/423 ,  Y02A50/491

摘要： Compositions and methods for treating a patient infected with a metazoan parasite by inhibiting the enzymatic action of the metazoan parasite protease, wherein there is employed at least one compound of formula I A—X—B wherein A is a substituted or unsubstituted homoaromatic or heteroaromatic ring system comprising one to three rings which binds to at least one of the S2, S1 and S1′ subsites; B is a substituted or unsubstituted homoaromatic or heteroaromatic ring system comprising one to three rings which binds to at least one of the S1′, S1 and S2 subsites; and X is —C═C—C(═O)—. These compositions and methods have particular utility in the treatment of schistosomiasis, malaria, and other infectious diseases.

摘要翻译： 通过抑制后生动物寄生虫蛋白酶的酶作用来治疗感染后生动物寄生虫的患者的组合物和方法，其中使用至少一种式I的化合物，其中A是取代或未取代的具有一至三个环的同位素或杂芳族环系统 其结合S2，S1和S1'子集中的至少一个; B是取代或未取代的具有与至少一个S1'，S1和S2亚亲属结合的一至三个环的同位素或杂芳族环系统; 且X为-C = C-C（= O） - 。 这些组合物和方法在治疗血吸虫病，疟疾和其他传染病方面具有特殊的用途。

公开(公告)号：US20230128413A1

公开(公告)日：2023-04-27

申请号：US17551753

申请日：2021-12-15

申请人： Bradley R. Frieberg ,  Zhongyi Liu ,  Xiaosong Huang ,  Mark W. Verbrugge ,  Zhe Li

发明人： Bradley R. Frieberg ,  Zhongyi Liu ,  Xiaosong Huang ,  Mark W. Verbrugge ,  Zhe Li

IPC分类号： H01M4/38 ,  H01M4/134 ,  H01M4/1395 ,  H01M10/0525

摘要： An anode material includes a plurality of negative solid-state electroactive particles. Each of the plurality of negative solid-state electroactive particles may include a lithium-doped silicon oxide and a solid electrolyte coating at least substantially continuously disposed over substantially all of the surface of the lithium-doped silicon oxide.

公开(公告)号：US09667150B2

公开(公告)日：2017-05-30

申请号：US14234068

申请日：2012-07-23

申请人： Zhe Li

发明人： Zhe Li ,  Min Ho Kim

IPC分类号： H02M3/335 ,  H02M1/34

CPC分类号： H02M3/335 ,  H02M3/33546 ,  H02M2001/346 ,  Y02B70/1491

摘要： Provided is an apparatus for controlling a surge voltage. An embodiment configures a snubber coil and a snubber rectifier on a secondary side circuit in series to control a high spike surge voltage across a rectifier on the secondary side. When the rectifier is turned-off, the snubber rectifier is turned-on for a predetermined time to control the surge voltage.

公开(公告)号：US08825420B1

公开(公告)日：2014-09-02

申请号：US12690047

申请日：2010-01-19

申请人： Geping Liu ,  Kundan Chand ,  Zhe Li ,  Wui Hung Moo ,  Joseph Boon Hock Kho

发明人： Geping Liu ,  Kundan Chand ,  Zhe Li ,  Wui Hung Moo ,  Joseph Boon Hock Kho

IPC分类号： G01R13/00

CPC分类号： G06F17/5031 ,  G01R13/00 ,  G06F17/5036 ,  G06F2217/08 ,  G06F2217/82 ,  G06F2217/84 ,  H03K19/00346

摘要： A computer implemented method for determining a timing variation for an edge of a waveform under simultaneous switching noise (SSN) conditions is provided. The method includes characterizing an impact of mutual inductive relationships on a pin while the pin is at a quiet state and characterizing a signal edge applied to the pin. The signal edge can be characterized by the slew rate in one embodiment. A voltage change related to a curve characterizing the impact of mutual inductive relationships is identified and the voltage change is applied to a curve characterizing an impact of SSN on the signal edge. The method includes calculating a timing variation correlated to the voltage change applied to the curve characterizing the impact of SSN on the signal edge and presenting the calculated timing variation.

摘要翻译： 提供了一种用于在同时开关噪声（SSN）条件下确定波形边缘的定时变化的计算机实现方法。 该方法包括在引脚处于安静状态并表征施加到引脚的信号边缘时，表征引脚上的互感关系的影响。 信号沿可以通过一个实施例中的压摆率来表征。 识别与表征互感关系影响的曲线相关的电压变化，并且将电压变化应用于表征SSN对信号边缘的影响的曲线。 该方法包括计算与应用于表征SSN对信号边缘的影响的曲线的电压变化相关的定时变化，并呈现所计算的定时变化。

公开(公告)号：US08645960B2

公开(公告)日：2014-02-04

申请号：US11781820

申请日：2007-07-23

申请人： John (Chun Fung) Yuen ,  Zhe Li

发明人： John (Chun Fung) Yuen ,  Zhe Li

IPC分类号： G06F9/46

CPC分类号： H04L49/901 ,  H04L49/90 ,  H04L49/9057

摘要： A computing device is provided having a central processing unit, random access memory, and read only memory interconnected by a bus. The central processing unit is configured to execute a plurality of programming instructions representing a plurality of software objects. The software objects comprise a read queue for storing unprocessed packets and a write queue for storing processed packets. The software objects include a reader thread for reading packets from the read queue and a lock free queue for receiving packets received via the reader thread. The software objects also include at least one processor thread for performing an operation on the packets in the lock free queue. The software objects include a writer thread for writing packets that have been processed by the at least one processor thread to the write queue.

摘要翻译： 提供了具有中央处理单元，随机存取存储器和通过总线互连的只读存储器的计算设备。 中央处理单元被配置为执行表示多个软件对象的多个编程指令。 软件对象包括用于存储未处理分组的读队列和用于存储处理分组的写队列。 软件对象包括用于从读取队列读取分组的读取器线程和用于接收经由读取器线程接收的分组的无锁队列。 软件对象还包括至少一个处理器线程，用于对无锁队列中的分组执行操作。 软件对象包括用于将由至少一个处理器线程处理的分组写入到写入队列的写入器线程。

公开(公告)号：US08148367B2

公开(公告)日：2012-04-03

申请号：US12522888

申请日：2008-01-09

申请人： Lily Kwok ,  Betty Lam ,  Zhe Li ,  Zhiyuan Zhang

发明人： Lily Kwok ,  Betty Lam ,  Zhe Li ,  Zhiyuan Zhang

IPC分类号： A61K31/5355 ,  A61K31/536 ,  A61K31/496 ,  A61K31/4178 ,  C07D233/90 ,  C07D401/04 ,  C07D401/06 ,  C07D401/12 ,  C07D401/14 ,  C07D403/06 ,  C07D403/14 ,  C07D413/10 ,  C07D413/12 ,  C07D417/06 ,  C07D417/14

CPC分类号： C07D233/90 ,  C07D401/04 ,  C07D401/06 ,  C07D401/12 ,  C07D401/14 ,  C07D403/06 ,  C07D413/14 ,  C07D417/06 ,  C07D417/14

摘要： Disclosed are compounds, pharmaceutical compositions, kits, articles of manufacture, methods of using, and methods of preparing compounds having the formula: wherein the variables are as defined herein. The disclosed compounds are inhibitors of Renin.

摘要翻译： 公开了化合物，药物组合物，试剂盒，制品，使用方法和制备具有下式的化合物的方法：其中变量如本文所定义。 所公开的化合物是Renin的抑制剂。

公开(公告)号：US07962870B2

公开(公告)日：2011-06-14

申请号：US12116095

申请日：2008-05-06

申请人： Peter Boyle ,  Iliya G. Zamek ,  Zhe Li ,  Shishuang Sun ,  Bozidar Krsnik ,  James L. Drewniak ,  Xiaohe Chen ,  Sandeep Kamalakar Reddy Chandra

发明人： Peter Boyle ,  Iliya G. Zamek ,  Zhe Li ,  Shishuang Sun ,  Bozidar Krsnik ,  James L. Drewniak ,  Xiaohe Chen ,  Sandeep Kamalakar Reddy Chandra

IPC分类号： G06F17/50

CPC分类号： G06F17/5036 ,  H05K1/0231 ,  H05K3/0005

摘要： A method for determining a current spectrum for a circuit design is provided. The method includes determining timing characteristics and power consumption characteristics for the circuit design. From the timing characteristics and the power consumption characteristics a time domain current waveform is constructed. The time domain current waveform is then converted to a frequency domain current waveform. With the frequency domain waveform, one skilled in the art can then identify a location and an amount of decoupling capacitors for a printed circuit board housing the circuit design based on the frequency domain current waveform. A computing system configured to perform the method is also provided.

摘要翻译： 提供了一种用于确定电路设计的当前频谱的方法。 该方法包括确定电路设计的时序特性和功耗特性。 从定时特性和功耗特性构建时域电流波形。 时域电流波形然后转换为频域电流波形。 利用频域波形，本领域技术人员可以基于频域电流波形来识别容纳电路设计的印刷电路板的去耦电容器的位置和量。 还提供了被配置为执行该方法的计算系统。