Method and apparatus to generate test sequences for communication protocols
    1.
    发明申请
    Method and apparatus to generate test sequences for communication protocols 失效
    生成通信协议测试序列的方法和装置

    公开(公告)号:US20050086020A1

    公开(公告)日:2005-04-21

    申请号:US10689553

    申请日:2003-10-21

    CPC分类号: H04L43/50

    摘要: The present invention's method and apparatus to generate test sequences for communication protocols input the data of the finite state machines (FSM) representing the specification of the communication protocols, and convert the test sequence generation problem to the SAT problem, and generate test sequences for communication protocols by solving the SAT problem. In addition, the present invention converts the test sequence generation problem to the SAT problem by modifying the FSM and describing the test sequence generation problem by using a conjunctive normal form formula based on the modified FSM. According to the present invention, by considering the multiple UIO sequences and the overlapping of the UIO sequences, the minimum length test sequence to check whether the states described in the specification of the protocol exist in the implementation of the FSM can be generated. According to the present invention, by considering the overlapping of the subsequences, the minimum length test sequences to check whether the state transitions described in the specification of the protocol is correctly implemented in the implementation of the FSM can be generated.

    摘要翻译: 本发明的生成用于通信协议的测试序列的方法和装置输入表示通信协议规范的有限状态机(FSM)的数据,并将测试序列生成问题转换为SAT问题,并生成用于通信的测试序列 协议通过解决SAT问题。 另外,本发明通过修改FSM并通过使用基于修改后的FSM的连接正态形式公式来描述测试序列生成问题,将测试序列生成问题转换为SAT问题。 根据本发明,通过考虑多个UIO序列和UIO序列的重叠,可以生成最小长度测试序列,以检查在实施FSM中是否存在协议规范中描述的状态。 根据本发明,通过考虑子序列的重叠,可以生成用于检查协议规范中描述的状态转换的最小长度测试序列是否在FSM的实现中正确实现。

    Fastener carrier for the support of screw members
    2.
    发明授权
    Fastener carrier for the support of screw members 失效
    用于支撑螺钉构件的紧固件支架

    公开(公告)号:US4955476A

    公开(公告)日:1990-09-11

    申请号:US403057

    申请日:1989-09-01

    IPC分类号: F16B27/00

    摘要: A fastener carrier for supporting screw members which includes a carrier strip having a substantial length and at least one row of apertures defined therein in a direction lengthwise of the carrier strip, and screw members each having a head and a stem and removably mounted on the carrier strip with the stem received in the corresponding aperture in the carrier strip.

    摘要翻译: 一种用于支撑螺钉构件的紧固件支架,其包括载体带,所述载体带在承载带的纵向方向上具有限定在其中的基本长度和至少一排孔,以及每个具有头部和杆部并且可拆卸地安装在载体上的螺钉构件 带子带有杆,容纳在载体带中相应的孔中。

    Fluid Pressure Cylinder
    3.
    发明申请
    Fluid Pressure Cylinder 失效
    流体压力缸

    公开(公告)号:US20070199441A1

    公开(公告)日:2007-08-30

    申请号:US10593839

    申请日:2005-03-09

    IPC分类号: F01B13/06

    CPC分类号: F15B15/262

    摘要: A fluid pressure cylinder can apply a fastening force to an axially movable reciprocating rod. A reciprocating rod 13 is mounted in a case main body 10 so as to be reciprocable in a forward direction and a backward direction, and two lock units 16a and 16b are incorporated in the case main body 10, and the lock units 16a and 16b include: lock sleeves 18a and 18b mounted axially movably and having taper surfaces 22a and 22b; and retainers 19a and 19b holding steel balls 21a and 21b that are fitted in the reciprocating rod 13 axially movably and engaged with the taper surfaces. A fastening cylinder 41 that contains a fastening rod so as to be reciprocable in a fastening direction and a fastening release direction is attached to the case main body 10, a fastening surface 44 contacting with the lock sleeves 18a and 18b being formed in the fastening rod, and the reciprocating rod 13 is fastened by the two lock units 16a and 16b.

    摘要翻译: 流体压力缸可以向轴向移动的往复杆施加紧固力。 往复运动杆13安装在壳体主体10中,以能够向前方向和后方往复运动,并且两个锁定单元16a和16b装在壳体主体10中,并且锁定单元​​16a 和16b包括:轴向移动安装并具有锥形表面22a和22b的锁定套筒18a和18b; 以及保持件19a和19b,其保持轴向移动并与锥形表面接合的装配在往复杆13中的钢球21a和21b。 紧固筒41包括紧固杆,以便在紧固方向和紧固释放方向上可往复运动,并且在壳体主体10上安装有紧固表面44,该紧固表面44与锁定套筒18a和18b形成在其中 紧固杆,并且往复杆13由两个锁定单元16a和16b紧固。

    Clamping apparatus
    4.
    发明申请
    Clamping apparatus 失效
    夹紧装置

    公开(公告)号:US20050242482A1

    公开(公告)日:2005-11-03

    申请号:US10514869

    申请日:2003-05-16

    摘要: A workpiece cradle and a clamp arm is provided, and an arm opening/closing cylinder 15 for opening and closing the clamp arm and the workpiece cradle are attached to a moving block 13. To a workpiece-cradle driving cylinder 23 provided with a piston rod 25 for driving the moving block 13, fluid is supplied from workpiece-cradle driving supply/discharge ports 27a and 27b formed in a manifold block 21. To the moving block 13, guide rods 33a and 33b are fixed and, to the arm opening/closing cylinder 15, fluid is supplied, from arm driving supply/discharge ports 34a and 34b formed in the manifold block 21, via hollow holes 36a and 36b in the guide rods 33a and 33b and via fluid supply/discharge paths 43a and 43b in the moving block 13.

    摘要翻译: 设置有工件支架和夹臂,并且用于打开和关闭夹紧臂和工件托架的臂打开/关闭气缸15附接到移动块13。 对于设置有用于驱动运动块13的活塞杆25的工件托架驱动缸23,从形成在歧管块21中的工件托架驱动供给/排出孔27a和27b供给流体。 对于移动块13,引导杆33a和33b是固定的,并且通过形成在歧管块21中的臂驱动供给/排出口34a和34b通过臂打开/关闭缸15供应流体,经由 引导杆33a和33b中的中空孔36a和36b,并且经由移动块13中的流体供给/排出路径41a和43b。

    Positioning and clamping apparatus
    5.
    发明授权
    Positioning and clamping apparatus 失效
    定位和夹紧装置

    公开(公告)号:US06439560B2

    公开(公告)日:2002-08-27

    申请号:US09783193

    申请日:2001-02-14

    IPC分类号: B23Q308

    CPC分类号: B23K37/0435 B25B5/087

    摘要: A clamp jig has a positioning pin provided at the tip of a cylindrical member, and a clamp arm is mounted in a slit formed in this positioning pin, so as to be able to swing and so as to be able to axially advance and retreat. A reciprocating shaft is connected to the clamp arm by a connecting pin, and a spring force is applied to this reciprocating shaft in a retreating direction by a compression coil spring. A plunger 35 brought into contact with the reciprocating shaft is mounted in a drive housing so as to be able to axially reciprocate, and a female screw member driven by a motor is thread-connected to a male screw member secured to this plunger. Accordingly, it is made possible to reliably perform positioning and clamping, of a member to be fixed, and unclamping thereof by a low-cost motor.

    摘要翻译: 夹具夹具具有设置在圆柱形构件的顶端的定位销,并且夹紧臂安装在形成在该定位销中的狭缝中,以便能够摆动并且能够轴向前进和后退。 往复轴通过连接销连接到夹紧臂上,弹簧力通过压缩螺旋弹簧沿回撤方向施加到该往复轴上。 与往复轴接触的柱塞35安装在驱动壳体中以能够轴向往复运动,并且由电动机驱动的阴螺纹构件螺纹连接到固定到该柱塞的外螺纹构件。 因此,能够可靠地进行要固定的构件的定位和夹紧,并且可以通过低成本的电动机使其松开。

    Hydraulic cylinder
    7.
    发明授权
    Hydraulic cylinder 失效
    液压缸

    公开(公告)号:US07299739B2

    公开(公告)日:2007-11-27

    申请号:US10543536

    申请日:2004-01-29

    IPC分类号: F15B15/26

    CPC分类号: F15B15/261

    摘要: A fluid pressure cylinder has a piston rod 18 fixed to a piston 26 and projecting outside a cylinder body 23. A lock surface 43 inclining to a radial direction of the piston rod 18 is formed in an engagement member 31 provided in the piston rod 18. A lock rod 35 reciprocating in an about right-angle direction to the piston rod 18 is built into a lock cylinder 33 provided in the cylinder body 23. The lock rod 35 is provided with: a large-diameter section 35a fitted into a guide hole 36 formed in the lock cylinder 33; and a slide contact section 37 provided in the large-diameter section 35a via a constriction section 35b. The slide contact section 37 contacts with a radial-inner portion of the lock surface 43 when the lock rod 35 comes nearest to the piston rod 18.

    摘要翻译: 流体压力缸具有固定到活塞26并突出到缸体23外侧的活塞杆18。 在设置在活塞杆18中的接合构件31中形成有向活塞杆18的径向倾斜的锁定面43。 在设置在缸体23中的锁芯33中内置有与活塞杆18大致直角的方向往复运动的锁定杆35。 锁定杆35设置有:嵌合在形成在锁芯33中的引导孔36中的大直径部35a; 以及经由收缩部分35b设置在大直径部分35a中的滑动接触部分37。 当锁杆35最靠近活塞杆18时,滑动接触部分37与锁定表面43的径向内部接触。

    Hydraulic cylinder
    8.
    发明申请
    Hydraulic cylinder 失效
    液压缸

    公开(公告)号:US20060140781A1

    公开(公告)日:2006-06-29

    申请号:US10543536

    申请日:2004-01-29

    IPC分类号: F04B49/00

    CPC分类号: F15B15/261

    摘要: A fluid pressure cylinder has a piston rod 18 fixed to a piston 26 and projecting outside a cylinder body 23. A lock surface 43 inclining to a radial direction of the piston rod 18 is formed in an engagement member 31 provided in the piston rod 18. A lock rod 35 reciprocating in an about right-angle direction to the piston rod 18 is built into a lock cylinder 33 provided in the cylinder body 23. The lock rod 35 is provided with: a large-diameter section 35a fitted into a guide hole 36 formed in the lock cylinder 33; and a slide contact section 37 provided in the large-diameter section 35a via a constriction section 35b. The slide contact section 37 contacts with a radial-inner portion of the lock surface 43 when the lock rod 35 comes nearest to the piston rod 18.

    摘要翻译: 流体压力缸具有固定到活塞26并突出到缸体23外侧的活塞杆18。 在设置在活塞杆18中的接合构件31中形成有向活塞杆18的径向倾斜的锁定面43。 在设置在缸体23中的锁芯33中内置有与活塞杆18大致直角的方向往复运动的锁定杆35。 锁定杆35设置有:嵌合在形成在锁芯33中的引导孔36中的大直径部35a; 以及经由收缩部分35b设置在大直径部分35a中的滑动接触部分37。 当锁杆35最靠近活塞杆18时,滑动接触部分37与锁定表面43的径向内部接触。