公开(公告)号：US06643827B1

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

申请号：US09677262

申请日：2000-09-30

Applicant: Jin Yang

Inventor： Jin Yang

IPC: G06F1750

CPC classification number: G06F17/504

Abstract: Formal verification methods provide for improved efficiency of popular binary decision diagram (BDD) based algorithms. A lazy pre-image computation method builds new transition relation partitions on-demand for relevant internal variables of a state predicate, and conjoins only next state relations for relevant internal variables to a pre-image including the state predicate. A lazy fixpoint computation method makes iterative use of lazy pre-image computation to compute conditions that must be satisfied to produce a given set of states. A forward assumption propagation method generates assumptions to characterize a set of interesting states for a property being evaluated at one or more evaluation stages. A dynamic transition relation reduction improves the efficiency for symbolic model checking by reducing transition relations under assumptions dynamically generated from properties being evaluated. These methods provide symbolic model checking of circuits and other finite state systems previously too large to be completed successfully using BDD based algorithms.

Abstract translation: 正式验证方法提供了基于流行二进制决策图（BDD）的算法的改进效率。 懒惰的预图像计算方法根据状态谓词的相关内部变量建立按需的新的过渡关系分区，并将相关内部变量的下一个状态关系仅结合到包含状态谓词的前置映像。 懒惰固定点计算方法使迭代使用懒惰预图像计算来计算必须满足的条件以产生给定的状态集合。 正向假设传播方法产生假设以表征在一个或多个评估阶段评估的属性的一组有趣状态。 动态转换关系降低通过在从被评估的属性动态生成的假设下减少过渡关系来提高符号模型检查的效率。 这些方法提供了以前太大的电路和其他有限状态系统的符号模型检查，无法使用基于BDD的算法成功完成。

公开(公告)号：US06591400B1

公开(公告)日：2003-07-08

申请号：US09675539

申请日：2000-09-29

Applicant: Jin Yang

Inventor： Jin Yang

IPC: G06F1750

CPC classification number: G06F17/504

Abstract: Methods for formal verification of circuits and other finite-state systems are disclosed herein, providing for improved efficiency and capacity of popular binary decision diagram (BDD) based algorithms. A lazy pre-image computation method is disclosed that builds new transition relation partitions on-demand only for relevant next internal variables of a state predicate. A symbolic variable reduction method is disclosed to eliminate variables in a state predicate under “don't care” conditions. Symbolic variable reduction improves the efficiency for symbolic model checking computations especially lazy pre-image based computations providing means to handle very large-scale integrated circuits and other finite state systems of problematic complexity for prior methods. The teachings of these disclosed methods provide for automated symbolic model checking of circuits and other finite state systems previously too large to be completed successfully using BDD based algorithms.

Abstract translation: 本文公开了电路和其他有限状态系统的形式验证的方法，提供了基于流行二进制决策图（BDD）的算法的改进的效率和容量。 公开了一种懒惰的预图像计算方法，其仅针对状态谓词的相关的下一个内部变量按需构建新的过渡关系分区。 公开了一种符号变量减少方法，以消除在“无关”条件下的状态谓词中的变量。 符号变量减少提高了符号模型检查计算的效率，特别是基于懒惰的基于前图像的计算，提供了用于处理非常大规模的集成电路和其他有限状态系统的有前途的方法的有问题的复杂性的方法。 这些公开的方法的教导提供了电路和其他有限状态系统的自动符号模型检查，其先前太大而不能使用基于BDD的算法成功地完成。

公开(公告)号：US5432859A

公开(公告)日：1995-07-11

申请号：US47556

申请日：1993-02-23

Applicant: Jin Yang ,  Andrew Sendyk

Inventor： Jin Yang ,  Andrew Sendyk

IPC: H04R3/00 ,  H04B15/00

CPC classification number: H04R3/00

Abstract: A noise-suppression circuit (10) divides the signal from a microphone (12) into a plurality of frequency sub-bands by means of a noise-band divider (18) and a subtraction circuit (36). By means of gain circuits (32) and (34), it applies separate gains to the separate bands and then recombines them in a signal combiner (38) to generate an output signal in which the noise has been suppressed. Separate gains are applied only to the lower subbands in the voice spectrum. Accordingly, the noise-band divider (18) is required to compute spectral components for only those bands. By employing a sliding-discrete-Fourier-transform method, the noise-band divider (18) computes the spectral components on a sample-by-sample basis, and circuitry (50, 52) for determining the individual gains can therefore update them on a sample-by-sample basis, too.

Abstract translation: 噪声抑制电路（10）通过噪声带分频器（18）和减法电路（36）将来自麦克风（12）的信号分成多个频率子频带。 借助于增益电路（32）和（34），它向单独的频带施加单独的增益，然后将它们复合到信号组合器（38）中，以产生噪声被抑制的输出信号。 单独的增益仅应用于语音频谱中的较低子带。 因此，需要噪声带分频器（18）来计算仅这些频带的频谱分量。 通过采用滑动离散傅立叶变换方法，噪声带分频器（18）逐个采样地计算频谱分量，因此用于确定各个增益的电路（50,52）可以在 也是逐个样本的基础。

公开(公告)号：US20170176496A1

公开(公告)日：2017-06-22

申请号：US14975386

申请日：2015-12-18

Applicant: Akshay Mathkar ,  Nachiket R. Raravikar ,  James C. Matayabas, Jr. ,  Jin Yang

Inventor： Akshay Mathkar ,  Nachiket R. Raravikar ,  James C. Matayabas, Jr. ,  Jin Yang

IPC: G01R1/073 ,  G01R31/28 ,  H01F38/20 ,  H01F41/02 ,  H01F27/28 ,  H01F27/29

CPC classification number: H01R43/24 ,  G01R1/07378

Abstract: Prober space transformer to interface an E-testing apparatus to an unpackaged die. The space transformer may include a substrate and a perforated cover plate disposed on the substrate. The substrate may include conductive traces and an array of conductive probe pins extend outwardly from anchor points on the substrate. The pins are electrically coupled to at least one of the conductive traces on the substrate as a prober interface between an E-testing apparatus and a DUT. The cover plate may be affixed to a surface of the substrate and includes an array of perforations through which the array of conductive pins may pass. The cover plate may be synthetic polymer resin or a polymer-based composite, fabricated, for example by perforating a mold preform.

公开(公告)号：US09049715B2

公开(公告)日：2015-06-02

申请号：US13414799

申请日：2012-03-08

Applicant: Ning Xu ,  Jin Yang

Inventor： Ning Xu ,  Jin Yang

IPC: H04W36/00 ,  H04W72/04 ,  H04W16/02 ,  H04W84/04

CPC classification number: H04W72/082 ,  H04W16/02 ,  H04W72/0426 ,  H04W72/0453 ,  H04W84/045

Abstract: Disclosed is a method for a femtocell to reduce interference with an overlapping macrocell. The femtocell determines soft-frequency-reuse (“SFR”) information of the macrocell. From that information, the femtocell determines which frequency sub-channels are assigned by the macrocell for its cell-center users and which frequency sub-channels are assigned for cell-edge users. (Cell-edge users are given a higher transmission power profile in order to overcome potential interference with neighboring macrocells.) Then, the femtocell selects from the cell-center user frequency sub-channels for transmission to the femtocell's users. By transmitting on the cell-center user frequency sub-channels, the femtocell reduces interference with the overlapping macrocell. The femtocell continues to update its knowledge of the macrocell's SFR information and re-assigns frequency sub-channels as the SFR changes. If the macrocell detects that one of its cell-center users is “close enough” to the femtocell, then the macrocell re-assigns the cell-center user as a cell-edge user to overcome interference.

Abstract translation: 公开了一种用于毫微微小区减少与重叠宏小区的干扰的方法。 毫微微小区确定宏小区的软频率重用（“SFR”）信息。 从该信息中，毫微微小区确定宏小区为其小区中心用户分配哪些频率子信道，哪些频率子信道被分配给小区边缘用户。 （为了克服与相邻宏小区的潜在干扰，小区边缘用户被给予更高的发射功率分布。）然后，毫微微小区从小区中心用户频率子信道中选择发送给毫微微小区的用户。 通过在小区中心用户频率子信道上进行发送，毫微微小区减少与重叠宏小区的干扰。 毫微微小区继续更新其对宏小区的SFR信息的知识，并且随着SFR改变而重新分配频率子信道。 如果宏小区检测到其小区中心用户之一对于毫微微小区“足够”，则宏小区重新分配小区中心用户作为小区边缘用户以克服干扰。

公开(公告)号：US20140354318A1

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

申请号：US13903874

申请日：2013-05-28

Applicant: Youngseok Oh ,  Joe F. Walczyk ,  Jin Yang ,  Pooya Tadayon ,  Ting Zhong

Inventor： Youngseok Oh ,  Joe F. Walczyk ,  Jin Yang ,  Pooya Tadayon ,  Ting Zhong

IPC: G01R1/067 ,  G01R3/00

CPC classification number: G01R1/06783 ,  G01R1/07307 ,  Y10T29/49124

Abstract: Embodiments of the present disclosure are directed to interconnects that include liquid metal, and associated techniques and configurations. The individual interconnects may electrically couple a contact of a printed circuit board (PCB) to a contact of a device under test (DUT). The interconnect may be disposed in or on the PCB. In various embodiments, the interconnect may include a carrier that defines a well (e.g., an opening in the carrier), and the liquid metal may be disposed in the well. In some embodiments, the contact of the DUT, or a contact of an intermediary device, may extend into the well and directly contact the liquid metal. In other embodiments, a flex circuit may be disposed over the well to seal the well. The flex circuit may include a conductive pad to electrically couple the liquid metal to the contact of the DUT. Other embodiments may be described and claimed.

Abstract translation: 本公开的实施例涉及包括液态金属以及相关技术和配置的互连。 各个互连可以将印刷电路板（PCB）的触点电耦合到被测器件（DUT）的触点。 互连可以设置在PCB中或PCB上。 在各种实施例中，互连可以包括限定阱（例如，载体中的开口）的载体，并且液体金属可以设置在阱中。 在一些实施例中，DUT或中间装置的触点的接触可以延伸到井中并直接接触液态金属。 在其他实施例中，柔性电路可以设置在井上以密封井。 柔性电路可以包括用于将液体金属电耦合到DUT的触点的导电焊盘。 可以描述和要求保护其他实施例。

公开(公告)号：US08867357B2

公开(公告)日：2014-10-21

申请号：US13323085

申请日：2011-12-12

Applicant: Jin Yang ,  Yee Sin Chan ,  Lee K. Tjio ,  Sagiv Draznin ,  Lalit R. Kotecha

Inventor： Jin Yang ,  Yee Sin Chan ,  Lee K. Tjio ,  Sagiv Draznin ,  Lalit R. Kotecha

IPC: H04L12/26

CPC classification number: H04L43/0811

Abstract: A device, provided at a network edge, receives a radio frequency signal from a user equipment, and converts the radio frequency signal into an electrical signal. The device also receives, from a network controller, at least one of control information, schedule information, or congestion management information. The device performs baseband signal processing on the electrical signal, based on at least one of the control information, the schedule information, or the congestion management information, to create a modified signal. The device provides the modified signal to the network controller.

Abstract translation: 在网络边缘提供的设备从用户设备接收射频信号，并将射频信号转换为电信号。 该装置还从网络控制器接收控制信息，进度信息或拥塞管理信息中的至少一个。 设备基于控制信息，调度信息或拥塞管理信息中的至少一个，对电信号执行基带信号处理，以创建修改的信号。 该设备向网络控制器提供修改的信号。

公开(公告)号：US08855042B2

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

申请号：US13641961

申请日：2011-06-27

Applicant: Ming Yuan ,  Feng Bi ,  Jin Yang ,  Feng Liang ,  Shuanshuan Wu

Inventor： Ming Yuan ,  Feng Bi ,  Jin Yang ,  Feng Liang ,  Shuanshuan Wu

IPC: H04B7/14 ,  H04L1/18 ,  H04L5/00 ,  H04J3/00 ,  H04W84/04 ,  H04L1/00 ,  H04W72/00 ,  H04W72/02 ,  H04W28/04

CPC classification number: H04L5/0058 ,  H04L1/1812 ,  H04L1/1854 ,  H04L1/1861 ,  H04L2001/0097 ,  H04W28/04 ,  H04W72/00 ,  H04W72/02 ,  H04W84/047

Abstract: The present invention discloses a Time Division Dual (TDD) system and a downlink feedback method for a relay link thereof. A relay station and a network side of the TDD system transmit uplink data and downlink feedback through relay subframes, wherein: one or more uplink subframes are selected from uplink subframes of a wireless frame as uplink relay subframes used for uplink data transmission, a downlink subframe is determined for each uplink relay subframe from downlink subframes of the wireless frame as a downlink relay subframe used for downlink feedback or new data indication, wherein the uplink relay subframes and the downlink relay subframes have a fixed timing sequence relationship; the relay station transmits uplink data to the network side through the uplink relay subframes, and receives the downlink feedback or new data indication from the network side through the downlink relay subframes corresponding to the uplink relay subframes.

Abstract translation: 本发明公开了一种用于其中继链路的时分双（TDD）系统和下行链路反馈方法。 TDD系统的中继站和网络侧通过中继子帧发送上行链路数据和下行链路反馈，其中：从作为用于上行数据传输的上行链路中继子帧的无线帧的上行链路子帧中选择一个或多个上行链路子帧，下行链路子帧 确定每个上行链路中继子帧作为用于下行链路反馈或新数据指示的下行链路中继子帧，其中上行链路中继子帧和下行链路中继子帧具有固定的定时序列关系; 中继站通过上行中继子帧向网络侧发送上行数据，并通过与上行中继子帧对应的下行中继子帧从网络侧接收下行反馈或新数据指示。

公开(公告)号：US08664240B2

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

申请号：US13387080

申请日：2010-07-27

Applicant: Dong Rack Choi ,  Jin Yang ,  Sue Hye Yoon ,  Sung Jae Pyun ,  Seung Hwan Kim ,  Seung-Kyoo Seong ,  Jei Man Ryu

Inventor： Dong Rack Choi ,  Jin Yang ,  Sue Hye Yoon ,  Sung Jae Pyun ,  Seung Hwan Kim ,  Seung-Kyoo Seong ,  Jei Man Ryu

IPC: A01N43/42 ,  A61K31/44 ,  C07D471/04

CPC classification number: C07D215/56 ,  A61K9/0019 ,  A61K9/145 ,  A61K9/2059 ,  A61K9/4858 ,  A61K31/4375 ,  C07C229/24 ,  C07D471/04 ,  C07D487/04 ,  C07D498/06

Abstract: Disclosed herein are R-7-(3-aminomethyl-4-methoxyimino-3-methyl-pyrrolidin-1-yl)-1-cyclopropyl-6-fluoro-4-oxo-1,4-dihydro-[1,8]naphthyridine-3-carboxylic acid and L-aspartic acid salt, process for the preparation thereof and pharmaceutical composition comprising the same for antimicrobial. Because the R-7-(3-aminomethyl-4-methoxyimino-3-methyl-pyrrolidin-1-yl) -1-cyclopropyl-6-fluoro-4-oxo-1,4-dihydro-[1,8]naphthyridine-3-carboxylic acid and L-aspartic acid salt is more soluble and less toxic and has less side effects as an antimicrobial agent than hydrochloride and the other salts (D-aspartate and phosphate) conventionally used, the salt may be useful for oral and injectable administration.

Abstract translation: 本文公开了R-7-（3-氨基甲基-4-甲氧基亚氨基-3-甲基 - 吡咯烷-1-基）-1-环丙基-6-氟-4-氧代-1,4-二氢 - [1,8] 萘啶-3-羧酸和L-天冬氨酸盐，其制备方法和包含其的抗微生物剂的药物组合物。 因为R-7-（3-氨基甲基-4-甲氧基亚氨基-3-甲基 - 吡咯烷-1-基）-1-环丙基-6-氟-4-氧代-1,4-二氢 - [1,8]萘啶 -3-羧酸和L-天冬氨酸盐比常规使用的盐酸盐和其他盐（D-天冬氨酸盐和磷酸盐）更易溶解，毒性更小，作为抗微生物剂的副作用较小，该盐可用于口服和 注射给药。

公开(公告)号：US08654781B2

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

申请号：US13257626

申请日：2010-03-23

Applicant: Feng Liang ,  Feng Bi ,  Ming Yuan ,  Jin Yang ,  Shuanshuan Wu

Inventor： Feng Liang ,  Feng Bi ,  Ming Yuan ,  Jin Yang ,  Shuanshuan Wu

IPC: H04J3/16

CPC classification number: H04B7/15592 ,  H04B7/15542 ,  H04L1/0067 ,  H04L1/1893 ,  H04L5/0053 ,  H04L2001/0097

Abstract: The invention discloses a method and apparatus for relay station downlink cooperative retransmission, wherein said method comprises: a relay station carrying out physical layer processing in advance on data which requires retransmitting according to different scenarios associated with different possible number of available wireless resources for retransmitting data in a retransmission subframe, generating corresponding OFDM signals, and monitoring the PCFICH of the retransmission subframe, and according to the monitoring result, selecting an OFDM signal which is corresponding to the determined number of available wireless resources from said OFDM signals to carry out retransmission transmitting. The present invention can efficiently solve the problem that the number of wireless resources varies during downlink retransmitting data and the relay station cooperative communication is unable to be carried out normally, without introducing any extra overhead and time delay, and without the control signaling, thus reducing the system complexity.

Abstract translation: 本发明公开了一种用于中继站下行协同重传的方法和装置，其中所述方法包括：中继站预先对需要根据不同可能数量的可用无线资源的不同情况进行重传的数据进行物理层处理，以重传数据 在发送子帧中生成对应的OFDM信号，监视重发子帧的PCFICH，根据该监视结果，从所述OFDM信号中选择与确定的可用无线资源数相对应的OFDM信号，进行重传发送 。 本发明可以有效地解决下行重传数据期间无线资源数量变化，中继站协作通信不能正常执行的问题，而不引入任何额外的开销和时间延迟，并且没有控制信令，从而减少 系统复杂性。