公开(公告)号：US08959109B2

公开(公告)日：2015-02-17

申请号：US13567305

申请日：2012-08-06

申请人： Matthew Robert Scott ,  Chao Wang ,  Richard J. Sgro

发明人： Matthew Robert Scott ,  Chao Wang ,  Richard J. Sgro

IPC分类号： G06F7/00 ,  G06F17/30

CPC分类号： G06F17/30637

摘要： Implementing business intelligent in-document suggestion may include detecting a content that a user is inputting into a document or selecting from the document. Based on the content, a key word may be extracted to generate a query. The query may be transmitted to an enterprise search engine for enterprise intelligence. Based on returned search results, a suggestion may be generated and presented to a user device by integrating the suggestion into the document. In some embodiments, the suggestion may include a people suggestion, a document suggestion, a phrase suggestion and a document template suggestion. In some embodiments, adding an additional content or selecting a subset of the content may refine the suggestion.

摘要翻译： 实施业务智能文档内容建议可以包括检测用户正在输入到文档中的内容或从文档中选择。 基于内容，可以提取关键词以产生查询。 该查询可以被发送到企业搜索引擎以用于企业智能。 基于返回的搜索结果，可以通过将建议集成到文档中来生成并呈现给用户设备的建议。 在一些实施例中，该建议可以包括人们的建议，文档建议，短语建议和文档模板建议。 在一些实施例中，添加附加内容或选择内容的子集可以改进建议。

公开(公告)号：US20140369534A1

公开(公告)日：2014-12-18

申请号：US14162967

申请日：2014-01-24

申请人： Chao Wang ,  Qi Tang

发明人： Chao Wang ,  Qi Tang

IPC分类号： H04R17/02

CPC分类号： H04R17/02 ,  H04R7/04 ,  H04R2460/13 ,  H04R2499/11

摘要： A sound pickup system is disclosed. The sound pickup system includes a screen, an accelerometer attached to the screen, and a pre-processing module electrically connecting with the accelerometer. The screen is configured to detect a vibration caused by sound waves, the accelerometer is configured to receive the vibration detected by the screen and convert the vibration into an acceleration signal, and the pre-processing module is configured to receive the acceleration signal, and process the acceleration signal then convert the processed acceleration signal into a voice signal.

摘要翻译： 公开了一种拾音系统。 声音拾取系统包括屏幕，附接到屏幕的加速度计以及与加速度计电连接的预处理模块。 屏幕被配置为检测由声波引起的振动，加速度计被配置为接收由屏幕检测到的振动并将振动转换为加速度信号，并且预处理模块被配置为接收加速度信号，并且处理 加速度信号然后将处理的加速度信号转换成语音信号。

公开(公告)号：US20140333488A1

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

申请号：US14269296

申请日：2014-05-05

申请人： Chao Wang ,  Yongli Chen

发明人： Chao Wang ,  Yongli Chen

IPC分类号： H01Q1/24 ,  H01Q1/36

CPC分类号： H01Q1/243 ,  H01Q5/371 ,  H01Q9/0421

摘要： The present disclosure provides an antenna and an electronic device using same. The antenna includes an antenna radiating element for radiating signals, a capacitive feed plate separated from and substantially parallel to the antenna radiating element for carrying out capacitive feed on the antenna radiating element, and a FPC antenna electrically connecting with the capacitive feed plate for feeding for the capacitive feed plate. The FPC antenna includes a plate-shaped main body, a feeding end, a ground end, an extending portion for being electrically connected with the capacitive feed plate, and a feeding strip extending vertically from the extending portion for improving the low-frequency performance of the antenna.

摘要翻译： 本公开提供了一种使用其的天线和电子设备。 天线包括用于辐射信号的天线辐射元件，与天线辐射元件分离并基本上平行于天线辐射元件进行电容馈电的电容馈电板，以及与电容馈电板电连接的FPC天线，用于馈送 电容馈电板。 FPC天线包括板状主体，​​馈电端，接地端，用于与电容馈电板电连接的延伸部分，以及从延伸部分垂直延伸的馈送条，用于改善低频性能 天线。

公开(公告)号：US08769499B2

公开(公告)日：2014-07-01

申请号：US12907409

申请日：2010-10-19

申请人： Vineet Kahlon ,  Chao Wang

发明人： Vineet Kahlon ,  Chao Wang

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

CPC分类号： G06F11/3608 ,  G06F11/3624

摘要： A system and method for predictive analysis includes generating an execution trace on an instrumented version of source code for a multithreaded computer program. Interleavings which potentially lead to a violation in the program are statically generated by performing a static predictive analysis using a Universal Causality Graph (UCG) to generate alternative interleavings that might lead to an error. The UCG includes a unified happens-before model for the concurrent program and a property being analyzed. The interleavings are symbolically checked to determine errors in the program.

摘要翻译： 用于预测分析的系统和方法包括在用于多线程计算机程序的检测到的源代码版本上生成执行跟踪。 通过使用通用因果图（UCG）执行静态预测分析来静态地产生可能导致程序违规的交织，以产生可能导致错误的替代交错。 UCG包括一个统一的并发程序模型和一个被分析的属性。 对符号检查进行交织以确定程序中的错误。

公开(公告)号：US20140043486A1

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

申请号：US14113250

申请日：2012-04-23

申请人： Guangjie Zhai ,  Keming Du ,  Chao Wang ,  Wenkai Yu

发明人： Guangjie Zhai ,  Keming Du ,  Chao Wang ,  Wenkai Yu

IPC分类号： H04N5/30

CPC分类号： H04N5/30 ,  A61B5/0075 ,  G01J1/42 ,  G01J3/2803 ,  G01J3/2823 ,  G01J2001/442 ,  G01J2003/2826 ,  G01N21/6452 ,  G01N21/763

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

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

公开(公告)号：US08612940B2

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

申请号：US13008650

申请日：2011-01-18

申请人： Vineet Kahlon ,  Chao Wang

发明人： Vineet Kahlon ,  Chao Wang

IPC分类号： G06F9/44

CPC分类号： G06F9/524 ,  G06F9/526

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

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

公开(公告)号：US08589126B2

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

申请号：US12753239

申请日：2010-04-02

申请人： Malay K. Ganai ,  Chao Wang ,  Weihong Li

发明人： Malay K. Ganai ,  Chao Wang ,  Weihong Li

IPC分类号： G06F7/60 ,  G06G7/48

CPC分类号： G06F11/3608

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

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

公开(公告)号：US08550374B2

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

申请号：US13056471

申请日：2010-04-06

申请人： Tianzhong Guo ,  Chao Wang ,  Minghua Zhu

发明人： Tianzhong Guo ,  Chao Wang ,  Minghua Zhu

IPC分类号： B05B1/10 ,  B60S1/46

CPC分类号： B05B1/3006 ,  B05B1/20 ,  B05B1/304 ,  B05B1/3436 ,  B60S1/528

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

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

公开(公告)号：US20130201862A1

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

申请号：US13878581

申请日：2011-10-21

申请人： Qimei Cui ,  Shiyuan Li ,  Xiaofeng Tao ,  Chao Wang

发明人： Qimei Cui ,  Shiyuan Li ,  Xiaofeng Tao ,  Chao Wang

IPC分类号： H04B7/04

CPC分类号： H04B7/0417 ,  H04B7/0452 ,  H04B7/0632 ,  H04B7/0634 ,  H04B7/0639 ,  H04B7/0689 ,  H04L1/0026 ,  H04L1/20

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

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

公开(公告)号：US08345468B2

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

申请号：US13322114

申请日：2009-08-18

申请人： Jie Li ,  Na Bai ,  Ming Ling ,  Aiguo Bu ,  Chao Wang ,  Chen Hu

发明人： Jie Li ,  Na Bai ,  Ming Ling ,  Aiguo Bu ,  Chao Wang ,  Chen Hu

IPC分类号： G11C11/24

CPC分类号： G11C11/412 ,  G11C7/12

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

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