公开(公告)号：US08503947B2

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

申请号：US12895912

申请日：2010-10-01

申请人： Yujie Zhu ,  Kunquan Sun ,  Yanbing Yu ,  Chao Wang ,  Kangzheng Wang

发明人： Yujie Zhu ,  Kunquan Sun ,  Yanbing Yu ,  Chao Wang ,  Kangzheng Wang

IPC分类号： H04B17/00

CPC分类号： G06F11/26

摘要： A method for testing characteristics of a communication device that includes a plurality of modules using a test fixture includes the steps of connecting the communication device to the test fixture, determining if tests to be performed on the plurality of modules can be simultaneously performed, performing the tests to be performed on the plurality of modules for any tests that are determined can be simultaneously performed, calculating a numerical value for each of the plurality of modules if it is determined that the tests to be performed cannot be simultaneously performed, selecting one of the tests based on the calculated numerical value, and performing the selected one of the tests based on the calculated numerical value and suspending the test or tests on the remaining modules of the plurality of modules other than the selected one of the tests.

摘要翻译： 一种用于测试包括使用测试夹具的多个模块的通信设备的特性的方法，包括以下步骤：将通信设备连接到测试夹具，确定是否可以同时执行要在多个模块上执行的测试，执行 如果确定要执行的测试不能同时执行，则可以同时执行要对所确定的任何测试执行的对多个模块执行的测试，计算多个模块中的每个模块的数值， 基于所计算的数值进行测试，并且基于计算的数值执行所选择的一个测试，并且对所选择的一个测试之外的多个模块的剩余模块暂停测试或测试。

公开(公告)号：US08474988B2

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

申请号：US13242304

申请日：2011-09-23

申请人： Yusuke Yamamoto ,  Toshihiro Saruwatari ,  Chao Wang

发明人： Yusuke Yamamoto ,  Toshihiro Saruwatari ,  Chao Wang

IPC分类号： G03B21/14 ,  F16M11/00

CPC分类号： G03B21/132 ,  G03B21/145

摘要： 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.

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

公开(公告)号：US20130085061A1

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

申请号：US13451852

申请日：2012-04-20

申请人： Vojislav R. Stamenkovic ,  Chao Wang ,  Nenad M. Markovic

发明人： Vojislav R. Stamenkovic ,  Chao Wang ,  Nenad M. Markovic

IPC分类号： B01J23/89 ,  B82Y30/00 ,  B82Y40/00

CPC分类号： H01M4/921 ,  B82Y30/00 ,  B82Y40/00 ,  C22C1/02 ,  H01M4/926 ,  Y02E60/50

摘要： 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.

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

公开(公告)号：US08375742B2

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

申请号：US12264312

申请日：2008-11-04

申请人： Chao Wang

发明人： Chao Wang

IPC分类号： F25J1/00 ,  F25B9/00

CPC分类号： F25D19/00 ,  F17C2227/0353 ,  F17C2265/034 ,  F17C2270/0509 ,  F25B9/10 ,  F25B9/14 ,  F25B2400/17

摘要： 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.

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

公开(公告)号：US08359578B2

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

申请号：US12571476

申请日：2009-10-01

申请人： Chao Wang ,  Aarti Gupta ,  Swarat Chaudhuri ,  Yu Yang

发明人： Chao Wang ,  Aarti Gupta ,  Swarat Chaudhuri ,  Yu Yang

IPC分类号： G06F9/44

CPC分类号： G06F11/3612 ,  G06F11/3624 ,  G06F11/3636

摘要： 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.

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

公开(公告)号：US08200474B2

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

申请号：US12397696

申请日：2009-03-04

申请人： Chao Wang ,  Aarti Gupta

发明人： Chao Wang ,  Aarti Gupta

IPC分类号： G06F9/45

CPC分类号： G06F11/3612

摘要： 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.

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

公开(公告)号：US20120108773A1

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

申请号：US13284744

申请日：2011-10-28

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

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

IPC分类号： C08F36/08 ,  C08F4/649 ,  C08F2/00

CPC分类号： C08F36/08 ,  C08F136/08 ,  C08F4/6494

摘要： 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.

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

公开(公告)号：US20120075595A1

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

申请号：US13242579

申请日：2011-09-23

申请人： Yusuke YAMAMOTO ,  Toshihiro Saruwatari ,  Chao Wang

发明人： Yusuke YAMAMOTO ,  Toshihiro Saruwatari ,  Chao Wang

IPC分类号： G03B21/16

CPC分类号： G03B21/16 ,  G03B21/2026

摘要： 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.

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

公开(公告)号：US07926039B2

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

申请号：US11692421

申请日：2007-03-28

申请人： Chao Wang ,  Zijiang Yang ,  Aarti Gupta

发明人： Chao Wang ,  Zijiang Yang ,  Aarti Gupta

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F9/44589

摘要： 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.

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

公开(公告)号：US20110078511A1

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

申请号：US12894710

申请日：2010-09-30

申请人： Nishant Sinha ,  Chao Wang

发明人： Nishant Sinha ,  Chao Wang

IPC分类号： G06F11/08 ,  G06F11/00

CPC分类号： G06F11/3604

摘要： 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.

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