摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
A surgical device for stapling and fastening body tissues, comprises an insertion section extending from an operation section for insertion into a body cavity, stapling member connected to a distal end of the insertion section, for treating body tissues with a high-frequency current within a body cavity. The stapling member includes an anvil and a cartridge between which the tissues are sandwiched, and a cutter. Staples are applied to the anvil from the cartridge for stapling the tissues and the cutter cuts the tissue while it applies a high-frequency current thereto.
摘要:
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.
摘要:
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.
摘要:
In the manufacture of a single crystal film by epitaxial growth method, defects such as cracking are avoided by increasing the deviation of the lattice constant of the resulting film in the direction of growth from the substrate. Preferably, the deviation is increased at the rate of (0.4.about.9).times.10.sup.-4 %/.mu.m.
摘要:
A surgical device for stapling and fastening body tissues, comprises an insertion section extending from an operation section for insertion into a body cavity, stapling member connected to a distal end of the insertion section, for treating body tissues with a high-frequency current within a body cavity. The stapling member includes an anvil and a cartridge between which the tissues are sandwiched, and a cutter. Staples are applied to the anvil from the cartridge for stapling the tissues and the cutter cuts the tissue while it applies a high-frequency current thereto.