利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

33 条记录 (耗时 0.018 秒)

    Luminaire controller
    1.
    发明授权
    Luminaire controller 有权
    灯具控制器

    公开(公告)号：US09526142B2

    公开(公告)日：2016-12-20

    申请号：US14395909

    申请日：2012-04-27

    申请人： Helmut Schroder ,  Daniel Brand

    发明人： Helmut Schroder ,  Daniel Brand

    IPC分类号： H05B37/02 ,  H05B33/08 ,  F21V23/00

    CPC分类号： H05B33/0854 ,  F21V23/007 ,  H05B33/0842 ,  H05B37/0218 ,  H05B37/0227 ,  H05B37/0254 ,  H05B37/0272 ,  Y02B20/46

    摘要： Described herein is a luminaire controller for a luminaire in which dimming signals can be provided to control the operation of the luminaire. The controller also includes an energy measurement module connected to a mains supply, a sensor module, a power switch, a central processing module and a ZigBee transceiver module. The controller, in addition to providing dimming signals in accordance with ambient lighting conditions sensed by a photocell in the sensor module, provides efficient energy metering. In one embodiment, the luminaire controller is directly mountable on a luminaire for control thereof.

    摘要翻译： 这里描述的是用于照明器的照明器控制器，其中可以提供调光信号以控制照明器的操作。 控制器还包括连接到电源，传感器模块，电源开关，中央处理模块和ZigBee收发器模块的能量测量模块。 除了根据传感器模块中的光电池感测的环境照明条件提供调光信号之外，控制器提供有效的能量计量。 在一个实施例中，照明器控制器可直接安装在照明器上用于其控制。

    Method for controlling a streetlight
    3.
    发明授权
    Method for controlling a streetlight 有权
    控制路灯的方法

    公开(公告)号：US09253853B2

    公开(公告)日：2016-02-02

    申请号：US13994619

    申请日：2010-12-17

    申请人： Helmut Schröder ,  Daniel Brand

    发明人： Helmut Schröder ,  Daniel Brand

    IPC分类号： H05B37/04 ,  H05B37/02

    CPC分类号： H05B37/02 ,  H05B37/0218 ,  H05B37/0227 ,  H05B37/0281 ,  Y02B20/42 ,  Y02B20/72

    摘要： A method for controlling a streetlight that is provided to illuminate a portion of the street, the method being performed by a controlling device having a memory accessible by a processor which controls a steering module which steering module is operatively coupled to the streetlight.

    摘要翻译： 一种用于控制路灯的方法，用于照亮街道的一部分，所述方法由控制装置执行，所述控制装置具有可由处理器访问的存储器，所述存储器可控制转向模块，所述转向模块可操作地耦合到所述路灯。

    Method and system for identifying errors in computer software
    6.
    发明授权
    Method and system for identifying errors in computer software 失效
    识别计算机软件错误的方法和系统

    公开(公告)号：US07168009B2

    公开(公告)日：2007-01-23

    申请号：US10669306

    申请日：2003-09-24

    申请人： John A. Darringer ,  Daniel Brand ,  Florian Krohm

    发明人： John A. Darringer ,  Daniel Brand ,  Florian Krohm

    IPC分类号： G06F11/00

    CPC分类号： G06F11/3688

    摘要： Disclosed are a method and system for analyzing a computer program. The method comprises the steps of analyzing the program to generate an initial error report and a list of suspected error conditions, and generating a set of assertions and inserting the assertions into the program to determine if the suspected error conditions are valid. Preferably, a strong static analysis method is used to identify an initial set of error reports. When this analysis fails to determine if the condition is true or false, the condition along with the potential program error is captured to form a suspected error. Suspected errors are directed to an assertion generator to produce a monitor—that is, source code modification that is integrated with the original program. This and other inserted monitors check the conditions for the suspected error during the program execution.

    摘要翻译： 公开了一种用于分析计算机程序的方法和系统。 该方法包括以下步骤：分析程序以生成初始错误报告和可疑错误条件列表，并产生一组断言并将断言插入程序中，以确定可疑错误条件是否有效。 优选地，使用强静态分析方法来识别初始的错误报告集合。 当此分析无法确定条件是真还是假时，捕获条件以及可能的程序错误以形成可疑错误。 可疑的错误针对一个断言发生器来产生一个监视器，即与原始程序集成的源代码修改。 这个和其他插入的监视器在程序执行期间检查疑似错误的条件。

    Method and system for identifying errors in computer software
    7.
    发明申请
    Method and system for identifying errors in computer software 失效
    识别计算机软件错误的方法和系统

    公开(公告)号：US20050066234A1

    公开(公告)日：2005-03-24

    申请号：US10669306

    申请日：2003-09-24

    申请人： John Darringer ,  Daniel Brand ,  Florian Krohm

    发明人： John Darringer ,  Daniel Brand ,  Florian Krohm

    IPC分类号： G06F11/00

    CPC分类号： G06F11/3688

    摘要： Disclosed are a method and system for analyzing a computer program. The method comprises the steps of analyzing the program to generate an initial error report and a list of suspected error conditions, and generating a set of assertions and inserting the assertions into the program to determine if the suspected error conditions are valid. Preferably, a strong static analysis method is used to identify an initial set of error reports. When this analysis fails to determine if the condition is true or false, the condition along with the potential program error is captured to form a suspected error. Suspected errors are directed to an assertion generator to produce a monitor—that is, source code modification that is integrated with the original program. This and other inserted monitors check the conditions for the suspected error during the program execution.

    摘要翻译： 公开了一种用于分析计算机程序的方法和系统。 该方法包括以下步骤：分析程序以生成初始错误报告和可疑错误条件列表，并生成一组断言并将断言插入程序中，以确定可疑错误条件是否有效。 优选地，使用强静态分析方法来识别初始的错误报告集合。 当此分析无法确定条件是真还是假时，捕获条件以及可能的程序错误以形成可疑错误。 可疑的错误针对一个断言发生器来产生一个监视器，即与原始程序集成的源代码修改。 这个和其他插入的监视器在程序执行期间检查疑似错误的条件。