Searching code by specifying its behavior
    3.
    发明授权
    Searching code by specifying its behavior 有权
    通过指定行为来搜索代码

    公开(公告)号:US08972372B2

    公开(公告)日:2015-03-03

    申请号:US14111956

    申请日:2013-04-17

    CPC classification number: G06F17/30011 G06F8/36 G06F8/70 G06F8/74 G06F17/30864

    Abstract: Systems and methods are disclosed for receiving a first specification that identifies program code behavior associated with a plurality of documents. The specification includes an input-output pair with a first data entity and a second data entity. The systems and methods further include identifying one or more documents, within the plurality of documents, that are configured to (i) use at least a portion of the first data entity as an input to program code associated with particular ones of the documents, and (ii) provide at least a portion of the second data entity as output associated with the program code, wherein the particular ones of the documents correspond to a positive matching between one or more constraints associated with each document and one or more constraints associated with the specification, and generating search results comprising the identified one or more documents.

    Abstract translation: 公开了用于接收标识与多个文档相关联的程序代码行为的第一规范的系统和方法。 该规范包括具有第一数据实体和第二数据实体的输入 - 输出对。 系统和方法还包括识别多个文档内的一个或多个文档,其被配置为(i)使用第一数据实体的至少一部分作为输入来编程与特定文档相关联的代码,以及 (ii)提供所述第二数据实体的至少一部分作为与所述程序代码相关联的输出,其中所述文档中的特定文档对应于与每个文档相关联的一个或多个约束与与所述文档相关联的一个或多个约束之间的肯定匹配 规范,并且生成包括所识别的一个或多个文档的搜索结果。

    Aerial Water Sampler
    8.
    发明申请
    Aerial Water Sampler 有权
    空中采水器

    公开(公告)号:US20150268136A1

    公开(公告)日:2015-09-24

    申请号:US14621733

    申请日:2015-02-13

    Abstract: In one aspect, a vehicle includes an aerial propulsion system, an altitude sensor system, a water sampling system, and a control system. The water sampling system includes a water sampling extension configured to extend away from the vehicle, one or more water sample receptacles, and a water pump. The control system is configured to perform operations including: guiding, using the aerial propulsion system, the vehicle over a water source; causing, using sensor data from the altitude sensor system, the vehicle to descend towards the water source so that the water sampling extension contacts the water source; and causing, using the water sampling system, the water pump to pump water from the water source into the one or more water sample receptacles through the water sampling extension while the vehicle is in flight over the water source.

    Abstract translation: 一方面,车辆包括空中推进系统,高度传感器系统,水采样系统和控制系统。 取水系统包括配置成远离车辆,一个或多个水样接收器和水泵延伸的取水延伸器。 控制系统被配置为执行操作,包括:引导,使用空中推进系统,车辆在水源上; 导致使用来自高度传感器系统的传感器数据,车辆向水源下降,使得取水延伸器接触水源; 以及当所述车辆在所述水源上飞行时,使用所述水采样系统将所述水泵从所述水源泵送到所述一个或多个水样本容器中,并通过所述抽水延伸部。

Patent Agency Ranking