中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

133 records (took 0.022 seconds)

    HYBRID COUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT
    52.
    发明申请
    HYBRID COUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT 审中-公开
    混合反方向指导摘要

    公开(公告)号：US20090007038A1

    公开(公告)日：2009-01-01

    申请号：US11950730

    申请日：2007-12-05

    Applicant: Chao Wang ,  Aarti Gupta ,  Hyondeuk Kim

    Inventor： Chao Wang ,  Aarti Gupta ,  Hyondeuk Kim

    IPC: G06F17/50

    CPC classification number: G06F17/504

    Abstract: 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.

    Abstract translation: 公开了用于通过将设计变换成功能等同的控制和数据流图（CDFG）来执行反例引导的抽象改进的系统和方法; 执行设计的混合抽象; 产生混合抽象模型; 并检查混合抽象模型。

    Error control in algorithmic approach to step-and-shoot intensity modulated radiation therapy
    53.
    发明申请
    Error control in algorithmic approach to step-and-shoot intensity modulated radiation therapy 失效
    步进强度调制放射治疗的算法方法中的误差控制

    公开(公告)号：US20080063141A1

    公开(公告)日：2008-03-13

    申请号：US11085529

    申请日：2005-03-22

    Applicant: Shuang Luan ,  Danny Z. Chen ,  Xiaobo S. Hu ,  Chao Wang ,  Xiaodong Wu ,  Cedric X. Yu

    Inventor： Shuang Luan ,  Danny Z. Chen ,  Xiaobo S. Hu ,  Chao Wang ,  Xiaodong Wu ,  Cedric X. Yu

    IPC: A61N5/10

    CPC classification number: A61N5/1042 ,  A61N5/1036 ,  A61N5/1048

    Abstract: 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).

    Abstract translation: 本发明提供了一种方法，包括以下步骤：（a）将强度调制波束划分成一组子IMB; 和（b）将子IMB分割成段，其中步骤（a）和（b）不引入机器传送错误。 本发明还提供了一种方法，包括以下步骤：（a）将强度调制波束递归地划分成平台; 其中步骤（a）包括确定机器传送误差与在步骤（b）中将被平坦化的区段的数量之间的折衷。

    Multi-stage pulse tube cryocooler
    55.
    发明申请
    Multi-stage pulse tube cryocooler 有权
    多级脉冲管低温冷却器

    公开(公告)号：US20050274124A1

    公开(公告)日：2005-12-15

    申请号：US11141876

    申请日：2005-06-01

    Applicant: Chao Wang

    Inventor： Chao Wang

    IPC: F25B9/00 ,  F25B9/14

    CPC classification number: F25B9/145 ,  F25B9/10 ,  F25B2309/1408 ,  F25B2309/1412 ,  F25B2309/14241 ,  F25B2309/1425 ,  F25D19/006

    Abstract: 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.

    Abstract translation: 在第二级脉冲管式热交换器和第二级再生器的冷端之间具有气体流路的三级脉冲管式低温冷却器，其中第三级脉冲管布置在第二级脉冲管的下方。 本发明的设计比传统的三级并联脉冲管冷却器简单得多，只需要温暖（室温）端的两个脉冲管和两个储存器，相应的孔，通道等的数量相应减少 实际上，这提供了通过将第二和第三级脉冲管串联放置的具有两级热端设计的三级制冷器，其中气流通道在第二级和第三级之间提供用于气体膨胀和制冷的气流。 三级设计允许在第一级和第三级的温度之间进行中间温度连接，用于需要三个冷却温度的应用。

    Carboline-3-carboxylic acid modified related sequences of Ala-Arg-Pro-Ala-Lys, their synthesis and use as thromobolytic agent
    56.
    发明申请
    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

    Applicant: Shiqi Peng ,  Ming Zhao ,  Chao Wang ,  Yangfen Wu

    Inventor： Shiqi Peng ,  Ming Zhao ,  Chao Wang ,  Yangfen Wu

    IPC: A61K38/00 ,  C07K14/75 ,  A61K38/08 ,  C07K7/06

    CPC classification number: C07K14/75 ,  A61K38/00

    Abstract: 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.

    Abstract translation: 本发明涉及受保护的中间体和P6A的去保护产物，其与被保护的假肽相关，引入受保护的中间体P6A至3S-（2-Boc）-1,2,3,4-四氢-β-咔啉-3 羧酸和去保护的假肽，与保护的假肽相关，引入受保护的中间体P6A至3S-1,2,3,4-四氢-β-咔啉-3-羧酸苄酯，涉及其制备方法 ，并且与它们作为溶栓剂的用途有关。

    Coaxial pulse tube cryocoolers
    57.
    发明授权
    Coaxial pulse tube cryocoolers 有权

    公开(公告)号：US12152821B1

    公开(公告)日：2024-11-26

    申请号：US18081271

    申请日：2022-12-14

    Applicant: Chao Wang

    Inventor： Chao Wang

    IPC: F25B9/10 ,  F25B9/14

    Abstract: 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.

    Antenna System
    60.
    发明申请
    Antenna System 审中-公开

    公开(公告)号：US20180123234A1

    公开(公告)日：2018-05-03

    申请号：US15417199

    申请日：2017-01-26

    Applicant: Chao Wang ,  Yongli Chen ,  Ya Wang

    Inventor： Chao Wang ,  Yongli Chen ,  Ya Wang

    IPC: H01Q1/48 ,  H01Q1/22

    CPC classification number: H01Q1/48 ,  H01Q1/2291 ,  H01Q1/243 ,  H01Q9/42

    Abstract: 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.

Patent Agency Ranking