会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Reconfigurable automatic gain control and method for optical amplifier
    • 可重构自动增益控制和光放大器的方法
    • US06417964B1
    • 2002-07-09
    • US09777162
    • 2001-02-05
    • Lintao ZhangCharles MaoXiaofan CaoGuohua Xiao
    • Lintao ZhangCharles MaoXiaofan CaoGuohua Xiao
    • H04B1012
    • 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环路功能,提供了灵活性,并大大简化了光节点的设计。
    • 10. 发明授权
    • Quantified boolean formula (QBF) solver
    • 量化布尔公式(QBF)求解器
    • US07249333B2
    • 2007-07-24
    • US11038958
    • 2005-01-18
    • Yuan YuLintao Zhang
    • Yuan YuLintao Zhang
    • G06F17/50G06F17/10
    • G06F17/504G06F17/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完成并确定为满足或确定为不满意。