知搜-全球专利检索

  1. 登录
  2. 注册

搜索结果

3 条记录 (耗时 0.012 秒)

    Damper device
    1.
    发明授权
    Damper device 有权

    公开(公告)号：US11976767B2

    公开(公告)日：2024-05-07

    申请号：US17894603

    申请日：2022-08-24

    申请人： Donn Scott Terry

    发明人： Donn Scott Terry

    IPC分类号： F16L55/04 ,  F15D1/02 ,  F16L23/12

    CPC分类号： F16L55/04 ,  F16L23/12 ,  F15D1/025

    摘要： A damper device that includes an elongate body containing a passageway for fluid to flow there through and a first opening and a second opening, wherein the first opening and the second opening have an inside diameter. A throat is disposed within the body and between the first opening and the second opening of the elongate body having an inside diameter smaller than the inside diameter of the first opening and the second opening.

    DAMPER DEVICE
    2.
    发明申请
    DAMPER DEVICE 有权

    公开(公告)号：US20230064317A1

    公开(公告)日：2023-03-02

    申请号：US17894603

    申请日：2022-08-24

    申请人： Donn Scott TERRY

    发明人： Donn Scott TERRY

    IPC分类号： F16L55/04 ,  F16L23/12

    摘要： A damper device that includes an elongate body containing a passageway for fluid to flow there through and a first opening and a second opening, wherein the first opening and the second opening have an inside diameter. A throat is disposed within the body and between the first opening and the second opening of the elongate body having an inside diameter smaller than the inside diameter of the first opening and the second opening.

    State-based source code annotation
    3.
    发明申请
    State-based source code annotation 审中-公开
    基于状态的源代码注释

    公开(公告)号：US20060271917A1

    公开(公告)日：2006-11-30

    申请号：US11142604

    申请日：2005-05-31

    申请人： Manuvir Das ,  Manuel Fahndrich ,  Ramanathan Venkatapathy ,  Yong Qu ,  Donn Scott Terry ,  Daniel Weise ,  Brian Hackett

    发明人： Manuvir Das ,  Manuel Fahndrich ,  Ramanathan Venkatapathy ,  Yong Qu ,  Donn Scott Terry ,  Daniel Weise ,  Brian Hackett

    IPC分类号： G06F9/44

    CPC分类号： G06F8/73 ,  G06F8/31

    摘要： Techniques and tools relating to state-based source code annotation are described. For example, described techniques include flexible techniques for describing object states with annotations. In one aspect, properties of data structures in source code are described using state-defining code annotations. For example, specification structs can be used to describe an arbitrary set of states of objects, thereby improving the capabilities of the annotation language in terms of richness of program description. Specification structs also help to avoid annotating large numbers of individual fields in data structures by allowing several individual fields to be described by a single specification struct. Other aspects of a source code annotation language also are described.

    摘要翻译： 描述与基于状态的源代码注释相关的技术和工具。 例如，所描述的技术包括用于通过注释描述对象状态的灵活技术。 在一个方面，使用状态定义代码注释来描述源代码中数据结构的属性。 例如，规范结构可用于描述对象的任意状态集合，从而在程序描述的丰富性方面提高注释语言的能力。 规范结构也有助于通过允许由单个规范结构描述几个单独的字段来避免在数据结构中注释大量的单个字段。 还描述了源代码注释语言的其他方面。