专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08365111B2 Data driven logic simulation 有权
标题翻译：数据驱动逻辑模拟
公开(公告)号：US08365111B2
公开(公告)日：2013-01-29
申请号：US12392666
申请日：2009-02-25
申请人： Fei Chen , Guang R. Gao
发明人： Fei Chen , Guang R. Gao
IPC分类号： G06F17/50 , G06G7/62
CPC分类号： G06F17/5022
摘要： An apparatus and method may be used for compiling a hardware logic design into data-driven logic programs to be executed on a data-driven chip. The apparatus may include storage with a library for defining a net-list synthesized by a synthesis tool. The apparatus may also include a data-driven logic verification chip comprising a plurality of logic processors. The apparatus may further include a code generator for adopting heuristics to convert the net-list into data driven logic programs and for allocating hardware resources to balance computing and storage loads across the plurality of logic processors of the verification chip.
摘要翻译：可以使用装置和方法将硬件逻辑设计编译成在数据驱动芯片上执行的数据驱动逻辑程序。该装置可以包括具有用于定义由综合工具合成的网络列表的库的存储。该装置还可以包括包括多个逻辑处理器的数据驱动逻辑验证芯片。该装置还可以包括代码发生器，用于采用启发式方法将网络列表转换为数据驱动的逻辑程序，并用于分配硬件资源以平衡跨越验证芯片的多个逻辑处理器的计算和存储负载。

2. 发明授权

US07934179B2 Systems and methods for logic verification 有权
标题翻译：用于逻辑验证的系统和方法
公开(公告)号：US07934179B2
公开(公告)日：2011-04-26
申请号：US11937577
申请日：2007-11-09
申请人： Guang R. Gao , Fei Chen
发明人： Guang R. Gao , Fei Chen
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： Methods and systems for simulating logic may translate logic design into executable code for a multi-processor based parallel logic simulation device. A system may implement one or more parallel execution methods, which may include IPMD, MPMD, and/or DDMT.
摘要翻译：用于模拟逻辑的方法和系统可以将逻辑设计转换为用于基于多处理器的并行逻辑仿真设备的可执行代码。系统可以实现一个或多个并行执行方法，其可以包括IPMD，MPMD和/或DDMT。

3. 发明授权

US08341568B2 Systems and methods for logic verification 有权
标题翻译：用于逻辑验证的系统和方法
公开(公告)号：US08341568B2
公开(公告)日：2012-12-25
申请号：US12840543
申请日：2010-07-21
申请人： Fei Chen , Guang R. Gao
发明人： Fei Chen , Guang R. Gao
IPC分类号： G06F17/50 , G06F9/455
CPC分类号： G06F17/5022
摘要： Methods and systems for simulating logic may translate logic design into executable code for a multi-processor based parallel logic simulation device. A system may implement one or more parallel execution methods, which may include IPMD, MPMD, and/or DDMT.
摘要翻译：用于模拟逻辑的方法和系统可以将逻辑设计转换为用于基于多处理器的并行逻辑仿真设备的可执行代码。系统可以实现一个或多个并行执行方法，其可以包括IPMD，MPMD和/或DDMT。

4. 发明申请

US20100286976A1 Systems and Methods for Logic Verification 有权
标题翻译：逻辑验证系统与方法
公开(公告)号：US20100286976A1
公开(公告)日：2010-11-11
申请号：US12840543
申请日：2010-07-21
申请人： Guang R. Gao , Fei Chen
发明人： Guang R. Gao , Fei Chen
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： Methods and systems for simulating logic may translate logic design into executable code for a multi-processor based parallel logic simulation device. A system may implement one or more parallel execution methods, which may include IPMD, MPMD, and/or DDMT.
摘要翻译：用于模拟逻辑的方法和系统可以将逻辑设计转换为用于基于多处理器的并行逻辑仿真设备的可执行代码。系统可以实现一个或多个并行执行方法，其可以包括IPMD，MPMD和/或DDMT。

5. 发明申请

US20090222252A1 DATA DRIVEN LOGIC SIMULATION CHIP AND TOOLCHAIN 有权
标题翻译：数据驱动逻辑模拟芯片和工具
公开(公告)号：US20090222252A1
公开(公告)日：2009-09-03
申请号：US12392666
申请日：2009-02-25
申请人： Fei Chen , Guang R. Gao
发明人： Fei Chen , Guang R. Gao
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： An apparatus and method may be used for compiling a hardware logic design into data-driven logic programs to be executed on a data-driven chip. The apparatus may include storage with a library for defining a net-list synthesized by a synthesis tool. The apparatus may also include a data-driven logic verification chip comprising a plurality of logic processors. The apparatus may further include a code generator for adopting heuristics to convert the net-list into data driven logic programs and for allocating hardware resources to balance computing and storage loads across the plurality of logic processors of the verification chip.
摘要翻译：可以使用装置和方法将硬件逻辑设计编译成在数据驱动芯片上执行的数据驱动逻辑程序。该装置可以包括具有用于定义由综合工具合成的网络列表的库的存储。该装置还可以包括包括多个逻辑处理器的数据驱动逻辑验证芯片。该装置还可以包括代码发生器，用于采用启发式方法将网络列表转换为数据驱动的逻辑程序，并用于分配硬件资源以平衡跨越验证芯片的多个逻辑处理器的计算和存储负载。

6. 发明申请

US20080294411A1 Systems and Methods for Logic Verification 有权
标题翻译：逻辑验证系统与方法
公开(公告)号：US20080294411A1
公开(公告)日：2008-11-27
申请号：US11937577
申请日：2007-11-09
申请人： Guang R. Gao , Fei Chen
发明人： Guang R. Gao , Fei Chen
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： Methods and systems for simulating logic may translate logic design into executable code for a multi-processor based parallel logic simulation device. A system may implement one or more parallel execution methods, which may include IPMD, MPMD, and/or DDMT.
摘要翻译：用于模拟逻辑的方法和系统可以将逻辑设计转换为用于基于多处理器的并行逻辑仿真设备的可执行代码。系统可以实现一个或多个并行执行方法，其可以包括IPMD，MPMD和/或DDMT。

7. 发明授权

US10563941B2 Auto-releasing method and arrangement of detachable magazine for firearm 有权
公开(公告)号：US10563941B2
公开(公告)日：2020-02-18
申请号：US15900744
申请日：2018-02-20
申请人： Fei Chen , Rui Guo
发明人： Fei Chen , Rui Guo
IPC分类号： F41A17/38 , F41A9/59
摘要： An auto-releasing method and arrangement of a detachable magazine for a firearm is provided. The auto-releasing arrangement is able to physically remind the operator that it is the right time to replace the magazine and to continue fire without having to performing a series of magazine reloading operations to reset the firearm into the fire mode, wherein the magazine will automatically be released and removed from the magazine receiving cavity of the firearm. In other words, the operator can simply insert another loaded magazine into the magazine receiving cavity while the firearm still has at least one cartridge chambered for firing, so that the time cost on performing such operations can substantially be saved to increase the survival probability during a gunfight or the like.

8. 发明授权

US09251317B2 Network video messaging 有权
标题翻译：网络视频短信
公开(公告)号：US09251317B2
公开(公告)日：2016-02-02
申请号：US12408909
申请日：2009-03-23
申请人： Zhangwei Xu , Martin Hall , Mark McNulty , Guruprakash Rao , Xiaofeng Gao , Fei Chen , Ricardo Lopez-Barquilla , Martin Holladay
发明人： Zhangwei Xu , Martin Hall , Mark McNulty , Guruprakash Rao , Xiaofeng Gao , Fei Chen , Ricardo Lopez-Barquilla , Martin Holladay
IPC分类号： G06F21/10 , H04L29/00 , H04L12/58 , H04L29/08 , H04L29/06
CPC分类号： G06F21/10 , H04L29/00 , H04L51/08 , H04L51/10 , H04L51/24 , H04L63/08 , H04L63/126 , H04L67/06 , H04L2463/101
摘要： Embodiments related to network video messaging are disclosed. One disclosed embodiment provides a method that comprises receiving a video message from a client application of a source client; associating a navigation link with the video message; transmitting a notification message to the recipient client including the navigation link; receiving a retrieval request from the recipient client to access the video content via the navigation link; and transmitting the video content to the recipient client responsive to receiving the retrieval request by providing a persistent download of the video content from the storage server if the download condition indicates that a persistent download of the video content is permissible; and providing a transient download of the video content to the recipient client while prohibiting a persistent download of the video content if the download condition indicates that a persistent download of the video content is not permissible.
摘要翻译：公开了与网络视频消息相关的实施例。一个公开的实施例提供了一种方法，包括从源客户端的客户端应用接收视频消息; 将导航链接与视频消息相关联; 向包括导航链路的接收方客户端发送通知消息; 从所述接收方客户接收检索请求，经由所述导航链接访问所述视频内容; 以及如果所述下载条件指示所述视频内容的持续下载是允许的，则通过从所述存储服务器提供所述视频内容的持续下载来响应于接收到所述检索请求而将所述视频内容发送到所述接收者客户端; 以及如果所述下载条件指示所述视频内容的持续下载是不允许的，则向所述接收者客户端提供所述视频内容的暂时下载，同时禁止所述视频内容的持续下载。

9. 发明授权

US09216962B2 Thiazole compounds, methods for preparation and use thereof 有权
标题翻译：噻唑化合物，其制备方法和用途
公开(公告)号：US09216962B2
公开(公告)日：2015-12-22
申请号：US14116944
申请日：2012-05-07
申请人： Fajun Nan , Fei Chen , Yangming Zhang , Jia Li , Yubo Zhou , Mingbo Su , Jian Ding , Linghua Meng , Xin Xie , Shixian Wang
发明人： Fajun Nan , Fei Chen , Yangming Zhang , Jia Li , Yubo Zhou , Mingbo Su , Jian Ding , Linghua Meng , Xin Xie , Shixian Wang
IPC分类号： C07D417/00 , C07D277/56 , C07D277/58 , C07D277/60 , C07D417/14 , C07D417/04
CPC分类号： C07D277/56 , C07D277/58 , C07D277/60 , C07D417/04 , C07D417/14
摘要： The present invention relates to thiazole compounds of formula I, the method for preparation and use thereof. More specifically, the present invention relates to novel derivatives of natural product largazole, the method for preparing them and their uses for treatments against tumor and multiple sclerosis as inhibitors of histone deacetylase.
摘要翻译：本发明涉及式I的噻唑化合物，其制备方法和用途。更具体地，本发明涉及天然产物大唑的新衍生物，其制备方法及其用于治疗肿瘤和多发性硬化的用途，作为组蛋白脱乙酰酶的抑制剂。

10. 发明申请

US20110275124A1 Reagents for reversibly terminating primer extension 有权
标题翻译：可逆终止引物延伸的试剂
公开(公告)号：US20110275124A1
公开(公告)日：2011-11-10
申请号：US12383306
申请日：2009-03-23
申请人： Steven A. Benner , Daniel Hutter , Nicole Aurora Leal , Fei Chen
发明人： Steven A. Benner , Daniel Hutter , Nicole Aurora Leal , Fei Chen
IPC分类号： C12P19/34 , C07H19/14 , C07H19/20 , C07H19/10 , C07H19/073
CPC分类号： C07H19/10 , C07H19/073 , C07H19/14 , C07H19/173 , C07H23/00
摘要： This invention relates to the field of nucleic acid chemistry, more specifically to the field of compositions of matter that comprise triphosphates of modified 2′-deoxynucleosides and oligonucleotides that are formed when these are appended to the 3′-end of a primer, wherein said modifications comprise NH2 moiety attached to their 3′-hydroxyl group and a fluorescent species in a form of a tag affixed to the nucleobase via a linker that can be cleaved. Such compositions and their associated processes enable and improve the sequencing of oligonucleotides using a strategy of cyclic reversible termination, as outlined in U.S. Pat. No. 6,664,079. Most specifically, the invention concerns compositions of matter that are 5′-triphosphates of ribo- and 2′-deoxyribonucleosides carrying detectable tags and oligonucleotides that might be derived from them. The invention also concerns processes wherein a DNA polymerase, RNA polymerase, or reverse transcriptase synthesizes said oligonucleotides via addition of said triphosphates to a primer.
摘要翻译：本发明涉及核酸化学领域，更具体地涉及包含修饰的2'-脱氧核苷的三磷酸的物质组合物领域和当它们附着在引物的3'-末端时形成的寡核苷酸，其中所述修饰包括连接到它们的3'-羟基上的NH 2部分和通过能够被切割的接头固定在核碱基上的标签形式的荧光物质。这样的组合物及其相关方法使用循环可逆终止的策略实现和改进了寡核苷酸的测序，如美国专利No. 6,664,079。最具体地，本发明涉及携带检测标签的核糖核酸和2'-脱氧核糖核苷的5'-三磷酸的物质组合物，所述可检测标签和寡核苷酸可能来源于它们。本发明还涉及其中DNA聚合酶，RNA聚合酶或逆转录酶通过向引物中加入所述三磷酸合成所述寡核苷酸的方法。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式