公开(公告)号：US20140043486A1

公开(公告)日：2014-02-13

申请号：US14113250

申请日：2012-04-23

Applicant: Guangjie Zhai ,  Keming Du ,  Chao Wang ,  Wenkai Yu

Inventor： Guangjie Zhai ,  Keming Du ,  Chao Wang ,  Wenkai Yu

IPC: H04N5/30

CPC classification number: H04N5/30 ,  A61B5/0075 ,  G01J1/42 ,  G01J3/2803 ,  G01J3/2823 ,  G01J2001/442 ,  G01J2003/2826 ,  G01N21/6452 ,  G01N21/763

Abstract: An ultra-weak light multispectral imaging method and an ultra-weak light multispectral imaging system, which can realize multispectral two-dimensional imaging of an ultra-weak light object by constituting a linear array from single-photon detectors of all response wavelengths and combining it with light-splitting technology. The ultra-weak light multispectral two-dimensional imaging system realizes high-resolution optical modulation by adopting the compressive sensing (CS) theory and the digital light processing (DLP) technology and using a linear array single-photon detector as a detection element; the ultra-weak light multispectral two-dimensional imaging system comprises a light filter, a first lens (1), a DMD control system, a second lens, a spectrophotometer, a linear array single-photon detector consisting of a plurality of single-photon detectors with different response wavelengths, and a central processing unit; and the sensitivity of the system can reach the single-photon level. The invention can be widely applied in the fields of biological self-illumination, medical diagnosis, nondestructive material analysis, astronomical observation, national defense and military, spectral measurement, quantum electronics and the like.

Abstract translation: 一种超弱光多光谱成像方法和超弱光多光谱成像系统，可以通过从所有响应波长的单光子检测器构成线性阵列并结合其实现超弱光物体的多光谱二维成像 采用分光技术。 超弱光多光谱二维成像系统采用压缩感知（CS）理论和数字光处理（DLP）技术实现高分辨率光学调制，并采用线性阵列单光子检测器作为检测元件; 超弱光多光谱二维成像系统包括滤光器，第一透镜（1），DMD控制系统，第二透镜，分光光度计，由多个单光子组成的线性阵列单光子检测器 具有不同响应波长的检测器，以及中央处理单元; 并且系统的灵敏度可以达到单光子水平。 本发明可广泛应用于生物自身照明，医疗诊断，无损材料分析，天文观测，国防军事，光谱测量，量子电子等领域。

公开(公告)号：US08612940B2

公开(公告)日：2013-12-17

申请号：US13008650

申请日：2011-01-18

Applicant: Vineet Kahlon ,  Chao Wang

Inventor： Vineet Kahlon ,  Chao Wang

IPC: G06F9/44

CPC classification number: G06F9/524 ,  G06F9/526

Abstract: A system and method are disclosed for removing locks from a concurrent program. A set of behaviors associated with a concurrent program are modeled as causality constraints. The causality constraints which preserve the behaviors of the concurrent program are identified. Having identified the behavior preserving causality constraints, the corresponding lock and unlock statements in the concurrent program are identified which enforce the identified causality constraints. All identified lock and unlock statements are retained, while all other lock and unlock statements are discarded.

Abstract translation: 公开了用于从并发程序中移除锁的系统和方法。 与并发程序相关联的一组行为被建模为因果约束。 确定保留并发程序行为的因果约束。 在确定了保留因果约束的行为之后，识别并发程序中相应的锁定和解锁语句，这些语句强制确定的因果关系约束。 所有识别的锁和解锁语句都被保留，而所有其他锁和解锁语句都被丢弃。

公开(公告)号：US08589126B2

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

申请号：US12753239

申请日：2010-04-02

Applicant: Malay K. Ganai ,  Chao Wang ,  Weihong Li

Inventor： Malay K. Ganai ,  Chao Wang ,  Weihong Li

IPC: G06F7/60 ,  G06G7/48

CPC classification number: G06F11/3608

Abstract: A method for symbolic model checking for sequential systems using a combination of state-based and state-less approaches. A state-based method is used to compute frontier states by building transition relations on-the-fly using control flow information of the system, and performing successive image computations until a memory bound is reached, and efficiently storing only the new frontier states as disjunctive partitions of Boolean and Arithmetic expressions. A stateless method is used to check reachability of given goal states from a heuristically chosen set of frontier states until depth/time bound is reached. These two methods are alternated until one of the following occurs: all frontier states are explored, all goal states are reached, all computing resources are exhausted. Even though we do not store the entire reachable state set, we guarantee a complete coverage for terminating programs without the need to compute a fixed-point.

Abstract translation: 使用基于状态和无状态方法的组合的顺序系统的符号模型检查的方法。 基于状态的方法用于通过使用系统的控制流信息在运行中构建过渡关系来计算前沿状态，并且执行连续的图像计算，直到达到存储器界限，并且仅有效地将新的前沿状态存储为分离 分布布尔和算术表达式。 使用无状态方法来检查来自启发式选择的边界状态集合的给定目标状态的可达性，直到达到深度/时间界限。 这两种方法是交替的，直到发生以下情况之一：探索所有前沿状态，达到所有目标状态，所有计算资源都已用尽。 即使我们不存储整个可达到的状态集，我们保证对终止程序的完整覆盖，而不需要计算定点。

公开(公告)号：US08550374B2

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

申请号：US13056471

申请日：2010-04-06

Applicant: Tianzhong Guo ,  Chao Wang ,  Minghua Zhu

Inventor： Tianzhong Guo ,  Chao Wang ,  Minghua Zhu

IPC: B05B1/10 ,  B60S1/46

CPC classification number: B05B1/3006 ,  B05B1/20 ,  B05B1/304 ,  B05B1/3436 ,  B60S1/528

Abstract: A main body of the cleaning apparatus is of a cylindrical structure and internally provided with a compression spring and a movable seal valve which is matched with the inner wall of a casing of the cleaning apparatus. When cleaning solution flows in the cleaning apparatus through a cleaning solution inlet on a base, the pressure of the cleaning solution overcomes the spring force of the compression spring and drives a transmission guide rod, the movable seal valve and a nozzle to move together, and the transmission guide rod stops when moving to a limit position. When cleaning is finished, the pressure of the cleaning solution disappears, the movable seal valve is closed under the function of the compression spring then the transmission guide rod retracts into the casing and closes.

Abstract translation: 清洁装置的主体是圆筒形结构，内部设置有与清洁装置的壳体的内壁相匹配的压缩弹簧和可动密封阀。 当清洗液通过基座上的清洗液入口清洗溶液时，清洗液的压力克服了压缩弹簧的弹簧力，驱动传动导杆，可动密封阀和喷嘴一起移动， 传动导杆在移动到极限位置时停止。 当清洁完成时，清洁溶液的压力消失，可动密封阀在压缩弹簧的作用下关闭，传动导杆缩回到壳体内并关闭。

公开(公告)号：US20130201862A1

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

申请号：US13878581

申请日：2011-10-21

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

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

IPC: H04B7/04

CPC classification number: H04B7/0417 ,  H04B7/0452 ,  H04B7/0632 ,  H04B7/0634 ,  H04B7/0639 ,  H04B7/0689 ,  H04L1/0026 ,  H04L1/20

Abstract: A method and device for feeding back downlink channel feedback information, and a method and device for user pairing. The method for feeding back downlink channel feedback information includes: calculating the multi-user channel quality indication error of a user, which error is used to reflect the difference in channel quality indication between the situation of multi-user multiple input multiple output transmission and the situation of single user multiple input multiple output transmission; adding the multi-user channel quality indication error into the downlink channel feedback information which includes a pre-coding matrix indication and a channel quality indication, and feeding the same back to a base station for scheduling. Therefore, the bit error rate of demodulation in the MIMO system can be reduced and the system performance can be improved.

Abstract translation: 用于反馈下行链路信道反馈信息的方法和装置，以及用于用户配对的方法和装置。 反馈下行链路信道反馈信息的方法包括：计算用户的多用户信道质量指示误差，该误差用于反映多用户多输入多输出传输情况与信道质量指示之间的差异， 单用户多输入多输出情况; 将多用户信道质量指示误差添加到包括预编码矩阵指示和信道质量指示的下行链路信道反馈信息中，并将其馈送到基站进行调度。 因此，可以降低MIMO系统中的解调误码率，提高系统性能。

公开(公告)号：US08381226B2

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

申请号：US12367140

申请日：2009-02-06

Applicant: Vineet Kahlon ,  Chao Wang ,  Aarti Gupta

Inventor： Vineet Kahlon ,  Chao Wang ,  Aarti Gupta

IPC: G06F11/36

CPC classification number: G06F11/3604 ,  G06F11/30

Abstract: A system and method for analyzing concurrent programs that guarantees optimality in the number of thread inter-leavings to be explored. Optimality is ensured by globally constraining the inter-leavings of the local operations of its threads so that only quasi-monotonic sequences of threads operations are explored. For efficiency, a SAT/SMT solver is used to explore the quasi-monotonic computations of the given concurrent program. Constraints are added dynamically during exploration of the concurrent program via a SAT/SMT solver to ensure quasi-montonicity for model checking.

Abstract translation: 一种用于分析并发程序的系统和方法，保证要探索的线程间隔数量的最优化。 通过全局约束其线程的本地操作的离开来确保优化，从而仅探索准单调序列的线程操作。 为了效率，使用SAT / SMT求解器来探索给定并发程序的准单调计算。 通过SAT / SMT求解器在并发程序的探索期间动态添加约束，以确保模型检查的准单调性。

公开(公告)号：US08345468B2

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

申请号：US13322114

申请日：2009-08-18

Applicant: Jie Li ,  Na Bai ,  Ming Ling ,  Aiguo Bu ,  Chao Wang ,  Chen Hu

Inventor： Jie Li ,  Na Bai ,  Ming Ling ,  Aiguo Bu ,  Chao Wang ,  Chen Hu

IPC: G11C11/24

CPC classification number: G11C11/412 ,  G11C7/12

Abstract: A capacity and density enhancement circuit for a sub-threshold memory unit array which can decrease the drain current in the bit lines and enhance the pull-up capability of memory cells. The capacity and density enhancement circuit is composed of a first enhancement transistor, a second enhancement transistor, a first mask transmission gate, a second mask transmission gate, a first logic memory capacitor and a second logic memory capacitor.

Abstract translation: 一种用于子阈值存储单元阵列的容量和密度增强电路，其可以减小位线中的漏极电流并增强存储器单元的上拉能力。 容量和密度增强电路由第一增强晶体管，第二增强晶体管，第一掩模传输栅极，第二掩模传输栅极，第一逻辑存储电容器和第二逻辑存储电容器组成。

公开(公告)号：US20120208696A1

公开(公告)日：2012-08-16

申请号：US13453782

申请日：2012-04-23

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: B01J23/89 ,  B01J23/42 ,  B01J23/745 ,  B01J23/75 ,  B01J23/755 ,  B01J35/02 ,  B01J23/52 ,  B82Y30/00

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 core 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: 一种多金属纳米级催化剂，其核心部分被外壳部分包围并显示出高催化活性和改进的催化耐久性。 在各种实施方案中，核/壳纳米颗粒包含用催化活性的铂双金属材料涂覆的金颗粒。 纳米颗粒的形状基本上由芯部分的颗粒形状限定。 纳米颗粒可以分散在高表面积底物上用作催化剂，其特征在于延长的电位循环后表面积和比活性没有明显的损失。

公开(公告)号：US08176496B2

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

申请号：US12181665

申请日：2008-07-29

Applicant: Chao Wang ,  Zijian Yang ,  Vineet Kahlon ,  Aarti Gupta

Inventor： Chao Wang ,  Zijian Yang ,  Vineet Kahlon ,  Aarti Gupta

IPC: G06F9/44 ,  G06F9/46 ,  G06F9/50

CPC classification number: G06F9/44589 ,  G06F11/3608

Abstract: A system and method for conducting symbolic partial order reduction for concurrent systems includes determining a guarded independence relation which includes transitions from different threads that are independent for a set of states, when a condition or predicate holds. Partial order reduction is performed using the guarded independence relation to permit automatic pruning of redundant thread interleavings when the guarded independence condition holds.

Abstract translation: 用于对并发系统进行符号部分顺序减少的系统和方法包括：当条件或谓词成立时，确定包括对于一组状态是独立的不同线程的转移的被保护的独立关系。 当保护的独立性条件成立时，使用保护的独立关系执行部分顺序减少以允许冗余线程交织的自动修剪。

公开(公告)号：US20120075587A1

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

申请号：US13243140

申请日：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

Abstract: A projector is provided with a lamp including an arc tube, which generates light, and a reflector. The reflector includes an inner surface that reflects light from the arc tube and an opposite outer surface. The arc tube and the inner surface define an inner portion of the lamp. At least the outer surface defines an outer portion of the lamp. A housing accommodates the lamp and includes an air inlet through which air is drawn in from outside the housing. An air mixing structure mixes a cooling current that has cooled the inner portion of the lamp with the air drawn into the housing through the air inlet. A cooling current guide structure guides the cooling current mixed with the air mixing structure to the outer portion of the lamp.

Abstract translation: 投影仪设置有灯，其包括产生光的电弧管和反射器。 反射器包括反射来自电弧管的光的内表面和相对的外表面。 电弧管和内表面限定了灯的内部部分。 至少外表面限定了灯的外部部分。 壳体容纳灯，并且包括空气入口，空气从壳体外部吸入空气。 空气混合结构将冷却灯的内部的冷却电流与通过空气入口吸入外壳的空气混合。 冷却电流导向结构将与空气混合结构混合的冷却电流引导到灯的外部。