中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

134 records (took 0.028 seconds)

    METHOD AND SYSTEM FOR LOAD-BALANCING ACROSS MULTIPLE ACCESS NETWORKS
    71.
    发明申请
    METHOD AND SYSTEM FOR LOAD-BALANCING ACROSS MULTIPLE ACCESS NETWORKS 有权
    用于多个访问网络的负载平衡的方法和系统

    公开(公告)号：US20100234042A1

    公开(公告)日：2010-09-16

    申请号：US12401024

    申请日：2009-03-10

    Applicant: Yee Sin Chan ,  Jin Yang

    Inventor： Yee Sin Chan ,  Jin Yang

    IPC: H04W28/08

    CPC classification number: H04W36/22 ,  H04W36/0061 ,  H04W36/24

    Abstract: An approach is provided for interworking between radio access networks that utilize different radio access technologies. Loading information of a plurality of radio access networks that are accessible by a terminal is determined. A list of candidates from the radio access networks are output based on the loading information for use by the terminal.

    Abstract translation: 提供了一种用于利用不同无线电接入技术的无线电接入网络之间的互通的方法。 确定可由终端访问的多个无线电接入网络的加载信息。 基于终端使用的载入信息，输出来自无线接入网络的候选者的列表。

    Fluorinated silicon phthalocyanines and naphthalocyanines for electrophoretic display
    72.
    发明授权
    Fluorinated silicon phthalocyanines and naphthalocyanines for electrophoretic display 失效
    氟化硅酞菁和萘酞菁用于电泳显示

    公开(公告)号：US07532389B2

    公开(公告)日：2009-05-12

    申请号：US12203039

    申请日：2008-09-02

    Applicant: Ying-Syi Li ,  Jin Yang ,  Rong-Chang Liang

    Inventor： Ying-Syi Li ,  Jin Yang ,  Rong-Chang Liang

    IPC: G02B26/00 ,  G09G3/34 ,  G03G17/04

    CPC classification number: C09B47/085 ,  C07F7/045 ,  C07F7/0838 ,  C09B47/14 ,  G02F1/133377 ,  G02F1/167

    Abstract: This invention relates to stable colorants of high extinction coefficient and high solubility or dispersibility for an electrophoretic, magnetophoretic or electromagnetophoretic display. More particularly, it relates to stable colorants for a microcup-based electrophoretic or electromagnetophoretic display the cells of which are filled with charged and/or magnetic particles dispersed in a halogenated, preferably a fluorinated, solvent. The use of the stable colorants allows the display to be of superior contrast ratio and longevity, and suitable for high-quality imagery applications.

    Abstract translation: 本发明涉及高消光系数的稳定着色剂和用于电泳，磁电泳或电子显微镜显示的高溶解性或分散性的稳定着色剂。 更具体地说，本发明涉及用于基于微电池的电泳或电子显微照相显示的稳定着色剂，其电池充满分散在卤化的，优选氟化的溶剂中的带电荷和/或磁性颗粒。 使用稳定的着色剂使显示器具有优异的对比度和使用寿命，并且适用于高质量的图像应用。

    FLUORINATED SILICON PHTHALOCYANINES AND NAPHTHALOCYANINES FOR ELECTROPHORETIC DISPLAY
    73.
    发明申请
    FLUORINATED SILICON PHTHALOCYANINES AND NAPHTHALOCYANINES FOR ELECTROPHORETIC DISPLAY 失效
    荧光显微镜的氟化硅烷基亚胺和萘二甲酰亚胺

    公开(公告)号：US20080316583A1

    公开(公告)日：2008-12-25

    申请号：US12203039

    申请日：2008-09-02

    Applicant: Ying-Syi Li ,  Jin Yang ,  Rong-Chang Liang

    Inventor： Ying-Syi Li ,  Jin Yang ,  Rong-Chang Liang

    IPC: G02F1/167

    CPC classification number: C09B47/085 ,  C07F7/045 ,  C07F7/0838 ,  C09B47/14 ,  G02F1/133377 ,  G02F1/167

    Abstract: This invention relates to stable colorants of high extinction coefficient and high solubility or dispersibility for an electrophoretic, magnetophoretic or electromagnetophoretic display. More particularly, it relates to stable colorants for a microcup-based electrophoretic or electromagnetophoretic display the cells of which are filled with charged and/or magnetic particles dispersed in a halogenated, preferably a fluorinated, solvent. The use of the stable colorants allows the display to be of superior contrast ratio and longevity, and suitable for high-quality imagery applications.

    Abstract translation: 本发明涉及高消光系数的稳定着色剂和用于电泳，磁电泳或电子显微镜显示的高溶解性或分散性的稳定着色剂。 更具体地说，本发明涉及用于基于微电池的电泳或电子显微照相显示的稳定着色剂，其电池充满分散在卤化的，优选氟化的溶剂中的带电荷和/或磁性颗粒。 使用稳定的着色剂使显示器具有优异的对比度和使用寿命，并且适用于高质量的图像应用。

    System and method for efficiently performing memory intensive computations including a bidirectional synchronization mechanism for maintaining consistency of data
    75.
    发明授权
    System and method for efficiently performing memory intensive computations including a bidirectional synchronization mechanism for maintaining consistency of data 有权
    用于有效执行存储器密集计算的系统和方法，包括用于维持数据一致性的双向同步机制

    公开(公告)号：US07444477B2

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

    申请号：US11679040

    申请日：2007-02-26

    Applicant: Jin Yang ,  Rao Korupolu ,  Jinlin Wang ,  Harry Philip Walton, III ,  Bor-Ruey Fu

    Inventor： Jin Yang ,  Rao Korupolu ,  Jinlin Wang ,  Harry Philip Walton, III ,  Bor-Ruey Fu

    IPC: G06F12/00 ,  G06F17/30

    CPC classification number: G06F17/30348 ,  Y10S707/99952 ,  Y10S707/99953

    Abstract: A system and method for efficiently performing memory intensive computations including a bidirectional synchronization mechanism for maintaining consistency of data on which computations will be performed. This can be used to solve various problems such as those in a business context. Synchronization occurs in a near-real-time fashion between data in a database and data stored in memory. The synchronization is accomplished by periodically scanning the database to see if any data has changed. If any data has changed, the changes are copied over to memory so that the data in memory is current. This update is accomplished without copying the entire database into memory each time data in the database changes.

    Abstract translation: 一种用于有效执行存储器密集型计算的系统和方法，包括用于维持将执行哪些计算的数据的一致性的双向同步机制。 这可以用于解决诸如业务环境中的各种问题。 同步在数据库中的数据和存储在存储器中的数据之间以几乎实时的方式发生。 通过定期扫描数据库以查看是否有任何数据已更改来实现同步。 如果任何数据已更改，则将更改复制到内存中，以使内存中的数据为最新。 每次数据库中的数据更改时，都不会将整个数据库复制到内存中进行此更新。

    Electrowetting system with stable movement
    77.
    发明申请
    Electrowetting system with stable movement 审中-公开
    电动系统运动平稳

    公开(公告)号：US20070047095A1

    公开(公告)日：2007-03-01

    申请号：US11508297

    申请日：2006-08-23

    Applicant: Ha Jung ,  Hee Choi ,  Jin Yang ,  Jae Bae ,  Jong Kim

    Inventor： Ha Jung ,  Hee Choi ,  Jin Yang ,  Jae Bae ,  Jong Kim

    IPC: G02B3/12

    CPC classification number: G02B26/005 ,  F04B17/00 ,  F04B19/006 ,  G02B3/14

    Abstract: Disclosed herein is an electrowetting system using the electrowetting phenomenon. The electrowetting system comprises an electrolyte solution consisting of 30 to 89% by weight of water, 0.01 to 30% by weight of a salt and 10 to 60% by weight of a polar solvent having a dipole moment. According to the electrowetting system, the polar solvent added to increase the viscosity of the electrolyte solution stabilizes the movement of the electrolyte solution when a voltage is applied to operate the electrowetting system. In addition, high- or low-temperature reliability of the electrowetting system can be ensured by the use of the polar solvent.

    Abstract translation: 本文公开了使用电润湿现象的电润湿系统。 电润湿系统包括由30至89重量％的水，0.01至30重量％的盐和10至60重量％的具有偶极矩的极性溶剂组成的电解质溶液。 根据电润湿系统，为了提高电解质溶液的粘度而添加的极性溶剂在施加电压以操作电润湿系统时稳定电解质溶液的移动。 此外，通过使用极性溶剂可以确保电润湿系统的高温或低温可靠性。

    Symbolic model checking with dynamic model pruning
    79.
    发明授权
    Symbolic model checking with dynamic model pruning 有权
    符号模型检查与动态模型修剪

    公开(公告)号：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的算法成功完成。

    Symbolic variable reduction
    80.
    发明授权
    Symbolic variable reduction 有权
    符号变量减少

    公开(公告)号：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的算法成功地完成。

Patent Agency Ranking