会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明授权
    • Determination of single-fix rectification function
    • 确定单固定整流功能
    • US07823104B2
    • 2010-10-26
    • US11841079
    • 2007-08-20
    • Cheng-Ta HsiehYifeng WangYung-Te LaiChih-Chang Lin
    • Cheng-Ta HsiehYifeng WangYung-Te LaiChih-Chang Lin
    • G06F17/50
    • G06F17/505
    • Some aspects provide determination of a function to rectify functional differences between netlist G1 and netlist G2 having inputs V. The determination may include determination of a signal s of netlist G1 that can be re-synthesized so as to correct the functional differences between netlist G1 and netlist G2, assignment of respective static values to a first plurality of inputs V, assignment of respective initial values to a second plurality of inputs V, determination of a first function based on the assigned static values, the assigned initial values, a first error function reflecting the difference between outputs of netlist G1 and netlist G2 for each vector of inputs V in a case that s equals 0, and a second error function reflecting the difference between the outputs of netlist G1 and netlist G2 for each vector of inputs V in a case that s equals 1. Also included may be determination of whether the first function rectifies the functional differences between netlist G1 and netlist G2, assignment, if it is determined that the first function does not rectify the functional differences, of respective next values to the second plurality of inputs, and determination of a second function based on the first function, the assigned static values, the assigned next values, the first error function, and the second error function.
    • 一些方面提供了确定具有输入V的网表G1和网表G2之间的功能差异的功能。该确定可以包括确定可以被重新合成的网表G1的信号s,以便校正网表G1和网表G1之间的功能差异 网表G2,将各个静态值分配给第一多个输入V,将各个初始值分配给第二多个输入V,基于分配的静态值确定第一函数,分配的初始值,第一误差函数 反映在s等于0的情况下,对于输入V的每个向量的网表G1和网表G2的输出之间的差异,以及反映网格列表G1和网表G2的输出之间的差异的第二误差函数, s等于1的情况。还包括确定第一功能是否整理网表G1和网表之间的功能差异 G2,如果确定第一功能不排除与第二多个输入相对应的下一个值的功能差异,以及基于第一功能确定第二功能,分配的静态值,分配的下一个 值,第一个错误函数和第二个错误函数。
    • 7. 发明授权
    • Advanced fire-resistant forms of activated carbon and methods of adsorbing and separating gases using same
    • 先进的耐火形式的活性炭和使用其吸附和分离气体的方法
    • US08945277B1
    • 2015-02-03
    • US12896096
    • 2010-10-01
    • Yongliang XiongYifeng Wang
    • Yongliang XiongYifeng Wang
    • B01D53/02
    • B01D53/02B01D2253/102B01D2253/112B01D2257/11B01D2257/708B01D2259/4566B01J20/04B01J20/041B01J20/043B01J20/046B01J20/10B01J20/20B01J20/28011B01J20/3021B01J2220/42C01B32/30
    • Advanced, fire-resistant activated carbon compositions useful in adsorbing gases; and having vastly improved fire resistance are provided, and methods for synthesizing the compositions are also provided. The advanced compositions have high gas adsorption capacities and rapid adsorption kinetics (comparable to commercially-available activated carbon), without having any intrinsic fire hazard. They also have superior performance to Mordenites in both adsorption capacities and kinetics. In addition, the advanced compositions do not pose the fibrous inhalation hazard that exists with use of Mordenites. The fire-resistant compositions combine activated carbon mixed with one or more hydrated and/or carbonate-containing minerals that release H2O and/or CO2 when heated. This effect raises the spontaneous ignition temperature to over 500° C. in most examples, and over 800° C. in some examples. Also provided are methods for removing and/or separating target gases, such as Krypton or Argon, from a gas stream by using such advanced activated carbons.
    • 用于吸附气体的先进的耐火活性炭组合物; 并且提供了大大改善的耐火性,并且还提供了用于合成组合物的方法。 先进的组合物具有高的气体吸附能力和快速的吸附动力学(与可商购的活性炭相当),没有任何固有的火灾危险。 它们对丝光沸石的吸附能力和动力学都具有优异的性能。 此外,先进的组合物不会造成使用丝光沸石存在的纤维吸入危险。 耐火组合物将活性炭与一种或多种在加热时释放H 2 O和/或CO 2的含水合和/或含碳酸盐的矿物混合。 在大多数实施例中,这种效应将自发着火温度提高到500℃以上,在一些实施例中将超过800℃。 还提供了通过使用这种先进的活性炭从气流中除去和/或分离目标气体如氪或氩的方法。
    • 9. 发明申请
    • DETERMINATION OF SINGLE-FIX RECTIFICATION FUNCTION
    • 单一修复功能的确定
    • US20080288900A1
    • 2008-11-20
    • US11841079
    • 2007-08-20
    • Cheng-Ta HsiehYifeng WangYung-Te LaiChih-Chang Lin
    • Cheng-Ta HsiehYifeng WangYung-Te LaiChih-Chang Lin
    • G06F17/50
    • G06F17/505
    • Some aspects provide determination of a function to rectify functional differences between netlist G1 and netlist G2 having inputs V. The determination may include determination of a signal s of netlist G1 that can be re-synthesized so as to correct the functional differences between netlist G1 and netlist G2, assignment of respective static values to a first plurality of inputs V, assignment of respective initial values to a second plurality of inputs V, determination of a first function based on the assigned static values, the assigned initial values, a first error function reflecting the difference between outputs of netlist G1 and netlist G2 for each vector of inputs V in a case that s equals 0, and a second error function reflecting the difference between the outputs of netlist G1 and netlist G2 for each vector of inputs V in a case that s equals 1. Also included may be determination of whether the first function rectifies the functional differences between netlist G1 and netlist G2, assignment, if it is determined that the first function does not rectify the functional differences, of respective next values to the second plurality of inputs, and determination of a second function based on the first function, the assigned static values, the assigned next values, the first error function, and the second error function.
    • 一些方面提供了确定具有输入V的网表G 1< 1>和网表G 2 2之间的功能差异的功能。该确定可以包括网表G的信号s的确定, 可以重新合成以便校正网表G 1和网表G 2 2之间的功能差异的SUB> 1 ,将各个静态值分配给 第一多个输入V,将各个初始值分配给第二多个输入V,基于所分配的静态值确定第一功能,分配的初始值,反映网表G 和网表G 2 。还包括确定 如果确定第一功能不排除功能差异,则第一功能是否纠正网表G 1< 1< 1>和网表G 2 2之间的功能差异, 相应的第二多个输入的下一个值,以及基于第一功能确定第二功能,分配的静态值,分配的下一个值,第一误差函数和第二误差函数。
    • 10. 发明授权
    • Similarity-driven synthesis for equivalence checking of complex designs
    • 相似性驱动的复杂设计等价检验综合
    • US06742174B1
    • 2004-05-25
    • US10037844
    • 2001-10-19
    • Kuang-Chien ChenChih-Chang LinCheng-Ta HsiehYifeng Wang
    • Kuang-Chien ChenChih-Chang LinCheng-Ta HsiehYifeng Wang
    • G06F1750
    • G06F17/5022
    • A method for modeling a circuit design includes synthesizing the circuit design to create a first gate-level representation of the circuit design. The method also includes analyzing a second gate-level representation of the circuit design to learn architecture information, and resynthesizing the first gate-level representation of the circuit design to incorporate the learned architecture information from the second gate-level representation of the circuit design. A computer-readable storage medium has stored thereon computer instructions that, when executed by a computer, cause the computer to synthesize a circuit design to create a first gate-level representation of the circuit design. The computer instructions also cause the computer to analyze a second gate-level representation of the circuit design to learn architecture information, and resynthesize the first gate-level representation of the circuit design to incorporate the learned architecture information from the second gate-level representation of the circuit design.
    • 用于对电路设计进行建模的方法包括合成电路设计以创建电路设计的第一门级表示。 该方法还包括分析电路设计的第二门级表示以学习架构信息,以及重新合成电路设计的第一门级表示,以从电路设计的第二门级表示中并入所学习的体系结构信息。 计算机可读存储介质上存储有计算机指令,其在由计算机执行时使计算机合成电路设计以创建电路设计的第一门级表示。 计算机指令还使得计算机分析电路设计的第二门级表示以学习架构信息,并重新合成电路设计的第一门级表示,以将来自第二门级表示的学习架构信息 电路设计。