公开(公告)号：US07926039B2

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

申请号：US11692421

申请日：2007-03-28

Applicant: Chao Wang ,  Zijiang Yang ,  Aarti Gupta

Inventor： Chao Wang ,  Zijiang Yang ,  Aarti Gupta

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F9/44589

Abstract: An improved method for automatically improving the precision of an extrapolation operator used, for example, in software program verification in connection with the static analysis and model checking of the software programs which rely on fix-point computation. In particular, a new extrapolation-with-care-set operator, together with a method for gradually increasing the precision of this operation by tightening the care set.

Abstract translation: 一种改进的方法，用于自动提高外推算子的精度，例如，在依赖于固定点计算的软件程序的静态分析和模型检查的软件程序验证中。 特别地，一种新的外推护理操作器，以及通过收紧护理套件逐渐增加该操作的精度的方法。

公开(公告)号：US20110078511A1

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

申请号：US12894710

申请日：2010-09-30

Applicant: Nishant Sinha ,  Chao Wang

Inventor： Nishant Sinha ,  Chao Wang

IPC: G06F11/08 ,  G06F11/00

CPC classification number: G06F11/3604

Abstract: Methods and systems for concurrent program verification. A concurrent program is summarized into a symbolic interference skeleton (IS) using data flow analysis. Sequential consistency constraints are enforced on read and write events in the IS. Error conditions are checked together with the IS using a processor.

Abstract translation: 并发程序验证的方法和系统。 使用数据流分析将并发程序总结为符号干扰骨架（IS）。 在IS中的读写事件上执行顺序一致性约束。 使用处理器与IS一起检查错误状况。

公开(公告)号：US07633292B2

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

申请号：US12039099

申请日：2008-02-28

Applicant: Jing Gao ,  Cheng Ni ,  Zhong You Ren ,  Chao Wang

Inventor： Jing Gao ,  Cheng Ni ,  Zhong You Ren ,  Chao Wang

IPC: G01V3/00

CPC classification number: G01R33/3806 ,  G01R33/385 ,  G01R33/389

Abstract: A method for reducing eddy currents caused by the gradient magnetic field in a magnetic resonance system employs an anti-eddy current device formed by a number of laminated metallic plates, and includes the steps of calculating the distribution of the main magnetic field of the magnetic resonance system in the anti-eddy current device, calculating the distribution of the main magnetic field and the gradient magnetic field in the anti-eddy current device, subtracting the calculated distribution of the main magnetic field in the anti-eddy current device from the calculated distribution of the main magnetic field and the gradient magnetic field in the anti-eddy current device, to obtain the distribution of the gradient magnetic field in the anti-eddy current device, and adjusting the setting of the metallic plates of the anti-eddy current device based on the distribution of the gradient magnetic field in the anti-eddy current device, so as to reduce the eddy current. The adjustment in the metallic plates of the anti-eddy current device should be such that the gradient magnetic field is parallel to or substantially parallel to the plane of the metallic plates. The metallic plates can be further divided into a number of areas, or the laminating direction of the metallic plates in different areas can be adjusted according to the specific distribution of the gradient magnetic field to obtain the optimum effect of eddy current reduction.

Abstract translation: 一种用于减小由磁共振系统中的梯度磁场引起的涡流的方法采用由多个层叠的金属板形成的抗涡流装置，并且包括以下步骤：计算磁共振的主磁场分布 系统在反涡流装置中计算反涡流装置中主磁场和梯度磁场的分布，从计算出的分布中减去计算出的反涡流装置中主磁场的分布 的反涡流装置中的主磁场和梯度磁场，以获得反涡流装置中梯度磁场的分布，并且调整反涡流装置的金属板的设置 基于反涡流装置中梯度磁场的分布，以减少涡流。 防涡流装置的金属板的调整应使得梯度磁场平行于或基本平行于金属板的平面。 金属板可以进一步分为多个区域，也可以根据梯度磁场的特定分布调整不同区域的金属板的层叠方向，以获得涡流减少的最佳效果。

公开(公告)号：US07598179B2

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

申请号：US11243883

申请日：2005-10-04

Applicant: Runshun Wang ,  Chao Wang ,  Lien Huang Cheng

Inventor： Runshun Wang ,  Chao Wang ,  Lien Huang Cheng

IPC: H01L21/301 ,  H01L21/461

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底部防反射涂层

公开(公告)号：US20090077093A1

公开(公告)日：2009-03-19

申请号：US11857787

申请日：2007-09-19

Applicant: Joydeep Sen Sarma ,  Chao Wang

Inventor： Joydeep Sen Sarma ,  Chao Wang

IPC: G06F17/30

CPC classification number: G06F16/217

Abstract: A system and method to perform discretization and cardinality reduction of item attributes using collaborative filtering techniques are described. Data input by a user is received over a network, the input data further including a plurality of items and associated item metadata related to events performed by the user. The input data is further processed to obtain a predetermined number of groupings, each grouping having a calculated value based on a distance parameter between corresponding attributes of each item stored within the item metadata. Finally, a similarity parameter is computed between each pair of items within the plurality of items based on associated groupings and recommendations of the items are presented to the user based on the corresponding calculated similarity parameter.

Abstract translation: 描述了使用协同过滤技术来执行项目属性的离散化和基数减少的系统和方法。 通过网络接收用户输入的数据，输入数据还包括与由用户执行的事件相关的多个项目和相关联的项目元数据。 进一步处理输入数据以获得预定数量的分组，每个分组具有基于存储在项目元数据中的每个项目的对应属性之间的距离参数的计算值。 最后，基于相关联的分组，在多个项目中的每对项目之间计算相似性参数，并且基于相应的计算出的相似度参数向用户呈现建议。

公开(公告)号：US20090077081A1

公开(公告)日：2009-03-19

申请号：US11857847

申请日：2007-09-19

Applicant: Joydeep Sen Sarma ,  Chao Wang ,  Anand Bhaskar

Inventor： Joydeep Sen Sarma ,  Chao Wang ,  Anand Bhaskar

IPC: G06F7/00

CPC classification number: G06Q30/02 ,  G06F16/90335 ,  G06F16/907

Abstract: A system and method to compute attribute-based similarity between items using collaborative filtering techniques are described. Events input by a user over a network are received, the events further including a plurality of items and associated item metadata. A similarity value is further computed between each pair of items within the plurality of stems based on corresponding attributes of each item stored within the item metadata. Finally, recommendations of the items to the user are presented based on the corresponding calculated similarity value.

Abstract translation: 描述了使用协同过滤技术来计算项目之间基于属性的相似性的系统和方法。 接收由用户通过网络输入的事件，所述事件还包括多个项目和相关联的项目元数据。 基于存储在项目元数据中的每个项目的相应属性，进一步在多个词干中的每对项目之间计算相似度值。 最后，基于对应的计算出的相似度值来呈现用户的项目的建议。

公开(公告)号：US20090049862A1

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

申请号：US11842420

申请日：2007-08-21

Applicant: Chao Wang

Inventor： Chao Wang

IPC: F25J1/02

CPC classification number: F25D19/00 ,  F17C2227/0353 ,  F17C2265/034 ,  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: 一种使用低温冷却器的再定形器，其中绝缘套管围绕冷头的一部分，第一级冷却站和包括冷凝器的第二级冷却站。 气体从低温恒温器输送到绝缘套管，当冷冻机经过冷头时液化。 绝缘套筒的端部连接到用于将冷凝流体输送回低温恒温器的液体输送管。

公开(公告)号：US07466797B2

公开(公告)日：2008-12-16

申请号：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).

公开(公告)号：US20050063483A1

公开(公告)日：2005-03-24

申请号：US10451274

申请日：2000-12-20

Applicant: Rui Wang ,  Chao Wang ,  Ming Jia ,  Youri Shinakov ,  Alexandre Chloma ,  Mikhail Bakouline ,  Vitali Kreindeline

Inventor： Rui Wang ,  Chao Wang ,  Ming Jia ,  Youri Shinakov ,  Alexandre Chloma ,  Mikhail Bakouline ,  Vitali Kreindeline

IPC: H04L1/06 ,  H04L1/02

CPC classification number: H04L1/0618

Abstract: A differential space-time block coder produces successive space-time blocks of symbols from M-PSK symbols to be encoded, in accordance with an orthogonal matrix and a normalization factor. Differentially encoded space-time output blocks, for transmission via a plurality of transmit antennas (16, 18) of a wireless communications system, are produced by multiplying (42) each space-time block from the space-time block coder (40) by the respective previous (44) differentially encoded space-time output block. Decoding is independent of channel estimation, and the arrangement is simple, avoids error propagation, and is applicable to different numbers of transmit antennas.

Abstract translation: 差分时空块编码器根据正交矩阵和归一化因子从待编码的M-PSK符号产生符号的连续空时块。 通过将无线通信系统的多个发射天线（16,18）进行发送的差分编码空时输出块通过将来自时空块编码器（40）的每个时空块乘以（42）乘以 各个先前的（44）差分编码的空时输出块。 解码与信道估计无关，布置简单，避免了误差传播，适用于不同数量的发射天线。

公开(公告)号：US20210323065A1

公开(公告)日：2021-10-21

申请号：US17365024

申请日：2021-07-01

Applicant: Zhi Zhao ,  Chao Wang ,  Yu Yao

Inventor： Zhi Zhao ,  Chao Wang ,  Yu Yao

IPC: B22F10/10 ,  B33Y70/00 ,  B33Y10/00 ,  H05K1/09 ,  B29C64/00 ,  B22F1/00

Abstract: An additive manufacturing process for forming a metallic layer on the surface of the substrate includes fabricating a substrate from a polymerizable composition by a stereolithographic process, and contacting the reactive surface with an aqueous solution including a metal precursor. The metal precursor includes a metal, and the polymerizable composition includes a multiplicity of multifunctional components. Each multifunctional component includes a reactive moiety extending from a surface of the substrate to form a reactive surface. An interface between the reactive surface and the aqueous solution is selectively irradiated to form nanoparticles including the metal in a desired pattern. The nanoparticles are chemically coupled to the reactive surface by reactive moieties, thereby forming a metallic layer on the surface of the substrate.