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

1. 发明授权

US08719774B2 Developing programs for hardware implementation in a graphical specification and constraint language Via iterative estimation of performance or resource utilization 有权
标题翻译：在图形规范和约束语言中开发用于硬件实现的程序通过对性能或资源利用率的迭代估计
公开(公告)号：US08719774B2
公开(公告)日：2014-05-06
申请号：US13193366
申请日：2011-07-28
申请人： Guoqiang Wang , Jeffrey N. Correll , Sadia B. Malik , Hugo A. Andrade , Newton G. Petersen , Rhishikesh Limaye , Trung N. Tran , Jacob Kornerup , Kaushik Ravindran , Guang Yang
发明人： Guoqiang Wang , Jeffrey N. Correll , Sadia B. Malik , Hugo A. Andrade , Newton G. Petersen , Rhishikesh Limaye , Trung N. Tran , Jacob Kornerup , Kaushik Ravindran , Guang Yang
IPC分类号： G06F9/44
CPC分类号： G06F8/20 , G06F3/048 , G06F8/34 , G06F9/44 , G06F9/4494 , G06F17/30294 , G06F17/30572 , G06F17/5004 , G06F17/5045 , G06F2217/02 , G06F2217/04 , G06F2217/06 , G06F2217/12 , G06F2217/14 , G06F2217/16 , G06F2217/74
摘要： System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation.
摘要翻译：用于指定和实现程序的系统和方法。以图形规范和约束语言创建图形程序，该语言允许指定计算模型并响应用户输入显式声明约束。图形程序包括指定的计算模型，多个互连的功能块，其可视地指示根据指定的计算模型的图形程序的功能，以及用于图形程序或至少一个功能块的规格或约束图形程序。指定的计算模型和规范或约束可用于分析图形程序或生成程序或模拟。

2. 发明申请

US20120030647A1 Developing Programs for Hardware Implementation in a Graphical Specification and Constraint Language via Iterative Estimation of Performance or Resource Utilization 有权
标题翻译：通过对性能或资源利用率的迭代估计，以图形规范和约束语言开发硬件实现程序
公开(公告)号：US20120030647A1
公开(公告)日：2012-02-02
申请号：US13193366
申请日：2011-07-28
申请人： Guoqiang Wang , Jeffrey N. Correll , Sadia B. Malik , Hugo A. Andrade , Newton G. Petersen , Rhishikesh Limaye , Trung N. Tran , Jacob Kornerup , Kaushik Ravindran , Guang Yang
发明人： Guoqiang Wang , Jeffrey N. Correll , Sadia B. Malik , Hugo A. Andrade , Newton G. Petersen , Rhishikesh Limaye , Trung N. Tran , Jacob Kornerup , Kaushik Ravindran , Guang Yang
IPC分类号： G06F9/44
CPC分类号： G06F8/20 , G06F3/048 , G06F8/34 , G06F9/44 , G06F9/4494 , G06F17/30294 , G06F17/30572 , G06F17/5004 , G06F17/5045 , G06F2217/02 , G06F2217/04 , G06F2217/06 , G06F2217/12 , G06F2217/14 , G06F2217/16 , G06F2217/74
摘要： System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation.
摘要翻译：用于指定和实现程序的系统和方法。以图形规范和约束语言创建图形程序，该语言允许指定计算模型并响应用户输入显式声明约束。图形程序包括指定的计算模型，多个互连的功能块，其可视地指示根据指定的计算模型的图形程序的功能，以及用于图形程序或至少一个功能块的规格或约束图形程序。指定的计算模型和规范或约束可用于分析图形程序或生成程序或模拟。

3. 发明授权

US08887121B2 Developing programs for hardware implementation in a graphical specification and constraint language 有权
标题翻译：在图形规范和约束语言中开发用于硬件实现的程序
公开(公告)号：US08887121B2
公开(公告)日：2014-11-11
申请号：US13193353
申请日：2011-07-28
申请人： Kaushik Ravindran , Jacob Kornerup , Rhishikesh Limaye , Guang Yang , Guoqiang Wang , Jeffrey N. Correll , Arkadeb Ghosal , Sadia B. Malik , Charles E. Crain, II , Michael J. Trimborn
发明人： Kaushik Ravindran , Jacob Kornerup , Rhishikesh Limaye , Guang Yang , Guoqiang Wang , Jeffrey N. Correll , Arkadeb Ghosal , Sadia B. Malik , Charles E. Crain, II , Michael J. Trimborn
IPC分类号： G06F17/50 , G06F9/44 , G06F3/048 , G06F7/60 , G06F17/30
CPC分类号： G06F8/20 , G06F3/048 , G06F8/34 , G06F9/44 , G06F9/4494 , G06F17/30294 , G06F17/30572 , G06F17/5004 , G06F17/5045 , G06F2217/02 , G06F2217/04 , G06F2217/06 , G06F2217/12 , G06F2217/14 , G06F2217/16 , G06F2217/74
摘要： System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation.
摘要翻译：用于指定和实现程序的系统和方法。以图形规范和约束语言创建图形程序，该语言允许指定计算模型并响应用户输入显式声明约束。图形程序包括指定的计算模型，多个互连的功能块，其可视地指示根据指定的计算模型的图形程序的功能，以及用于图形程序或至少一个功能块的规格或约束图形程序。指定的计算模型和规范或约束可用于分析图形程序或生成程序或模拟。

4. 发明申请

US20120030650A1 Developing Programs for Hardware Implementation in a Graphical Specification and Constraint Language 有权
标题翻译：以图形规范和约束语言开发硬件实现程序
公开(公告)号：US20120030650A1
公开(公告)日：2012-02-02
申请号：US13193353
申请日：2011-07-28
申请人： Kaushik Ravindran , Jacob Kornerup , Rhishikesh Limaye , Guang Yang , Guoqiang Wang , Jeffrey N. Correll , Arkadeb Ghosal , Sadia B. Malik , Charles E. Crain, II , Michael J. Trimborn
发明人： Kaushik Ravindran , Jacob Kornerup , Rhishikesh Limaye , Guang Yang , Guoqiang Wang , Jeffrey N. Correll , Arkadeb Ghosal , Sadia B. Malik , Charles E. Crain, II , Michael J. Trimborn
IPC分类号： G06F9/44 , G06F3/048
CPC分类号： G06F8/20 , G06F3/048 , G06F8/34 , G06F9/44 , G06F9/4494 , G06F17/30294 , G06F17/30572 , G06F17/5004 , G06F17/5045 , G06F2217/02 , G06F2217/04 , G06F2217/06 , G06F2217/12 , G06F2217/14 , G06F2217/16 , G06F2217/74
摘要： System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation.
摘要翻译：用于指定和实现程序的系统和方法。以图形规范和约束语言创建图形程序，该语言允许指定计算模型并响应用户输入显式声明约束。图形程序包括指定的计算模型，多个互连的功能块，其可视地指示根据指定的计算模型的图形程序的功能，以及用于图形程序或至少一个功能块的规格或约束图形程序。指定的计算模型和规范或约束可用于分析图形程序或生成程序或模拟。

5. 发明申请

US20120030646A1 Developing Programs in a Graphical Specification and Constraint Language 有权
标题翻译：以图形规范和约束语言开发程序
公开(公告)号：US20120030646A1
公开(公告)日：2012-02-02
申请号：US13193316
申请日：2011-07-28
申请人： Kaushik Ravindran , Guang Yang , Jacob Kornerup , Ian C. Wong , Jeffrey N. Correll , Michael J. Trimborn , Hugo A. Andrade
发明人： Kaushik Ravindran , Guang Yang , Jacob Kornerup , Ian C. Wong , Jeffrey N. Correll , Michael J. Trimborn , Hugo A. Andrade
IPC分类号： G06F9/44
CPC分类号： G06F8/20 , G06F3/048 , G06F8/34 , G06F9/44 , G06F9/4494 , G06F17/30294 , G06F17/30572 , G06F17/5004 , G06F17/5045 , G06F2217/02 , G06F2217/04 , G06F2217/06 , G06F2217/12 , G06F2217/14 , G06F2217/16 , G06F2217/74
摘要： System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation.
摘要翻译：用于指定和实现程序的系统和方法。以图形规范和约束语言创建图形程序，该语言允许指定计算模型并响应用户输入显式声明约束。图形程序包括指定的计算模型，多个互连的功能块，其可视地指示根据指定的计算模型的图形程序的功能，以及用于图形程序或至少一个功能块的规格或约束图形程序。指定的计算模型和规范或约束可用于分析图形程序或生成程序或模拟。

6. 发明授权

US08726228B2 Developing programs in a graphical specification and constraint language 有权
标题翻译：以图形规范和约束语言开发程序
公开(公告)号：US08726228B2
公开(公告)日：2014-05-13
申请号：US13193316
申请日：2011-07-28
申请人： Kaushik Ravindran , Guang Yang , Jacob Kornerup , Ian C. Wong , Jeffrey N. Correll , Michael J. Trimborn , Hugo A. Andrade
发明人： Kaushik Ravindran , Guang Yang , Jacob Kornerup , Ian C. Wong , Jeffrey N. Correll , Michael J. Trimborn , Hugo A. Andrade
IPC分类号： G06F9/44
CPC分类号： G06F8/20 , G06F3/048 , G06F8/34 , G06F9/44 , G06F9/4494 , G06F17/30294 , G06F17/30572 , G06F17/5004 , G06F17/5045 , G06F2217/02 , G06F2217/04 , G06F2217/06 , G06F2217/12 , G06F2217/14 , G06F2217/16 , G06F2217/74
摘要： System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation.
摘要翻译：用于指定和实现程序的系统和方法。以图形规范和约束语言创建图形程序，该语言允许指定计算模型并响应用户输入显式声明约束。图形程序包括指定的计算模型，多个互连的功能块，其可视地指示根据指定的计算模型的图形程序的功能，以及用于图形程序或至少一个功能块的规格或约束图形程序。指定的计算模型和规范或约束可用于分析图形程序或生成程序或模拟。

7. 发明授权

US09899160B2 Low-profile electronic circuit breakers, systems, and methods 有权
公开(公告)号：US09899160B2
公开(公告)日：2018-02-20
申请号：US13969768
申请日：2013-08-19
申请人： John DeBoer , Brian Timothy McCoy , Guang Yang
发明人： John DeBoer , Brian Timothy McCoy , Guang Yang
IPC分类号： H01H9/54 , H01H11/00 , H02J4/00 , H01H71/02 , H01H71/10 , H01H71/12
CPC分类号： H01H9/54 , H01H11/00 , H01H71/0271 , H01H71/1045 , H01H71/12 , H02B1/056 , H02J4/00 , Y10T29/49105
摘要： A low-profile electronic circuit breaker includes first and second electrical branches coupled to respective first and second load terminals. The electronic circuit breaker also includes an electronic processing circuit configured to monitor an electrical condition in the first and second electrical branches. The electronic circuit breaker is packaged in a housing sized to occupy a standard single-pole breaker panelboard location. In some embodiments, the electronic circuit breaker has no load neutral terminals associated with the first and second load terminals. Methods of assembling an electronic circuit breaker are provided, as are other system and method aspects.

8. 发明授权

US09458437B2 Neuroprotective peptides that inhibit interaction between palmitoyl acyl transferase zinc-finger DHHC type containing 17 (zD17) and c-jun N-terminal kinase (JNK) 有权
标题翻译：抑制与含有17（zD17）和c-jun N-末端激酶（JNK）的棕榈酰酰基转移酶锌指DHHC型相互作用的神经保护肽
公开(公告)号：US09458437B2
公开(公告)日：2016-10-04
申请号：US14232268
申请日：2012-07-12
申请人： Max S. Cynader , Guang Yang
发明人： Max S. Cynader , Guang Yang
IPC分类号： A61K38/45 , C07K19/00 , C12N9/10 , A61K47/48 , A61K38/00
CPC分类号： C12N9/1029 , A61K38/00 , A61K38/45 , A61K47/48315 , A61K47/645 , C07K2319/10 , C07K2319/23 , C07K2319/41 , C07K2319/70
摘要： Isolated polypeptides are disclosed herein, the isolated polypeptides comprising at least 90% identity to any one of: SEQ ID NO:1; SEQ ID NO:2; or SEQ ID NO:3, wherein the isolated polypeptide inhibits an interaction between palmitoyl acyl transferase zinc-finger DHHC type containing 17 (z D17) and c-jun N-terminal kinase (JNK). The polypeptides may be conjugated to a delivery and targeting moiety, such as the cell-membrane transduction domain of the HIV-1 Tat protein. There are also provided methods for treating a disease associated with cytotoxicity or excitotoxicity.
摘要翻译：本文公开了分离的多肽，所述分离的多肽与SEQ ID NO：1中的任一个包含至少90％的同一性; SEQ ID NO：2; 或SEQ ID NO：3，其中所述分离的多肽抑制含有17（z D17）和c-jun N-末端激酶（JNK）的棕榈酰酰基转移酶锌指DHHC型之间的相互作用。多肽可以与递送和靶向部分缀合，例如HIV-1 Tat蛋白的细胞膜转导结构域。还提供了治疗与细胞毒性或兴奋性毒性相关的疾病的方法。

9. 发明授权

US09021061B2 Method and apparatus for accommodating overlapping wireless networks 有权
标题翻译：用于容纳重叠的无线网络的方法和装置
公开(公告)号：US09021061B2
公开(公告)日：2015-04-28
申请号：US12643037
申请日：2009-12-21
申请人： Guang Yang
发明人： Guang Yang
IPC分类号： G06F15/16 , H04L29/12
CPC分类号： H04L29/12594 , H04L61/303 , H04M2250/06
摘要： A method comprises forming a pathname indicative of a location of content on a wireless network, the pathname including an identifier of the wireless network; and sending a request for the content, the request including the pathname. In one embodiment, the pathname further includes a delimiter configured to specify a location of the identifier of the wireless network in the pathname.
摘要翻译：一种方法包括：在无线网络上形成指示内容位置的路径名，路径名包括无线网络的标识符; 并发送对内容的请求，该请求包括路径名。在一个实施例中，路径名还包括分配符，其被配置为指定路径名中的无线网络的标识符的位置。

10. 发明授权

US08856226B2 Method, apparatus, and computer program product for context-based contact information management 有权
标题翻译：用于基于上下文的联系信息管理的方法，设备和计算机程序产品
公开(公告)号：US08856226B2
公开(公告)日：2014-10-07
申请号：US12362956
申请日：2009-01-30
申请人： Peter Boda , Guang Yang
发明人： Peter Boda , Guang Yang
IPC分类号： G06F15/16 , H04M3/42
CPC分类号： H04M3/42 , H04M2201/36 , H04M2203/2038
摘要： An apparatus for context-based contact information management may include a processor. The processor may be configured to receive contact information and associated sender-based context information. In this regard, the contact information and sender-based context information may have been transmitted from a sending device. The processor may also be configured to associate receiver-based context information with the contact information and identify a historical context within a historical multi-dimensional context environment based at least in part on the sender-based context information and the receiver-based context information. Further, the processor may be configured to link the contact information to the historical context. Associated methods and computer program products may also be provided.
摘要翻译：用于基于上下文的联系人信息管理的装置可以包括处理器。处理器可以被配置为接收联系人信息和相关联的基于发送者的上下文信息。在这方面，可以从发送设备发送联系人信息和基于发送者的上下文信息。处理器还可以被配置为将基于接收者的上下文信息与联系信息相关联，并且至少部分地基于基于发送者的上下文信息和基于接收者的上下文信息来识别历史多维上下文环境中的历史上下文。此外，处理器可以被配置为将联系人信息链接到历史上下文。还可以提供相关方法和计算机程序产品。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式