Apparatus and method for channel monitoring in a hybrid distributed Raman/EDFA optical amplifier
    2.
    发明授权
    Apparatus and method for channel monitoring in a hybrid distributed Raman/EDFA optical amplifier 有权
    在混合分布式拉曼/ EDFA光放大器中进行信道监测的装置和方法

    公开(公告)号:US06441952B1

    公开(公告)日:2002-08-27

    申请号:US09898244

    申请日:2001-07-03

    IPC分类号: H01S300

    摘要: The present invention provides a hybrid Raman/EDFA optical amplifier that utilizes a first optical detector that generates a first electrical or electronic signal that is proportional the combined optical power of the signal light and the leaked pump laser light, a second optical detector that generates a second electrical or electronic signal that is proportional to the power of the pump laser light and an electronic subtraction circuit that receives the first and second electrical or electronic signals and generates a difference signal that is proportional to only to the optical power of the signal light and insensitive to the power of the Raman pump laser light. The difference signal is utilized by an EDFA control circuit to control and/or adjust the operation of the EDFA based upon changes in the power of the input optical signal.

    摘要翻译: 本发明提供了一种混合拉曼/ EDFA光放大器,其利用第一光学检测器,其产生与信号光和泄漏的泵浦激光的组合光功率成正比的第一电或电信号;第二光检测器, 第二电子或电子信号与泵激光的功率成比例,以及电子减法电路,其接收第一和第二电或电信号,并产生与仅与信号光的光功率成比例的差分信号,以及 对拉曼泵浦激光的功率不敏感。 差分信号由EDFA控制电路用于基于输入光信号的功率变化来控制和/或调节EDFA的操作。

    Reconfigurable automatic gain control and method for optical amplifier
    3.
    发明授权
    Reconfigurable automatic gain control and method for optical amplifier 失效
    可重构自动增益控制和光放大器的方法

    公开(公告)号:US06417964B1

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

    申请号:US09777162

    申请日:2001-02-05

    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环路功能,提供了灵活性,并大大简化了光节点的设计。

    Reconfigurable service ring and method for operation in optical networks
    4.
    发明授权
    Reconfigurable service ring and method for operation in optical networks 失效
    光网络可重构服务环和操作方法

    公开(公告)号:US06970617B2

    公开(公告)日:2005-11-29

    申请号:US10337200

    申请日:2003-01-07

    IPC分类号: H04J14/02 H04J14/00 G02B6/28

    摘要: An optical reconfigurable service ring (RSR) architecture based on a RSR channel and WDM channel plan matrix, and method for operation in a fiber network that provides WDM wavelength networking functionalities such as provisional wavelength services, optical circuit switching, optical layer 2 packet switching, optical storage switching, and optical layer 3 packet routing, are proposed. In one embodiment, sixteen wavelength are dynamically switching, routed, or distributed among five optical add/drop nodes using narrowly wavelength tunable transmitters and fixed optical add/drop multiplexer modules.

    摘要翻译: 一种基于RSR信道和WDM信道平面矩阵的光学可重构业务环(RSR)架构,以及提供诸如临时波长业务,光电路交换,光层2分组交换等WDM波长组合功能的光纤网络中的操作方法, 光存储交换和光层3分组路由。 在一个实施例中,十六个波长在使用窄波长可调谐发射机和固定光分插复用器模块的五个光分插节点之间动态切换,路由或分布。

    Self-adjusting optical add-drop multiplexer and optical networks using same
    6.
    发明授权
    Self-adjusting optical add-drop multiplexer and optical networks using same 失效
    自调光分插复用器和光网络使用相同

    公开(公告)号:US06721509B2

    公开(公告)日:2004-04-13

    申请号:US09730698

    申请日:2000-12-05

    IPC分类号: H04J1402

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

    摘要翻译: 自调整光分插复用器监视下降信号的功率,并在加信号中衰减功率以匹配快速WDM通道(信号)中的功率。 当在光纤网络中使用时,更特别地,在城域网中,减少了光放大的有害影响。 功率衰减也用于特别适用于双光纤环网络的光交换机组。 光学开关组件监测来自网络的两个环的丢弃信道并且相应地衰减添加信道。 光开关用于根据所监视的放下通道的控制信号将来自两个环中的一个的丢失信号引导到接收器。 自调整光分插复用器还监视下降信号的功率,并且如果下降信号的功率电平高于或低于预定电平,则发出报警。

    DISTRIBUTED SYSTEM CHECKER
    8.
    发明申请
    DISTRIBUTED SYSTEM CHECKER 有权
    分布式系统检查器

    公开(公告)号:US20100125758A1

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

    申请号:US12272779

    申请日:2008-11-17

    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.

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

    Efficient approaches for bounded model checking
    9.
    发明授权
    Efficient approaches for bounded model checking 失效
    有限模型检查的有效方法

    公开(公告)号:US07711525B2

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

    申请号:US10157486

    申请日:2002-05-30

    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)运算符的属性检查模式以及原子命题和布尔运算符的标准处理来检查整体属性。

    Quantified boolean formula (QBF) solver
    10.
    发明授权
    Quantified boolean formula (QBF) solver 有权
    量化布尔公式(QBF)求解器

    公开(公告)号: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完成并确定为满足或确定为不满意。