公开(公告)号：US08474988B2

公开(公告)日：2013-07-02

申请号：US13242304

申请日：2011-09-23

Applicant: Yusuke Yamamoto ,  Toshihiro Saruwatari ,  Chao Wang

Inventor： Yusuke Yamamoto ,  Toshihiro Saruwatari ,  Chao Wang

IPC: G03B21/14 ,  F16M11/00

CPC classification number: G03B21/132 ,  G03B21/145

Abstract: A projector to which a ceiling suspension attachment is fixed. The projector accommodates an internal device. The projector is provided with an outer case including a bottom wall that defines an outer bottom surface and an inner bottom surface of the outer case. Insert nuts are arranged on the bottom wall. Each insert nut includes a threaded hole to which a first coupling screw is fastened and a second coupling screw can be fastened. The first coupling screw couples the attachment to the outer bottom surface of the bottom wall, and the second coupling screw is fastened to the threaded hole from a side opposite to the first coupling screw. The second coupling screw is fastened at least one of the insert nuts to couple the inner device to the inner bottom surface of the bottom wall.

Abstract translation: 固定吊顶附件的投影机。 投影机可容纳内部设备。 投影仪设置有外壳，该外壳包括限定外壳的外底表面和内底表面的底壁。 插入螺母布置在底壁上。 每个插入螺母包括螺纹孔，第一联接螺钉被紧固到该螺纹孔，并且可以固定第二联接螺钉。 第一联接螺钉将附件连接到底壁的外底表面，并且第二联接螺钉从与第一联接螺钉相对的一侧紧固到螺纹孔。 第二联接螺钉紧固至少一个插入螺母，以将内部装置联接到底壁的内底表面。

公开(公告)号：US20130085061A1

公开(公告)日：2013-04-04

申请号：US13451852

申请日：2012-04-20

Applicant: Vojislav R. Stamenkovic ,  Chao Wang ,  Nenad M. Markovic

Inventor： Vojislav R. Stamenkovic ,  Chao Wang ,  Nenad M. Markovic

IPC: B01J23/89 ,  B82Y30/00 ,  B82Y40/00

CPC classification number: H01M4/921 ,  B82Y30/00 ,  B82Y40/00 ,  C22C1/02 ,  H01M4/926 ,  Y02E60/50

Abstract: Compositions and methods of preparing a bimetallic alloy having enhanced electrocatalytic properties are provided. The composition comprises a PtNi substrate having a surface layer, a near-surface layer, and an inner layer, where the surface layer comprises a nickel-depleted composition, such that the surface layer comprises a platinum skin having at least one atomic layer of platinum.

Abstract translation: 提供了制备具有增强的电催化性能的双金属合金的组合物和方法。 该组合物包括具有表面层，近表面层和内层的PtNi衬底，其中表面层包含缺铜组合物，使得表面层包含具有至少一个铂原子层的铂皮膜 。

公开(公告)号：US08375742B2

公开(公告)日：2013-02-19

申请号：US12264312

申请日：2008-11-04

Applicant: Chao Wang

Inventor： Chao Wang

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

公开(公告)号：US08359578B2

公开(公告)日：2013-01-22

申请号：US12571476

申请日：2009-10-01

Applicant: Chao Wang ,  Aarti Gupta ,  Swarat Chaudhuri ,  Yu Yang

Inventor： Chao Wang ,  Aarti Gupta ,  Swarat Chaudhuri ,  Yu Yang

IPC: G06F9/44

CPC classification number: G06F11/3612 ,  G06F11/3624 ,  G06F11/3636

Abstract: A computer implemented method for the verification of concurrent software programs wherein the concurrent software program is partitioned into subsets named concurrent trace programs (CTPs) and each of the CTPs is evaluated using a satisfiability-based (SAT) symbolic analysis. By applying the SAT analysis to individual CTPs in isolation the symbolic analysis is advantageously more scalable and efficient.

Abstract translation: 一种用于验证并发软件程序的计算机实现方法，其中并发软件程序被划分为称为并发跟踪程序（CTP）的子集，并且使用基于可满足性（SAT）符号分析来评估每个CTP。 通过将SAT分析应用于独立的CTP，符号分析有利地更具可扩展性和高效性。

公开(公告)号：US08200474B2

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

申请号：US12397696

申请日：2009-03-04

Applicant: Chao Wang ,  Aarti Gupta

Inventor： Chao Wang ,  Aarti Gupta

IPC: G06F9/45

CPC classification number: G06F11/3612

Abstract: A system and method for dynamic data race detection for concurrent systems includes computing lockset information using a processor for different components of a concurrent system. A controlled execution of the system is performed where the controlled execution explores different interleavings of the concurrent components. The lockset information is used during the controlled execution to check whether a search subspace associated with a state in the execution is free of data races. A race-free search subspace is dynamically pruned to reduce resource usage.

Abstract translation: 用于并行系统的用于动态数据竞争检测的系统和方法包括使用用于并发系统的不同组件的处理器来计算锁定信息。 执行系统的受控执行，其中受控执行探讨并发组件的不同交织。 在受控执行期间使用锁定信息来检查与执行中的状态相关联的搜索子空间是否没有数据竞争。 动态修剪无竞争的搜索子空间，以减少资源的使用。

公开(公告)号：US20120108773A1

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

申请号：US13284744

申请日：2011-10-28

Applicant: Chao Wang ,  Chuanqing Li ,  Guozhu Yu ,  Aimin Liang ,  Jie Zhang ,  Lin Xu ,  Pengfei Lv ,  Huiling Liu

Inventor： Chao Wang ,  Chuanqing Li ,  Guozhu Yu ,  Aimin Liang ,  Jie Zhang ,  Lin Xu ,  Pengfei Lv ,  Huiling Liu

IPC: C08F36/08 ,  C08F4/649 ,  C08F2/00

CPC classification number: C08F36/08 ,  C08F136/08 ,  C08F4/6494

Abstract: Disclosed are catalyst compositions for isoprene polymerization formed from components comprising (A) at least one titanium halide; (B) at least one organic aluminum compound comprising at least one alkyl aluminum of formula AlR3, wherein each of the three Rs is independently chosen from linear and branched C1-6 alkyl groups; and (C) at least one electron donor comprising at least one polyether compound of formula (I) and/or at least one tetrahydro-furfuryl ether compound of formula (II). Also disclosed are processes for preparation of the catalyst compositions and processes using the catalyst compositions for isoprene polymerization.

Abstract translation: 公开了由组分（A）至少一种卤化钛组成的异戊二烯聚合催化剂组合物， （B）至少一种包含至少一种式AlR 3的烷基铝的有机铝化合物，其中三个R 3中的每一个独立地选自直链和支链C 1-6烷基; 和（C）包含至少一种式（I）的聚醚化合物和/或至少一种式（II）的四氢糠基醚化合物的至少一种电子给体。 还公开了制备催化剂组合物的方法和使用该催化剂组合物用于异戊二烯聚合的方法。

公开(公告)号：US20120075595A1

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

申请号：US13242579

申请日：2011-09-23

Applicant: Yusuke YAMAMOTO ,  Toshihiro Saruwatari ,  Chao Wang

Inventor： Yusuke YAMAMOTO ,  Toshihiro Saruwatari ,  Chao Wang

IPC: G03B21/16

CPC classification number: G03B21/16 ,  G03B21/2026

Abstract: A video projector including a light source used to display an image, an optical component that differs from the light source, a power supply unit that supplies power, and a centrifugal fan including a rotation shaft and a blade that rotates about the rotation shaft. The centrifugal fan is a double intake fan that draws in gas from first and second axial directions, which are parallel to the rotation shaft, by rotating the blade and sends the gas outward in a radial direction from the rotation shaft. The centrifugal fan sends gas that has cooled the optical component and the power supply unit to the light source.

Abstract translation: 一种视频投影仪，包括用于显示图像的光源，与光源不同的光学部件，供给电力的电源单元以及包括旋转轴和围绕旋转轴旋转的叶片的离心式风扇。 离心风扇是通过使叶片旋转并将气体从旋转轴沿径向向外方向从第一和第二轴向方向吸入与旋转轴平行的气体的双吸风扇。 离心式风扇发出将光学元件和电源单元冷却到光源的气体。

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