公开(公告)号：US20120011492A1

公开(公告)日：2012-01-12

申请号：US13109998

申请日：2011-05-18

Applicant: Nishant Sinha ,  Chao Wang

Inventor： Nishant Sinha ,  Chao Wang

IPC: G06F9/44

CPC classification number: G06F11/3608

Abstract: Systems and methods are disclosed to check properties of bounded concurrent programs by encoding concurrent control flow graph (CFG) and property for programming threads as a first-order formula F1; initializing an interference abstraction (IA); encoding the IA as a first-order formula F2; checking a conjunction of F1 and F2 (F1̂F2); if the conjunction is satisfiable, checking if an interference relation (IR) is spurious, and iteratively refining the IA; and if the conjunction is unsatisfiable, checking if an interference relation (IR) is spurious, and iteratively refining the IA.

Abstract translation: 公开了系统和方法，通过将并行控制流程图（CFG）和编程线程的属性编码为一阶公式F1来检查有界并发程序的属性; 初始化干扰抽象（IA）; 将IA编码为一阶公式F2; 检查F1和F2（F1F2）的连接; 如果连接是可满足的，则检查干扰关系（IR）是否是假的，并且迭代地改进IA; 并且如果连接不能令人满意，则检查干扰关系（IR）是否是伪造的，并且迭代地改进IA。

公开(公告)号：US20110321115A1

公开(公告)日：2011-12-29

申请号：US13142988

申请日：2009-08-12

Applicant: Yili Zhai ,  Yilong Chen ,  Chao Liu ,  Xijia Hu ,  Long Chen ,  Jianwei Guo ,  Chao Wang

Inventor： Yili Zhai ,  Yilong Chen ,  Chao Liu ,  Xijia Hu ,  Long Chen ,  Jianwei Guo ,  Chao Wang

IPC: H04N7/16

CPC classification number: H04N5/765 ,  H04N21/4104 ,  H04N21/436

Abstract: A TV function extension assembly is electrically connected with a core circuit of a display apparatus through a gold finger connector. It comprises a function extension module, an external interface, and a memory. The function extension module is connected with the core circuit of the display apparatus through the gold finger connector for mutual communication and data communication. The external interface is connected between the function module and an external device or external network to enable mutual communication and data transmission between the function extension module and the external device or external network. The memory is connected with the function extension module to store data transmitted by the function extension module.

Abstract translation: TV功能扩展组件通过金手指连接器与显示装置的核心电路电连接。 它包括功能扩展模块，外部接口和内存。 功能扩展模块通过金手指连接器与显示设备的核心电路连接，用于相互通信和数据通信。 外部接口连接在功能模块和外部设备或外部网络之间，以实现功能扩展模块与外部设备或外部网络之间的相互通信和数据传输。 存储器与功能扩展模块连接，用于存储功能扩展模块发送的数据。

公开(公告)号：US20110245068A1

公开(公告)日：2011-10-06

申请号：US12754323

申请日：2010-04-05

Applicant: Vojislav Stamenkovic ,  Nenad M. Markovic ,  Chao Wang ,  Hideo Daimon ,  Shouheng Sun

Inventor： Vojislav Stamenkovic ,  Nenad M. Markovic ,  Chao Wang ,  Hideo Daimon ,  Shouheng Sun

IPC: H01M4/92 ,  B01J23/42 ,  B01J23/745 ,  B01J23/52

CPC classification number: H01M4/921 ,  H01M2004/028 ,  Y10S977/773 ,  Y10S977/81 ,  Y10S977/948 ,  Y10T428/12028 ,  Y10T428/12181 ,  Y10T428/12493 ,  Y10T428/2991

Abstract: A multimetallic nanoscale catalyst having a sore portion enveloped by a shell portion and exhibiting high catalytic activity and improved catalytic durability. In various embodiments, the core/shell nanoparticles comprise a gold particle coated with a catalytically active platinum bimetallic material. The shape of the nanoparticles is substantially defined by the particle shape of the core portion. The nanoparticles may be dispersed on a high surface area substrate for use as a catalyst and is characterized by no significant loss in surface area and specific activity following extended potential cycling.

Abstract translation: 一种多金属纳米尺寸催化剂，其具有由壳部分包围并具有高催化活性和改善的催化耐久性的酸洗部分。 在各种实施方案中，核/壳纳米颗粒包含用催化活性的铂双金属材料涂覆的金颗粒。 纳米颗粒的形状基本上由芯部分的颗粒形状限定。 纳米颗粒可以分散在高表面积底物上用作催化剂，其特征在于延长的电位循环后表面积和比活性没有明显的损失。

公开(公告)号：USD634671S1

公开(公告)日：2011-03-22

申请号：US29369892

申请日：2010-09-15

Applicant: Yong Huang ,  Yaning Zhao ,  Baoshan Kang ,  Chao Wang ,  Shengguang Zhao ,  Zhengfei Liu ,  Weifeng Liu

Designer： Yong Huang ,  Yaning Zhao ,  Baoshan Kang ,  Chao Wang ,  Shengguang Zhao ,  Zhengfei Liu ,  Weifeng Liu

公开(公告)号：US20090049863A1

公开(公告)日：2009-02-26

申请号：US12264312

申请日：2008-11-04

Applicant: Chao Wang

Inventor： Chao Wang

IPC: F25J1/02 ,  F25J5/00

CPC classification number: F25D19/00 ,  F17C2227/0353 ,  F17C2265/034 ,  F17C2270/0509 ,  F25B9/10 ,  F25B9/14 ,  F25B2400/17

Abstract: A reliquifier using a cryocooler in which an insulated sleeve surrounds a portion of the cold head, a first stage cooling station, and a second stage cooling station, including a condenser. Gas is conveyed from a cryostat to the insulated sleeve, where it is liquefied as it passes over the cold head. An end of the insulated sleeve is connected to a liquid transfer tube for conveying condensed fluid back to the cryostat.

Abstract translation: 一种使用低温冷却器的再定形器，其中绝缘套管围绕冷头的一部分，第一级冷却站和包括冷凝器的第二级冷却站。 气体从低温恒温器输送到绝缘套管，当冷冻机经过冷头时液化。 绝缘套筒的端部连接到用于将冷凝流体输送回低温恒温器的液体输送管。

公开(公告)号：US20080080787A1

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

申请号：US11536513

申请日：2006-09-28

Applicant: Qiong Yang ,  Chao Wang ,  Xiaoou Tang ,  Zhongfu Ye

Inventor： Qiong Yang ,  Chao Wang ,  Xiaoou Tang ,  Zhongfu Ye

IPC: G06K9/36

CPC classification number: G06T5/50 ,  G06T2207/20221

Abstract: Salience-preserving image fusion is described. In one aspect, multi-channel images are fused into a single image. The fusing operations are based on importance-weighted gradients. The importance weighted gradients are measured using respective salience maps for each channel in the multi-channel images.

Abstract translation: 描述了保守的图像融合。 在一个方面，多通道图像被融合成单个图像。 定影操作基于重要度加权梯度。 重要度加权梯度是使用多通道图像中每个通道的各个显着性图来测量的。

公开(公告)号：US20070072390A1

公开(公告)日：2007-03-29

申请号：US11243883

申请日：2005-10-04

Applicant: Runshun Wang ,  Chao Wang ,  Lien Cheng

Inventor： Runshun Wang ,  Chao Wang ,  Lien Cheng

IPC: H01L21/76 ,  H01L21/8242

CPC classification number: H01L21/31138 ,  H01L21/31111

Abstract: Techniques for removal of photolithographic films used in the manufacture of semiconductor devices are provided. A substrate support member of a first processing chamber includes at least three retractable pins capable of elevating a wafer from a surface of the substrate support member. In addition, the first processing chamber is configured to automatically maintain the substrate support member at a first temperature. The wafer is elevated from the surface of the substrate support member using the at least three retractable pins. Thermal heating of the substrate from the substrate support member is reduced. A photoresist layer of the substrate is etched away while the substrate is in an elevated position. An anti-reflective layer of the substrate can be etched to remove substantially all of the anti-reflective layer. In a specific embodiment, the anti-reflective layer includes a DUO™ Bottom Anti-Reflective Coating by Honeywell International Inc.

Abstract translation: 提供了用于去除用于制造半导体器件的光刻胶片的技术。 第一处理室的衬底支撑构件包括至少三个能够从衬底支撑构件的表面升高晶片的伸缩销。 另外，第一处理室被配置为自动地将基板支撑构件保持在第一温度。 使用至少三个可缩回的销，从衬底支撑构件的表面升高晶片。 衬底从衬底支撑构件的热加热减少了。 当衬底处于升高位置时，蚀刻掉衬底的光致抗蚀剂层。 可以蚀刻衬底的抗反射层以基本上去除所有抗反射层。 在具体实施方案中，抗反射层包括Honeywell International Inc.的DUO TM底部防反射涂层

公开(公告)号：US20070030827A1

公开(公告)日：2007-02-08

申请号：US10478593

申请日：2001-05-23

Applicant: Wang Rui ,  Chao Wang ,  Mohammed El-Tarkhuni ,  Zhi Ding ,  Yuri Shinakov ,  Alexandre Chloma ,  Mikhail Bakouline ,  Vitali Kreindeline

Inventor： Wang Rui ,  Chao Wang ,  Mohammed El-Tarkhuni ,  Zhi Ding ,  Yuri Shinakov ,  Alexandre Chloma ,  Mikhail Bakouline ,  Vitali Kreindeline

IPC: H04B7/216

CPC classification number: H04L25/022 ,  H04L25/0236 ,  H04L25/024

Abstract: An iterative arrangement of channel estimator (12), a Kalman filter unit (14), and a soft demodulator (16) is provided for producing an estimate of complex gain of a CDMA communications channel carrying data and pilot channels, and demodulated data of the data channel. An initial channel estimate is produced by the estimator (12) using only the low-power pilot channel. This later is improved by the iterative process using the data channel. The complex gains is represented by a sum of sinusoidal signals with different frequencies and randomly variable amplitude and phase.

Abstract translation: 提供信道估计器（12），卡尔曼滤波器单元（14）和软解调器（16）的迭代布置，用于产生携带数据和导频信道的CDMA通信信道的复数增益估计，以及解调数据 数据通道。 由估计器（12）仅使用低功率导频信道产生初始信道估计。 这通过使用数据通道的迭代过程得到改进。 复数增益由具有不同频率和随机可变幅度和相位的正弦信号之和表示。

公开(公告)号：US20050201403A1

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

申请号：US11074683

申请日：2005-03-09

Applicant: Chao Wang

Inventor： Chao Wang

IPC: H04L12/28 ,  H04B7/26 ,  H04L29/10 ,  H04Q7/38 ,  H04W72/12

CPC classification number: H04W72/1242 ,  H04L47/14 ,  H04L47/24 ,  H04L47/36

Abstract: A transmitting apparatus includes a data generator for segmenting data to be transmitted into pieces of data each having a preselected size, which is determined in accordance with a priority order required of the data to be transmitted as to transmission, and generating data units each containing particular one of the pieces of data. A data transmitter determines a transmission priority order on the basis of the size of the data contained in the data units and transmits the data units in accordance with the priority order.

Abstract translation: 发送装置包括：数据发生器，用于分割要发送的数据，每个数据块具有预选的大小，该预定大小根据要发送的数据所需的优先级顺序确定，并且生成包含特定数据的数据单元 数据之一。 数据发送器根据包含在数据单元中的数据的大小来确定传输优先级顺序，并根据优先级顺序发送数据单元。

公开(公告)号：US20200228488A1

公开(公告)日：2020-07-16

申请号：US16741650

申请日：2020-01-13

Applicant: Richard H. Xu ,  Jing Liu ,  Chao Wang ,  Zhen Zhang

Inventor： Richard H. Xu ,  Jing Liu ,  Chao Wang ,  Zhen Zhang

IPC: H04L29/12 ,  H04W8/20

Abstract: An eSIM-based card pool system is disclosed, the system comprising: a card pool unit comprising a plurality of eSIMs; an eSIM manager, comprising a database that stores corresponding relationships between a plurality of eSIM identifications and a plurality of eSIM addresses; and a connection manager, configured to request a first eSIM address from the eSIM manager based on a received download instruction, and write a specified eSIM profile into a first eSIM having the first eSIM address.