APPARATUS, METHOD, AND COMPUTER PROGRAM FOR A MOBILE RELAY STATION TRANSCEIVER, SYSTEM, AND MEANS FOR MASS TRANSPORTATION
    1.
    发明申请
    APPARATUS, METHOD, AND COMPUTER PROGRAM FOR A MOBILE RELAY STATION TRANSCEIVER, SYSTEM, AND MEANS FOR MASS TRANSPORTATION 审中-公开
    移动中继站收发器,系统和大规模运输手段的装置,方法和计算机程序

    公开(公告)号:US20150011158A1

    公开(公告)日:2015-01-08

    申请号:US14376956

    申请日:2012-02-06

    CPC classification number: H04W16/26 H04W28/06 H04W84/047 H04W92/16

    Abstract: Embodiments provide an apparatus, a method, and a computer program for a mobile relay station transceiver. Embodiments may further provide a system and means for mass transportation. An apparatus (10) for a mobile relay station transceiver (100) in a mobile communication system (500) comprises a donor interface (12) operable to communicate with a donor base station transceiver (300) and an air interface (14) operable to communicate with a mobile transceiver (400). The apparatus (10) further comprises a relay interface (16) operable to communicate with another relay station transceiver (200).

    Abstract translation: 实施例提供了一种用于移动中继站收发信机的装置,方法和计算机程序。 实施例还可以提供用于大规模运输的系统和装置。 一种用于移动通信系统(500)中的移动中继站收发信机(100)的装置(10),包括:供体接口(12),可操作以与施主基站收发信机(300)进行通信;以及空中接口(14) 与移动收发器(400)通信。 所述设备(10)还包括可操作以与另一中继站收发器(200)通信的中继接口(16)。

    USE OF SPINK6 GENE AND ITS ENCODED PROTEIN FOR THE PREPARATION OF AN ANTI-TUMOR DRUG
    2.
    发明申请
    USE OF SPINK6 GENE AND ITS ENCODED PROTEIN FOR THE PREPARATION OF AN ANTI-TUMOR DRUG 审中-公开
    使用SPINK6基因及其编码蛋白制备抗肿瘤药物

    公开(公告)号:US20130130990A1

    公开(公告)日:2013-05-23

    申请号:US13501070

    申请日:2009-10-12

    CPC classification number: A61K38/57 A61K38/00 C07K14/8135

    Abstract: The present invention describes use of spink6 gene and the encoded protein in the manufacture of an anti-tumor drug. spink6 gene has a nucleotide sequence designated as SEQ ID NO:1, and the protein encoded by spink6 gene has an amino acid sequence designated as SEQ ID NO:2. The protein encoded by spink6 gene and its derivatives can be used as potential drugs for treatment of human diseases caused by dysregulation of the cell cycle control, such as various malignant tumors, cell abnormal proliferation, and the like.

    Abstract translation: 本发明描述了在制造抗肿瘤药物中使用spink6基因和编码蛋白质。 spink6基因具有标记为SEQ ID NO:1的核苷酸序列,并且由spink6基因编码的蛋白质具有指定为SEQ ID NO:2的氨基酸序列。 由spink6基因及其衍生物编码的蛋白质可用作治疗由细胞周期控制失调引起的人类疾病的潜在药物,例如各种恶性肿瘤,细胞异常增殖等。

    LOW-COST GAS SHIELDED FLUX-CORED WIRE WITH RECYCLED WELDING SLAG
    3.
    发明申请
    LOW-COST GAS SHIELDED FLUX-CORED WIRE WITH RECYCLED WELDING SLAG 审中-公开
    低成本气体屏蔽焊丝与回收焊接滑块

    公开(公告)号:US20120241432A1

    公开(公告)日:2012-09-27

    申请号:US13418157

    申请日:2012-03-12

    Abstract: A gas shielded flux-cored wire (FCW) comprises s steel sheath and core flux, in which recycled welding slag powder is used to partially replace the natural rutile. The core flux contains (by weight): 10-50% recycling welding slag powder, 10-45% TiO2, 2-7% Si, 5-20% Mn, 0.5-5% Al—Mg (Al/Mg=1), 0-11.52% Na2CO3, 0-8.85% K2CO3, 0-10% MgO, 0.5-10% fluoride, and iron powder as balance. The recycling welding contains (by weight): TiO2: 20-65%, MnO: 5%-15%, MgO: 5%-15%, SiO2: 5%-15%, Fe2O3: 1%-10%, Al2O3: 1%-10%.

    Abstract translation: 气体保护药芯焊丝(FCW)包括钢护套和芯焊剂,其中再循环焊渣粉末用于部分替代天然金红石。 核心焊剂含有(重量):10-50%回收焊渣粉末,10-45%TiO2,2-7%Si,5-20%Mn,0.5-5%Al-Mg(Al / Mg = 1) ,0-11.52%Na 2 CO 3,0-8.85%K 2 CO 3,0-10%MgO,0.5-10%氟化物和作为平衡的铁粉。 回收焊接含有:TiO 2:20-65%,MnO:5%-15%,MgO:5%-15%,SiO 2:5%-15%,Fe 2 O 3:1%-10%,Al 2 O 3: 1%-10%。

    System and Method for Providing High Availability for Distributed Application
    4.
    发明申请
    System and Method for Providing High Availability for Distributed Application 有权
    为分布式应用提供高可用性的系统和方法

    公开(公告)号:US20120030503A1

    公开(公告)日:2012-02-02

    申请号:US12846056

    申请日:2010-07-29

    CPC classification number: G06F11/2097 G06F11/203 G06F11/2038

    Abstract: A system and method is provided for ensuring high availability for a distributed application. A management object manages multiple scenarios defined for protection units associated with a distributed application. The management object may coordinate various operations performed at the protection units based on management object configuration information.

    Abstract translation: 提供了一种用于确保分布式应用程序的高可用性的系统和方法。 管理对象管理为与分布式应用相关联的保护单元定义的多个场景。 管理对象可以基于管理对象配置信息来协调在保护单元处执行的各种操作。

    Non-Signal Imidazole Reagents for Mass Spectrometry Analysis of Phosphomonoesters
    5.
    发明申请
    Non-Signal Imidazole Reagents for Mass Spectrometry Analysis of Phosphomonoesters 审中-公开
    非信号咪唑试剂用于磷酸单酯的质谱分析

    公开(公告)号:US20110269968A1

    公开(公告)日:2011-11-03

    申请号:US13184012

    申请日:2011-07-15

    Abstract: Analytical chemical reagents termed non-signal imidazoles and a method for their use that provide a host of advantages for analysis of phosphomonoesters are described. The method and compounds of the invention provide a host of advantages for the analysis of phosphomonoester-containing compounds, namely characteristic, multi-analyte detection with high sensitivity and specificity of known and unknown phosphomonoester-containing compounds simultaneously.

    Abstract translation: 描述了称为非信号咪唑的分析化学试剂及其用于分析磷酸单酯的主要优点的使用方法。 本发明的方法和化合物提供了用于分析含有含磷单体的化合物的主要优点,即同时具有高灵敏度和特异性的已知和未知的含磷单体化合物的特征性多分析物检测。

    Non-signal Imidazole Reagents for Mass Spectrometry Analysis of Phosphomonoesters
    6.
    发明申请
    Non-signal Imidazole Reagents for Mass Spectrometry Analysis of Phosphomonoesters 有权
    非信号咪唑试剂用于磷酸单酯的质谱分析

    公开(公告)号:US20090215185A1

    公开(公告)日:2009-08-27

    申请号:US11922732

    申请日:2006-06-21

    Abstract: Analytical chemical reagents termed non-signal imidazoles and a method for their use that provide a host of advantages for analysis of phosphomonoesters are described. The method and compounds of the invention provide a host of advantages for the analysis of phosphomonoester-containing compounds, namely characteristic, multi-analyte detection with high sensitivity and specificity of known and unknown phosphomonoester-compounds simultaneously.

    Abstract translation: 描述了称为非信号咪唑的分析化学试剂及其用于分析磷酸单酯的主要优点的使用方法。 本发明的方法和化合物为分析含磷单体化合物提供了许多优点,即同时具有高灵敏度和特异性的特征性多分析物检测。

    Satisfiability checking
    9.
    发明授权
    Satisfiability checking 有权
    满意度检查

    公开(公告)号:US09501331B2

    公开(公告)日:2016-11-22

    申请号:US13570906

    申请日:2012-08-09

    Abstract: A satisfiability checking system may include a single instruction, multiple data (SIMD) machine configured to execute multiple threads in parallel. The multiple threads may be divided among multiple blocks. The SIMD machine may be further configured to perform satisfiability checking of a formula including multiple parts. The satisfiability checking may include assigning one or more of the parts to one or more threads of the multiple threads of a first block of the multiple blocks. The satisfiability checking may further include processing the assigned one or more parts in the first block such that first results are calculated based on a first proposition. The satisfiability checking may further include synchronizing the results among the one or more threads of the first block.

    Abstract translation: 可满足性检查系统可以包括单个指令,被配置为并行地执行多个线程的多数据(SIMD)机器。 多个线程可以在多个块之间划分。 SIMD机器还可以被配置为执行包括多个部分的公式的可满足性检查。 可满足性检查可以包括将一个或多个部分分配给多个块的第一块的多个线程的一个或多个线程。 可满足性检查还可以包括处理第一块中分配的一个或多个部分,使得基于第一命题计算第一结果。 可满足性检查还可以包括在第一块的一个或多个线程之间同步结果。

    Software architecture for validating C++ programs using symbolic execution
    10.
    发明授权
    Software architecture for validating C++ programs using symbolic execution 有权
    用于使用符号执行来验证C ++程序的软件体系结构

    公开(公告)号:US08869113B2

    公开(公告)日:2014-10-21

    申请号:US13010714

    申请日:2011-01-20

    CPC classification number: G06F11/3684 G06F11/3604

    Abstract: Particular embodiment compile a C++ program having one or more input variables to obtain bytecode of the C++ program; compile a C++ library to obtain bytecode of the C++ library; symbolically execute the bytecode of the C++ program and the bytecode of the C++ library, comprising assign a symbolic input to each input variable of the C++ program; determine one or more execution paths in the C++ program; and for each execution path, construct a symbolic expression that if satisfied, causes the C++ program to proceed down the execution path; and generate one or more test cases for the C++ program by solving the symbolic expressions.

    Abstract translation: 编译具有一个或多个输入变量的C ++程序,以获得C ++程序的字节码; 编译C ++库以获取C ++库的字节码; 象征性地执行C ++程序的字节码和C ++库的字节码,包括为C ++程序的每个输入变量分配符号输入; 确定C ++程序中的一个或多个执行路径; 并且对于每个执行路径,构造符号表达式,如果满足,则使C ++程序继续执行路径; 并通过解析符号表达式为C ++程序生成一个或多个测试用例。

Patent Agency Ranking