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

51. 发明申请

US20090282288A1 DYNAMIC MODEL CHECKING WITH PROPERTY DRIVEN PRUNING TO DETECT RACE CONDITIONS 有权
标题翻译：动态模型检查与物业驱动检测以检测条件
公开(公告)号：US20090282288A1
公开(公告)日：2009-11-12
申请号：US12397696
申请日：2009-03-04
申请人： Chao Wang , Aarti Gupta
发明人： Chao Wang , Aarti Gupta
IPC分类号： G06F11/07
CPC分类号： G06F11/3612
摘要： A system and method for dynamic data race detection for concurrent systems includes computing lockset information using a processor for different components of a concurrent system. A controlled execution of the system is performed where the controlled execution explores different interleavings of the concurrent components. The lockset information is used during the controlled execution to check whether a search subspace associated with a state in the execution is free of data races. A race-free search subspace is dynamically pruned to reduce resource usage.
摘要翻译：用于并行系统的用于动态数据竞争检测的系统和方法包括使用用于并发系统的不同组件的处理器来计算锁定信息。执行系统的受控执行，其中受控执行探讨并发组件的不同交织。在受控执行期间使用锁定信息来检查与执行中的状态相关联的搜索子空间是否没有数据竞争。动态修剪无竞争的搜索子空间，以减少资源的使用。

52. 发明申请

US20090204968A1 SYSTEM AND METHOD FOR MONOTONIC PARTIAL ORDER REDUCTION 有权
标题翻译：用于单体部分减少的系统和方法
公开(公告)号：US20090204968A1
公开(公告)日：2009-08-13
申请号：US12367140
申请日：2009-02-06
申请人： Vineet Kahlon , Chao Wang , Aarti Gupta
发明人： Vineet Kahlon , Chao Wang , Aarti Gupta
IPC分类号： G06F9/44
CPC分类号： G06F11/3604 , G06F11/30
摘要： A system and method for analyzing concurrent programs that guarantees optimality in the number of thread inter-leavings to be explored. Optimality is ensured by globally constraining the inter-leavings of the local operations of its threads so that only quasi-monotonic sequences of threads operations are explored. For efficiency, a SAT/SMT solver is used to explore the quasi-monotonic computations of the given concurrent program. Constraints are added dynamically during exploration of the concurrent program via a SAT/SMT solver to ensure quasi-montonicity for model checking.
摘要翻译：一种用于分析并发程序的系统和方法，保证要探索的线程间隔数量的最优化。通过全局约束其线程的本地操作的离开来确保优化，从而仅探索准单调序列的线程操作。为了效率，使用SAT / SMT求解器来探索给定并发程序的准单调计算。通过SAT / SMT求解器在并发程序的探索期间动态添加约束，以确保模型检查的准单调性。

53. 发明申请

US20090111220A1 COATED LEAD FRAME 有权
标题翻译：涂层铅框架
公开(公告)号：US20090111220A1
公开(公告)日：2009-04-30
申请号：US12129686
申请日：2008-05-30
申请人： Chao Wang , Qing Chun He , Zhe Li , Zhijie Wang , Dehong Ye
发明人： Chao Wang , Qing Chun He , Zhe Li , Zhijie Wang , Dehong Ye
IPC分类号： H01L23/52 , H01L23/49 , B05D3/02 , H01L23/495
CPC分类号： H01L21/4835 , H01L23/49513 , H01L23/49582 , H01L24/32 , H01L24/48 , H01L24/73 , H01L24/83 , H01L24/85 , H01L24/92 , H01L2224/32013 , H01L2224/32245 , H01L2224/48091 , H01L2224/48247 , H01L2224/48465 , H01L2224/73265 , H01L2224/83801 , H01L2224/85001 , H01L2224/85011 , H01L2224/92 , H01L2224/92247 , H01L2924/00014 , H01L2924/01004 , H01L2924/01007 , H01L2924/01028 , H01L2924/01029 , H01L2924/01033 , H01L2924/01046 , H01L2924/0105 , H01L2924/01078 , H01L2924/01079 , H01L2924/01082 , H01L2924/014 , H01L2924/12044 , H01L2924/14 , Y10T428/12014 , Y10T428/12493 , Y10T428/12646 , H01L2224/78 , H01L2924/00012 , H01L2924/00 , H01L2224/45099 , H01L2224/05599
摘要： A lead frame having a coating of organic compounds on its lead fingers prevents tin and flux from contaminating the lead fingers after die attach. The coating is removed prior to wire bonding. The coating allows for reliable second bonds (bond between wires and lead fingers) to be formed, decreasing the likelihood of non-stick and improving wire peel strength.
摘要翻译：引线框架在其引线上具有有机化合物的涂层，防止锡和焊剂在芯片附着后污染铅指。在引线接合之前去除涂层。该涂层允许形成可靠的第二结合（电线和引线指之间的结合），降低不粘的可能性并提高线剥离强度。

54. 发明申请

US20090007038A1 HYBRID COUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT 审中-公开
标题翻译：混合反方向指导摘要
公开(公告)号：US20090007038A1
公开(公告)日：2009-01-01
申请号：US11950730
申请日：2007-12-05
申请人： Chao Wang , Aarti Gupta , Hyondeuk Kim
发明人： Chao Wang , Aarti Gupta , Hyondeuk Kim
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： Systems and methods are disclosed for performing counterexample guided abstraction refinement by transforming a design into a functionally equivalent Control and Data Flow Graph (CDFG); performing a hybrid abstraction of the design; generating a hybrid abstract model; and checking the hybrid abstract model.
摘要翻译：公开了用于通过将设计变换成功能等同的控制和数据流图（CDFG）来执行反例引导的抽象改进的系统和方法; 执行设计的混合抽象; 产生混合抽象模型; 并检查混合抽象模型。

55. 发明申请

US20080063141A1 Error control in algorithmic approach to step-and-shoot intensity modulated radiation therapy 失效
标题翻译：步进强度调制放射治疗的算法方法中的误差控制
公开(公告)号：US20080063141A1
公开(公告)日：2008-03-13
申请号：US11085529
申请日：2005-03-22
申请人： Shuang Luan , Danny Z. Chen , Xiaobo S. Hu , Chao Wang , Xiaodong Wu , Cedric X. Yu
发明人： Shuang Luan , Danny Z. Chen , Xiaobo S. Hu , Chao Wang , Xiaodong Wu , Cedric X. Yu
IPC分类号： A61N5/10
CPC分类号： A61N5/1042 , A61N5/1036 , A61N5/1048
摘要： The present invention provides a method comprising the following steps: (a) partitioning an intensity modulated beam into a set of sub-IMBs; and (b) partitioning the sub-IMBs into segments, wherein steps (a) and (b) introduce no machine delivery error. The present invention also provides a method comprising the following steps: (a) recursively partitioning an intensity modulated beam into plateaus; and (b) partitioning the plateaus into segments, wherein step (a) comprises determining a tradeoff between machine delivery error and the number of segments into which the plateaus will be partitioned in step (b).
摘要翻译：本发明提供了一种方法，包括以下步骤：（a）将强度调制波束划分成一组子IMB; 和（b）将子IMB分割成段，其中步骤（a）和（b）不引入机器传送错误。本发明还提供了一种方法，包括以下步骤：（a）将强度调制波束递归地划分成平台; 其中步骤（a）包括确定机器传送误差与在步骤（b）中将被平坦化的区段的数量之间的折衷。

56. 发明授权

US07283611B1 Segmentation algorithmic approach to step-and-shoot intensity modulated radiation therapy 失效
标题翻译：步进式强度调制放射治疗的分割算法方法
公开(公告)号：US07283611B1
公开(公告)日：2007-10-16
申请号：US11085510
申请日：2005-03-22
申请人： Shuang Luan , Danny Z. Chen , Xiaobo S. Hu , Chao Wang , Xiaodong Wu , Cedric X. Yu
发明人： Shuang Luan , Danny Z. Chen , Xiaobo S. Hu , Chao Wang , Xiaodong Wu , Cedric X. Yu
IPC分类号： A61N5/10
CPC分类号： A61N5/103 , A61N5/1036 , A61N5/1042 , Y10S378/901
摘要： The present invention provides a method comprising recursively partitioning an intensity modulated beam into plateaus; and partitioning the plateaus into segments. The present invention also provides a method for controlling administration of radiation therapy to a patient based on static leaf prescriptions. In addition, the present invention provides a method for partitioning an IMB.
摘要翻译：本发明提供了一种将强度调制波束递归地分割成平稳的方法; 并将高原分成段。本发明还提供了一种基于静态叶片处方来控制对患者的放射治疗的施用的方法。此外，本发明提供了一种用于划分IMB的方法。

57. 发明申请

US20050274124A1 Multi-stage pulse tube cryocooler 有权
标题翻译：多级脉冲管低温冷却器
公开(公告)号：US20050274124A1
公开(公告)日：2005-12-15
申请号：US11141876
申请日：2005-06-01
申请人： Chao Wang
发明人： Chao Wang
IPC分类号： F25B9/00 , F25B9/14
CPC分类号： F25B9/145 , F25B9/10 , F25B2309/1408 , F25B2309/1412 , F25B2309/14241 , F25B2309/1425 , F25D19/006
摘要： A three-stage pulse-tube cryocooler, in which the third stage pulse tube is arranged below the second stage pulse tube, with a gas flow conduit between the second stage pulse tube heat exchanger and the cold end of the second stage regenerator. The design of the invention is much simpler than a conventional three-stage parallel pulse tube cooler, requiring only two pulse tubes at the warm (room temperature) end and two reservoirs, with a corresponding reduction in the number of associated orifices, passages, etc. In effect, this provides a three stage cryocooler with a two-stage warm end design by putting the second and third stage pulse tubes in series, with a gas flow passage providing gas flow between the second and third stages for gas expansion and refrigeration. The three-stage design allows an intermediate temperature connection between the temperatures of the first and third stages, for applications which require three cooling temperatures.
摘要翻译：在第二级脉冲管式热交换器和第二级再生器的冷端之间具有气体流路的三级脉冲管式低温冷却器，其中第三级脉冲管布置在第二级脉冲管的下方。本发明的设计比传统的三级并联脉冲管冷却器简单得多，只需要温暖（室温）端的两个脉冲管和两个储存器，相应的孔，通道等的数量相应减少实际上，这提供了通过将第二和第三级脉冲管串联放置的具有两级热端设计的三级制冷器，其中气流通道在第二级和第三级之间提供用于气体膨胀和制冷的气流。三级设计允许在第一级和第三级的温度之间进行中间温度连接，用于需要三个冷却温度的应用。

58. 发明申请

US20050080015A1 Carboline-3-carboxylic acid modified related sequences of Ala-Arg-Pro-Ala-Lys, their synthesis and use as thromobolytic agent 有权
标题翻译：羧酸修饰的Ala-Arg-Pro-Ala-Lys相关序列，它们的合成和用作溶血剂
公开(公告)号：US20050080015A1
公开(公告)日：2005-04-14
申请号：US10680293
申请日：2003-10-08
申请人： Shiqi Peng , Ming Zhao , Chao Wang , Yangfen Wu
发明人： Shiqi Peng , Ming Zhao , Chao Wang , Yangfen Wu
IPC分类号： A61K38/00 , C07K14/75 , A61K38/08 , C07K7/06
CPC分类号： C07K14/75 , A61K38/00
摘要： The present invention relates to the protected intermediates and the deprotected products of P6A, related to the protected pseudopeptides introducing the protected intermediateds of P6A to 3S-(2-Boc)-1,2,3,4-tetrahydro-β-carboline-3-carboxylic acid and the deprotected pseudopeptides, related to the protected pseudopeptides introducing the protected intermediateds of P6A to 3S-1,2,3,4-tetrahydro-β-carboline-3-carboxylic acid benzyl ester, related to the methods for their preparation, and related to their use as the thrombolytic agents.
摘要翻译：本发明涉及受保护的中间体和P6A的去保护产物，其与被保护的假肽相关，引入受保护的中间体P6A至3S-（2-Boc）-1,2,3,4-四氢-β-咔啉-3 羧酸和去保护的假肽，与保护的假肽相关，引入受保护的中间体P6A至3S-1,2,3,4-四氢-β-咔啉-3-羧酸苄酯，涉及其制备方法，并且与它们作为溶栓剂的用途有关。

59. 发明授权

US12152821B1 Coaxial pulse tube cryocoolers 有权
公开(公告)号：US12152821B1
公开(公告)日：2024-11-26
申请号：US18081271
申请日：2022-12-14
申请人： Chao Wang
发明人： Chao Wang
IPC分类号： F25B9/10 , F25B9/14
CPC分类号： F25B9/145 , F25B9/10 , F25B2309/1406 , F25B2309/1412 , F25B2309/1415
摘要： A two-stage pulse tube cryocooler, having compact size, less vibration and lower manufacturing cost is disclosed, in which at least a first stage of the cryocooler is coaxial, but in which first and second stages may be coaxial by locating circular regenerators of each stage inside of corresponding annular pulse tubes. A second stage circular regenerator is installed below a first stage regenerator. This configuration allows preassembly of the regenerator assembly and a base tube assembly in one or more stages. The pulse tube, which is annular, is coaxially formed with an outside surface of the assembled regenerator assembly and an inner surface of the outer tube of the base tube assembly after installation of the regenerator assembly.

60. 发明申请

US20180123234A1 Antenna System 审中-公开
公开(公告)号：US20180123234A1
公开(公告)日：2018-05-03
申请号：US15417199
申请日：2017-01-26
申请人： Chao Wang , Yongli Chen , Ya Wang
发明人： Chao Wang , Yongli Chen , Ya Wang
IPC分类号： H01Q1/48 , H01Q1/22
CPC分类号： H01Q1/48 , H01Q1/2291 , H01Q1/243 , H01Q9/42
摘要： Provided is an antenna system, including a system ground unit, a metal back cover, a frame as antenna radiator, and a grounding circuit, a feeding circuit and a tuning switch, the antenna radiator includes a main radiator and an auxiliary radiator; the main radiator includes a first main radiator which forms, together with the metal back cover, a first main gap, a second main radiator extending from the first main radiator and forms, together with the metal back cover, a second main gap, and a first fracture separating the first main radiator into two parts; the auxiliary radiator includes a first auxiliary radiator which forms, together with the metal back cover, a first auxiliary gap, a second auxiliary radiator extending from the first auxiliary radiator and forms, together with the metal back cover, a second auxiliary gap, and a second fracture separating the first auxiliary radiator into two parts.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式