知搜-全球专利检索

  1. 登录
  2. 注册

搜索结果

15 条记录 (耗时 0.014 秒)

    Coverage Based Pairwise Test Set Generation for Verification of Electronic Designs
    4.
    发明申请
    Coverage Based Pairwise Test Set Generation for Verification of Electronic Designs 审中-公开
    基于覆盖的成对测试集生成验证电子设计

    公开(公告)号：US20130007680A1

    公开(公告)日：2013-01-03

    申请号：US13363355

    申请日：2012-01-31

    申请人： SUDHIR D. KADKADE ,  ALEXANDER MATTHEW LYONS

    发明人： SUDHIR D. KADKADE ,  ALEXANDER MATTHEW LYONS

    IPC分类号： G06F17/50

    CPC分类号： G06F17/5022

    摘要： With various implementations of the invention, test sequences are generated using a pairwise methodology. The generated test sequences are checked using a constraint solver to determine if the test sequences satisfy a set of constraints. In some implementations, the uncovered pairs for a particular input are checked using the constraint solver to determine if any pairs violate the constraints. Any pairs found to violate the constraints can be excluded from the test set. With some implementations, the uncovered pairs are sorted such that the sum of every three consecutive elements is odd.

    摘要翻译： 通过本发明的各种实现，使用成对方法生成测试序列。 使用约束求解器检查生成的测试序列，以确定测试序列是否满足一组约束。 在一些实现中，使用约束求解器检查特定输入的未覆盖对以确定是否有任何对违反约束。 发现违反约束的任何对都可以从测试集中排除。 通过一些实施方式，对未覆盖的对进行排序，使得每三个连续元素的和为奇数。

    Locking surgical tool handle system
    5.
    发明授权
    Locking surgical tool handle system 失效
    锁定手术刀柄系统

    公开(公告)号：US5190550A

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

    申请号：US881688

    申请日：1992-05-12

    申请人： Gary J. Miller ,  Matthew Lyons

    发明人： Gary J. Miller ,  Matthew Lyons

    IPC分类号： A61B17/00 ,  A61B17/16

    CPC分类号： A61B17/1659 ,  A61B2017/0046

    摘要： A locking surgical tool handle system. The invention includes a surgical tool handle that has an elongated body portion with a pistol-type grip. The front end of the handle body has a tool retaining structure comprising a contoured engagement face and a moveable tension bar with an engagement end. Projections on the engagement end of the tension bar fit within a receiving channel of a surgical tool, such as a broach or rasp. A locking mechanism is provided within the handle body, and is implemented with pivotable links attached to the tension bar. The locking mechanism has an unlocked position in which the engagement end of the tension bar is spaced away from the engagement face of the handle body, and an over-center locked position in which the engagement end of the tension bar is retracted toward the handle body. When the tool handle is placed in its locked position, the engagement end of the tension bar pulls an attached tool into tight contact with the engagement face of the handle body.

    摘要翻译： 锁定手术工具手柄系统。 本发明包括外科手术工具手柄，其具有带有手枪型手柄的细长主体部分。 手柄本体的前端具有工具保持结构，该结构包括轮廓接合面和具有接合端的可动张力杆。 张力杆的接合端上的突出部配合在诸如拉刀或锉刀的手术工具的接收通道内。 锁定机构设置在把手主体内，并且具有连接到张力杆上的可转动的连杆。 锁定机构具有解锁位置，其中张力杆的接合端与手柄主体的接合面间隔开，并且过中心锁定位置，拉杆的接合端朝向把手本体 。 当工具手柄处于其锁定位置时，张力杆的接合端将附接的工具拉动与把手主体的接合面紧密接触。

    Thermally efficient frames for use in construction of structures using insulated concrete forms (ICF) and methods for making and using same
    8.
    发明授权
    Thermally efficient frames for use in construction of structures using insulated concrete forms (ICF) and methods for making and using same 失效
    使用绝热混凝土结构（ICF）结构的建筑用热效率框架及其制造和使用方法

    公开(公告)号：US08544224B1

    公开(公告)日：2013-10-01

    申请号：US13052785

    申请日：2011-03-21

    申请人： Jim Hafendorfer ,  Matthew Lyons ,  Loren Stout

    发明人： Jim Hafendorfer ,  Matthew Lyons ,  Loren Stout

    IPC分类号： E06B1/04 ,  E06B1/56 ,  E04G11/18 ,  E04C2/38 ,  E04B2/16

    CPC分类号： E06B1/02 ,  E04G15/02

    摘要： A thermally efficient frame for use in a wall structure formed using an insulated concrete form comprising an exterior frame assembly having an exterior flange for locating said exterior frame assembly against an exterior portion of the insulated concrete form, an interior frame assembly having an interior flange for locating the interior frame assembly against an interior portion of the insulated concrete form, wherein the exterior frame assembly and the interior frame assembly cooperated to define an opening in said wall structure, and a thermal break thermally separating the exterior frame assembly from the interior frame assembly and methods for using same.

    摘要翻译： 一种用于在使用绝缘混凝土形式形成的壁结构中的热效率框架，其包括外框架组件，所述外框架组件具有用于将所述外框架组件定位成绝缘混凝土形式的外部部分的外部凸缘;内框架组件， 将内部框架组件定位在绝缘混凝土形式的内部部分处，其中外部框架组件和内部框架组件协作以在所述壁结构中限定开口，以及将外部框架组件与内部框架组件热分离的热断裂 和使用它们的方法。