公开(公告)号：US07249333B2

公开(公告)日：2007-07-24

申请号：US11038958

申请日：2005-01-18

申请人： Yuan Yu ,  Lintao Zhang

发明人： Yuan Yu ,  Lintao Zhang

IPC分类号： G06F17/50 ,  G06F17/10

CPC分类号： G06F17/504 ,  G06F17/11

摘要： Quantified Boolean formula (QBF) techniques are used in determining QBF satisfiability. A QBF is broken into component parts that are analyzable by a satisfiability (SAT) solver. Each component is then independently, and perhaps in parallel, analyzed for satisfiability. If a component is unsatisfiable, then it is determined that the QBF is unsatisfiable, and the analysis is stopped. If a component is satisfiable, then an assignment corresponding to the satisfiable component is noted. If a component is satisfiable, then it is appended to another untested component to provide a combination component, and the satisfiability of the combination component is analyzed. Such appending and analysis is repeated until the QBF is completed and determined to be satisfiable or determined to be unsatisfiable.

摘要翻译： 量化布尔公式（QBF）技术用于确定QBF可满足性。 QBF被分解成可满足性（SAT）求解器可分析的组件。 然后分析每个组件的可靠性，并且可能并行地进行分析。 如果组件不能令人满意，则确定QBF不可满足，并且分析停止。 如果组件是可满足的，则记录对应于可满足组件的分配。 如果组件可满足，则将其附加到另一未测试组件以提供组合组件，并分析组合组件的可满足性。 重复这种附加和分析直到QBF完成并确定为满足或确定为不满意。

公开(公告)号：US20060176263A1

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

申请号：US11256449

申请日：2005-10-20

申请人： Myung-Koo Kang ,  Lintao Zhang ,  Jung-Sun Lee ,  Jong-Hwa Park

发明人： Myung-Koo Kang ,  Lintao Zhang ,  Jung-Sun Lee ,  Jong-Hwa Park

IPC分类号： G09G3/36

CPC分类号： G09G3/3677 ,  G09G3/3685 ,  G09G2300/0408 ,  G09G2330/026 ,  G09G2330/12

摘要： A display device includes a data driver, an inverter, a display panel, and an intercept unit. The data driver provides an image signal and the scan driver generates a control signal corresponding to the image signal. The inverter provides an inverted control signal. The display panel has a PMOS transistor that provides the image signal to a pixel electrode based on the inverted control signal. The interception unit intercepts an abnormal signal that is forwarded to the PMOS transistor. Therefore, a signal having an abnormal voltage level may be interrupted to prevent display defects resulting from the abnormal voltage level.

摘要翻译： 显示装置包括数据驱动器，逆变器，显示面板和截距单元。 数据驱动器提供图像信号，扫描驱动器产生对应于图像信号的控制信号。 逆变器提供反相控制信号。 显示面板具有PMOS晶体管，其基于反相控制信号将图像信号提供给像素电极。 拦截单元拦截转发到PMOS晶体管的异常信号。 因此，可能中断具有异常电压电平的信号，以防止由异常电压电平引起的显示缺陷。

公开(公告)号：US07016610B2

公开(公告)日：2006-03-21

申请号：US10799050

申请日：2004-03-12

申请人： Guohua Xiao ,  Xiaoping Mao ,  Lintao Zhang ,  Xiaofan Cao

发明人： Guohua Xiao ,  Xiaoping Mao ,  Lintao Zhang ,  Xiaofan Cao

IPC分类号： H04B10/08 ,  H04J14/02

CPC分类号： G02B6/29362 ,  G02B6/266 ,  G02B6/29383 ,  H04J14/0206 ,  H04J14/0212 ,  H04J14/0213 ,  H04J14/0221 ,  H04Q11/0005 ,  H04Q2011/0016 ,  H04Q2011/0024 ,  H04Q2011/0039 ,  H04Q2011/0092

摘要： A self-adjusting optical add-drop multiplexer monitors the power in a drop signal and attenuates the power in an add signal to match the power in express WDM channels (signals). When used in a fiber network, and more particularly, in a metro network, the deleterious effects of optical amplification are reduced. Power attenuation is also used in an optical switching assembly particularly useful in two-fiber ring network. The optical switching assembly monitors drop channels from the two rings of the network and attenuates the add channel(s) accordingly. An optical switch operates to direct the drop signal from one of the two rings to a receiver in accordance with a control signal based on the monitored drop channels. The self-adjusting optical add-drop multiplexer also monitors the power in the drop signals and issues an alarm if the drop signal is of a power level above or below predetermined levels.

公开(公告)号：US06621625B1

公开(公告)日：2003-09-16

申请号：US09736855

申请日：2000-12-13

申请人： Lintao Zhang ,  Guohua Xiao ,  Charles Mao ,  Xiofan Cao ,  Jialing Yang ,  Jin Xie ,  Gang Li

发明人： Lintao Zhang ,  Guohua Xiao ,  Charles Mao ,  Xiofan Cao ,  Jialing Yang ,  Jin Xie ,  Gang Li

IPC分类号： H01S300

CPC分类号： H04B10/2942 ,  H01S3/06758 ,  H01S3/1301 ,  H04B10/2513

摘要： An optical node and method for operation in an ultra long haul backbone network that provides DWDM optical transmission and wavelength networking functionalities are disclosed. The optical node is designed with capabilities for amplification, dispersion compensation, and add/drop functionalities. In one embodiment, three erbium-doped fiber amplifier (EDFA) are cascaded using low nonlinearity and low loss dispersion compensating module (DCM).

摘要翻译： 公开了一种用于在提供DWDM光传输和波长联网功能的超长骨干网中操作的光节点和方法。 光节点设计具有放大，色散补偿和添加/删除功能的功能。 在一个实施例中，使用低非线性和低损耗色散补偿模块（DCM）级联三个掺铒光纤放大器（EDFA）。

公开(公告)号：US06417964B1

公开(公告)日：2002-07-09

申请号：US09777162

申请日：2001-02-05

申请人： Lintao Zhang ,  Charles Mao ,  Xiaofan Cao ,  Guohua Xiao

发明人： Lintao Zhang ,  Charles Mao ,  Xiaofan Cao ,  Guohua Xiao

IPC分类号： H04B1012

CPC分类号： H04B10/2931

摘要： A reconfigurable AGC loop design for an optical amplifier with a software provisional switch in the AGC loop inside the optical amplifier is disclosed. On the input side, there is a 1×m switch for switching a first input to the input of an optical amplifier, or to route other external pins to the optical amplifier. On the output side, there is a 1×n switch for switching a first output to the output of an optical amplifier, or to route other external pins to the optical amplifier. The AGC loop inside an optical amplifier is available to operate with other external signals. This reconfigurability unleashes the AGC loop capability that is traditionally confined to individual optical amplifier, provides flexibility, and greatly simplifies the design of optical node.

摘要翻译： 公开了一种用于具有在光放大器内的AGC环路中的软件临时开关的光放大器的可重构AGC环路设计。 在输入端，有一个1xm开关，用于将第一个输入切换到光放大器的输入端，或将其他外部引脚连接到光放大器。 在输出端，有一个1xn开关，用于将第一个输出切换到光放大器的输出，或将其他外部引脚连接到光放大器。 光放大器内的AGC环路可用于与其他外部信号一起工作。 这种可重新配置释放了传统上限于单个光放大器的AGC环路功能，提供了灵活性，并大大简化了光节点的设计。

公开(公告)号：US08085232B2

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

申请号：US11454651

申请日：2006-06-16

申请人： Soong-Yong Joo ,  Myung-Koo Kang ,  Lintao Zhang ,  Jung-Sun Lee ,  Suk-Ki Jung ,  Dong-Yub Lee ,  Jong-Hwa Park

发明人： Soong-Yong Joo ,  Myung-Koo Kang ,  Lintao Zhang ,  Jung-Sun Lee ,  Suk-Ki Jung ,  Dong-Yub Lee ,  Jong-Hwa Park

IPC分类号： G09G3/36

CPC分类号： G02F1/134336 ,  G02F1/136286 ,  G02F2201/40 ,  G09G3/3614 ,  G09G3/3677

摘要： An array substrate includes a base substrate, a plurality of gate lines, a plurality of data lines and a pixel matrix. The plurality of gate lines and the plurality of data lines define pixel areas. The pixel matrix is formed on each pixel area, and includes a plurality of pixel columns and pixel rows. Each pixel column has a first pixel group and a second pixel group. The first pixel group is electrically connected to a first gate line adjacent to the pixel column. The second pixel group is electrically connected to a second gate line adjacent to the pixel column. Each pixel row is electrically connected to one data line adjacent to the pixel column.

摘要翻译： 阵列基板包括基底基板，多条栅极线，多条数据线和像素矩阵。 多个栅极线和多个数据线限定像素区域。 像素矩阵形成在每个像素区域上，并且包括多个像素列和像素行。 每个像素列具有第一像素组和第二像素组。 第一像素组电连接到与像素列相邻的第一栅极线。 第二像素组电连接到与像素列相邻的第二栅极线。 每个像素行电连接到与像素列相邻的一个数据线。

公开(公告)号：US20100125758A1

公开(公告)日：2010-05-20

申请号：US12272779

申请日：2008-11-17

申请人： Junfeng Yang ,  Lintao Zhang ,  Lidong Zhou ,  Zhenyu Guo ,  Xuezheng Liu ,  Jian Tang ,  Mao Yang

发明人： Junfeng Yang ,  Lintao Zhang ,  Lidong Zhou ,  Zhenyu Guo ,  Xuezheng Liu ,  Jian Tang ,  Mao Yang

IPC分类号： G06F11/34

CPC分类号： G06F11/362

摘要： A distributed system checker may check a distributed system against events to detect bugs in the distributed system. The events may include machines crashes, network partitions, and packet losses, for example. The distributed system checker may check a distributed system that can have multiple threads and multiple processes running on multiple nodes. To obtain control over a distributed system, a distributed system checker may insert an interposition layer between a process and the operating system on each node.

摘要翻译： 分布式系统检查器可以根据事件检查分布式系统以检测分布式系统中的错误。 例如，事件可能包括机器崩溃，网络分区和数据包丢失。 分布式系统检查器可以检查可以在多个节点上运行多个线程和多个进程的分布式系统。 为了获得对分布式系统的控制，分布式系统检查器可以在进程和每个节点上的操作系统之间插入插入层。

公开(公告)号：US07711525B2

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

申请号：US10157486

申请日：2002-05-30

申请人： Malay Ganai ,  Lintao Zhang ,  Aarti Gupta ,  Zijiang Yang ,  Pranav Ashar

发明人： Malay Ganai ,  Lintao Zhang ,  Aarti Gupta ,  Zijiang Yang ,  Pranav Ashar

IPC分类号： G06F17/10

CPC分类号： G06F17/504

摘要： A method for bounded model checking of arbitrary Linear Time Logic temporal properties. The method comprises translating properties associated with temporal operators F(p), G(p), U(p, q) and X(p) into property checking schemas comprising Boolean satisfiability checks, wherein F represents an eventuality operator, G represents a globally operator, U represents an until operator and X represents a next-time operator. The overall property is checked in a customized manner by repeated invocations of the property checking schemas for F(p), G(p), U(p, q), X(p) operators and standard handling of atomic propositions and Boolean operators.

摘要翻译： 一种用于任意线性时间逻辑时间属性的有界模型检查的方法。 该方法包括将与时间运算符F（p），G（p），U（p，q）和X（p）相关联的属性转换成包括布尔可满足性检查的属性检查模式，其中F表示可能性运算符，G表示全局 运算符，U表示直到运算符，X表示下一运算符。 通过重复调用F（p），G（p），U（p，q），X（p）运算符的属性检查模式以及原子命题和布尔运算符的标准处理来检查整体属性。

公开(公告)号：US08959077B2

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

申请号：US13428709

申请日：2012-03-23

申请人： Hui Shen ,  Mao Yang ,  Lintao Zhang ,  Zhenyu Zhao ,  Xiao Wu ,  Ying Yan ,  Xiaosong Yang ,  Chad Walters ,  Choong Soon Chang

发明人： Hui Shen ,  Mao Yang ,  Lintao Zhang ,  Zhenyu Zhao ,  Xiao Wu ,  Ying Yan ,  Xiaosong Yang ,  Chad Walters ,  Choong Soon Chang

IPC分类号： G06F17/30

CPC分类号： G06F17/30864 ,  G06F17/30312

摘要： Subject matter described herein includes a multi-layer search-engine index. Accordingly, the search-engine index is divided into multiple indexes, each of which includes a respective set of information used to serve (i.e., respond to) a query. One index includes a term index, which organizes a set of terms that are found among a collection of documents. Another index includes a document index, which organizes a set of documents that are searchable. A computing device is used to serve the search-engine index (i.e., to analyze the index when identifying documents relevant to a search query). For example, a solid-state device might be used to serve the multi-layer search-engine index.

摘要翻译： 本文描述的主题包括多层搜索引擎索引。 因此，搜索引擎索引被分成多个索引，每个索引包括用于服务（即响应）查询的相应信息集合。 一个索引包括术语索引，其组织在一组文档中找到的一组术语。 另一个索引包括一个文档索引，它组织一组可搜索的文档。 计算设备用于服务搜索引擎索引（即，当识别与搜索查询相关的文档时分析索引）。 例如，可以使用固态设备来服务多层搜索引擎索引。

公开(公告)号：US20130013587A1

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

申请号：US13178495

申请日：2011-07-08

申请人： Zenglin Xia ,  Ningyi Xu ,  Lintao Zhang ,  Bojun Huang ,  Mao Yang ,  Lang Zong ,  Feng-Hsiung Hsu

发明人： Zenglin Xia ,  Ningyi Xu ,  Lintao Zhang ,  Bojun Huang ,  Mao Yang ,  Lang Zong ,  Feng-Hsiung Hsu

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

CPC分类号： G06F17/30902

摘要： Architecture that performs incremental computing for web searches by employing methods at least for storing the results of repeat queries on unchanged webpages and for computing results for the repeated queries. The architecture includes one or more algorithms for pre-computing query results on index servers, for only selectively choosing index servers whose result for a query change for a query computation process, and for re-using the unchanged web pages stored in the cache and computing results upon changed index and unchanged index separately.

摘要翻译： 通过采用至少用于存储不变网页上的重复查询结果以及重复查询的计算结果的方法，为网页搜索执行增量计算的体系结构。 架构包括用于在索引服务器上预先计算查询结果的一种或多种算法，用于仅选择性地选择其查询计算过程的查询结果的结果的索引服务器，以及重新使用存储在高速缓存和计算中的不变网页 分别指标变动指数和不变指数。