会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 65. 发明授权
    • Apparatus for carrying out improved control of rotary machine
    • 用于改进旋转机械控制的装置
    • US08884567B2
    • 2014-11-11
    • US13309683
    • 2011-12-02
    • Tomohiro SenkouHiroshi InamuraKoichi Nishibata
    • Tomohiro SenkouHiroshi InamuraKoichi Nishibata
    • H02K17/32H02P21/14H02P29/02H02P21/00
    • H02P21/0096H02P21/20H02P21/50H02P29/032
    • In a system for controlling a rotary machine, a circuit outputs an AC voltage to be applied to a rotary machine. A storage stores therein measurement-error information indicative of a measurement error of the measuring unit. A torque-feedback adjuster manipulates a phase of the output voltage of the circuit based on the rotational angle of the rotary machine measured by a measuring unit and the measurement-error information to adjust a torque of the rotary machine to a request torque. The phase is obtained from information fed back from the rotary machine. An abnormality determiner determines whether there is an abnormality to disable using accurate measurement-error information. A limiter limits adjustment of the torque of the rotary machine to the request torque by the torque-feedback adjuster when it is determined that there is an abnormality to disable using accurate measurement-error information.
    • 在用于控制旋转机器的系统中,电路输出要施加到旋转机器的AC电压。 存储器存储表示测量单元的测量误差的测量误差信息。 扭矩反馈调节器基于由测量单元测量的旋转机器的旋转角度和测量误差信息来操纵电路的输出电压的相位,以将旋转机器的转矩调整到请求扭矩。 该相位是从旋转机器反馈的信息获得的。 异常确定器确定是否存在使用准确的测量误差信息禁止的异常。 当确定存在异常以禁用使用精确的测量误差信息时,限制器通过扭矩反馈调节器限制旋转机器的扭矩的调整到请求扭矩。
    • 69. 发明授权
    • Automated test input generation for web applications
    • Web应用程序的自动测试输入生成
    • US08302080B2
    • 2012-10-30
    • US12249646
    • 2008-10-10
    • Gary WassermannDachuan YuAjay ChanderDinakar DhurjatiHiroshi Inamura
    • Gary WassermannDachuan YuAjay ChanderDinakar DhurjatiHiroshi Inamura
    • G06F9/44
    • G06F11/3688G06F8/00
    • A method and apparatus is disclosed herein for automated test input generation for web applications. In one embodiment, the method comprises performing a source-to-source transformation of the program; performing interpretation on the program based on a set of test input values; symbolically executing the program; recording a symbolic constraint for each of one or more conditional expressions encountered during execution of the program, including analyzing a string operation in the program to identify one or more possible execution paths, and generating symbolic inputs representing values of variables in each of the conditional expressions as a numeric expression and a string constraint including generating constraints on string values by modeling string operations using finite state transducers (FSTs) and supplying values from the program's execution in place of intractable sub-expressions; and generating new inputs to drive the program during a subsequent iteration based on results of solving the recorded string constraints.
    • 本文公开了用于web应用的自动化测试输入生成的方法和装置。 在一个实施例中,该方法包括执行程序的源到源转换; 基于一组测试输入值对程序执行解释; 象征性地执行程序; 记录在执行程序期间遇到的一个或多个条件表达中的每一个的符号约束,包括分析程序中的字符串操作以识别一个或多个可能的执行路径,以及生成表示每个条件表达式中的变量值的符号输入 作为数字表达式和字符串约束,包括通过使用有限状态转换器(FST)对字符串操作建模并提供来自程序执行的值代替难处理的子表达式来生成字符串值的约束; 并且基于解决记录的字符串约束的结果,生成新的输入以在随后的迭代期间驱动程序。