公开(公告)号：US08520616B2

公开(公告)日：2013-08-27

申请号：US12860537

申请日：2010-08-20

Applicant: Qimei Cui ,  Shiyuan Li ,  Xiaofeng Tao ,  Chao Wang ,  Xianjun Yang

Inventor： Qimei Cui ,  Shiyuan Li ,  Xiaofeng Tao ,  Chao Wang ,  Xianjun Yang

IPC: H04W4/00

CPC classification number: H04B7/0452 ,  H04L5/0035

Abstract: A method of pairing users for an uplink multi-user multiple-input-multiple-output (MU-MIMO) system under coordinated multipoint transmission (CoMP) scenario in a communication system, which includes: selecting, by a first cell of the communication system, at least one initial user served by the cell as a first paired user; selecting, by the first cell, a candidate paired user according to the service type of the first paired user; and determining, from the different service types of the first paired user and the candidate paired user, a pairing type to be formed, and determining whether the candidate paired user and the first paired user can be paired into the pairing type to be formed by using a predetermined determination criterion according to the pairing type. It is further provided a device for performing the method. The throughput and communication efficiency of the communication system can be improved with the method and device for pairing users.

Abstract translation: 一种在通信系统中的协调多点传输（CoMP）场景下，用于上行链路多用户多输入多输出（MU-MIMO）系统的用户配对的方法，包括：由通信系统的第一小区 ，由所述小区服务的至少一个初始用户作为第一配对用户; 根据第一配对用户的服务类型，由第一小区选择候选配对用户; 以及从所述第一配对用户和所述候选配对用户的不同服务类型确定要形成的配对类型，并且确定所述候选配对用户和所述第一配对用户是否可以配对成通过使用将形成的配对类型 根据配对类型的预定确定标准。 还提供了一种用于执行该方法的装置。 通过配对用户的方法和设备可以提高通信系统的吞吐量和通信效率。

公开(公告)号：US08280001B2

公开(公告)日：2012-10-02

申请号：US12723642

申请日：2010-03-13

Applicant: Chao Wang ,  Xinsheng Cedric Yu

Inventor： Chao Wang ,  Xinsheng Cedric Yu

IPC: A61N5/10 ,  G21K1/02

CPC classification number: A61N5/1082 ,  A61N2005/1091 ,  A61N2005/1095 ,  G21K1/02 ,  Y10T29/49826

Abstract: A method of irradiating a target tissue in a patient comprising positioning the patient on a patient support system so that the target tissue in the patient is within irradiating distance of at least one source of a beam of radiation and moving the patient support system relative to the at least one source of a beam of radiation and, coordinately with movement of the patient support system, rotating the at least one source of radiation relative to the target tissue, which comprises and/or is adjacent to a non-target tissue, so that the center of rotation of the beam of radiation is placed at one or more desired locations within the target tissue, while simultaneously and/or sequentially irradiating the target tissue; a collimator; a method of making such a collimator; a system for irradiating a target tissue in a patient; and a method of planning irradiation of a target tissue in a patient.

Abstract translation: 一种照射患者中的目标组织的方法，包括将患者定位在患者支撑系统上，使得患者中的目标组织处于辐射束的至少一个源的照射距离内，并相对于患者支撑系统移动患者支撑系统 辐射束的至少一个源，并且与患者支撑系统的运动协调地相对于包括和/或邻近非目标组织的目标组织旋转所述至少一个辐射源，使得 将辐射束的旋转中心放置在目标组织内的一个或多个所需位置，同时和/或顺序照射目标组织; 准直器 制造这种准直仪的方法; 用于照射患者中的靶组织的系统; 以及计划患者中靶组织的照射的方法。

公开(公告)号：US20120089873A1

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

申请号：US13081684

申请日：2011-04-07

Applicant: Chao Wang ,  Aarti Gupta

Inventor： Chao Wang ,  Aarti Gupta

IPC: G06F11/36

CPC classification number: G06F11/3688 ,  G06F11/3624

Abstract: Systems and method provide a coverage-guided systematic testing framework by dynamically learning HaPSet ordering constraints over shared object accesses; and applying the learned HaPSet ordering constraints to select high-risk interleavings for future test execution.

Abstract translation: 系统和方法通过在共享对象访问上动态学习HaPSet排序约束来提供覆盖引导的系统测试框架; 并应用学习的HaPSet排序约束来选择高风险的交织以供将来测试执行。

公开(公告)号：US20110273616A1

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

申请号：US13142585

申请日：2009-08-12

Applicant: Yili Zhai ,  Xijia Hu ,  Chao Liu ,  Yilong Chen ,  Yanqiang Qiu ,  Ming Zhang ,  Jianwei Guo ,  Xijuan Gao ,  Long Chen ,  Chao Wang ,  Quanyong Li

Inventor： Yili Zhai ,  Xijia Hu ,  Chao Liu ,  Yilong Chen ,  Yanqiang Qiu ,  Ming Zhang ,  Jianwei Guo ,  Xijuan Gao ,  Long Chen ,  Chao Wang ,  Quanyong Li

IPC: H04N3/27 ,  H04N5/44

CPC classification number: H04N5/765 ,  H04N21/4183 ,  H04N21/4325 ,  H04N21/436 ,  H04N21/6125

Abstract: A television is disclosed in the present invention, which includes a television core subsystem, a television function extension component and a gold finger connecter. The television core subsystem is configured within the interior of the television for receiving audio/video signal in different formats. The television function extension component is used for providing the option of different functions. The gold finger connector is electronically connected between the television core subsystem and the television function extension component, and includes a first connecting end and a second connecting end; wherein the first connecting end is configured on the television function extension component, the second connecting end is electronically connected to the television core subsystem, and the power signal terminal, communication signal terminal and audio/video signal terminal of the first connecting end correspond respectively to the power signal terminal, communication signal terminal and audio/video signal terminal of the second connecting end.

Abstract translation: 在本发明中公开了一种电视机，其包括电视核心子系统，电视功能扩展部件和金手指连接器。 电视核心子系统配置在电视机内部，用于接收不同格式的音频/视频信号。 电视功能扩展组件用于提供不同功能的选项。 金指连接器电连接在电视核心子系统和电视功能延伸部件之间，并且包括第一连接端和第二连接端; 其中，所述第一连接端配置在所述电视机功能扩展部件上，所述第二连接端电子地连接到所述电视核心子系统，所述第一连接端的电力信号终端，通信信号终端，音频/视频信号终端分别对应于 电源信号端子，通信信号端子和第二连接端的音频/视频信号端子。

公开(公告)号：US20110222660A1

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

申请号：US12723642

申请日：2010-03-13

Applicant: Chao Wang ,  Xinsheng Cedric Yu

Inventor： Chao Wang ,  Xinsheng Cedric Yu

IPC: A61N5/10 ,  G21K1/02 ,  B23P11/00

CPC classification number: A61N5/1082 ,  A61N2005/1091 ,  A61N2005/1095 ,  G21K1/02 ,  Y10T29/49826

Abstract: A method of irradiating a target tissue in a patient comprising positioning the patient on a patient support system so that the target tissue in the patient is within irradiating distance of at least one source of a beam of radiation and moving the patient support system relative to the at least one source of a beam of radiation and, coordinately with movement of the patient support system, rotating the at least one source of radiation relative to the target tissue, which comprises and/or is adjacent to a non-target tissue, so that the center of rotation of the beam of radiation is placed at one or more desired locations within the target tissue, while simultaneously and/or sequentially irradiating the target tissue; a collimator; a method of making such a collimator; a system for irradiating a target tissue in a patient; and a method of planning irradiation of a target tissue in a patient.

Abstract translation: 一种照射患者中的目标组织的方法，包括将患者定位在患者支撑系统上，使得患者中的目标组织处于辐射束的至少一个源的照射距离内，并相对于患者支撑系统移动患者支撑系统 辐射束的至少一个源，并且与患者支撑系统的运动协调地相对于包括和/或邻近非目标组织的目标组织旋转所述至少一个辐射源，使得 将辐射束的旋转中心放置在目标组织内的一个或多个所需位置，同时和/或顺序照射目标组织; 准直器 制造这种准直仪的方法; 用于照射患者中的靶组织的系统; 以及计划患者中靶组织的照射的方法。

公开(公告)号：US20100281469A1

公开(公告)日：2010-11-04

申请号：US12726764

申请日：2010-03-18

Applicant: Chao Wang ,  Malay Ganai ,  Aarti Gupta

Inventor： Chao Wang ,  Malay Ganai ,  Aarti Gupta

IPC: G06F9/44

CPC classification number: G06F11/3612 ,  G06F8/45 ,  G06F11/3636

Abstract: A symbolic predictive analysis method for finding assertion violations and atomicity violations in concurrent programs is shown that derives a concurrent trace program (CTP) for a program under a given test. A logic formula is then generated based on a concurrent static single assignment (CSSA) representation of the CTP, including at least one assertion property or atomicity violation. The satisfiability of the formula is then determined, such that the outcome of the determination indicates an assertion/atomicity violation.

Abstract translation: 显示了一种用于在并发程序中发现断言违规和原子性违规的符号预测分析方法，该方法为给定测试下的程序导出并发跟踪程序（CTP）。 然后，基于CTP的并发静态单赋值（CSSA）表示形式生成逻辑公式，包括至少一个断言属性或原子性冲突。 然后确定公式的可满足性，使得确定的结果表示断言/原子性违规。

公开(公告)号：US07693690B2

公开(公告)日：2010-04-06

申请号：US11367665

申请日：2006-03-03

Applicant: Chao Wang ,  Aarti Gupta ,  Zijiang Yang ,  Franjo Ivancic

Inventor： Chao Wang ,  Aarti Gupta ,  Zijiang Yang ,  Franjo Ivancic

IPC: G06F17/50 ,  G06F13/00

CPC classification number: G06F11/3608 ,  G06F17/504

Abstract: A symbolic disjunctive image computation method for software models which exploits a number of characteristics unique to software models. More particularly, and according to our inventive method, the entire software model is decomposed into a disjunctive set of submodules and a separate set of transition relations are constructed. An image/reachability analysis is performed wherein an original image computation is divided into a set of image computation steps that may be performed on individual submodules, independently from any others. Advantageously, our inventive method exploits variable locality during the decomposition of the original model into the submodules. By formulating this decomposition as a multi-way hypergraph partition problem, we advantageously produce a small set of submodules while simultaneously minimizing the number of live variable in each individual submodule. Our inventive method produces a set of disjunctive transition relations directly from the software model, without producing a conjunctive transition relation—as is necessary in the prior art. In addition, our inventive method exploits the exclusive use of live variables in addition to novel search strategies which provide still further benefit to our method.

Abstract translation: 用于软件模型的符号分离图像计算方法，其利用软件模型独特的许多特征。 更具体地，根据本发明的方法，整个软件模型被分解成一个分离的子模块集合，并构建了一组单独的过渡关系。 执行图像/可达性分析，其中原始图像计算被划分为可以独立于任何其他方式对各个子模块执行的一组图像计算步骤。 有利地，本发明的方法在原始模型分解成子模块期间利用可变局部性。 通过将此分解形式作为多路超图分区问题，我们有利地产生一小组子模块，同时最小化每个子模块中的实时变量数量。 我们的创造性方法直接从软件模型产生一组分离过渡关系，而不产生结合过渡关系 - 这在现有技术中是必需的。 此外，除了新颖的搜索策略之外，我们的创造性方法还利用了实时变量的独家使用，这为我们的方法提供了更多的益处。

公开(公告)号：US20090293505A1

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

申请号：US12473503

申请日：2009-05-28

Applicant: Chao Wang

Inventor： Chao Wang

IPC: F17C3/00 ,  F25J1/00 ,  F25B9/00

CPC classification number: F25B9/14 ,  B01L7/50 ,  F25B9/10 ,  F25B2400/17 ,  F25B2500/13 ,  F25D19/00

Abstract: An extra-low vibration cryostat, which incorporates a cryocooler and cryostat to cool and house a vibration-sensitive device, with the cryocooler and cryostat sealed gas-tight to each other, but mechanically isolated, so that vibration from the cryocooler does not affect the device.

Abstract translation: 超低振动低温恒温器包含一个低温冷却器和低温恒温器来冷却和容纳一个振动敏感装置，低温冷却器和低温恒温器彼此气密密封，但机械隔离，使得来自低温冷却器的振动不会影响 设备。

公开(公告)号：US20080204024A1

公开(公告)日：2008-08-28

申请号：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: G01R33/28

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

公开(公告)号：US07363767B2

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

申请号：US11141876

申请日：2005-06-01

Applicant: Chao Wang

Inventor： Chao Wang

IPC: F25B9/00

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