会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 12. 发明申请
    • System and method for identifying viable refactorings of program code using a comprehensive test suite
    • 使用综合测试套件识别程序代码的可行重构的系统和方法
    • US20060123394A1
    • 2006-06-08
    • US11003254
    • 2004-12-03
    • Eric NickellIan Smith
    • Eric NickellIan Smith
    • G06F9/44
    • G06F8/72
    • A system and method for identifying viable refactorings of program code using a comprehensive test suite is presented. Program code is maintained, including program statements written in accordance with a programming language and defining operations executed following transformation into machine code. A test suite associated with the program code is specified and includes one or more additional program operations to determine satisfactory generation of expected results during the operations execution. A plurality of refactorings are speculatively applied to the program code by evaluating one or more of the program statements against a set of refactoring rules and restructuring the program statements pursuant to at least one refactoring rule. The test suite is executed against the program code following each restructuring of the program statements and each refactoring that passes the test suite is determined.
    • 介绍了使用综合测试套件识别程序代码的可行重构的系统和方法。 维护程序代码,包括根据编程语言编写的程序语句,并定义在转换为机器代码之后执行的操作。 指定与程序代码相关联的测试套件,并且包括一个或多个额外的程序操作,以在操作执行期间确定令人满意的预期结果生成。 通过根据一组重构规则评估一个或多个程序语句并根据至少一个重构规则重组程序语句,推测性地将多个重构应用于程序代码。 每个重组程序语句之后,测试套件都针对程序代码执行,并且确定通过测试套件的每个重构。
    • 13. 发明申请
    • Pipeline inspection pigs
    • 管线检查猪
    • US20050072237A1
    • 2005-04-07
    • US10488555
    • 2002-09-03
    • David PaigeAndrew MannIan Smith
    • David PaigeAndrew MannIan Smith
    • G01N29/04G01N1/00G01N29/22G01N29/265G01N29/44G01N29/10
    • G01N29/225G01N29/265G01N2291/011G01N2291/0234G01N2291/0422G01N2291/0425G01N2291/044G01N2291/102G01N2291/2636
    • A pipeline inspection pig for locating crack-like defects (10) in pipeline walls (8) comprises at least one transmit transducer (T) for transmitting ultrasound energy into the pipeline wall (8), and at least one associated receive transducer (R) located adjacent the transmit transducer (T), the arrangement being such that, for a given defect (10) in the pipeline wall (8), ultrasound energy within the pipeline wall (8) is incident on the defect (10), part of said energy being reflected by the defect (10) back to the receive transducer (8) in the form of a first data stream, and the remainder of said energy passing through the defect (10) to be attenuated thereby and thence returned to the receive transducer (R) in the form of a second data stream, interpretation of the first and second data streams enabling the location of the defect (10) to be determined.
    • 用于在管道壁(8)中定位裂缝状缺陷(10)的管道检查猪包括用于将超声能量发射到管道壁(8)中的至少一个发射换能器(T),以及至少一个相关联的接收换能器(R) 位于发射换能器(T)附近,该布置使得对于管道壁(8)中的给定缺陷(10),管道壁(8)内的超声能量入射到缺陷(10)上,部分 所述能量被缺陷(10)以第一数据流的形式反射回接收换能器(8),并且所述能量的剩余部分通过缺陷(10)被衰减,从而返回到接收 换能器(R)以第二数据流的形式,能够确定缺陷(10)的位置的第一和第二数据流的解释。
    • 15. 发明授权
    • Speed control system for a pipeline inspection vehicle
    • 一种管道检查车辆的速度控制系统
    • US4388871A
    • 1983-06-21
    • US286533
    • 1981-07-24
    • John C. BraithwaiteIan Smith
    • John C. BraithwaiteIan Smith
    • G01M3/00B65G51/20
    • G01M3/005
    • A pipeline inspection system in which a vehicle, which has sensors to detect flaws in the pipeline, is moveable within the pipeline by a fluid flowing in the pipeline, and wherein a speed control for the vehicle is provided by a braking device which imposes a continuous axial drag on the pipeline wall. This continuous axial drag is adjustable between upper and lower limits such that the summation of the variable drag characteristics of the pipeline and the imposed drag remains approximately constant and the vehicle will move at a speed substantially equal to the average flow velocity of the fluid in the pipeline.
    • 一种管道检查系统,其中具有用于检测管道中的缺陷的传感器的车辆通过在管道中流动的流体在管道内移动,并且其中车辆的速度控制由制动装置提供,该制动装置施加连续的 管道壁上的轴向阻力。 这种连续的轴向阻力在上限和下限之间是可调节的,使得管道的可变阻力特性和施加的阻力的总和保持近似恒定,并且车辆将以基本上等于流体的平均流速的速度移动 管道。
    • 17. 发明申请
    • DEVICE AUTHENTICATION METHOD AND DEVICES
    • 设备认证方法和设备
    • US20140115676A1
    • 2014-04-24
    • US14125550
    • 2012-06-15
    • Finbarr CoghlanRobert RyanIan Smith
    • Finbarr CoghlanRobert RyanIan Smith
    • H04W12/06
    • H04W12/06H04L63/162H04L63/166
    • In a method for authenticating a device on a wireless local area network (WLAN) there is a once-off registration phase in which the device sends registration data in a MO SMS via the mobile network to the authentication system, and the authentication system performs a query to this mobile network to validate the subscriber and resolve the subscriber and device identifiers. The device receives network access information from the authentication system, allowing it to generate network access credentials on an on-going basis. This is permanent unless the registration is revoked due, for example, to the device being stolen. The network access information may be provided by the authentication system generating and signing a unique subscriber certificate during registration, and the device downloading it. The device uses the signed certificate to generate and encrypt the network access credentials for the network access.
    • 在无线局域网(WLAN)上认证装置的方法中,存在一次一次注册阶段,其中,设备经由移动网络向MO认证系统发送注册数据,并且认证系统执行 查询该移动网络以验证用户并解决用户和设备标识符。 该设备从认证系统接收网络访问信息,允许其在持续的基础上生成网络访问凭证。 这是永久性的,除非注册由于例如被盗设备而被撤销。 网络访问信息可以由注册期间生成和签名唯一用户证书的认证系统提供,并且设备下载它。 该设备使用签名的证书来生成和加密网络访问的网络访问凭据。